Formal methods for transport systems (original) (raw)

Access this article

Log in via an institution

Subscribe and save

• Starting from 10 chapters or articles per month
• Access and download chapters and articles from more than 300k books and 2,500 journals
• Cancel anytime View plans

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

References

1. Woodcock, J., Larsen, P.G., Bicarregui, J., Fitzgerald, J.S.: Formal methods: practice and experience. ACM Comput. Surv. 41(4), 19:1–19:36 (2009)
   Article Google Scholar
2. Gigante, G., Pascarella, D.: Formal methods in avionic software certification: the DO-178C perspective. In: Margaria, T., Steffen, B. (eds.) Proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Applications and Case Studies (ISoLA 2012), Part II. Lecture Notes in Computer Science, vol. 7610, pp. 205–215. Springer (2012)
3. Fantechi, A.: Twenty-five years of formal methods and railways: what next? In: Counsell, S., Núñez, M. (eds.) Software Engineering and Formal Methods—Revised Selected Papers of the SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert. Lecture Notes in Computer Science, vol. 8368, pp. 167–183. Springer (2013)
4. Gnesi, S., Margaria, T.: Formal Methods for Industrial Critical Systems: A Survey of Applications. Wiley, Hoboken (2013)
   Google Scholar
5. European Committee for Electrotechnical Standardization: CENELEC—EN 50128: railway applications—communication, signalling and processing systems—software for railway control and protection systems, June (2011). http://standards.globalspec.com/std/1678027/cenelec-en-50128
6. Radio Technical Commission for Aeronautics: RTCA DO–178: software considerations in airborne systems and equipment certification, December (2011). http://standards.globalspec.com/std/1830812/rtca-do-178
7. Almeida, J.B., Frade, M.J., Pinto, J.S., de Sousa, S.M.: An overview of formal methods tools and techniques. In: Rigorous Software Development: An Introduction to Program Verification, pp. 15–44. Springer (2011)
8. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)
   MATH Google Scholar
9. Fantechi, A., Ferrari, A., Gnesi, S.: Formal methods and safety certification: challenges in the railways domain. In: Margaria, Steffen (eds.) [10], pp. 261–265
10. Margaria, T., Steffen, B. (eds.): Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications (ISoLA 2016), Part II. Lecture Notes in Computer Science, vol. 9953. Springer (2016)
11. ter Beek, M.H., Gnesi, S., Knapp, A. (eds.): Critical Systems: Formal Methods and Automated Verification—Proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems (FMICS-AVoCS 2016). Lecture Notes in Computer Science, vol. 9933. Springer (2016)
12. Vanit-Anunchai, S.: Modelling and simulating a Thai railway signalling system using Coloured Petri Nets. Int. J. Softw. Tools Technol. Transf. (2018). https://doi.org/10.1007/s10009-018-0482-9
13. Mazzanti, F., Ferrari, A., Spagnolo, G.O.: Towards formal methods diversity in railways: an experience report with seven frameworks. Int. J. Softw. Tools Technol. Transf. (2018). https://doi.org/10.1007/s10009-018-0488-3
14. Mazzanti, F., Spagnolo, G.O., Ferrari, A.: Designing a deadlock-free train scheduler: a model checking approach. In: Badger, J.M., Rozier, K.Y. (eds.) Proceedings of the 6th International NASA Formal Methods Symposium (NFM 2014). Lecture Notes in Computer Science, vol. 8430, pp. 264–269. Springer (2014)
15. IEEE Vehicular Technology Society: IEEE Std 1474.1-2004(R2009): IEEE standard for communications-based train control (CBTC) performance and functional requirements, February (2005). https://doi.org/10.1109/IEEESTD.2004.95746
16. Littlewood, B., Popov, P., Strigini, L.: Modeling software design diversity: a review. ACM Comput. Surv. 33(2), 177–208 (2001)
    Article Google Scholar
17. Ciancia, V., Gilmore, S., Grilletti, G., Latella, D., Loreti, M., Massink, M.: Spatio-temporal model checking of vehicular movement in public transport systems. Int. J. Softw. Tools Technol. Transf. (2018). https://doi.org/10.1007/s10009-018-0483-8

Download references