Thèse soutenue

Une approche intégrée de validation des systèmes ferroviaires basée sur les modèles
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Ronan Baduel
Direction : Jean-Michel BruelIulian Ober
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance le 30/09/2019
Etablissement(s) : Toulouse 2
Ecole(s) doctorale(s) : École doctorale Mathématiques, informatique et télécommunications (Toulouse)
Partenaire(s) de recherche : Laboratoire : Institut de Recherche en Informatique de Toulouse (1995-....)
Jury : Président / Présidente : Khalil Drira
Examinateurs / Examinatrices : Jean-Michel Bruel, Iulian Ober, Ludovic Apvrille, Marius Bozga, Isabelle Perseil
Rapporteurs / Rapporteuses : Ludovic Apvrille, Vincent Chapurlat

Résumé

FR  |  
EN

L’ingénierie système est un domaine où l’on étudie la conception de systèmes complexes. Un système est une solution que l’on veut développer, par exemple un train ou un réseau de satellites. Un système complexe est composé de différents éléments indépendants. Les ingénieurs travaillent à partir de listes d’attentes vis à vis du système, chacune caractérisant ce qu’il doit être ou doit faire. Ils créent alors un système et vérifient qu’il répond aux attentes. Afin de gagner du temps et de l’argent, on souhaite vérifier que le système correspond aux attentes avant même de le réaliser. Cela demande d’intégrer les différentes attentes et spécifier comment elles doivent être mises ensembles, générant ainsi un système attendu que l’on peut valider. Le but de la thèse est de fournir une méthode permettant d'intégrer les informations caractérisant un système de train au cours de sa conception, permettant ainsi la spécification, la représentation et la validation de son comportement.