Developing self-managing embedded systems with ASSL

Emil Vassev, Mike Hinchey

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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.

Original languageEnglish
Title of host publicationISORC Workshops 2010 - 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops
Pages81-89
Number of pages9
DOIs
Publication statusPublished - 2010
Event2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, ISORC Workshops 2010 - Carmona, Sevilla, Spain
Duration: 4 May 20107 May 2010

Publication series

NameISORC Workshops 2010 - 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops
Volume2

Conference

Conference2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, ISORC Workshops 2010
Country/TerritorySpain
CityCarmona, Sevilla
Period4/05/107/05/10

Keywords

  • ASSL
  • Embedded systems
  • Reactive systems
  • Self-management

Fingerprint

Dive into the research topics of 'Developing self-managing embedded systems with ASSL'. Together they form a unique fingerprint.

Cite this