Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
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). https://doi.org/10.1007/978-3-642-29032-9_7
CENELEC EN 50126: Railway applications - The specification and demonstration of Reliability, Availability, Maintainability and Safety (RAMS) (1999)
CENELEC EN 50128: Railway applications - Communication, signaling and processing systems - Software for railway control and protection systems (2011)
CENELEC EN 50129: Railway applications - Communication, signaling and processing systems - Safety related electronic systems for signaling (2003)
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)
Ericson, C.: Hazard Analysis Techniques for System Safety. Wiley, Hoboken (2015)
Google Blockly. https://developers.google.com/blockly
Blockly4SoS. https://blockly4sos.resiltech.com/
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)
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). https://doi.org/10.1007/978-3-319-47590-5_1
Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)
David, A., et al.: Uppaal SMC tutorial. Int. J. Softw. Tools Technol. Transfer 17(4), 397–415 (2015)
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). https://doi.org/10.1007/978-3-030-18744-6_3
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). https://doi.org/10.1007/3-540-44667-2_9
Möbius User Manual: PERFORM – Performability Engineering Research Group, University of Illinois at Urbana-Champaign, 2.0 edition
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)
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)
POR-FESR 2014–2020 SISTER - SIgnaling & Sensing Technologies in Railway application. http://www.progetto-sister.com/
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)
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)
Ceccarelli, A., et al.: Threat analysis in systems-of-systems: an emergence-oriented approach. ACM Trans. Cyber-Phys. Syst. 3(2), 18 (2018)
de la Vara, J.L., et al.: The AMASS approach for assurance and certification of critical systems. In: Embedded World Conference (2019)
Bondavalli, A., Brancati, F. (eds.): Certifications of Critical Systems-The CECRIS Experience. River Publishers, Gistrup (2017)
Acknowledgement
This work has been partially supported by the Tuscany Region project POR FESR 2014–2020 SISTER - SIgnaling & Sensing Technologies in Railway application.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Ceccarelli, A. et al. (2019). The SISTER Approach for Verification and Validation: A Lightweight Process for Reusable Results. In: Romanovsky, A., Troubitsyna, E., Gashi, I., Schoitsch, E., Bitsch, F. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2019. Lecture Notes in Computer Science(), vol 11699. Springer, Cham. https://doi.org/10.1007/978-3-030-26250-1_15
Download citation
DOI: https://doi.org/10.1007/978-3-030-26250-1_15
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-26249-5
Online ISBN: 978-3-030-26250-1
eBook Packages: Computer ScienceComputer Science (R0)