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.


  • 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.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (143 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Institut national des sciences appliquées (Villeurbanne, Rhône). Service Commun de la Documentation Doc'INSA.
  • Disponible pour le PEB
  • Cote : C.83(2061)

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire Joseph-Fourier.
  • Non disponible pour le PEB
  • Cote : MF-1997-NOW
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.