@inproceedings{675e4b3ebee348bdb66dd4faa78abe97,
title = "Developing self-managing embedded systems with ASSL",
abstract = "This research targets formal modeling of 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 formally 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.",
keywords = "ASSL, Embedded systems, Reactive systems, Self-management",
author = "Emil Vassev and Mike Hinchey",
year = "2010",
doi = "10.1109/ISORCW.2010.38",
language = "English",
isbn = "9780769540382",
series = "ISORC Workshops 2010 - 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops",
pages = "81--89",
booktitle = "ISORC Workshops 2010 - 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops",
note = "2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, ISORC Workshops 2010 ; Conference date: 04-05-2010 Through 07-05-2010",
}