Facilitating a well-founded approach to autonomic systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

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 languageEnglish
Title of host publicationProceedings of the Fifth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems
Subtitle of host publicationEASe 2008
Place of PublicationLos Alamitos
PublisherIEEE Computer Society
Pages204-208
Number of pages5
ISBN (Print)978-0-7695-3140-3, 0-7695-3140-7
DOIs
Publication statusPublished - Apr 2008
EventFifth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2008 - Belfast, United Kingdom
Duration: 31 Mar 20084 Apr 2008

Conference

ConferenceFifth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems, EASe 2008
Country/TerritoryUnited Kingdom
CityBelfast
Period31/03/084/04/08

Keywords

  • Autonomic communications
  • Semantics
  • ACF

Fingerprint

Dive into the research topics of 'Facilitating a well-founded approach to autonomic systems'. Together they form a unique fingerprint.

Cite this