Towards Modular Verification of Stabilisation in Self-Adaptive Embedded Systems

In: Eighth International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS'06), Dallas, Texas. LNCS, Volume 4280, Springer, P. 584--585, Brief Announcement, November, 2006

Authors

• Ina Schaefer
• Arnd Poetzsch-Heffter

Abstract

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

Full Text

• Publication: SSS06brief.pdf

BibTeX

 
@InProceedings{ Schaefer.PHSSS06, 
   title = { Towards Modular Verification of Stabilisation in Self-Adaptive Embedded Systems }, 
   author = { Ina Schaefer and Arnd Poetzsch-Heffter },   
   booktitle = { Eighth International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS'06), Dallas, Texas },  
   series = { LNCS }, 
   volume = { 4280 },     
   publisher = { Springer },   
   pages = { 584--585 }, 
   note = { Brief Announcement }, 
   month = nov, 
   year = 2006, 
} 

---

This publication belongs to the project EVAS.