Skip to Main content Skip to Navigation
Theses

An integrated model-based early validation approach for railway systems

Ronan Baduel 1, 2
1 IRIT-SM@RT - Smart Modeling for softw@re Research and Technology
IRIT - Institut de recherche en informatique de Toulouse
2 IRIT-ARGOS - Advancing Rigorous Software and System Engineering
IRIT - Institut de recherche en informatique de Toulouse
Abstract : 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.
Document type :
Theses
Complete list of metadatas

https://hal-univ-tlse2.archives-ouvertes.fr/tel-03012187
Contributor : Inspire Hep <>
Submitted on : Thursday, November 26, 2020 - 9:21:08 AM
Last modification on : Saturday, November 28, 2020 - 3:27:55 AM

File

Baduel_Ronan.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-03012187, version 2

Citation

Ronan Baduel. An integrated model-based early validation approach for railway systems. Other [cs.OH]. Université Toulouse le Mirail - Toulouse II, 2019. English. ⟨NNT : 2019TOU20083⟩. ⟨tel-03012187v2⟩

Share

Metrics

Record views

14

Files downloads

14