lnu.sePublikationer
Driftstörningar
Just nu har vi driftstörningar på sök-portalerna på grund av hög belastning. Vi arbetar på att lösa problemet, ni kan tillfälligt mötas av ett felmeddelande.
Ä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
Non-Markovian performability evaluation of ERTMS/ETCS level 3
University of Florence, Italy.
Ansaldo STS, Italy. (CPS)ORCID-id: 0000-0002-2833-7196
University of Florence, Italy.
University of Florence, Italy.
2015 (Engelska)Ingår i: Computer Performance Engineering. EPEW 2015, Springer, 2015, s. 47-62Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

The European Rail Traffic Management System/European Train Control System (ERTMS/ETCS) is an innovative standard introduced to enhance reliability, safety, performance, and interoperability of trans-European railways. In Level 3, the standard replaces fixed-block safety mechanisms, in which only one train at a time is allowed to be in each railway block, with moving blocks: a train proceeds as long as it receives radio messages ensuring that the track ahead is clear of other trains. This mechanism increases line capacity, but relies crucially on the communication link: if messages are lost, the train must stop within a safe deadline even if the track ahead is clear. We develop upon results of the literature to propose an approach for the evaluation of transient availability of the communication channel and probability of train stops due to lost messages. We formulate a non-Markovian model of communication availability and system operation, and leverage solution techniques of the ORIS Tool to provide experimental results in the presence of multiple concurrent activities with non-exponential durations. © Springer International Publishing Switzerland 2015.

Ort, förlag, år, upplaga, sidor
Springer, 2015. s. 47-62
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 9272
Nyckelord [en]
European Rail Traffic Management System (ERTMS), European Train Control System (ETCS), Markov Regenerative Process (MRP), Real-time systems design, Stochastic state classes, Transient analysis, Automatic train control, Control systems, Interactive computer systems, Interoperability, Markov processes, Railroad traffic control, Railroad transportation, Railroads, Safety engineering, Stochastic systems, Concurrent activities, European rail traffic management systems, European Train Control Systems, Markov regenerative process, Non-Markovian modeling, Performability evaluation, Train control systems, Real time systems
Nationell ämneskategori
Inbäddad systemteknik
Forskningsämne
Datavetenskap, Programvaruteknik
Identifikatorer
URN: urn:nbn:se:lnu:diva-73651DOI: 10.1007/978-3-319-23267-6_4Scopus ID: 2-s2.0-84944722704ISBN: 9783319232669 (tryckt)ISBN: 9783319232676 (digital)OAI: oai:DiVA.org:lnu-73651DiVA, id: diva2:1213281
Konferens
12th European Workshop, EPEW 2015 Madrid, Spain, August 31 – September 1, 2015
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

Person

Flammini, Francesco

Sök vidare i DiVA

Av författaren/redaktören
Flammini, Francesco
Inbäddad systemteknik

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 248 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