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.
2014
Alessandro Fantechi
Gianluca Magnani
File in questo prodotto:
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.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/945173
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact