CertSAFE is a powerful tool for Model-Based Design, Development, Simulation, Validation & Verification of embedded systems and software.
CertSAFE provides simulation vectors and probe points to see every variable value at every time in the model to debug expected behavior against executable code.
CertSAFE produces simulated outputs immediately as models or simulation inputs are edited, providing instant visibility of the effect of any change.
CertSAFE allows the user to navigate through the entire model to understand consumer/producer relationships, design detail, and system behavior.
CertSAFE provides powerful simulation features that can be used for rapid prototyping, visual validation, real-time debugging, and lab test vector generation.
CertSAFE helps eliminate requirement ambiguities & provides visual validation early in the product life cycle between Systems and Software Engineering teams.
CertSAFE uses open file formats to provide flexibility for scripting to automatically generate outputs and artifacts that align with a customized workflow.
The interface is fast and easy to use with open file formats to support automation by the end user and consumption by fully automated lab test environments, such as CertBENCH.
CertSAFE is built to support team collaboration unlike any tool currently available. Users are able to work concurrently in a system & share human readable CertSAFE code via email.
CertSAFE also allows users to quickly develop unambiguous, standards-compliant high-level requirements and system models, either top-down or reverse-engineered.