This dissertation is the result of three years of experimentation and research at GE Transportation Systems (GETS), Intelligent Control Systems, division of Florence. In the early years of 2000 GETS decided to open to research activities in order to introduce formal methods in the development cycle of railway signalling solutions. For this purpose, it was decided to start a collaboration with the University of Florence, in particular with the Computer Engineering Department (D.S.I. - Dipartimento di Sistemi e Informatica). This work reports the achievements of the research, the lesson learnt and, finally, the advantages of the introduction of formal methods in GETS development cycle.
Formal Methods and Code Generation Techniques in the Development of Railway Signalling Systems / Gianluca Magnani. - (2014).
Formal Methods and Code Generation Techniques in the Development of Railway Signalling Systems
MAGNANI, GIANLUCA
2014
Abstract
This dissertation is the result of three years of experimentation and research at GE Transportation Systems (GETS), Intelligent Control Systems, division of Florence. In the early years of 2000 GETS decided to open to research activities in order to introduce formal methods in the development cycle of railway signalling solutions. For this purpose, it was decided to start a collaboration with the University of Florence, in particular with the Computer Engineering Department (D.S.I. - Dipartimento di Sistemi e Informatica). This work reports the achievements of the research, the lesson learnt and, finally, the advantages of the introduction of formal methods in GETS development cycle.File | Dimensione | Formato | |
---|---|---|---|
thesis.pdf
accesso aperto
Tipologia:
Tesi di dottorato
Licenza:
Open Access
Dimensione
5.45 MB
Formato
Adobe PDF
|
5.45 MB | Adobe PDF |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.