DocumentCode
2008633
Title
Policy Validation for System Automation: A Case Study
Author
Zarpas, Emmanuel ; Eisner, Cindy ; Tal, Sivan
Author_Institution
IBM Haifa Res. Lab., Haifa
fYear
2008
fDate
2-4 June 2008
Firstpage
46
Lastpage
53
Abstract
Policies can be understood as specifications; therefore they can be translated more or less easily into formal languages and then be verified by formal techniques such as model checking. In this paper, we focus on formal verification of real-life industrial policies of the IBM Tivoli System Automation for Multi-Platform (ISA). We use PSL to model the system and describe the desired behavior and the RuleBase PE model checker to verify it.
Keywords
DP industry; formal languages; formal specification; program verification; specification languages; IBM Tivoli System Automation for Multi-Platform; RuleBase PE model checker; formal languages; formal verification; industrial policies; model checking; policy validation; system automation; Automation; Conferences; Engines; Environmental management; Formal languages; Formal verification; LAN interconnection; Laboratories; Logic; Quality management; PSL; TSA; Tivoli; formal verification; policy; validation;
fLanguage
English
Publisher
ieee
Conference_Titel
Policies for Distributed Systems and Networks, 2008. POLICY 2008. IEEE Workshop on
Conference_Location
Palisades, NY
Print_ISBN
978-0-7695-3133-5
Type
conf
DOI
10.1109/POLICY.2008.19
Filename
4556577
Link To Document