LIVRAISON GRATUITE - SANS VALEUR MINIMALE - PAIEMENT SÉCURISÉ - GRANDE SÉLECTION - PETIT PRIX

Tu aimes ce produit? Fais passer!

Description

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.

Contributeurs

Auteur Awang Noor Indra Wardana

Détails sur le produit

DUIN 36TNUDPIJPN

GTIN 9783899588064

Date de publication 08.12.2009

Langue Anglais

Nombre de pages 121

Type de produit Livre de Poche

Dimension 240 x 170 x 170  mm

Poids du produit 260 g

Development of Automatic Program Verification for Continuous Function Chart based on Model Checking

Awang Noor Indra Wardana

21,99 €

Vendeur: Dodax

Date de livraison: entre mercredi, 2. octobre et vendredi, 4. octobre

État: Neuf

Autres options d'achat

TVA incluse - Livraison GRATUITE
1
Ajouter au panier Ajouter au panier
21,99 €
Autres options d'achat TVA incluse - Livraison GRATUITE