We build TargetLink for the development of safety-critical systems. For more than 15 years, TÜV Süd confirms this every year by recertifying TargetLink for ISO 26262 for all ASIL levels up to ASIL-D. But of course, TargetLink is also suitable for other standards, such as ISO 25119, IEC 61508 or DO-178C, thanks to our consistent and rigorous development approach.
TargetLink Certified for ISO 26262, ISO 25119, and IEC 61508
TargetLink is certified by TÜV SÜD (German international certification association) for use in the development of safety-related systems. TÜV confirmed that TargetLink is suitable for software development according to ISO 26262, ISO 25119, IEC 61508, and derivative standards (such as EN 50128, which governs safety-related software on the railways). The certification was based on a number of areas:
- Software development process and software modification process of TargetLink
- Problem handling procedures
- Fitness for purpose in safety-related development according to ISO 26262, ISO 25119, and IEC 61508
TÜV SÜD also approved a reference workflow providing guidance for the model-based development of safety-related software with TargetLink. IEC 61508 is the internationally recognized generic standard for the development of safety-related electronic systems. ISO 26262 is the international automotive standard for the development of safety-related systems in road vehicles. ISO 25119 is the international standard for the development of safety-related parts of control systems in tractors and machinery for agriculture and forestry. Both standards are derived from IEC 61508.
ISO/IEC 15504-Compliant Development Process
ISO/IEC 15504 (also known as SPICE: Software Process Improvement and Capability Determination) is an international standard for software processes. Its underlying concept is that a mature software product requires a mature development process. dSPACE has dedicated itself to an ISO/IEC 15504-compliant development process.
Internal Software Quality Management
An internal quality department, the dSPACE quality management team, proactively manages software quality at dSPACE. The team leads software improvement activities, sets internal standards, conducts internal assessments, and provides consultation services to all software groups. It acts independently and ensures that the highest product quality goals are consistently achieved and sustained.
DO-178C/DO-331
With the DO-178C as a highly relevant standard for the development of software in aviation, model-based design and automatic code generation has a solid base for use in the aerospace sector. The document DO-331, Model-Based Development and Verification Supplement to DO-178C and DO-278A, which is also part of the standard, was written specifically for this. dSPACE takes this into account by providing a workflow document that explains how to use TargetLink in a model-based tool chain for DO-178C-compliant projects. The workflow document describes how to meet the individual requirements or objectives of DO-178C/DO-331. It focuses not only on TargetLink itself but also on a complete model-based tool chain that can contain further third-party tools, for example, from TargetLink cooperation partners such as BTC Embedded Systems, AbsInt, and Model Engineering Solutions. The workflow document is thus an important contribution towards simplifying the certification of TargetLink-generated code in DO-178C-compliant applications, addressing all criticality levels up to Level A. To receive the approximately 60-page document, please contact TargetLink.Info@dspace.de
Facts About TargetLink and DO-178C/DO-331 in Brief
- Simulink®/TargetLink models for specifying high-level requirements
- TargetLink design models for specifying low-level requirements
- Generation of high-quality, easy-to-read, and traceable source code from TargetLink models
- Comprehensive simulation support for models and code according to the established MIL/SIL/PIL verification concept
- Powerful tool chain with tools from BTC Embedded Systems for requirements specification, automatic test vector generation, requirements verification and formal verification via model checking