Using Abstraction in Modular Verification of Synchronous Adaptive Systems

Ina Schaefer & Arnd Poetzsch-Heffter
Self-adaptive embedded systems autonomously adapt to changing environment conditions to improve their functionality and to increase their dependability by downgrading functionality in case of fail- ures. However, adaptation behaviour of embedded systems significantly complicates system design and poses new challenges for guaranteeing system correctness, in particular vital in the automotive domain. Formal verification as applied in safety-critical applications must therefore be able to address not only temporal and functional properties, but also dynamic adaptation according...
This data center is not currently reporting usage information. For information on how your repository can submit usage information, please see our Documentation.