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
A hybrid testing methodology for railway control systems
Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).ORCID iD: 0000-0002-2833-7196
Show others and affiliations
2004 (English)In: Lect. Notes Comput. Sci., 2004, p. 116-129Conference paper, Published paper (Refereed)
Abstract [en]

International standards for V&V processes prescribe systematic testing as a fundamental step of safety-critical systems life-cycle, in order to prove the fulfilment of their requirements. However, proposed approaches are quite general and, for complex systems, imply an excessive number of test-cases to ensure the correctness of system behaviour in any operating scenarios, including unexpected ones. A more detailed methodology is needed to extensively test all the aspects of a complex system, while keeping the number of test-cases below a reasonable threshold. This paper describes the ASF hybrid testing methodology, combining black-box and white-box techniques, based on the identification and reduction of influence variables. Such an approach was successfully applied to validate ASF implementation of the SCMT system (an Italian Automatic Train Control specification), showing its time effectiveness and full achieved coverage. The same methodology, with the related customization, is now being improved in order to test the new ERTMS/ETCS systems. © Springer-Verlag 2004.

Place, publisher, year, edition, pages
2004. p. 116-129
Keywords [en]
Automatic train control, Large scale systems, Life cycle, Safety testing, Standards, Black boxes, Hybrid testing, International standards, Railway control systems, Safety critical systems, Systematic testing, Train control, White box, Black-box testing
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:lnu:diva-73701Scopus ID: 2-s2.0-35048904614OAI: oai:DiVA.org:lnu-73701DiVA, id: diva2:1213836
Conference
-
Note

Cited By :5; Export Date: 26 April 2018; Article; Correspondence Address: De Nicola, G.; ANSALDO SIGNAL - Ansaldo Segnalamento Ferroviario S.p.A, Via Nuova delle Brecce, 260, 80147 Napoli, Italy; email: denicola.giuseppe@asf.ansaldo.it; References: EN 50126 Railway Applications - the Specification and Demonstration of Reliability, Maintainability and Safety (RAMS); Heath, W.S., (1991) Real-Time Software Techniques, , Van Nostrand Reinhold, New York; Myers, G.J., (1979) The Art of Software Testing, , Wiley, New York; Wegener, J., Grimm, K., Grochtmann, M., Systematic Testing of Real-Time Systems (1996) Conference Papers of EuroSTAR, 96. , Amsterdam; Jeng, B., Weyuker, E.J., Some Observations on Partition Testing (1989) Proceedings of the ACM SIGSOFT 89 Third Symposium on Software Testing, Analysis and Verification, , Key West; Ostrand, T., Balcer, M., The Category-Partition Method for Specifying and Generating Functional Tests (1988) Communications of the ACM, 31 (6), pp. 676-686; Grochtmann, M., Grimm, K., Classification-Trees for Partition Testing (1993) Journal of Software Testing, Verification and Reliability, 3 (2), pp. 63-82; Grimm, K., Systematic Testing of Software-Based Systems (1996) Proceedings of the 2nd Annual ENCRESS Conference, , Paris; 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, pp. 283-292. , Florence; Class L Issue 2.2.2 Subset 026-1; Norme per 1'Ubicazione e 1'Aspetto Dei Segnali; (2000) Software Engineering, 6th Edition, , Addison Wesley; (2001) Telelogic Tau Logicscope V5.1, , Basic Concept; (2003) Applicazione Dell'SCMT: Caratteristiche di Codificazione Degli Impianti BACC Ed Integrazioni Tecnico-normative, , Roma

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

Open Access in DiVA

No full text in DiVA

Scopus

Authority records BETA

Flammini, Francesco

Search in DiVA

By author/editor
Flammini, Francesco
By organisation
Department of computer science and media technology (CM)
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

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