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 railway control systems
Università degli Studi di Firenze-DINFO, Italy.
Ansaldo STS-Innovation, Italy.ORCID iD: 0000-0002-2833-7196
Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo”, Italy.
2014 (English)In: International Journal on Software Tools for Technology Transfer (STTT), ISSN 1433-2779, E-ISSN 1433-2787, Vol. 16, no 6, p. 643-646Article in journal (Refereed) Published
Abstract [en]

The term intelligent transportation systems (ITS) 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. The importance of ITS is increasing as novel driverless/pilotless applications are emerging. This special issue addresses the application of formal methods to model and analyze complex systems in the context of ITS and in particular in the field of railway control systems. In fact, modelling and analysis activities are very important to optimize system life-cycle in the design, development, verification and operational stages, and they are essential whenever assessment and certification is required by international standards. © 2014, Springer-Verlag Berlin Heidelberg.

Place, publisher, year, edition, pages
Springer, 2014. Vol. 16, no 6, p. 643-646
Keywords [en]
Formal methods, Railway control systems, Complex networks, Control systems, Environmental management, Environmental technology, Intelligent systems, Life cycle, Railroads, Vehicle to vehicle communications, Transportation, Environmental performance, Information and Communication Technologies, Intelligent transportation systems, International standards, Modelling and analysis, Network operations, Transport infrastructure, Operational stages
National Category
Embedded Systems
Research subject
Computer Science, Software Technology
Identifiers
URN: urn:nbn:se:lnu:diva-73654DOI: 10.1007/s10009-014-0342-1Scopus ID: 2-s2.0-84919863128OAI: oai:DiVA.org:lnu-73654DiVA, id: diva2:1213286
Available from: 2018-06-04 Created: 2018-06-04 Last updated: 2018-06-05Bibliographically 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
In the same journal
International Journal on Software Tools for Technology Transfer (STTT)
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 30 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