D.J. Domis, C. Schäfer, and M. Trapp (Germany)
software design and development, embedded systems, physical domain model, fault tree analysis, safety, reliability
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.
Important Links:
Go Back
