La strategia di verificazione e validazione per la sicurezza ferroviaria

Abstract

Present thesis outlines a thorough approach for verifying and validating railway software that is crucial for safety, with a focus on following CENELEC requirements and attaining Safety Integrity Level 4 (SIL4). The thesis is organised to offer a comprehensive comprehension of these criteria and their indispensability in guaranteeing secure railway operations. The open ETCS effort is a focal point of discussion, since it seeks to establish a comprehensive framework for the modelling, development, validation, and testing of the European Train Control System (ETCS). The plan in this framework details the verification and validation tasks required at every stage of railway software development. The proposal presents precise methodologies and tools for these tasks, coordinating the processes to facilitate thorough verification and validation in accordance with CENELEC requirements. The thesis encompasses various crucial domains, commencing with an examination of the CENELEC standards and SIL4, elucidating their significance in ensuring railway safety. This text explores the openETCS framework and offers a thorough examination of how openETCS enables the efficient and dependable implementation of ETCS at a reasonable cost. The V&V responsibilities involve the verification of development objects to ensure their accurate expression or implementation of desired functionalities. Furthermore, it includes the examination of hazards and risks, with the creation of a hazard document that is essential for meeting the standards set by CENELEC and achieving SIL4 compliance. The procedure entailed developing an agent-based simulation model for a fire alarm system to detect dangers, make choices, implement remedies, and document their implementation progress.

Present thesis outlines a thorough approach for verifying and validating railway software that is crucial for safety, with a focus on following CENELEC requirements and attaining Safety Integrity Level 4 (SIL4). The thesis is organised to offer a comprehensive comprehension of these criteria and their indispensability in guaranteeing secure railway operations. The open ETCS effort is a focal point of discussion, since it seeks to establish a comprehensive framework for the modelling, development, validation, and testing of the European Train Control System (ETCS). The plan in this framework details the verification and validation tasks required at every stage of railway software development. The proposal presents precise methodologies and tools for these tasks, coordinating the processes to facilitate thorough verification and validation in accordance with CENELEC requirements. The thesis encompasses various crucial domains, commencing with an examination of the CENELEC standards and SIL4, elucidating their significance in ensuring railway safety. This text explores the openETCS framework and offers a thorough examination of how openETCS enables the efficient and dependable implementation of ETCS at a reasonable cost. The V&V responsibilities involve the verification of development objects to ensure their accurate expression or implementation of desired functionalities. Furthermore, it includes the examination of hazards and risks, with the creation of a hazard document that is essential for meeting the standards set by CENELEC and achieving SIL4 compliance. The procedure entailed developing an agent-based simulation model for a fire alarm system to detect dangers, make choices, implement remedies, and document their implementation progress.