Policy Validation for System Automation: A Case Study

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Emmanuel Zarpas Articles by Cindy Eisner Articles by Sivan Tal

2008 IEEE Workshop on Policies for Distributed Systems and Networks

June 02-June 04

ISBN: 978-0-7695-3133-5

	ASCII Text	x
	Emmanuel Zarpas, Cindy Eisner, Sivan Tal, "Policy Validation for System Automation: A Case Study," Policies for Distributed Systems and Networks, IEEE International Workshop on, pp. 46-53, 2008 IEEE Workshop on Policies for Distributed Systems and Networks, 2008.

	BibTex	x
	@article{ 10.1109/POLICY.2008.19, author = {Emmanuel Zarpas and Cindy Eisner and Sivan Tal}, title = {Policy Validation for System Automation: A Case Study}, journal ={Policies for Distributed Systems and Networks, IEEE International Workshop on}, volume = {0}, year = {2008}, isbn = {978-0-7695-3133-5}, pages = {46-53}, doi = {http://doi.ieeecomputersociety.org/10.1109/POLICY.2008.19}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Policies for Distributed Systems and Networks, IEEE International Workshop on TI - Policy Validation for System Automation: A Case Study SN - 978-0-7695-3133-5 SP46 EP53 A1 - Emmanuel Zarpas, A1 - Cindy Eisner, A1 - Sivan Tal, PY - 2008 KW - policy KW - validation KW - Tivoli KW - TSA KW - PSL KW - formal verification VL - 0 JA - Policies for Distributed Systems and Networks, IEEE International Workshop on ER -

Emmanuel Zarpas

Cindy Eisner

Sivan Tal

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/POLICY.2008.19

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 (TSA). We use PSL to model the system??and describe the desired behavior and the RuleBase PE model checker to verify it.

Index Terms:

policy, validation, Tivoli, TSA, PSL, formal verification

Citation:

Emmanuel Zarpas, Cindy Eisner, Sivan Tal, "Policy Validation for System Automation: A Case Study," policy, pp.46-53, 2008 IEEE Workshop on Policies for Distributed Systems and Networks, 2008

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.