TY - GEN
T1 - Extracting component-oriented behaviour for self-healing enabling
AU - Bakera, Marco
AU - Wagner, Christian
AU - Margaria, Tiziana
AU - Vassev, Emil
AU - Hincheyz, Mike
AU - Steffen, Bernhard
PY - 2010
Y1 - 2010
N2 - 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 in depth properties of the ESA ExoMars Rover. 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. This way, we close the gap between the design-time and the run-time techniques provided in the SHADOWS platform for self-healing of concurrency, performance, and functional issues.
AB - 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 in depth properties of the ESA ExoMars Rover. 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. This way, we close the gap between the design-time and the run-time techniques provided in the SHADOWS platform for self-healing of concurrency, performance, and functional issues.
UR - http://www.scopus.com/inward/record.url?scp=77953192788&partnerID=8YFLogxK
U2 - 10.1109/EASe.2010.23
DO - 10.1109/EASe.2010.23
M3 - Conference contribution
AN - SCOPUS:77953192788
SN - 9780769540047
T3 - Proceedings of the 7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010
SP - 152
EP - 161
BT - Proceedings of the 7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010
T2 - 7th IEEE International Conference and Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2010
Y2 - 22 March 2010 through 26 March 2010
ER -