The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Java driven codesign and prototyping of networked embedded systems
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Microc/OS-II
Specification of Software Systems
Specification of Software Systems
Autonomic Computing
The maintenance and evolution of resource-constrained embedded systems created using design patterns
Journal of Systems and Software
Modeling the Image-Processing Behavior of the NASA Voyager Mission with ASSL
SMC-IT '09 Proceedings of the Third IEEE International Conference on Space Mission Challenges for Information Technology
Towards a framework for specification and code generation of automatic systems
Towards a framework for specification and code generation of automatic systems
ASSL - Autonomic System Specification Language: A Framework for Specification and Code Generation of Autonomic Systems
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
TASE '10 Proceedings of the 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering
FORMS: Unifying reference model for formal specification of distributed self-adaptive systems
ACM Transactions on Autonomous and Adaptive Systems (TAAS) - Special section on formal methods in pervasive computing, pervasive adaptation, and self-adaptive systems: Models and algorithms
Introduction to the Special Issue: SORT 2010
Concurrency and Computation: Practice & Experience
| Hi-index | 0.00 |
The increasing complexity of contemporary embedded computing systems requires the use of self-management in order to handle unforeseen changes in both hardware and control software. The idea behind computer systems capable of self-management is a complex concept compound by many aspects related to both artificial intelligence and awareness. Here, the biggest challenge is still the question how to properly develop and verify such systems. In this paper, we present a formal approach to specifying embedded systems capable of self-management. In our approach, we use the ASSL (autonomic system specification language) framework as a development environment, where self-management features of embedded systems are specified and an implementation is automatically generated. ASSL exposes a rich set of specification constructs that help developers specify event-driven embedded systems. Hardware is sensed via special metrics intended to drive events and self-management policies that help the system handle critical situations in an autonomous reactive manner. We present this approach along with a simulation case study where ASSL is used to develop control software for the wide-angle camera carried on board NASA's Voyager II Spacecraft. Copyright © 2011 John Wiley & Sons, Ltd.