Implementation och verifiering av säker datakommunikation och I/O-utökning för säkerhetskritiska system : En fallstudie av CLEARSY Safety Platform

This master’s thesis explores the integration of safe data communication and Inputs/Outputs (I/O) expansion within the CLEARSY Safety Platform (CSSP), a formally verified system designed for safety-critical applications. The CSSP, while robust in ensuring safety through formal verification, faces limitations in its academic version, particularly in handling extensive I/O configurations and lacking a robust communication protocol. This project addresses these challenges by developing a scalable communication protocol and expanding the CSSP’s I/O capabilities while maintaining its rigorous safety standards. The proposed architecture introduces a scalable communication protocol that supports extensive I/O configurations, enabling the CSSP to handle up to 64 additional analog inputs and outputs. This enhancement significantly increases the platform’s versatility, making it suitable for complex, real-world scenarios requiring extensive sensor and actuator integration. Formal verification using the B method was employed to mathematically prove the safety of the I/O expansion and communication protocol. This process involved generating and proving proof obligations to ensure that the system adheres to its safety requirements. Simulation-based testing further validated the system under realistic conditions, including stress testing and failure case analysis, confirming its robustness and reliability. Key results include the successful development and verification of a scalable communication protocol and the expansion of the CSSP’s I/O capabilities. The formal verification process confirmed the system’s adherence to safety requirements, while simulation tests demonstrated its robustness and reliability under various conditions. These findings enhance the CSSP, making it more versatile for a wider range of safety-critical applications. The consequences of this work are significant for both academic and industrial stakeholders. For CLEARSY, the enhanced I/O capabilities and safe communication protocol increase the platform’s versatility, enabling its use in more complex projects. Universities and research institutions benefit from an improved academic version of the CSSP, supporting more realistic safety- critical scenarios and advancing education in the field. This work fosters innovation and practical advancements in safety-critical systems, paving the way for future developments.