Aiding generation and verification of action sequence - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Aiding generation and verification of action sequence

Résumé

This presentation focuses on the problematic of operation sequences generation for complex and critical systems. The main objective is to safely operate some actions on the process devices (mainly actuators), according to safety requirements specifications. An evaluation of a joint approach mixing an ISA88-based approach for models structurationn, and a components behavioral modeling using communicating automata, this prensentation shows both feasibility and limits of an automatic approach for the generation of safe operation sequences based on reachability analysis.
Fichier non déposé

Dates et versions

hal-01157695 , version 1 (28-05-2015)

Identifiants

  • HAL Id : hal-01157695 , version 1

Citer

Thomas Cochard, David Gouyon, Nicolas Rapin, Jean-François Pétin. Aiding generation and verification of action sequence. 26th International Conference on Software & Systems Engineering and their Applications, ICSSEA'15, May 2015, Paris, France. ⟨hal-01157695⟩
152 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More