Motivation
The term Intelligent Transportation Systems (ITS), [4,5], refers to information and communication technology (applied to transport infrastructure and vehicles) that improve transport outcomes such as transport safety, transport productivity, travel reliability, informed travel choices, social equity, environmental performance and network operation resilience [2,3]. Safety-critical ITS include the so called X-by-wire (where ‘X’ can stand for ‘fly’, ‘brake’, ’accelerate, ‘steer’, etc.) systems used in domains like aerospace, automotive and railways. The importance of ITS is increasing as novel driverless/pilotless applications are emerging.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Bonnefoi, F., Hillah, L.M., Kordon, F., Renault, X.: Design, modeling and analysis of ITS using UML and Petri Nets. In: IEEE Intelligent Transportation Systems Conference (ITSC 2007), pp. 314–319 (2007)
Cascetta, E.: Transportation Systems Engineering: Theory and Methods. Kluwer Academic Publishers (2001)
Flammini, F.: Railway Safety, Reliability, and Security: Technologies and Systems Engineering. IGI Global (2012)
IEEE Intelligent Transportation Systems Society home-page, http://sites.ieee.org/itss/ (last access June 2012)
International Journal of Intelligent Transportation Systems Research, http://www.springer.com/engineering/electronics/journal/13177
Flammini, F., Marrone, S., Mazzocca, N., Nardone, R., Vittorini, V.: Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, pp. 190–204. Springer, Heidelberg (2012)
Gigante, G., Pascarella, D.: Formal Methods in Avionic Software Certification: The DO-178C Perspective. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, pp. 205–215. Springer, Heidelberg (2012)
Ferrari, A., Spagnolo, G.O., Martelli, G., Menabeni, S.: Product Line Engineering Applied to CBTC Systems Development. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, pp. 216–230. Springer, Heidelberg (2012)
Marrone, S., Nardone, R., Orazzo, A., Petrone, I., Velardi, L.: Improving Verification Process in Driverless Metro Systems: The MBAT Project. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, pp. 231–245. Springer, Heidelberg (2012)
Winter, K.: Optimising Ordering Strategies for Symbolic Model Checking of Railway Interlockings. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, pp. 246–261. Springer, Heidelberg (2012)
Haxthausen, A.E.: Automated Generation of Safety Requirements from Railway Interlocking Tables. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, pp. 262–276. Springer, Heidelberg (2012)
Fantechi, A.: Distributing the Challenge of Model Checking Interlocking Control Tables. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, pp. 277–290. Springer, Heidelberg (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fantechi, A., Flammini, F., Gnesi, S. (2012). Formal Methods for Intelligent Transportation Systems. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies. ISoLA 2012. Lecture Notes in Computer Science, vol 7610. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34032-1_19
Download citation
DOI: https://doi.org/10.1007/978-3-642-34032-1_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-34031-4
Online ISBN: 978-3-642-34032-1
eBook Packages: Computer ScienceComputer Science (R0)