Policy Validation for System Automation: A Case Study

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 Automati...

Full description

Saved in:
Bibliographic Details
Published in2008 IEEE Workshop on Policies for Distributed Systems and Networks pp. 46 - 53
Main Authors Zarpas, E., Eisner, C., Tal, S.
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.06.2008
Subjects
Automation
Conferences
Engines
Environmental management
Formal languages
Formal verification
Laboratories
LAN interconnection
Logic
policy
PSL
Quality management
Tivoli
TSA
validation
Online AccessGet full text

Cover

More Information
Summary: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.
ISBN:0769531334
9780769531335
DOI:10.1109/POLICY.2008.19