A Tool-supported Model-based Method for Facilitating the EN50129-compliant Safety Approval Process
2019 (English) In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2019, 2019, p. 125-141Conference paper, Published paper (Refereed)
Abstract [en]
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.
Place, publisher, year, edition, pages 2019. p. 125-141
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 11495
Keywords [en]
EN 50129, EN 50126-1, safety management, safety processes, regulatory compliance, safety plans, model transformation
National Category
Engineering and Technology Computer Systems
Identifiers URN: urn:nbn:se:mdh:diva-43920 DOI: 10.1007/978-3-030-18744-6_8 ISI: 000558742000010 Scopus ID: 2-s2.0-85066850709 ISBN: 9783030187439 (electronic) OAI: oai:DiVA.org:mdh-43920 DiVA, id: diva2:1325145
Conference 3rd International Conference Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification RSS-Rail-2019, 04 Jun 2019, Lille, France
Projects AMASS - Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems 2019-06-142019-06-142020-08-27 Bibliographically approved