The objective of this work is to develop the methods and a tool of automatic program verification for automation system by using the verification method that is widely used in computer science, i.e. model checking. As model checking is a formal method, it is necessary to have formal descriptions of the programs and the specifications. Therefore, the first approach of this work is to develop the formal descriptions regarding the programs and the specifications. Due to the major problem in model checking, which is the state-space explosion problem, the formalization of the programs and the specifications are strongly restricted. The second approach of this work is to develop the methods and a tool to generate the reasonable formal models and formal specifications to enable model checking as program verification method. In industrial plants such as refinery plant, power plant, or petrochemical plant, the implemented programs that represent plant’s operation procedures
are complex. To observe the applicability in an industrial context, the third approach of this work is to evaluate the pplicability of the methods and a tool of automatic program verification in industrial context. This is done by implementing the developed methods and a tool in a few of industrial case studies.
Auteur Awang Noor Indra Wardana
Date de publication 08.12.2009
Nombre de pages 121
Type de produit Livre de Poche
Dimension 240 x 170 x 170 mm
Poids du produit 260 g
Awang Noor Indra Wardana
Date de livraison: entre mercredi, 2. octobre et vendredi, 4. octobre
This discussion is intended to exchange information between customers. If your question answered within 48 hours, the answer gives you an expert of Dodax.