Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Physical domain modeling for the development of dependable embedded systems

 
: Domis, D.J.; Schäfer, C.; Trapp, M.

Cheng, A.M.K. ; International Association of Science and Technology for Development -IASTED-:
10th IASTED International Conference on Software Engineering and Applications, SEA 2006. Proceedings : November 13 - 15, 2006, Dallas, Texas, USA
Anaheim: IASTED/ACTA Press, 2006
ISBN: 0-88986-599-X
pp.477-482
International Conference on Software Engineering and Applications (SEA) <10, 2006, Dallas/Tex.>
English
Conference Paper
Fraunhofer IESE ()
software design; software development; embedded system; fault tree analysis; safety; reliability

Abstract
Embedded systems are mainly based on physical models. These models are coarsely approximated and premise various assumptions. Additionally, there is usually not one model, but there are various different physical models the developer has to choose from. Each variant entails different preconditions, advantages, and deficiencies. It is therefore essential to ensure that the approximations of the selected model do not compromise the safety and reliability of the system and that the preconditions are fulfilled under all runtime conditions. Despite the enormous variability, the selection of a variant is still an experienced-based, manual process. As a result, deficiencies are identified only late in the development process, making their compensation very expensive or even impossible.
In this paper, we present a physical domain model, which can be used to formally model the physical domain knowledge, including the inherent variability. Based on this model, we will illustrate how different analyses support the developer in exploring the given design space in order to ensure the safety and reliability of the different possible realization concepts.

: http://publica.fraunhofer.de/documents/N-50120.html