lnu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Formal methods for intelligent transportation systems
Universit degli Studi di Firenze, Italy.
Ansaldo STS, Italy. (CPS)ORCID iD: 0000-0002-2833-7196
Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo”, Italy.
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;
Available from: 2018-06-05 Created: 2018-06-05 Last updated: 2019-03-07Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Flammini, Francesco

Search in DiVA

By author/editor
Flammini, Francesco
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 178 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf