University of Limerick Institutional Repository

Developing self-managing embedded systems with ASSL

DSpace/Manakin Repository

Show simple item record

dc.contributor.author Vassev, Emil
dc.contributor.author Hinchey, Mike
dc.date.accessioned 2012-01-11T15:30:40Z
dc.date.available 2012-01-11T15:30:40Z
dc.date.issued 2009
dc.identifier.uri http://hdl.handle.net/10344/1797
dc.description non-peer-reviewed en_US
dc.description.abstract We present a new formal approach to the implementation of embedded systems, arrived at by introducing self-management capabilities to the same. We use the ASSL (Autonomic System Specification Language) framework to approach the problem of formal specification and automatic code generation of embedded systems. Some features of ASSL help to specify event-driven embedded systems where hardware is sensed via special metrics intended to drive events and self-management policies. The latter can be specified to handle critical situations in an autonomous reactive manner. Moreover, we present a case study where we use ASSL to specify control software for the wide-angle camera carried on board by NASA’s Voyager II spacecraft en_US
dc.language.iso eng en_US
dc.publisher IEEE Computer Society en_US
dc.relation.ispartofseries Proceedings of the IMCSIT;2009
dc.rights “© 2009 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. en_US
dc.subject embedded systems en_US
dc.subject real-time systems en_US
dc.subject ASSL en_US
dc.subject reactive systems en_US
dc.title Developing self-managing embedded systems with ASSL en_US
dc.type Conference item en_US
dc.type.supercollection all_ul_research en_US
dc.type.supercollection ul_published_reviewed en_US
dc.type.restriction none en
dc.contributor.sponsor SFI

Files in this item

This item appears in the following Collection(s)

Show simple item record

Related Items

Search DSpace


Advanced Search

Browse

My Account