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
The simulation of anomalies in the functional testing of the ERTMS/ETCS trackside system
Show others and affiliations
2005 (English)In: Proceedings of IEEE International Symposium on High Assurance Systems Engineering, 2005, p. 131-139Conference paper, Published paper (Refereed)
Abstract [en]

ERTMS/ETCS is going to become the reference standard for modern railway signalling. To develop a safe and reliable Automatic Train Protection System (ATPS) based on ERTMS/ETCS, a detailed functional testing phase is needed, meeting the requirements of international railway safety standards. In this paper we deal with the functional validation of the trackside part of an ERTMS/ETCS compliant system. An extensive set of functional tests have been specified in order to thoroughly verify the system, using an innovative approach based on influence variables and state diagrams. However, such a detailed test specification requires a great amount of time and resources to be entirely executed in the real environment. Moreover, several tests need to generate abnormal safety-critical conditions that are unfeasible on the field. In this paper we describe how we overcame such problems using a specific simulation environment capable to quickly and automatically execute anomaly tests in normal as well as in degraded operating conditions. © 2005 IEEE.

Place, publisher, year, edition, pages
2005. p. 131-139
Keywords [en]
ERTMS/ETCS, Functional testing, Safety-critical systems, Simulation environments, Verification & validation, Computer simulation, Real time systems, Security systems, Standards, Systems analysis, Verification amp validation, Computer software selection and evaluation
National Category
Embedded Systems
Identifiers
URN: urn:nbn:se:lnu:diva-73698DOI: 10.1109/HASE.2005.24Scopus ID: 2-s2.0-33846942218ISBN: 0769523773 ISBN: 9780769523774 OAI: oai:DiVA.org:lnu-73698DiVA, id: diva2:1213844
Conference
HASE 2005: Ninth IEEE International Symposium on High-Assurance Systems Engineering, 12 October 2005 through 14 October 2005, Heidelberg
Note

Conference code: 69105; Cited By :19; Export Date: 26 April 2018; Conference Paper; Correspondence Address: Di Tommaso, P.; ANSALDO SIGNAL, Ansaldo Segnalamento Ferroviario S.p.A., RAMS Division, Via Nuova delle Brecce 260, Naples, Italy; email: ditommaso.pasquale@asf.ansaldo.it; References: UNISIG ERTMS/ETCS - Class 1 Issue 2.2.2 Subset 026-1; CENELEC: EN 50126 Railways Applications - The specification and demonstration of Reliability, Maintainability and Safety (RAMS), 1999; G. De Nicola, P. di Tommaso, R. Esposito, F. Flammini, A. Orazzo: A Hybrid Testing Methodology for Railway Control Systems. In Lecture Notes in Computer Science (LNCS) 3219 (ed. Springer-Verlag Heidelberg): Computer Safety, Reliability, and Security: 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004: pp. 116-135; G. De Nicola, P. di Tommaso, R. Esposito, F. Flammini, P. Marmo, A. Orazzo: A Grey Box Approach to the Functional Testing of Complex Automatic Train Protection Systems. In Lecture Notes in Computer Science (LNCS) 3463 (ed. Springer-Verlag Heidelberg): The Fifth European Dependable Computing Conference, EDCC-5, Budapest, Hungary, April 20-22, 2005: pp. 305-317; di Tommaso, P., Esposito, R., Marmo, P., Orazzo, A., Hazard Analysis of Complex Distributed Railway Systems (2003) Proceedings of 22nd International Symposium on Reliable Distributed Systems, SRDS2003, pp. 283-292. , Florence, October 6-8; Heath, W.S., (1991) Real-Time Software Techniques, , Van Nostrand Reinhold, New York; Grimm, K., Systematic Testing of Software-Based Systems (1996) Proceedings of the 2nd Annual ENCRESS Conference, , Paris; Sommerville, I., (2000) Software Engineering, , 6th Edition. Addison Wesley; Dustin, E., Rashka, J., Paul, J., (1999) Automated Software Testing, , Addison Wesley; Esposito, R., Sanseviero, A., Lazzaro, A., Marmo, P., Formal Verification of ERTMS Euroradio Safety Critical Protocol (2003) Proceedings of FORMS 2003: Symposium on Formal Methods for Railway Operation and Control Systems, , May 15-16, Budapest, Hungary; CENELEC: EN 50159-2 Railway Applications Communication, signalling and processing systems - Part 2: Safety-related communication in open transmission systems, 2001A4 - Friedrich-Alexander-Universitaet Erlangen-Nurnberg; Technische Universitaet Darnstadt

Available from: 2018-06-05 Created: 2018-06-05 Last updated: 2018-06-05

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

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