Implementation and verification of safety measures in system design based on safety specifications generated from safety requirements

摘要

The system enhances the system design to incorporate safety measures. The system receives the system design for processing through various stages of the design using design tools, such as electronic design automation tools for introducing safety features into the circuit design. The system receives safety requirements for the system design, and the safety requirements specify safety measures for the system design. The system creates a safety specification that stores a set of commands from safety requirements. The system creates an enhanced system design with safety measures. An improved system design is created for at least a subset of the plurality of tools. The tool processes the generated safety specification to implement safety measures in the system design according to the received safety requirements.