From Goal Modeling of Real-time Control System to RT-DEVS Safety Properties Analysis - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

From Goal Modeling of Real-time Control System to RT-DEVS Safety Properties Analysis

Résumé

This work focuses on modeling and simulating the behavior of a real-time control system using the Goal Oriented Requirement Engineering approach and Discrete Event System Specification formalism for Realtime. This is the first attempt to combine the goal-based approach with a model of discrete event system to check the safety properties of a real-time control system. In order to bring more insight into the goal-based model and the behavior-based model, we illustrate our methodology by an example of the air traffic control system. To improve the decision making in the modeling process and to remove fault risk from the designing process, a simulation driven by a multi-agent systems is provided.
Fichier non déposé

Dates et versions

hal-01062104 , version 1 (09-09-2014)

Identifiants

  • HAL Id : hal-01062104 , version 1

Citer

Nesrine Darragi, El Miloudi El Koursi, Simon Collart-Dutilleul. From Goal Modeling of Real-time Control System to RT-DEVS Safety Properties Analysis. 12th IFAC - IEEE International Workshop on Discrete Event Systems WODES, May 2014, France. 8p. ⟨hal-01062104⟩
46 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More