Formal methods and safety certification: Challenges in the railways domain
| Autor: | Stefania Gnesi, Alessandro Fantechi, Alessio Ferrari |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2016 |
| Předmět: |
Model checking
Computer science 02 engineering and technology Control equipment Certification Domain (software engineering) Software 0202 electrical engineering electronic engineering information engineering Interlocking Software product line 060201 languages & linguistics business.industry Formal methods D.2.2 SOFTWARE ENGINEERING. Design Tools and Techniques D.2.4 SOFTWARE ENGINEERING. Software/Program Verification 06 humanities and the arts Railway applications 0602 languages and literature Railway signalling 020201 artificial intelligence & image processing Software engineering business D.2 SOFTWARE ENGINEERING Certification and Accreditation Automatic train protection D.2.4 SOFTWARE ENGINEERING. Model checking |
| Zdroj: | Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. 7th International Symposium, pp. 261–265, Corfu, Greece, 10-14 October 2016 info:cnr-pdr/source/autori:Fantechi A.; Ferrari A.; Gnesi S./congresso_nome:Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. 7th International Symposium/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:261/pagina_a:265/intervallo_pagine:261–265 Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications ISBN: 9783319471686 ISoLA (2) |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|