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

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4280 LNCS, Issue , 2006, Pages 584-585

  Schaefer, Ina ^a   Poetzsch Heffter, Arnd ^a  

^a Rheinland Pfälzische Technische Universität Kaiserslautern Landau   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; MATHEMATICAL MODELS; SEMANTICS;

ADAPTIVE BEHAVIORS; MODULAR VERIFICATION; SYNCHRONOUS ADAPTIVE SYSTEMS;

EMBEDDED SYSTEMS;

EID: 33845526439     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-49823-0_49     Document Type: Conference Paper

References (3)

1. J.S. Bradbury, J.R. Cordy, J. Dingel, and M. Wermelinger. A Survey of Self-Management in Dynamic Software Architecture Specifications. In Proc. of Intl. Workshop on Self-Managed Systems (WOSS'04), 2004.
2. E.W. Dijkstra. Self-Stabilizing Systems in spite of Distributed Control. Communications of the ACM 17(11), pages 643-644, 1974.
3. I. Schaefer and A. Poetzsch-Heffter. Using Abstraction in Modular Verification of Synchronous Adaptive Systems. In Proc. of "Workshop on Trustworthy Software", Saarbrücken, Germany, May 18-19, 2006.