Title :
Policy Validation for System Automation: A Case Study
Author :
Zarpas, Emmanuel ; Eisner, Cindy ; Tal, Sivan
Author_Institution :
IBM Haifa Res. Lab., Haifa
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;
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
DOI :
10.1109/POLICY.2008.19
