The University of St Andrews

Research@StAndrews:FullText >
University of St Andrews Research >
University of St Andrews Research >
University of St Andrews Research >

Please use this identifier to cite or link to this item:
View Statistics

Files in This Item:

File Description SizeFormat
Dobson-IEEE-EASe2008.pdf664.12 kBAdobe PDFView/Open
Title: Facilitating a well-founded approach to autonomic systems
Authors: Dobson, Simon
Keywords: Autonomic communications
TK Electrical engineering. Electronics Nuclear engineering
QA76 Computer software
Issue Date: Apr-2008
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-4 April . , 10.1109/EASe.2008.25
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.
Version: Publisher PDF
ISBN: 978-0-7695-3140-3
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.
Publisher: IEEE Computer Society
Appears in Collections:University of St Andrews Research
Computer Science Research

This item is protected by original copyright

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


DSpace Software Copyright © 2002-2012  Duraspace - Feedback
For help contact: | Copyright for this page belongs to St Andrews University Library | Terms and Conditions (Cookies)