Brief announcement: towards modular verification of stabilisation in self-adaptive embedded systems

Authors:
Ina Schaefer;Arnd Poetzsch-Heffter
Affiliations:
Software Technology Group, Technische Universität Kaiserslautern, Germany;Software Technology Group, Technische Universität Kaiserslautern, Germany
Venue:
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
Year:
2006

Citing 2
Cited 1

Self-stabilizing systems in spite of distributed control

Communications of the ACM
A survey of self-management in dynamic software architecture specifications

WOSS '04 Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems

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

ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

We introduce a formal semantic-based modelling framework to model, specify and verify the functional and adaptive behaviour of synchronous adaptive systems.