Model-driven techniques offer new solutions to support development and verification and validation (V&V) activities of software-intensive systems. As they can reduce costs, and ease the certification process as well, they are attractive also in safety-critical domains. We present an approach for Model-in-the-loop testing within an OMG-based model-driven process, aimed at supporting system V&V activities. The approach is based on the definition of a model of the system environment, named Computation Independent Test (CIT) model. The CIT enables various forms of system test, allowing early detection of design faults. We show the benefits of the approach with reference to a pilot project that is part of a railway interlocking system. The system, required to be CEN- ELEC SIL-4 compliant, has been provided by the Hungarian company Prolan Co. in the context of an industrial-academic partnership.

Model-in-the-Loop Testing of a Railway Interlocking System / Scippacercola, Fabio; Pietrantuono, Roberto; Russo, Stefano; Zentai, A.. - 580:(2015), pp. 375-389. [10.1007/978-3-319-27869-8_22]

Model-in-the-Loop Testing of a Railway Interlocking System

SCIPPACERCOLA, FABIO;PIETRANTUONO, ROBERTO;RUSSO, STEFANO;
2015

Abstract

Model-driven techniques offer new solutions to support development and verification and validation (V&V) activities of software-intensive systems. As they can reduce costs, and ease the certification process as well, they are attractive also in safety-critical domains. We present an approach for Model-in-the-loop testing within an OMG-based model-driven process, aimed at supporting system V&V activities. The approach is based on the definition of a model of the system environment, named Computation Independent Test (CIT) model. The CIT enables various forms of system test, allowing early detection of design faults. We show the benefits of the approach with reference to a pilot project that is part of a railway interlocking system. The system, required to be CEN- ELEC SIL-4 compliant, has been provided by the Hungarian company Prolan Co. in the context of an industrial-academic partnership.
2015
978-3-319-27868-1
Model-in-the-Loop Testing of a Railway Interlocking System / Scippacercola, Fabio; Pietrantuono, Roberto; Russo, Stefano; Zentai, A.. - 580:(2015), pp. 375-389. [10.1007/978-3-319-27869-8_22]
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11588/618256
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 6
  • ???jsp.display-item.citation.isi??? 3
social impact