From Model-Based Design to Formal Verification of Adaptive Embedded Systems

In: 9th International Conference on Formal Engineering Methods (ICFEM 2007), Boca Raton, FL. LNCS, Springer, November, 2007

Authors

• Rasmus Adler
• Ina Schaefer
• Tobias Schüle
• Eric Vecchié

German Abstract

"Adaptation is important in dependable embedded systems
to cope with changing environmental conditions. However, adaptation
significantly complicates system design and poses new challenges to sys-
tem correctness. We propose an integrated model-based development ap-
proach facilitating intuitive modelling as well as formal verification of
dynamic adaptation behaviour. Our modelling concepts ease the specifi-
cation of adaptation behaviour and improve the design of adaptive em-
bedded systems by hiding the increased complexity from the developer.
Based on a formal framework for representing adaptation behaviour, our
approach allows to employ theorem proving, model checking as well as
specialised verification techniques to prove properties characteristic for
adaptive systems such as stability. "

BibTeX

 
@InProceedings{ AdleretAl.07, 
   title = { From Model-Based Design to Formal Verification of Adaptive Embedded Systems }, 
   author = { Rasmus Adler and Ina Schaefer and Tobias Schüle and Eric Vecchié },   
   booktitle = { 9th International Conference on Formal Engineering Methods (ICFEM 2007), Boca Raton, FL },  
   series = { LNCS },      
   publisher = { Springer },     
   month = nov, 
   year = 2007, 
} 

---

This publication belongs to the project EVAS.