Facilitating a well-founded approach to autonomic systems
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.
Citation
Dobson , S 2008 , Facilitating a well-founded approach to autonomic systems . in Proceedings of the Fifth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems : EASe 2008 . IEEE Computer Society , Los Alamitos , pp. 204-208 , Fifth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2008 , Belfast , United Kingdom , 31/03/08 . https://doi.org/10.1109/EASe.2008.25 conference
Publication
Proceedings of the Fifth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems
Type
Conference item
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.
Collections
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.