Formal methods for the development and verification of autonomic IT systems

Calinescu, Radu; Kikuchi, Shinji and Kwiatkowska, Marta (2011). Formal methods for the development and verification of autonomic IT systems. IN: Formal and practical aspects of autonomic computing and networking. Cong-Vinh, Phan (ed.) Premier Referecen Source . IGI Global.


This chapter explores ways in which rigorous mathematical techniques, termed formal methods, can be employed to improve the predictability and dependability of autonomic computing. Model checking, formal specification, and quantitative verification are presented in the contexts of conflict detection in autonomic computing policies, and of implementation of goal and utility-function policies in autonomic IT systems, respectively. Each of these techniques is illustrated using a detailed case study, and analysed to establish its merits and limitations. The analysis is then used as a basis for discussing the challenges and opportunities of this endeavour to transition the development of autonomic IT systems from the current practice of using ad-hoc methods and heuristic towards a more principled approach.

Publication DOI:
Divisions: Engineering & Applied Sciences > Computer science
Related URLs:
Uncontrolled Keywords: Computer Science(all)
Published Date: 2011-10


Full text not available from this repository.

Export / Share Citation


Additional statistics for this record