Developing self-managing embedded systems with ASSL

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