To support effective and efficient software and system safety analysis, a tool must support the rigors of fault analysis while, at the same time, demonstrate compliance to the defined safety requirements. Many analysis tools focus on developing and defining the system safety requirements model but do not incorporate the system architecture even though it plays a key role in defining the positive measures to prevent hazards.
INTERLOCKS modeling and simulation tool combines the system safety requirements model and the architecture model. This combination provides a complete snapshot of the developing system and the safety positive measures being used for hazard prevention. INTERLOCKS promotes thorough software and system safety analysis by providing:
Analysis FrameworkINTERLOCKS modeling provides a disciplined approach to analysis. The scrutiny into the system required to simulate critical sequences of events is itself system and software safety analysis. The INTERLOCKS approach uses discrete event modeling to identify the positive measures and system controls being used to prevent a hazard from occurring. This lays the foundation and framework for successful safety analysis.
Requirements tracingA large part of system and software safety analysis is the flow down of safety-critical requirements into the developing system. This includes correct implementation of the requirements into the system architecture. INTERLOCKS modeling and simulation tool captures the design and safety requirements at any phase of the development lifecycle. By combining the system safety model and the architecture model, INTERLOCKS demonstrates how hazard mitigation and the associated controls are being incorporated into system design.
Analysis Capture and DemonstrationSystem and software safety analysis is successfully completed when a system is certified as meeting the defined safety requirements. To achieve this goal, a diverse audience must be convinced that the system implements the necessary safety controls during all modes of operation. INTERLOCKS models the event sequences for each safety critical system process. It uses simple graphics to demonstrate system operation and failure cause and effect. The entire safety analysis is captured within a complete system model that has the added benefit of demonstrating how the designed positive measures prevent a mishap from occurring.
Analysis status checkWith INTERLOCKS modeling and simulation tool, the system model is your safety analysis. It demonstrates completeness and current findings in a concise and interactive manner. You can depict a defined sequence of events and its safety controls operating as designed- or conversely, failing to perform as required. The fault isolation algorithms demonstrate system vulnerabilities and identify if something is wrong—either with the analysis or with the system itself.