Abstract
Rich and multifaceted domain specific specification languages like the Autonomic System Specification Language (ASSL) help to design reliable systems with self-healing capabilities. The GEAR game-based Model Checker has been used successfully to investigate properties of the ESA ExoMars Rover in depth. We show here how to enable GEAR's game-based verification techniques for ASSL via systematic model extraction from a behavioral subset of the language, and illustrate it on a description of the Voyager II space mission.
Original language | English |
---|---|
Journal | Dagstuhl Seminar Proceedings |
Volume | 9201 |
Publication status | Published - 2009 |
Externally published | Yes |
Event | Self-Healing and Self-Adaptive Systems 2009 - Wadern, Germany Duration: 10 May 2009 → 15 May 2009 |