Home // ADAPTIVE 2012, The Fourth International Conference on Adaptive and Self-Adaptive Systems and Applications // View article

Towards Formal Specification of Autonomic Control Systems

Authors:
Elena Troubitsyna

Keywords: autonomic computing; control systems; action systems; formal specification

Abstract:
Autonomic systems represent the next generation of software-intensive systems that merge software, computing, communication, sensing and actuating to create intelligent self-aware computing environment. Autonomic systems penetrate majority of critical infrastructures be it air-, rail and road traffic or power supply management. So far, little attention has been paid to theory and techniques for ensuring safety and resilience of such systems. Are autonomic systems to bring benefits or devastating hazards? To ensure harmless deployment of autonomic systems in critical infrastructures we should significantly advance our understanding of principles governing adaptive behaviour of such systems. Therefore, it is important to create formal techniques for modelling adaptive behaviour of autonomic control systems. In this paper, we discuss issues in modelling autonomic control systems that achieve self-adaptation through feedback loops and derive general guidelines for their formal specification.

Pages: 109 to 114

Copyright: Copyright (c) IARIA, 2012

Publication date: July 22, 2012

Published in: conference

ISSN: 2308-4146

ISBN: 978-1-61208-219-6

Location: Nice, France

Dates: from July 22, 2012 to July 27, 2012