Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

From model-based design to formal verification of adaptive embedded systems

 
: Adler, Rasmus; Schäfer, Ina; Schüle, Tobias; Vecchié, Eric

:

Butler, M.:
Formal methods and software engineering. 9th International Conference on Formal Engineering Methods, ICFEM 2007 : Boca Raton, Florida, USA, November 14-15, 2007; proceedings
Berlin: Springer, 2007 (Lecture Notes in Computer Science 4789)
ISBN: 978-3-540-76648-3
ISBN: 3-540-76648-0
ISSN: 0302-9743
pp.76-95
International Conference on Formal Engineering Methods (ICFEM) <9, 2007, Boca Raton/Fla.>
English
Conference Paper
Fraunhofer IESE ()
graceful degradation; safety; verification; MARS; adaptive system; embedded system; model-based software development; automotive application

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 system correctness. We propose an integrated model-based development approach facilitating intuitive modelling as well as formal verification of dynamic adaptation behaviour. Our modelling concepts ease the specification of adaptation behaviour and improve the design of adaptive embedded 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.

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