Hamid Demmou*, Sarhane Khalfaoui* **, Nicolas Rivière*,
Edwige Guilhem**
* Laboratoire d'Analyse et d'architecture des Systèmes LAAS-CNRS
F-31077 Toulouse Cedex 4, France
** PSA Peugeot Citroe"n, Direction des Systèmes d'Information
18 rue des Fauvelles, F-92256 La Garenne Colombes cedex
{hamid, nriviere}@laas.fr
{sarhane.khalfaoui, edwige.guilhem}@mpsa.com
Published in:
Journal Européen des Systèmes Automatisés,
Volume 36, n.7/2002
Edition : Lavoisier
jesa@lavoisier.fr
http://www.hermes-science.com
The paper is in English
La connaissance des scénarios critiques est indispensable, dès la phase de conception des systèmes mécatroniques, afin d'estimer leur sûreté de fonctionnement. Ceci permet de valider les reconfigurations et d'orienter le choix de l'architecture de ces systèmes. Cet article présente une méthode de recherche de scénarios potentiellement dangereux dans un cadre formel (logique linéaire) à partir d'un modèle réseau de Petri. Après un rappel sur le lien entre les réseaux de Petri et la logique linéaire, nous présenterons une méthode de raisonnement arrière sur les réseaux de Petri. Une méthode générale combinant raisonnement arrière et raisonnement avant pour la recherche de scénarios critiques sera ensuite illustrée sur un cas d'étude simple et appliquée sur un exemple de système mécatronique du monde automobile.
Réseau de Petri, logique Linéaire, mécatronique, sûreté de fonctionnement.
To evaluate reliability of mechatronic systems, one should know the feared scenarios, in order to choose the safe architecture of the system during the development phase. The aim of this work is to propose a logical based approach (linear logic) for deriving the critical scenarios from a Petri net model. After a brief summary about Petri nets and linear logic, we present an original method for backward reasoning on Petri nets. Then, we illustrate the general approach (combining backward and forward reasoning) for deriving feared scenarios on a case study and apply it on a mechatronic system from the automotive field.
Petri net, linear logic, mechatronic, safety