De l'apport des opérateurs temporels dans la modélisation dysfonctionnelle des systèmes

= A contribution, using temporal operators, to dysfunctional modeling of systems

• Auteur / Autrice : Grzegorz Nowak
• Direction : Alain Jutard, Eric Niel
• Type : Thèse de doctorat
• Discipline(s) : Automatique industrielle
• Date : Soutenance en 1997
• Etablissement(s) : Lyon, INSA
• Ecole(s) doctorale(s) : École doctorale Électronique, électrotechnique, automatique (Lyon)
• Partenaire(s) de recherche : Laboratoire : LAI - Laboratoire d'Automatique Industrielle (Lyon, INSA)

Mots clés

Mots clés contrôlés

Petri, Réseaux de

SADT, Méthode

Commande automatique

Résumé

Nos travaux ont pour objectif de contribuer à l'intégration de la Sécurité Opérationnelle dans la phase d'analyse et de spécification des systèmes dont le comportement pourra âtre comme un Système à Evènement Discret. Dans ce cadre d’études, la méthodologie développée permet de modéliser des systèmes à risque par SADT+ et par réseaux de Petri. Nos travaux visent à déterminer systématiquement les éventuelles situations à risques, à partir de la connaissance structurelle et fonctionnelle du système soumis aux défaillances de séquencement. L’évaluation du comportement dysfonctionnel est effectuée par calcul ou par simulation, cette dernière constituant un moyen d’intégrer les temporisations non-exponentielles. Cette méthodologie retient l’approche systématique, hiérarchique et structurée du SADT, généralement bien adaptée pour représenter au mieux les connaissances structurelles et fonctionnelles du système étudié. Les réseaux de Petri Stochastiques Généralisées les processus de Markov sont utilisés comme « moteurs de calculs », l’évaluation de performances et entre autres celles de la sureté de fonctionnement s’effectue en procédant au préalable à un enrichissement du modèle des opérateurs temporels.

The main goal of this work is to contribute to the integration of the Operational Safety to the phase of analysis and specification of systems the behavior of which can be seen as Discrete Event System. The proposed methodology, developed at LAI, allows the modelling of systems by SADT+ and Petri Nets. Our work is aimed at systematic determination of risk situations on the base of structural and functional knowledge of system submitted to synchronization failures. The assessment of its dysfunctional behavior is carried out by calculation or by simulation; the latter builds up the way to integrate the non-exponentials timings. This methodology retains the systemic and hierarchize approach of SADT, well adapted to satisfactory representation of system structure and functionality. The Generalized Stochastic Petri Nets and Markov Process are used as a "calculation engine". Performance and safety assessment is carried out by enriching the model with temporal operators beforehand.