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
Ansaldo STS, Italy.
Ansaldo STS, Italy.
Ansaldo STS, Italy.
Ansaldo STS, Italy.ORCID iD: 0000-0002-2833-7196
Show others and affiliations
2004 (English)In: Computer Safety, Reliability, and Security. SAFECOMP 2004 / [ed] Heisel M., Liggesmeyer P., Wittmann S., Springer, 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
Springer, 2004. p. 116-129
Series
Lecture Notes in Computer Science, ISSN 1973-2018 ; 3219
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
Research subject
Computer Science, Software Technology
Identifiers
URN: urn:nbn:se:lnu:diva-73701DOI: 10.1007/978-3-540-30138-7_11Scopus ID: 2-s2.0-35048904614ISBN: 978-3-540-23176-9 (print)ISBN: 978-3-540-30138-7 (electronic)OAI: oai:DiVA.org:lnu-73701DiVA, id: diva2:1213836
Conference
23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004
Available from: 2018-06-05 Created: 2018-06-05 Last updated: 2018-09-13Bibliographically 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
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

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