SISpec re-engineering results

At CERN, ensuring proper safety measures is a critical prerequisite for any project. To achieve high safety standards in PLC programs, defining clear safety requirements is essential. To assist with this, a tool called SISpec is being developed. SISpec enables system and control engineers to define safety requirements using method called Cause Effect Matrices (CEM) and a User friendly GUI. Although still in the development phase, the tool has already been used to define software specification for the PLC programs deployed in some experiments, where it has proven to be highly useful. In this report, I present the work I completed as a Summer Student in 2024 to enhance SISpec. My contributions have focused on improving user experience, refining functionalities, and establishing robust pipelines, all of which have advanced the tool from its development phase to its first release.