University of Limerick Institutional Repository

The ASSL approach to specifying self-managing embedded systems

DSpace Repository

Show simple item record Vassev, Emil Hinchey, Mike 2012-01-06T15:17:55Z 2012-01-06T15:17:55Z 2011
dc.description peer-reviewed en_US
dc.description.abstract The increasing complexity of contemporary embedded computing systems requires the use of selfmanagement 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. en_US
dc.language.iso eng en_US
dc.publisher John Wiley & Sons Ltd en_US
dc.relation.ispartofseries Concurrency and Computation:Practice and Experience;2011
dc.subject embedded systems en_US
dc.subject reactive systems en_US
dc.subject ASSL en_US
dc.subject self-management en_US
dc.title The ASSL approach to specifying self-managing embedded systems en_US
dc.type article en_US
dc.type.supercollection all_ul_research en_US
dc.type.supercollection ul_published_reviewed en_US
dc.type.restriction restricted en
dc.contributor.sponsor SFI
dc.relation.projectid 03/CE2/I303_1

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ULIR


My Account