From Model-Based Design to Formal Verification of Adaptive Embedded Systems
From Model-Based Design to Formal Verification of Adaptive Embedded Systems
复制标题
从基于模型的设计到自适应嵌入式系统的形式验证
DOI：
10.1007/978-3-540-76650-6_6
复制
发表时间：
2007
影响因子：
7.4
通讯作者：
Eric Vecchié
中科院分区：
文献类型：
--
作者：
R. Adler;Ina Schaefer;T. Schüle;Eric Vecchié
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.
