Facilitating a well-founded approach to autonomic systems

Simon Dobson

doi:10.1109/EASe.2008.25

Facilitating a well-founded approach to autonomic systems

Simon Dobson

School of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

4 Citations (Scopus)

1 Downloads (Pure)

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.

Original language	English
Title of host publication	Proceedings of the Fifth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems
Subtitle of host publication	EASe 2008
Place of Publication	Los Alamitos
Publisher	IEEE Computer Society
Pages	204-208
Number of pages	5
ISBN (Print)	978-0-7695-3140-3, 0-7695-3140-7
DOIs	https://doi.org/10.1109/EASe.2008.25
Publication status	Published - Apr 2008
Event	Fifth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2008 - Belfast, United Kingdom Duration: 31 Mar 2008 → 4 Apr 2008

Conference

Conference	Fifth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2008
Country/Territory	United Kingdom
City	Belfast
Period	31/03/08 → 4/04/08

Keywords

Autonomic communications
Semantics
ACF

Access to Document

10.1109/EASe.2008.25

Open Access version of the conference paper
©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.
Final published version, 664 KB

Cite this

@inproceedings{3fc00fe61b744db7b90a1ab5cee6d368,

title = "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.",

keywords = "Autonomic communications, Semantics, ACF",

author = "Simon Dobson",

year = "2008",

month = apr,

doi = "10.1109/EASe.2008.25",

language = "English",

isbn = "978-0-7695-3140-3",

pages = "204--208",

booktitle = "Proceedings of the Fifth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems",

publisher = "IEEE Computer Society",

address = "United States",

note = "Fifth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2008 ; Conference date: 31-03-2008 Through 04-04-2008",

}

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

TY - GEN

T1 - Facilitating a well-founded approach to autonomic systems

AU - Dobson, Simon

PY - 2008/4

Y1 - 2008/4

N2 - 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.

AB - 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.

KW - Autonomic communications

KW - Semantics

KW - ACF

UR - http://www.scopus.com/inward/record.url?scp=50149116430&partnerID=8YFLogxK

U2 - 10.1109/EASe.2008.25

DO - 10.1109/EASe.2008.25

M3 - Conference contribution

SN - 978-0-7695-3140-3

SN - 0-7695-3140-7

SP - 204

EP - 208

BT - Proceedings of the Fifth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems

PB - IEEE Computer Society

CY - Los Alamitos

T2 - Fifth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2008

Y2 - 31 March 2008 through 4 April 2008

ER -

Facilitating a well-founded approach to autonomic systems

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this