lnu.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Formal methods for railway control systems
Università degli Studi di Firenze-DINFO, Italy.
Ansaldo STS-Innovation, Italy. (CPS)ORCID-id: 0000-0002-2833-7196
Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo”, Italy.
2014 (Engelska)Ingår i: International Journal on Software Tools for Technology Transfer (STTT), ISSN 1433-2779, E-ISSN 1433-2787, Vol. 16, nr 6, s. 643-646Artikel i tidskrift (Refereegranskat) 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.

Ort, förlag, år, upplaga, sidor
Springer, 2014. Vol. 16, nr 6, s. 643-646
Nyckelord [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
Nationell ämneskategori
Inbäddad systemteknik
Forskningsämne
Datavetenskap, Programvaruteknik
Identifikatorer
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
Tillgänglig från: 2018-06-04 Skapad: 2018-06-04 Senast uppdaterad: 2019-03-07Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Flammini, Francesco

Sök vidare i DiVA

Av författaren/redaktören
Flammini, Francesco
I samma tidskrift
International Journal on Software Tools for Technology Transfer (STTT)
Inbäddad systemteknik

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 185 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf