University of Limerick Institutional Repository

Facilitating a well-founded approach to autonomic systems

DSpace Repository

Show simple item record Dobson, Simon 2011-07-21T15:59:50Z 2011-07-21T15:59:50Z 2008
dc.description peer-reviewed en_US
dc.description.abstract While it is desirable for all computing and communications systems to have well-defined and verifiable behaviour, autonomic systems must additionally guarantee that their adaptive behaviour is correct, both in the sense of responding appropriately to changes in context and in the sense of continuing to meet the high-level requirements of the system. Ensuring such high levels of ”process” correctness poses a significant challenge for system designers. Formal methods provide a valuable tool to assist in the design, analysis and verification processes. The goals of the ACF’s semantics working group is to identify formal techniques that may be applicable to the development of autonomic systems, and to promote the understanding of these techniques within the research community. en_US
dc.language.iso eng en_US
dc.publisher IEEE Computer Society en_US
dc.relation.ispartofseries Fifth IEEE workshop on Engineering of Autonomic and Autonomous Systems;pp. 204-208
dc.rights ©2008 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE. en_US
dc.subject autonomic systems en_US
dc.title Facilitating a well-founded approach to autonomic systems 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
dc.relation.projectid 05/RFP/CMS0062
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