Show simple item record

dc.contributor.advisorBruzzone, Agostino <1965>
dc.contributor.authorRamezani Yekta, Zeinab <1997>
dc.date.accessioned2024-07-25T14:27:38Z
dc.date.available2024-07-25T14:27:38Z
dc.date.issued2024-07-18
dc.identifier.urihttps://unire.unige.it/handle/123456789/9041
dc.description.abstractPresent 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.it_IT
dc.description.abstractPresent 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.en_UK
dc.language.isoen
dc.rightsinfo:eu-repo/semantics/closedAccess
dc.titleLa strategia di verificazione e validazione per la sicurezza ferroviariait_IT
dc.title.alternativeVerification and Validation Strategy for Railway Safetyen_UK
dc.typeinfo:eu-repo/semantics/masterThesis
dc.subject.miurING-INF/01 - ELETTRONICA
dc.subject.miurING-IND/17 - IMPIANTI INDUSTRIALI MECCANICI
dc.publisher.nameUniversità degli studi di Genova
dc.date.academicyear2023/2024
dc.description.corsolaurea10728 - ENGINEERING TECHNOLOGY FOR STRATEGY (AND SECURITY)
dc.description.area9 - INGEGNERIA
dc.description.department100026 - DIPARTIMENTO DI INGEGNERIA NAVALE, ELETTRICA, ELETTRONICA E DELLE TELECOMUNICAZIONI


Files in this item

This item appears in the following Collection(s)

Show simple item record