Questo sito utilizza cookie di terze parti per inviarti pubblicità in linea con le tue preferenze. Se vuoi saperne di più clicca QUI 
Chiudendo questo banner, scorrendo questa pagina, cliccando su un link o proseguendo la navigazione in altra maniera, acconsenti all'uso dei cookie. OK

Model Driven Engineering of railway control systems with the openETCS process

No one will ever think to build a house without having a clear and well-defined model. In every engineering branch, models represent the core of the development process and give a huge effort to clarify, specify, understand the project and predict the unknown throughout abstractions. On the other hand models within Software Engineering are really often unused, out-of-sync or play a second role. Mainly in this field more than others, the potential benefits are significantly greater.
Model Driven Development (MDD) [18] may make Software Engineering able to move an incredible step forward, and it can represent a generational leap in software develop- ment since the introduction of the compiler. A key method is the reliance on automation and the benefits that it brings.
However, like all new technologies, Model Driven Development shall be carefully ana- lyzed and then introduced into the existing development processes. The number of com- panies that are using MDD is continuously increasing, but very few of them are using MDD to develop safety-critical embedded systems.
The goal of this thesis is to analyze the development process of a Railway safety-critical system using a Model Driven approach and showing weakness and strength points. Start- ing from the CENELEC EN50128 [10] standard constraints for Railway applications - Communication, Signalling and processing systems there are described the methodolo- gies and the decision to adopt after each step of the development lifecycle.

Mostra/Nascondi contenuto.
Introduction No one will ever think to build a house without having a clear and well-defined model. In every engineering branch, models represent the core of the development process and give a huge effort to clarify, specify, understand the project and predict the unknown throughoutabstractions. OntheotherhandmodelswithinSoftwareEngineeringarereally oftenunused,out-of-syncorplayasecondrole. Mainlyinthisfieldmorethanothers,the potentialbenefitsaresignificantlygreater. Model Driven Development (MDD) [18] may make Software Engineering able to move an incredible step forward, and it can represent a generational leap in software develop- ment since the introduction of the compiler. A key method is the reliance on automation andthebenefitsthatitbrings. However, like all new technologies, Model Driven Development shall be carefully ana- lyzed and then introduced into the existing development processes. The number of com- panies that are using MDD is continuously increasing, but very few of them are using MDDtodevelopsafety-criticalembeddedsystems. The goal of this thesis is to analyze the development process of a Railway safety-critical systemusingaModelDrivenapproachandshowingweaknessandstrengthpoints. Start- ing from the CENELEC EN50128 [10] standard constraints for Railway applications - Communication, Signalling and processing systems there are described the methodolo- giesandthedecisiontoadoptaftereachstepofthedevelopmentlifecycle. Moreover, following the needs and the rules imposed by a project named: “OpenETCS” itisshowedacasestudyofan“EuropeanTrainControlSystem”(ETCS)[29]sub-system 1

Tesi di Laurea Magistrale

Facoltà: Ingegneria

Autore: Giovanni Trotta Contatta »

Composta da 113 pagine.

 

Questa tesi ha raggiunto 22 click dal 07/01/2015.

Disponibile in PDF, la consultazione è esclusivamente in formato digitale.