|
|
|
| R2011b Documentation → IEC Certification Kit | |
Learn more about IEC Certification Kit |
|
| Contents | Index |
| On this page… |
|---|
Defining Certification Objectives and Requirements Certifying or Qualifying Software Tools |
Before using the IEC Certification Kit product, define your certification objectives and requirements.
Identify the scope of your certification activities, such as the application to certify.
Decide on the applicable safety standards and the required Safety Integrity Level (SIL) or Automotive Safety Integrity Level (ASIL).
Determine the software development processes and software tool chain to use.
Define tool certification or qualification requirements, including the tools and versions to certify or qualify.
The ISO 26262 and IEC 61508 standards include requirements or recommendations to use certified or qualified tools. You can use tool certification evidence from the IEC Certification Kit product to document compliance with the requirements or recommendations concerning tool certification or qualification.
Note Using certified or qualified tools does not ensure the safety of the application under development. |
The IEC Certification Kit product provides tool certification and prequalification evidence for the following MathWorks products:
Embedded Coder
Simulink PLC Coder
Simulink Design Verifier
Simulink Verification and Validation
Polyspace Client for C/C++; Polyspace Server for C/C++
The IEC Certification Kit product follows an in-context approach to tool certification and qualification. This approach is based on specific workflows to be used when applying the certified and qualified tools to develop or verify software for ISO 26262 and IEC 61508 applications. The applicant must ensure that the tools are used within the referenced workflows and constraints specified in the certificates.
The IEC Certification Kit product provides support for creating ISO 26262 tool qualification artifacts for the following products:
Embedded Coder
Simulink Design Verifier
Simulink Verification and Validation
Polyspace Client for C/C++; Polyspace Server for C/C++
For details, see the ISO 26262 Tool Qualification Package documents for these products.
Note Some safety standards, including IEC 61508, do not have a formal concept of certification credits. The amount of credit for the use of certified or qualified tools is dependent on the applicant's development, verification and validation processes, and how the applicant uses the tools within those processes. The applicant should propose and discuss an initial version of the compliance package, including tool qualification data, to the certification authority or internal assessor early in the development lifecycle. |
The IEC Certification Kit product provides support for creating the following artifacts related to tool certification according to IEC 61508.
| Products | Purpose | References | Artifacts and Documents1 |
|---|---|---|---|
| Embedded Coder | Tool certification evidence for code generator |
|
|
| Documentation of reference workflow | N/A | Application-Specific Verification and Validation of Models and Generated C and C++ Code | |
| Evidence for using the code generator within the referenced workflows and within the constraints specified in its certificate | N/A | Customized and completed Conformance Demonstration Template | |
| Simulink PLC Coder | Tool certification evidence for code generator |
|
|
| Documentation of reference workflow | N/A | Application-Specific Verification and Validation of Models and Generated PLC Code | |
| Evidence for using the code generator within the referenced workflows and within the constraints specified in its certificate | N/A | Customized and completed Conformance Demonstration Template | |
| Simulink Design Verifier | Tool certification evidence for model verification tool |
|
|
| Documentation of reference workflow | N/A | Application-Specific Generation and Verification of Test Cases | |
| Evidence for using the verification tool within the referenced workflows and within the constraints specified in its certificate | N/A | Customized and completed Conformance Demonstration Template | |
| Simulink Verification and Validation | Tool certification evidence for model verification tool |
|
|
| Documentation of reference workflow | N/A | Simulink Verification and Validation Reference Workflow | |
| Evidence for using the verification tool within the referenced workflows and within the constraints specified in its certificate | N/A | Customized and completed Conformance Demonstration Template | |
| Polyspace Client for C/C++; Polyspace Server for C/C++ | Tool certification evidence for code verification tool |
|
|
| Documentation of reference workflow | N/A | Verification of C and C++ Code Using Polyspace Products | |
| Evidence for using the verification tool within the referenced workflows and within the constraints specified in its certificate | N/A | Customized and completed Conformance Demonstration Template | |
| 1For file names and locations, see IEC Certification Kit Components. | |||
 | Certification Process | Validating Software Tools |  |
Learn more about Simulink through this collection of videos, articles, technical literature and the Getting Started with Simulink Guide.
| © 1984-2012- The MathWorks, Inc. - Site Help - Patents - Trademarks - Privacy Policy - Preventing Piracy - RSS |
