Around the world, wherever engineers are working on aircraft or space vehicles, dSPACE is involved in the entire development process for electronic control systems from start ...
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...
