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.
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
Automatic train protection
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