An integrated model-based early validation approach for railway systems

Autor: Baduel, Ronan
Přispěvatelé: HEP, INSPIRE, Smart Modeling for softw@re Research and Technology (IRIT-SM@RT), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Advancing Rigorous Software and System Engineering (IRIT-ARGOS), Université Toulouse le Mirail - Toulouse II, Jean-Michel Bruel, Iulian Sorin Ober
Jazyk: angličtina
Rok vydání: 2019
Předmět:
Zdroj: Other [cs.OH]. Université Toulouse le Mirail-Toulouse II, 2019. English. ⟨NNT : 2019TOU20083⟩
Popis: System engineering is a domain that studies the conception of complex system. A system corresponds to a solution we want to develop, such as a train, a satellite network, etc. A complex system is composed of several independent elements Engineers work from lists of individual expectations regarding the system to be or what it is supposed to do, which they use to create a system and see if it answers expectations. To gain time and money, we would like to check that the system-to-be answers expectations before developing it: it requires to integrate expectations and specify how they should be put together, inducing a system expected that we can check. The goal pursued in this PhD is to provide a method to integrate information regarding a train system during conception, enabling the specification, representation and validation of its behavior.
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.
Databáze: OpenAIRE
Externí odkaz: