VALIDATION DES SYSTEMES

Cours :

• Principaux concepts et terminologie : système, propagation des défaillances, exigences de sûreté de fonctionnement.

• Conception d'une architecture de système fiable : modèles de sécurité habituels 
• Modèles mathématiques et calculs pour l'évaluation de la sécurité des systèmes statiques à l'aide d'arbres de défaillance
• Modèles mathématiques et calculs pour l'évaluation de la sécurité des systèmes dynamiques à l'aide d'automates de mode AltaRica
• Vue d'ensemble du processus global de sécurité pour les aéronefs civils

Travaux pratiques :

• Évaluation de la sécurité d'un système aéronautique à l'aide d'arbres de défaillance
• Évaluation de la sécurité d'un système d'aéronef basée sur un modèle dynamique

Voir la page complète

Ce cours introduit les principes de structuration (cycle en V, conception, traçabilité) nécessaires pour maîtriser la complexité et réduire les risques d’erreurs. Il amène à comprendre le rôle des modèles et des spécifications dans la conception de systèmes fiables. Pour ce faire, il utilise le langage SDL et propose de décrire les différents mécanismes de ce langage pour modéliser un protocole de communication temps réel.

Voir la page complète

La validation temporelle de réseaux embarqués temps réel nécessite la caractérisation du délai de bout en bout des flux transmis sur ces réseaux. Il s’agit en particulier de borner ce délai et d’analyser sa gigue et sa variation. De nombreuses approches ont été utilisées pour mener à bien cette validation. Ce module montre des cas d’utilisation de ces différentes approches. Il se déroule de la manière suivante.

• Nous introduisons la problématique générale de l’analyse du délai de flux transmis sur un réseau embarqué temps réel.

• Nous montrons l’utilisation du model checking pour la recherche de scénarios pire cas sur des réseaux avion de type AFDX. Nous montrons en particulier comment l’explosion combinatoire peut être limitée.

• Nous présentons des solutions à base de simulation pour l’étude des délais sur des réseaux hétérogènes (par exemple CAN/Ethernet) et sur des réseaux AFDX.

• Nous illustrons la mesure de délai sur des architectures commutés.

Voir la page complète

Ce cours introduit les fondamentaux des bus de communication tolérants aux pannes. Il aborde la définition de la tolérance aux pannes, les modes de défaillance des communications, ainsi que les mécanismes classiques permettant d'y remédier tels que la détection d'erreurs bit, gestion des pertes de messages, ... Il présente ensuite plusieurs technologies de bus embarqués standardisés (CAN, AFDX, TSN, TTP). La tolérance aux pannes est illustrée par de deux conférences invitées 1- une conférence de 4h d'un expert d'Airbus Defence & Space, centrée sur les bus embarqués dans les systèmes spatiaux. Elle couvre le protocole MIL-STD-1553 (bus avionique militaire), SpaceWire (standard ESA pour les satellites), ainsi que les architectures avioniques tolérants aux pannes à bord des engins spatiaux, avec une analyse des catégories de missions (satellites de télécommunication, lanceurs, sondes d'exploration) et de leurs exigences propres en matière de fiabilité et disponibilité. 2- une conférence de 4h d'un expert d'Airbus Group qui aborde les architectures avioniques tolérants aux pannes dans le domaine aéronautique civil, avec des études de cas sur la décomposition en sous-fonctions, la cartographie des pannes potentielles et leur propagation au niveau réseau.

Voir la page complète