Physical Domain Modeling for the Development of Dependable Embedded Systems

In: 10th IASTED Intl. Conference on Software Engineering and Applications, SEA2006, Dallas, TX, USA. available from http://www.actapress.com/PaperInfo.aspx?PaperID=28947, November, 2006

Authors

• Dominik J. Domis
• Christian Schäfer
• Mario Trapp

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 <br>experienced-based, manual process. As a result, deficiencies are identified only late in the development process, making their compensation very expensive or even impossible. <br><br>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. "

BibTeX

 
@InProceedings{ DomisSchaeferTrappSEA06, 
   title = { Physical Domain Modeling for the Development of Dependable Embedded Systems }, 
   author = { Dominik J. Domis and Christian Schäfer and Mario Trapp },   
   booktitle = { 10th IASTED Intl. Conference on Software Engineering and Applications, SEA2006, Dallas, TX, USA },            
   note = { available from http://www.actapress.com/PaperInfo.aspx?PaperID=28947 }, 
   month = nov, 
   year = 2006, 
} 

---

This publication belongs to the project EVAS.