TY - GEN
T1 - ASSL specification and code generation of self-healing behavior for NASA swarm-based systems
AU - Vassev, Emil
AU - Hinchey, Mike
PY - 2009
Y1 - 2009
N2 - The Autonomic System Specification Language (ASSL) is a framework for formally specifying, validating and generating autonomic systems. This paper presents concrete results on the use of ASSL to specify a self-healing behavior model for NASA swarm-based exploration missions and to generate an application skeleton of the same. We present the specification and experiment with the generated code to demonstrate that ASSL generates operational code that is capable of self-management in respect of the specified self-healing model.
AB - The Autonomic System Specification Language (ASSL) is a framework for formally specifying, validating and generating autonomic systems. This paper presents concrete results on the use of ASSL to specify a self-healing behavior model for NASA swarm-based exploration missions and to generate an application skeleton of the same. We present the specification and experiment with the generated code to demonstrate that ASSL generates operational code that is capable of self-management in respect of the specified self-healing model.
UR - http://www.scopus.com/inward/record.url?scp=77950337692&partnerID=8YFLogxK
U2 - 10.1109/EASe.2009.12
DO - 10.1109/EASe.2009.12
M3 - Conference contribution
AN - SCOPUS:77950337692
SN - 9780769536231
T3 - Proceedings - 6th IEEE International Conference and Workshop on the Engineering of Autonomic and Autonomous Systems, EASe 2009
SP - 77
EP - 86
BT - 6th IEEE International Conference and Workshop on the Engineering of Autonomic and Autonomous Systems, EASe 2009
T2 - 6th IEEE International Conference and Workshop on the Engineering of Autonomic and Autonomous Systems, EASe 2009
Y2 - 14 April 2009 through 16 April 2009
ER -