Solutions for Requirements, Models and Codes
Advanced requirements-based testing enhanced by formal methods
Intuitive formal specification of safety requirements
Fully automated comparison between model and code behavior
Fully automated comparison test after refactoring model / code
Ensure that new tool versions don’t introduce unintended changes in the behavior of your software
Requirements-based Testing for Simulink, TargetLink, EmbeddedCoder and handwritten code
Ultimate frontloading, failure detection before modeling and implementation
Did I test all?
Compliant and certified
Find the right contact person, no matter where you are located!