Rapid prototyping and development of intelligent sensor networks with ASSL and DMF
Proceedings of the Third C* Conference on Computer Science and Software Engineering
Towards a self-forensics property in the ASSL toolset
Proceedings of the Third C* Conference on Computer Science and Software Engineering
Software verification of autonomic systems developed with ASSL
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
Developing model-checking mechanisms for ASSL: an experience report
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
Transactions on Computational Science XV
The ASSL approach to specifying self-managing embedded systems
Concurrency and Computation: Practice & Experience
| Hi-index | 0.00 |
Autonomic computing is an emerging field for developing complex large-scale systems by transforming them into self-managing autonomic systems 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 book approaches the problem of formal specification and code generation of autonomic systems within a framework. The core of this framework is ASSL (Autonomic System Specification Language). ASSL implies a multi-tier structure for specifying autonomic systems and targets at the generation of operational implementation from an ASSL specification.