OSC - Embedded Systems AG
Last updated: February 10, 2008
Company Description:
OSC - Embedded Systems AG (OSC) provides products and services for Formal Verification, Validation, and Automated Testing of Embedded Systems. OSC products significantly reduce required efforts for testing and validation of Embedded Systems, and considerably increase the quality of the developed system. Additionally, OSC offers adequate on-site and off-site services around the testing products and testing in general. In order to successfully provide these powerful products and services for test automation and Formal Verification, OSC cooperates very closely with dSPACE GmbH as well as with major OEMs and suppliers in the automotive industries.
The products EmbeddedValidator and EmbeddedTester have been developed in close cooperation with dSPACE. EmbeddedValidator allows verifying TargetLink models against formally specified requirements on the basis of TargetLink AutoCode. EmbeddedTester provides capabilities to automatically generate and execute test cases for TargetLink AutoCode. Furthermore, specific standard problems like dead code, division by zero, etc. are automatically analyzed. Additionally, code validation activities and coverage analysis can be performed during the model-based development of control functions in the Simulink/TargetLink tool environment.
Worldwide Headquarters:
|
|
