Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Towards Formal Specification o...

Towards Formal Specification of Autonomic Control Systems

Elena Troubitsyna, Towards Formal Specification of Autonomic Control Systems. In: Dini Petre, Elena Troubitsyna (Eds.), The Fourth International Conference on Adaptive and Self-Adaptive Systems and Applications, 109–114, IEEE Computer Press, 2013.

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.

BibTeX entry:

@INPROCEEDINGS{inpTroubitsyna_Elena13a,
  title = {Towards Formal Specification of Autonomic Control Systems},
  booktitle = {The Fourth International Conference on Adaptive and Self-Adaptive Systems and Applications},
  author = {Troubitsyna, Elena},
  editor = {Petre, Dini and Troubitsyna, Elena},
  publisher = {IEEE Computer Press},
  pages = {109–114},
  year = {2013},
  keywords = {autonomic computing; control systems; action systems; formal specification },
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication