Autonomic computing is an emerging field for developing complex large-scale systems by transforming them into self-managing autonomic systems, which are intrinsically intended to reduce complexity through automation. However, the very complexity inherent in many systems that lend themselves well to autonomic computing can often cause difficulty in designing those same autonomic systems. This emphasizes the need for a specification language that allows for modeling and validation of such systems.
This thesis approaches the problem of formal specification and code generation of autonomic systems within a framework. The core of this framework is an autonomic system specification language (ASSL). ASSL implies a multi-tier structure for specifying autonomic systems and targets at the generation of an operational framework instance from an ASSL specification.
In general, the proposed framework helps to design and generate an autonomic computing wrapper that embeds the components of existing systems, i.e., it allows a non-intrusive adding of self-management features to existing systems. Moreover, the framework allows a top-down development approach to autonomic systems, where the generated framework instance will guide the designers to the needed components and their interfaces of the system under consideration.
In order to define an appropriate basis for reasoning about ASSL specification models, we define ASSL formally via a well-defined context-free grammar and a semantic description covering the important operational aspects of the ASSL specification structures and commands.
In addition, we propose semantic definitions for consistency checking that lay the ground for a mathematical theory for proving properties and checking consistency of autonomic systems specified with ASSL.
We present our approach to reducing complexity when modeling autonomic systems with ASSL. This is possible because ASSL embeds a large set of properly designed abstractions that hide specifics of autonomic systems, thus reducing their complexity.
In an attempt to validate the usability and applicability of ASSL, we apply the latter to modeling the NASA ANTS swarm-based prospective mission.
In this thesis, an ASSL architecture model for autonomic elements is proposed. The model is considered generic because it is pertaining to any autonomic system successfully generated with the ASSL framework.
An ASSL framework toolset that was designed and developed in the course of this project is presented, as well as test results generated with the same.
Cited By
- Insaurralde C and Vassev E Software Specification and Automatic Code Generation to Realize Homeostatic Adaptation in Unmanned Spacecraft Proceedings of the 2014 International C* Conference on Computer Science & Software Engineering, (1-10)
- Howar F, Margaria T and Wagner C (2013). Simplifying Translation Validation via Model Extrapolation, Journal of Integrated Design & Process Science, 17:3, (71-91), Online publication date: 1-Jul-2013.
- Vassev E and Hinchey M (2012). The ASSL approach to specifying self-managing embedded systems, Concurrency and Computation: Practice & Experience, 24:16, (1860-1878), Online publication date: 1-Nov-2012.
- Vassev E and Mokhov S Developing autonomic properties for distributed pattern-recognition systems with ASSL Transactions on Computational Science XV, (130-157)
- Vassev E, Hinchey M, Gaudin B and Nixon P Requirements and initial model for KnowLang Proceedings of The Fourth International C* Conference on Computer Science and Software Engineering, (35-42)
- Vassev E and Hinchey M Developing model-checking mechanisms for ASSL Proceedings of the 9th international conference on Software engineering and formal methods, (19-34)
- Vassev E, Hinchey M and Nixon P Prototyping home automation wireless sensor networks with ASSL Proceedings of the 7th international conference on Autonomic computing, (71-72)
- Vassev E, Hinchey M and Nixon P Developing intelligent sensor networks Proceedings of the 2010 ICSE Workshop on Software Engineering for Sensor Network Applications, (66-71)
- Mokhov S, Vassev E, Paquet J and Debbabi M Towards a self-forensics property in the ASSL toolset Proceedings of the Third C* Conference on Computer Science and Software Engineering, (108-113)
- Vassev E and Hinchey M Software verification of autonomic systems developed with ASSL Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems, (1-16)
- Vassev E and Mokhov S An ASSL-generated architecture for autonomic systems Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering, (121-126)
- Mokhov S and Vassev E Autonomic specification of self-protection for distributed MARF with ASSL Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering, (175-183)
Recommendations
ASSL Specification and Code Generation of Self-Healing Behavior for NASA Swarm-Based Systems
EASE '09: Proceedings of the 2009 Sixth IEEE Conference and Workshops on Engineering of Autonomic and Autonomous SystemsThe 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 ...
A formal framework for middleware behavioural specification
The number of open specifications of middleware systems and middleware services is increasing. Despite their complexity, they are traditionally described through APIs (the operation signatures) and informal prose (the behaviour). This fact often leads ...