dSPACE is a leading provider for autonomous and electrically powered vehicles, aerospace, and industrial automation. Our portfolio ranges from end-to-end solutions for simulation...
Engineers often struggle to achieve a fast and easy evaluation of changes made in specific control functions when transitioning from a laboratory to a real system. Engineers introduce...
dSPACE rapid prototyping systems help function developers worldwide bring ideas to life in a real environment, with real sensors and actuators, and in real time, significantly...
The latest version of TargetLink, dSPACE’s production code generation, comes with major new features: support for Simulink enum data types for transparent modeling, AUTOSAR...
Designed for the needs of software developers. TargetLink is more than a code generator for Simulink. It is a tool for professional software developers who need and want control...
The latest version of TargetLink, dSPACE’s production code generation, comes with major new features: support for Simulink enum data types for transparent modeling, AUTOSAR...
Designed for the needs of software developers. TargetLink is more than a code generator for Simulink. It is a tool for professional software developers who need and want control...
AdaTEST 95 is a unit and integration testing tool, enabling developers to verify standard compliant or business critical code on host native and embedded target platforms.
Cantata is a unit and integration testing tool, enabling developers to verify standard compliant or business critical code on host native and embedded target platforms.
SPARK Pro is a CWE-Compatible integrated static analysis toolsuite for verifying high-integrity software through formal methods. It can be used in conjunction with testing when...
CodePeer is a CWE-Compatible advanced static analysis tool for Ada. It identifies vulnerabilities that could lead to run-time errors and flags legal but suspect code typical of...
QGen is a qualifiable and tunable code generation and model verification tool for a safe subset of Simulink® and Stateflow® models. It helps reduce development and verification...
CertSAFE is dataflow language and IDE for modeling and simulation of discrete time systems. It was designed from the ground up to streamline safety-critical software development...
Permits the flow of data between a requirements management tool and the VectorCAST testing tool. Through a simple and intuitive interface, developers can quickly link requirements...
Runtime Support Package serves as an extension to VectorCAST/C++ and VectorCAST/Ada. It allows you to execute test cases for real-time applications in an embedded-target or simulator...
Allows you to import previously developed VectorCAST/C++ and VectorCAST/Ada test environments into regression test suites, providing a single point-of-control for all unit and...
