Verification and validation form the backbone of any effective safety strategy, providing the necessary evidence to confidently declare that a system is safe for use. It’s no longer sufficient to solely rely on the traditional approaches to V&V in an era of evolving safety standards and technological advancement. At Critical Systems Labs, we couple our deep technical knowledge with leading edge methods to provide safety verification and safety validation for complex systems and products. Clients often face a significant challenge in verifying and validating the safety of their systems and products, as they must have sufficient V&V evidence to instill confidence and assure stakeholders that safety risks are meticulously managed.
Critical Systems Labs has the expertise and experience to help. Our services range from the analysis of clients’ safety processes, conducting independent reviews of safety methods (e.g., STPA, FMEA, FTA), to integrating advanced testing methods (e.g., combinatorial, metamorphic) into client’s processes.
Beyond what is required by international standards, the verification and validation of a complex design or implementation may require state-of-the-art techniques. Critical Systems Labs has developed a highly specialized skillset in formal (mathematical) methods and we have applied these skills to client projects in the nuclear, automotive, aerospace and rail industries. We have used Model Checking to verify timing related details of software used in a jet engine; a theorem prover to verify the design of a critical function at the heart of the CERN LHC Machine Protection System and applied Satisfiability Modulo Theories to validate a numerically intensive function that controls an automotive steering system.
Safety assurance case development is a critical part of our process, ensuring that every aspect of our client’s product or system has been evaluated, verified, and validated. We leverage our extensive industrial experience and deep knowledge of safety-critical industries to offer comprehensive safety and assurance cases that not only support compliance with industry standards such as ISO 26262, UL 4600, EN 50126, and ISO 21434, but also reveal residual risks and opportunities to improve safety, reducing cost and schedule.