PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Fantechi A., Ferrari A., Gnesi S. Formal methods and safety certification: challenges in the railways domain. In: ISoLA 2016 - Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. 7th International Symposium (Corfu, Greece, 10-14 October 2016). Proceedings, vol. II pp. 261 - 265. Tiziana Margaria, Bernhard Steffen (eds.). (Lecture Notes in Computer Science (LNCS), vol. 9953). Springer International Publishing, 2016.
 
 
Abstract
(English)
The railway signalling sector has historically been a source of success stories about the adoption of formal methods in the certification of software safety of computer-based control equipment.
URL: http://link.springer.com/chapter/10.1007%2F978-3-319-47169-3_18
DOI: 10.1007/978-3-319-47169-3_18
Subject Model checking
Railway applications
Formal methods
Interlocking
Automatic train protection
D.2 SOFTWARE ENGINEERING
D.2.4 SOFTWARE ENGINEERING. Software/Program Verification
D.2.4 SOFTWARE ENGINEERING. Model checking
D.2.2 SOFTWARE ENGINEERING. Design Tools and Techniques


Icona documento 1) Download Document PDF
Icona documento 2) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional