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

par Grzegorz Nowak

Thèse de doctorat en Automatique industrielle

Sous la direction de Alain Jutard et de Eric Niel.

Soutenue en 1997

à Lyon, INSA , dans le cadre de École doctorale Électronique, électrotechnique, automatique (Lyon) , en partenariat avec LAI - Laboratoire d'Automatique Industrielle (Lyon, INSA) (laboratoire) .

mots clés

• Commande automatique
• SADT, Méthode
• Petri, Réseaux de

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.

Titre traduit

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

Résumé

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.