Aide à la conception des systèmes embarqués sûrs de fonctionnement

par Nabil Sadou

Thèse de doctorat en Systèmes industriels

Sous la direction de Hamid Demmou et de Jean-Claude Pascal.

Soutenue en 2007

à Toulouse 3 .


  • Résumé

    L'avancée technologique que les systèmes embarqués ont connue lors de ces dernières années les rend de plus en plus complexes. Ils sont non seulement responsables de la commande des différents composants mais aussi de leur surveillance. A l'occurrence d'événement pouvant mettre en danger la vie des utilisateurs, une certaine configuration du système est exécutée afin de maintenir le système dans un état dégradé mais sûr. Il est possible que la configuration échoue conduisant le système dans un état appelé « état redouté » avec des conséquences dramatiques pour le système et l'utilisateur. La description des scénarios qui me��nent le système vers l'état redouté à partir d'un état de fonctionnement 'normal' permet de comprendre les raisons de la dérive afin de prévoir les configurations nécessaires qui permettent de les éviter. Dans notre approche d'analyse de sûreté de fonctionnement des systèmes dynamiques, les scénarios sont générés à partir d'un modèle réseau de Petri. En s'appuyant sur la logique linéaire comme nouvelle représentation (basée sur les causalités) du modèle réseau de Petri, une analyse qualitative permet de déterminer un ordre partiel de franchissement des transitions et ainsi extraire les scénarios redoutés. La démarche est focalisée sur les parties du modèle intéressantes pour l'analyse de fiabilité évitant ainsi l'exploration de toutes les parties du système et le problème de l'explosion combinatoire. L'objectif final consiste en la détermination de scénarios minimaux. En effet, un scénario peut bien mener vers l'état redouté sans qu'il soit minimal. Il contient des événements qui ne sont pas strictement nécessaires à l'obtention finale de l'état critique redouté. De même que la notion de coupe minimale a été définie dans le cadre des arbres de défaillance, nous proposons une définition de ce qu'est un scénario minimal dans le cas des réseaux de Petri. Pour prendre en compte La nature hybride des systèmes, nous avons développé un simulateur hybride basé sur le couplage de l'algorithme de génération de scénarios redoutés avec un solveur d'équations différentielles. . .


  • Résumé

    Embedded systems run the computing devices hidden inside another larger system or product. Embedded systems have the charge of controlling various types of sub-systems; they are also in charge of the monitoring of the whole system and coordination with other systems. This means that when some event affecting the safety of the system occurs, a reconfiguration action is executed in order to maintain the system in a safe degraded state. If the reconfiguration fails then the system will reach a feared (dangerous) state with dramatic consequences for users. So it is important to understand how the system reaches such feared states to set up the reconfiguration actions. In our approach for safety analysis of dynamic systems, feared scenarios are derived from Petri net model. Based on linear logic as new representation (using the causality relations) of the Petri net model, a qualitative analysis allows to determine a partial order of transition firings and thus, to extract feared scenarios. The analysis is focalized on the parts of the model that are interesting for the reliability analysis, avoiding exploration of the global system and the problem of the state space explosion. The final objective is to determine all minimal scenarios. Indeed, one scenario can lead to a feared state and contain events which are not strictly necessary to reach the final feared state. By analogy with the concept of minimal cutsets for the fault trees, we define the concept of minimal scenario in Petri net model. To take into account the hybrid nature of systems, we developed a hybrid simulator which combines the deriving feared scenarios algorithm and differential equations solver. . .

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. ( 172 p.)
  • Annexes : Bibliogr. p. 157-167

Où se trouve cette thèse ?

  • Bibliothèque :
  • Disponible pour le PEB
  • Cote : 2007TOU30138
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.