Abstract
Compliance with the CENELEC series is mandatory during the planning of as well as development of railway systems. For compliance purposes, the creation of safety plans, which define safety-related activities and all other process elements relevant at the planning phase, is also needed. These plans are expected to be executed during the development phase. Specifically, EN 50129 defines the safety plan acceptance and approval process, where interactions between the applicant and the certification body are recommended: after the planning phase, to ensure the compliance between plans and standards, and after the development phase, to ensure the effective and not-deviating-unless-justified execution of plans. In this paper, we provide a tool-supported method for facilitating the safety approval processes/certification liaison processes. More specifically, the facilitation consists in guidance for modelling planned processes and the requirements listed in the standards in order to enable the automatic generation of baselines, post-planning processes and evidence models, needed during the execution phase and change impact tracking for manual monitoring of the compatibility between plans and their execution. The applicability of the proposed method is illustrated in the context of EN 50126-1 and EN 50129 standards.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 2.
- 3.
- 4.
- 5.
- 6.
- 7.
- 8.
References
Adedjouma, M., Pedroza, G., Smaoui, A., Dang, T.K.: Facilitating the adoption of standards through model-based representation. In: Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems (ICECCS 2018), Melbourne, Australia, 12–14 December 2018 (2018)
Alajrami, S., Gallina, B., Romanovsky, A.: EXE-SPEM: towards cloud-based executable software process models. In: 4th International Conference on Model-Driven Engineering and Software Development, MODELSWARD, pp. 517–527 (2016)
AMASS: AMASS User guidance and Methodological framework (2018). https://www.amass-ecsel.eu/sites/amass.drupal.pulsartecnalia.com/files/D2.5_User-guidance-and-methodological-framework_AMASS_Final.pdf. Accessed 5 Mar 2018
AMASS: AMASS platform validation D2.9 (2019). https://www.amass-ecsel.eu/sites/amass.drupal.pulsartecnalia.com/files/documents/D2.9_AMASS-platform-validation_AMASS_Final.pdf. Accessed 5 Mar 2019
Bendraou, R., Jezéquél, J.-M., Fleurey, F.: Combining aspect and model-driven engineering approaches for software process modeling and execution. In: Wang, Q., Garousi, V., Madachy, R., Pfahl, D. (eds.) ICSP 2009. LNCS, vol. 5543, pp. 148–160. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-01680-6_15
Castellanos Ardila, J.P., Gallina, B., Ul Muram, F.: Enabling compliance checking against safety standards from SPEM 2.0 process models. In: 44th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2018, Prague, Czech Republic, 29–31 August 2018, pp. 45–49 (2018). https://doi.org/10.1109/SEAA.2018.00017
CHESS-Team: CHESSML (2018). https://www.polarsys.org/chess/start.html
European Commitee for Electrotechnical Standardization (CENELEC): EN 50128 - railway applications - communication, signalling and processing systems - software for railway control and protection systems (2011)
European Commitee for Electrotechnical Standardization (CENELEC): EN 50126–1: railway applications - the specification and demonstration of reliability, availability, maintainability and safety (RAMS), part 1 generic RAMS process (2017)
European Commitee for Electrotechnical Standardization (CENELEC): EN50129: railway applications - communication, signalling and processing systems - safety related electronic systems for signalling (2018)
Gallina, B.: A Model-driven safety certification method for process compliance. In: 2nd International Workshop on Assurance Cases for Software-Intensive Systems, joint event of ISSRE, Naples, Italy, 3–6 November 2014, pp. 204–209. IEEE (2014). https://doi.org/10.1109/ISSREW.2014.30
Gallina, B., Pitchai, K.R., Lundqvist, K.: S-TunExSPEM: towards an extension of SPEM 2.0 to model and exchange tunable safety-oriented processes. In: Lee, R. (ed.) Software Engineering Research, Management and Applications. Studies in Computational Intelligence, vol. 496, pp. 215–230. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-319-00948-3_14
Javed, M.A., Gallina, B.: Get EPF Composer back to the future: a trip from Galileo to Photon after 11 years. EclipseCon, Toulouse, France, 13–14 June (2018). http://www.es.mdh.se/publications/5091-Get_EPF_Composer_back_to_the_future__A_trip_from_Galileo_to_Photon_after_11_years
McIsaac, B.: IBM rational method composer: standards mapping. Technical report, IBM Developer Works (2015)
Muram, F.U., Gallina, B.: EPF Composer Library for EN 50126–9 compliant process authoring, limited to Phase 6 (2019). https://www.dropbox.com/sh/1o7cf12nqvmyvqc/AACi0EZymqzbQJKinutcNAzsa?dl=0. Accessed 5 Mar 2019
Muram, F.U., Gallina, B., Rodriguez, L.G.: Preventing omission of key evidence fallacy in process-based argumentations. In: 11th International Conference on the Quality of Information and Communications Technology (QUATIC), Coimbra, Portugal, 4–7 September 2018, pp. 65–73. IEEE (2018). https://doi.org/10.1109/QUATIC.2018.00019
Object Management Group (OMG): Structured Assurance Case Metamodel (SACM), Version 2.0 (2018). https://www.omg.org/spec/SACM/2.0. Accessed 5 Mar 2019
OMG: Software & Systems Process Engineering Metamodel Specification (SPEM), Version 2.0 (2008). http://www.omg.org/spec/SPEM/2.0/. Accessed 5 Mar 2019
RTCA Inc: Software Considerations in Airborne Systems and Equipment Certification, RTCA DO-178C (EUROCAE ED-12C), Washington DC (2011)
Schoitsch, E., Althammer, E., Sonneck, G., Eriksson, H., Vinter, J.: Modular certification support - the DECOS concept of generic safety cases. In: 2008 6th IEEE International Conference on Industrial Informatics, pp. 258–263, July 2008. https://doi.org/10.1109/INDIN.2008.4618105
Acknowledgment
This work is supported by EU and VINNOVA via the ECSEL Joint Undertaking under grant agreement No. 692474, AMASS project. We thank Inmaculada Ayala for her contribution on requirements modelling using customised elements in EPF Composer.
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
Ul Muram, F., Gallina, B., Kanwal, S. (2019). A Tool-Supported Model-Based Method for Facilitating the EN50129-Compliant Safety Approval Process. In: Collart-Dutilleul, S., Lecomte, T., Romanovsky, A. (eds) Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. RSSRail 2019. Lecture Notes in Computer Science(), vol 11495. Springer, Cham. https://doi.org/10.1007/978-3-030-18744-6_8
Download citation
DOI: https://doi.org/10.1007/978-3-030-18744-6_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-18743-9
Online ISBN: 978-3-030-18744-6
eBook Packages: Computer ScienceComputer Science (R0)