Policy Validation for System Automation: A Case Study

Autor:	Emmanuel Zarpas, S. Tal, C. Eisner
Rok vydání:	2008
Předmět:	Model checking Quality management Programming language Computer science business.industry ComputerApplications_COMPUTERSINOTHERSYSTEMS computer.software_genre Automation Tivoli Management Framework Software Formal specification Formal language business computer Formal verification
Zdroj:	POLICY
DOI:	10.1109/policy.2008.19
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::27086628408e006d399842674c75b7d9 https://doi.org/10.1109/policy.2008.19 Zobrazit plný text záznamu