Formal methods for intelligent transportation systems
2012 (English)In: Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies. ISoLA 2012, Springer, 2012, no PART 2, p. 187-189Conference paper, Published paper (Refereed)
Abstract [en]
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. © 2012 Springer-Verlag.
Place, publisher, year, edition, pages
Springer, 2012. no PART 2, p. 187-189
Series
Lecture Notes in Computer Science ; 7610
Keywords [en]
Environmental performance, Information and Communication Technologies, Intelligent transportation systems, Network operations, Safety-critical, Social equity, Transport infrastructure, Transport safety, X-by-wire, Environmental management, Information technology, Intelligent systems, Vehicle to vehicle communications
National Category
Embedded Systems
Research subject
Computer Science, Software Technology
Identifiers
URN: urn:nbn:se:lnu:diva-73669DOI: 10.1007/978-3-642-34032-1_19Scopus ID: 2-s2.0-84868279651ISBN: 9783642340314 (print)ISBN: 978-3-642-34032-1 (electronic)OAI: oai:DiVA.org:lnu-73669DiVA, id: diva2:1213881
Conference
5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012; Heraklion, Crete; Greece; 15-18 October 2012;
2018-06-052018-06-052019-03-07Bibliographically approved