Welcome to the InfoSci Platform
Reference Hub3
Formal Methods for the Development and Verification of Autonomic IT Systems

Formal Methods for the Development and Verification of Autonomic IT Systems

Radu Calinescu, Shinji Kikuchi, Marta Kwiatkowska
Copyright: © 2012 |Pages: 37
ISBN13: 9781609608453|ISBN10: 1609608453|EISBN13: 9781609608460
DOI: 10.4018/978-1-60960-845-3.ch001
Cite Chapter Cite Chapter

MLA

Calinescu, Radu, et al. "Formal Methods for the Development and Verification of Autonomic IT Systems." Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification, edited by Phan Cong-Vinh, IGI Global, 2012, pp. 1-37. https://doi.org/10.4018/978-1-60960-845-3.ch001

APA

Calinescu, R., Kikuchi, S., & Kwiatkowska, M. (2012). Formal Methods for the Development and Verification of Autonomic IT Systems. In P. Cong-Vinh (Ed.), Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification (pp. 1-37). IGI Global. https://doi.org/10.4018/978-1-60960-845-3.ch001

Chicago

Calinescu, Radu, Shinji Kikuchi, and Marta Kwiatkowska. "Formal Methods for the Development and Verification of Autonomic IT Systems." In Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification, edited by Phan Cong-Vinh, 1-37. Hershey, PA: IGI Global, 2012. https://doi.org/10.4018/978-1-60960-845-3.ch001

Export Reference

Mendeley
Favorite

Abstract

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.