The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results

  • Andrea CeccarelliEmail author
  • Davide Basile
  • Andrea Bondavalli
  • Lorenzo Falai
  • Alessandro Fantechi
  • Sandro Ferrari
  • Gianluca Mandò
  • Nicola Nostro
  • Luigi Rucher
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11699)


The research project SISTER aims to improve the safety and autonomy of light rail trains by developing and integrating novel technologies for remote sensing and object detection, safe positioning, and broadband radio communication. To prove safety of the SISTER solution, CENELEC-compliant Verification and Validation (V&V) is obviously required. In the SISTER project, we tackled the challenge of defining and applying a compact V&V methodology, able to provide convincing safety evidence on the solution, but still within the reduced resources available for the project. A relevant characteristic of the methodology is to produce V&V results that can be reused for future industrial exploitation of SISTER outcomes after project termination. This paper presents the V&V methodology that is currently applied in parallel to the progress of project activities, with preliminary results from its application.


Design Verification and Validation Hazard analysis Model checking Model-Driven Engineering Stochastic modeling Railway standards 



This work has been partially supported by the Tuscany Region project POR FESR 2014–2020 SISTER - SIgnaling & Sensing Technologies in Railway application.


  1. 1.
    Bondavalli, A., Lollini, P., Majzik, I., Montecchi, L.: Modelling and model-based assessment. In: Wolter, K., Avritzer, A., Vieira, M., van Moorsel, A. (eds.) Resilience Assessment and Evaluation of Computing Systems, pp. 153–165. Springer, Heidelberg (2012). Scholar
  2. 2.
    CENELEC EN 50126: Railway applications - The specification and demonstration of Reliability, Availability, Maintainability and Safety (RAMS) (1999)Google Scholar
  3. 3.
    CENELEC EN 50128: Railway applications - Communication, signaling and processing systems - Software for railway control and protection systems (2011)Google Scholar
  4. 4.
    CENELEC EN 50129: Railway applications - Communication, signaling and processing systems - Safety related electronic systems for signaling (2003)Google Scholar
  5. 5.
    Cicchetti, A., et al.: CHESS: a model-driven engineering tool environment for aiding the development of complex industrial systems. In: IEEE/ACM ASE, pp. 362–365. ACM (2012)Google Scholar
  6. 6.
    Ericson, C.: Hazard Analysis Techniques for System Safety. Wiley, Hoboken (2015)Google Scholar
  7. 7.
  8. 8.
  9. 9.
    Bondavalli, A., et al.: DEEM: a tool for the dependability modeling and evaluation of multiple phased systems. In: Proceeding International Conference on Dependable Systems and Networks (DSN), pp. 231–236. IEEE (2000)Google Scholar
  10. 10.
    Ceccarelli, A., Bondavalli, A., Froemel, B., Hoeftberger, O., Kopetz, H.: Basic concepts on systems of systems. In: Bondavalli, A., Bouchenak, S., Kopetz, H. (eds.) Cyber-Physical Systems of Systems. LNCS, vol. 10099, pp. 1–39. Springer, Cham (2016). Scholar
  11. 11.
    Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)zbMATHGoogle Scholar
  12. 12.
    David, A., et al.: Uppaal SMC tutorial. Int. J. Softw. Tools Technol. Transfer 17(4), 397–415 (2015)CrossRefGoogle Scholar
  13. 13.
    Basile, D., Fantechi, A., Rucher, L., Mandò, G.: Statistical model checking of hazards in an autonomous tramway positioning system. In: Collart-Dutilleul, S., Lecomte, T., Romanovsky, A. (eds.) RSSRail 2019. LNCS, vol. 11495, pp. 41–58. Springer, Cham (2019). Scholar
  14. 14.
    Sanders, W.H., Meyer, J.F.: Stochastic activity networks: formal definitions and concepts⋆. In: Brinksma, E., Hermanns, H., Katoen, J.-P. (eds.) EEF School 2000. LNCS, vol. 2090, pp. 315–343. Springer, Heidelberg (2001). Scholar
  15. 15.
    Möbius User Manual: PERFORM – Performability Engineering Research Group, University of Illinois at Urbana-Champaign, 2.0 editionGoogle Scholar
  16. 16.
    Hamoy, C., Hemer, D., Lindsay, P.: HazLog: tool support for hazard management. In: Proceedings of the 9th Australian Workshop on Safety Critical Systems and Software - Volume 47, pp. 77–87. Australian Computer Society, Inc. (2004)Google Scholar
  17. 17.
    Müller, M., Roth, M., Lindemann, U.: The hazard analysis profile: linking safety analysis and SysML. In: Annual IEEE Systems Conference (SysCon), pp. 1–7 (2016)Google Scholar
  18. 18.
    POR-FESR 2014–2020 SISTER - SIgnaling & Sensing Technologies in Railway application.
  19. 19.
    Legrand, C., et al.: Approach for evaluating the safety of a satellite-based train localisation system through the extended integrity concept. In: ESREL 2015-European Safety and Reliability Conference (2015)Google Scholar
  20. 20.
    Basile, D., Di Giandomenico, F., Gnesi, S.: Statistical model checking of an energy-saving cyber-physical system in the railway domain. In: ACM Proceedings of the Symposium on Applied Computing, pp. 1356–1363 (2017)Google Scholar
  21. 21.
    Ceccarelli, A., et al.: Threat analysis in systems-of-systems: an emergence-oriented approach. ACM Trans. Cyber-Phys. Syst. 3(2), 18 (2018)CrossRefGoogle Scholar
  22. 22.
    de la Vara, J.L., et al.: The AMASS approach for assurance and certification of critical systems. In: Embedded World Conference (2019)Google Scholar
  23. 23.
    Bondavalli, A., Brancati, F. (eds.): Certifications of Critical Systems-The CECRIS Experience. River Publishers, Gistrup (2017)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  • Andrea Ceccarelli
    • 1
    Email author
  • Davide Basile
    • 1
  • Andrea Bondavalli
    • 1
  • Lorenzo Falai
    • 2
  • Alessandro Fantechi
    • 1
  • Sandro Ferrari
    • 3
  • Gianluca Mandò
    • 3
  • Nicola Nostro
    • 2
  • Luigi Rucher
    • 3
  1. 1.University of FlorenceFlorenceItaly
  2. 2.Resiltech S.R.L.PontederaItaly
  3. 3.Thales S.P.A.FlorenceItaly

Personalised recommendations