An Interoperable Testing Environment for ERTMS/ETCS Control Systems

  • Gregorio Barberio
  • Beniamino Di Martino
  • Nicola Mazzocca
  • Luigi Velardi
  • Aniello Amato
  • Renato De Guglielmo
  • Ugo Gentile
  • Stefano Marrone
  • Roberto Nardone
  • Adriano Peron
  • Valeria Vittorini
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8696)

Abstract

Verification of functional requirements of critical control systems requires a hard testing activity regulated by international standards. As testing often forms more than fifty percent of the total development cost, to support the verification processes by automated solutions is a key factor for achieving lower effort and costs and reducing time to market. The ultimate goal of the ongoing work here described is the development of an interoperable testing environment supporting the system level testing of railway ERTMS/ETCS control systems. The testing environment will provide a standardized interface to enable the integration testing between sub-systems developed by different companies/suppliers. We present the first outcomes obtained within the ARTEMIS project CRYSTAL which tackles the challenge to establish and push forward an Interoperability Specification (IOS) as an open European standard for the development of safety-critical embedded systems.

Keywords

Functional Testing Railway Control System Model-Based System Testing Model Driven Engineering Test Case Generation 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    CESAR: Cost-Efficient methods and proceses for SAfety Relevant embedded systems, http://www.cesarproject.eu/
  2. 2.
    CRYSTAL: CRitical sYSTem engineering AcceLeration, http://www.crystal-artemis.eu/
  3. 3.
    iFEST: industrial Framework for Embedded Systems Tools, http://www.artemis-ifest.eu/
  4. 4.
    MBAT: Combined Model-based Analysis and Testing of Embedded Systems, http://www.mbat-artemis.eu/
  5. 5.
    Alur, R., Kannan, S., Yannakakis, M.: Communicating hierarchical state machines. In: Wiedermann, J., Van Emde Boas, P., Nielsen, M. (eds.) ICALP 1999. LNCS, vol. 1644, pp. 169–178. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  6. 6.
    CENELEC. Cenelec, en 50128: Railway applications - communication, signalling and processing systems - software for railway control and protection systems (2011)Google Scholar
  7. 7.
    CENELEC. Cenelec, en 50126: Railway applications - demonstration of reliability, availability, maintainability and safety (rams) - part 1: Generic rams process (2012)Google Scholar
  8. 8.
    Cimatti, A., Clarke, E., Giunchiglia, F., Roveri, M.: Nusmv: a new symbolic model checker. International Journal on Software Tools for Technology Transfer 2 (2000)CrossRefGoogle Scholar
  9. 9.
    Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proceedings of the 21st International Conference on Software Engineering, ICSE 1999, pp. 411–420. ACM, New York (1999)CrossRefGoogle Scholar
  10. 10.
    Flammini, F., Marrone, S., Mazzocca, N., Nardone, R., Vittorini, V.: Model-driven V&V processes for computer based control systems: A unifying perspective. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol. 7610, pp. 190–204. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  11. 11.
    Gargantini, A., Heitmeyer, C.: Using model checking to generate tests from requirements specifications. SIGSOFT Softw. Eng. Notes 24(6), 146–162 (1999)CrossRefGoogle Scholar
  12. 12.
    Holzmann, G.: Spin Model Checker, the: Primer and Reference Manual, 1st edn. Addison-Wesley Professional (2003)Google Scholar
  13. 13.
    Jouault, F., Kurtev, I.: Transforming models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 128–138. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  14. 14.
    Marrone, S., Flammini, F., Mazzocca, N., Nardone, R., Vittorini, V.: Towards model-driven v&v assessment of railway control systems. International Journal on Software Tools for Technology Transfer, 1–15 (2014)Google Scholar
  15. 15.
    Pflügl, H., El-Salloum, C., Kundner, I.: CRYSTAL, CRitical sYSTem engineering AcceLeration, a Truly European Dimension. ARTEMIS Magazine 14, 12–15 (2013)Google Scholar
  16. 16.
    UIC. ERTMS/ETCS class1 system requirements specification, ref. SUBSET-026, issue 2.2.2 (2002)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Gregorio Barberio
    • 1
  • Beniamino Di Martino
    • 2
  • Nicola Mazzocca
    • 3
  • Luigi Velardi
    • 4
  • Aniello Amato
    • 1
  • Renato De Guglielmo
    • 4
  • Ugo Gentile
    • 3
  • Stefano Marrone
    • 5
  • Roberto Nardone
    • 3
  • Adriano Peron
    • 3
  • Valeria Vittorini
    • 3
  1. 1.MATE Consulting s.r.l.SalernoItaly
  2. 2.DIIISeconda Università di NapoliAversaItaly
  3. 3.DIETIUniversità di Napoli “Federico II”NapoliItaly
  4. 4.AnsaldoSTSNapoliItaly
  5. 5.DMFSeconda Università di NapoliCasertaItaly

Personalised recommendations