The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Formal Methods for the Development and Verification of Autonomic IT Systems
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.
Related Content
|
S. Vijay Anand, Sathis Kumar B..
© 2023.
12 pages.
|
|
Sudarson Rama Perumal, Muthumanikandan V., Sushmitha J..
© 2023.
30 pages.
|
|
Sipra Swain, Biswa Ranjan Senapati, Pabitra Mohan Khilar.
© 2023.
31 pages.
|
|
Uma Mageswari R., Nallarasu Krishnan, Mohammed Sirajudeen Yoosuf, Murugan K., Sankar Ram C..
© 2023.
20 pages.
|
|
Divya L., Pradeep Kumar T. S..
© 2023.
15 pages.
|
|
Pradeep Kumar T. S., Vetrivelan P..
© 2023.
15 pages.
|
|
Vanitha Veerasamy, Rajathi Natarajan.
© 2023.
16 pages.
|
|
|