DO Qualification Kit (for DO-178) Release Notes
How to Contact MathWorks
Latest news:
www.mathworks.com
Sales and services:
www.mathworks.com/sales_and_services
User community:
www.mathworks.com/matlabcentral
Technical support:
www.mathworks.com/support/contact_us
Phone:
508-647-7000
The MathWorks, Inc.
3 Apple Hill Drive
Natick, MA 01760-2098
DO Qualification Kit (for DO-178) Release Notes
© COPYRIGHT 2009–2015 by The MathWorks, Inc.
The software described in this document is furnished under a license agreement. The software may be used
or copied only under the terms of the license agreement. No part of this manual may be photocopied or
reproduced in any form without prior written consent from The MathWorks, Inc.
FEDERAL ACQUISITION: This provision applies to all acquisitions of the Program and Documentation
by, for, or through the federal government of the United States. By accepting delivery of the Program
or Documentation, the government hereby agrees that this software or documentation qualifies as
commercial computer software or commercial computer software documentation as such terms are used
or defined in FAR 12.212, DFARS Part 227.72, and DFARS 252.227-7014. Accordingly, the terms and
conditions of this Agreement and only those rights specified in this Agreement, shall pertain to and
govern the use, modification, reproduction, release, performance, display, and disclosure of the Program
and Documentation by the federal government (or other entity acquiring for or through the federal
government) and shall supersede any conflicting contractual terms or conditions. If this License fails
to meet the government's needs or is inconsistent in any respect with federal procurement law, the
government agrees to return the Program and Documentation, unused, to The MathWorks, Inc.
Trademarks
MATLAB and Simulink are registered trademarks of The MathWorks, Inc. See
www.mathworks.com/trademarks for a list of additional trademarks. Other product or brand
names may be trademarks or registered trademarks of their respective holders.
Patents
MathWorks products are protected by one or more U.S. patents. Please see
www.mathworks.com/patents for more information.
Contents
R2015a
Qualification artifacts for R2015a . . . . . . . . . . . . . . . . . . . . . .
1-2
Enhanced tool qualification tests for Simulink Verification
and Validation model coverage . . . . . . . . . . . . . . . . . . . . . .
1-2
Qualification of Polyspace Bug Finder and Polyspace Code
Prover MISRA C:2012 coding rules . . . . . . . . . . . . . . . . . . .
1-2
R2014b
Qualification artifacts for supported products in R2014b . .
2-2
Enhanced DO-330 TQL-4 artifacts for Polyspace Bug Finder,
Polyspace Code Prover, and Simulink Code Inspector . . .
2-2
Enhanced support for Simulink Verification and Validation
model coverage qualification . . . . . . . . . . . . . . . . . . . . . . . .
2-2
R2014a
Qualification artifacts for supported products in R2014a . .
3-2
Plan for Software Aspects of Certification (PSAC) template
3-2
iii
Software Model Standard template . . . . . . . . . . . . . . . . . . . . .
3-2
Qualification support for Simulink Code Inspector as a
Criteria 2 TQL-4 tool . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3-3
R2013b
Qualification artifacts for supported products in R2013b . .
4-2
Support for Polyspace Bug Finder and Polyspace Code
Prover . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4-2
Certification Artifacts Explorer support on Linux and Mac
platforms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4-3
Enhanced DO-178 Workflow Document . . . . . . . . . . . . . . . . .
4-3
Support for qualification tests on Mac platforms . . . . . . . . .
4-3
R2013a
iv
Contents
Qualification artifacts for R2013a of supported verification
products . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5-2
Enhanced software tool validation tests for Simulink
Verification and Validation . . . . . . . . . . . . . . . . . . . . . . . . .
5-2
R2012b
DO-330 Software Tool Qualification Considerations (DO-178C
and DO-278A) support for Simulink and Polyspace code
verifiers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6-2
DO-331 Model-Based Development and Verification
Supplement (DO-178C and DO-278A) support for Simulink
products . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6-2
DO-332 Object-Oriented Technology and Related Techniques
Supplement (DO-178C and DO-278A) support for Polyspace
code verifiers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6-2
DO-333 Formal Methods Supplement (DO-178C and DO-278A)
support for Polyspace code verifiers . . . . . . . . . . . . . . . . .
6-3
Support for new versions of MathWorks products . . . . . . . .
6-3
Model Advisor checks for bug reports . . . . . . . . . . . . . . . . . .
6-3
Microsoft Word docx files for certification artifacts . . . . . . .
6-4
New Simulink default file format . . . . . . . . . . . . . . . . . . . . . .
6-4
R2010bSP2
Using Version 1.3.2 of the DO Qualification Kit Product . . .
7-2
R2012a
Simulink Code Inspector Qualification Support . . . . . . . . . .
8-2
v
Support for New Versions of MathWorks Products . . . . . . . .
8-2
Enhanced Model-Based Design Workflow Document . . . . . .
8-2
Enhanced Simulink Verification and Validation Tool
Qualification Plan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8-3
R2011b
Support for New Versions of MathWorks Products . . . . . . . .
9-2
Certification Artifacts Explorer Display Enhancements . . .
9-2
R2011a
Traceability Matrix Generation . . . . . . . . . . . . . . . . . . . . . . .
10-2
Support for New Versions of MathWorks Products . . . . . . .
10-2
R2010bSP1
Using Version 1.3.1 of the DO Qualification Kit Product . .
11-2
R2010b
Simulink Report Generator Qualification Support for System
Design Description Report . . . . . . . . . . . . . . . . . . . . . . . . .
12-2
vi
Contents
Artifacts Explorer for Accessing and Managing Qualification
Materials . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
12-2
Model-Based Design for DO-178B Workflow Document . . .
12-2
Support for New Versions of MathWorks Products . . . . . . .
12-3
DO-254 Support . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
12-3
R2010a
Support for New Versions of MathWorks Products . . . . . . .
13-2
R2009bSP1
Using Version 1.1.1 of the DO Qualification Kit Product . .
14-2
R2009b+
Support for New Versions of MathWorks Products . . . . . . .
15-2
Model Coverage Support . . . . . . . . . . . . . . . . . . . . . . . . . . . .
15-2
R2009a+
Version 1.0 of the DO Qualification Kit . . . . . . . . . . . . . . . .
16-2
vii
R2015a
Version: 2.5
New Features
Bug Fixes
R2015a
Qualification artifacts for R2015a
The DO Qualification Kit product includes documents, templates, test cases, and test
procedures. Use these artifacts in projects involving the DO-178C and related standards
when you use the following MathWorks® products and capabilities:
• Polyspace® Bug Finder™ Version 1.3 (R2015a)
• Polyspace Code Prover™ Version 9.3 (R2015a)
• Simulink® Code Inspector™ Version 2.3 (R2015a)
• Simulink Report Generator™ Version 4.1 (R2015a): System Design Description report
• Simulink Verification and Validation™ Version 3.9 (R2015a): DO-178C/DO-331
checks and model coverage
• SystemTest™ Version 2.6.9 (R2015a): Limit Check element
For details, see DO Qualification Kit Components.
Enhanced tool qualification tests for Simulink Verification and Validation
model coverage
The Simulink Verification and Validation model coverage tool qualification tests now
include:
• Decision and saturate on integer overflow coverage for MinMax blocks with fixedpoint operations. Previously, the DO Qualification Kit did not include tests for fixedpoint operations on MinMax blocks.
• MCDC and condition coverage for If blocks. Previously, the DO Qualification Kit
included only tests for decision and relational boundary coverage.
• Test to check that no signal range or signal size coverage is recorded if the number of
signals exceeds the maximum number of signals.
Qualification of Polyspace Bug Finder and Polyspace Code Prover MISRA
C:2012 coding rules
You can use the DO Qualification Kit to qualify Polyspace Bug Finder and Polyspace
Code Prover checks for MISRA C:2012 directives and coding rules.
1-2
For more information about:
See:
Polyspace Bug Finder checks for
MISRA C:2012 coding directives
and coding rules
“Polyspace MISRA C:2012 Checker”
Polyspace Code Prover checks for “Polyspace MISRA C:2012 Checker”
MISRA C:2012 coding directives
and coding rules
Polyspace Bug Finder
qualification documents
“Access Qualification Documents for Polyspace Bug
Finder”
Polyspace Code Prover
qualification documents
“Access Qualification Documents for Polyspace Code
Prover”
1-3
R2014b
Version: 2.4
New Features
Bug Fixes
R2014b
Qualification artifacts for supported products in R2014b
The DO Qualification Kit product includes documents, templates, test cases, and test
procedures. You can use these artifacts in projects involving the DO-178C and related
standards when you use the following MathWorks products and capabilities:
• Polyspace Bug Finder Version 1.2 (R2014b)
• Polyspace Code Prover Version 9.2 (R2014b)
• Simulink Code Inspector Version 2.2 (R2014b)
• Simulink Report Generator Version 4.0 (R2014b): System Design Description report
• Simulink Verification and Validation Version 3.8 (R2014b): DO-178C/DO-331 checks
and model coverage
• SystemTest Version 2.6.8 (R2014b): Limit Check element
For details, see DO Qualification Kit Components.
Enhanced DO-330 TQL-4 artifacts for Polyspace Bug Finder, Polyspace
Code Prover, and Simulink Code Inspector
To support qualification as criteria 2 TQL-4 tools, as defined in DO-178C and DO-330,
the DO Qualification Kit includes enhanced artifacts for the following products:
• Polyspace Bug Finder Version 1.2 (R2014b)
• Polyspace Code Prover Version 9.2 (R2014b)
• Simulink Code Inspector Version 2.2 (R2014b)
Enhanced support for Simulink Verification and Validation model
coverage qualification
To qualify Simulink Verification and Validation model coverage, the DO Qualification Kit
extends support to include:
• Cumulative coverage
• Boundary value coverage
• Sqrt blocks
• Relational Operator blocks
2-2
R2014a
Version: 2.3
New Features
Bug Fixes
R2014a
Qualification artifacts for supported products in R2014a
The DO Qualification Kit product includes documents, templates, test cases, and test
procedures. You can use these artifacts in projects involving the DO-178C and related
standards when you use the following MathWorks products and capabilities:
• Simulink Verification and Validation Version 3.7 (R2014a): DO-178C/DO-331 checks
and model coverage
• Simulink Report Generator Version 3.16 (R2014a): System Design Description report
• Simulink Code Inspector Version 2.1 (R2014a): Code Inspection report
• Polyspace Bug Finder Version 1.1 (R2014a)
• Polyspace Code Prover Version 9.1 (R2014a)
• SystemTest Version 2.6.7 (R2014a): Limit Check element
For details, see DO Qualification Kit Components in the DO Qualification Kit
documentation.
Plan for Software Aspects of Certification (PSAC) template
The DO Qualification Kit provides a Plan for Software Aspects of Certification (PSAC)
template that you can use when qualifying your project. The PSAC provides the planning
data defined in DO-178C, Section 11.1.
To access the DO Qualification Kit: Plan for Software Aspects of Certification (PSAC)
template, open the Artifacts Explorer. Alternatively, at the command prompt, type
qualkitdo. The document is in the Supporting Artifacts folder.
Software Model Standard template
The DO Qualification Kit provides a Software Model Standard template that you
can use when qualifying your project. The Software Model Standard is part of the
Software Development Plan (SDP). As specified in DO-331 MB.11.23, the Software Model
Standard defines the modeling techniques for each type of model.
To access the DO Qualification Kit: Software Model Standard template, open the
Artifacts Explorer. Alternatively, at the command prompt, type qualkitdo. The
document is in the Supporting Artifacts folder.
3-2
Qualification support for Simulink Code Inspector as a Criteria 2 TQL-4
tool
The DO Qualification Kit supports qualification of Simulink Code Inspector as a Criteria
2 TQL-4 tool, as defined in DO-178C and DO-330.
3-3
R2013b
Version: 2.2
New Features
Bug Fixes
R2013b
Qualification artifacts for supported products in R2013b
The DO Qualification Kit product includes documents, templates, test cases, and test
procedures. You can use these artifacts in projects involving the DO-178C and related
standards when you use the following MathWorks products and capabilities:
• Simulink Verification and Validation Version 3.6 (R2013b): DO-178C/DO-331 checks
and model coverage
• Simulink Report Generator Version 3.15 (R2013b): System Design Description report
• Simulink Code Inspector Version 2.0 (R2013b): Code Inspection report
• Polyspace Bug Finder Version 1.0 (R2013b)
• Polyspace Code Prover Version 9.0 (R2013b)
• SystemTest Version 2.6.6 (R2013b): Limit Check element
For details, see DO Qualification Kit Components in the DO Qualification Kit
documentation.
Support for Polyspace Bug Finder and Polyspace Code Prover
The DO Qualification Kit now supports the Polyspace Bug Finder and Polyspace Code
Prover in projects involving the DO-178 and related standards.
To satisfy objectives in DO-178 and other high-integrity standards:
• Polyspace Bug Finder finds defects such as run-time errors, data flow problems, and
other bugs in embedded software for C and C++. Polyspace Bug Finder also checks
compliance to code standards in handwritten and automatically generated code.
• Polyspace Code Prover detects and proves the absence of overflow, divide-by-zero,
out-of-bounds array access, and certain other run-time errors in embedded software
written in the C and C++ programming languages. Polyspace Code Prover uses formal
methods-based on abstract interpretation to formally prove run-time attributes of
software.
Polyspace Bug Finder and Polyspace Code Prover replace Polyspace Client™ for C/C+
+ and Polyspace Server™ for C/C++. For more information, see Polyspace Bug Finder
Documentation and Polyspace Code Prover Documentation.
4-2
Certification Artifacts Explorer support on Linux and Mac platforms
You can use the Certification Artifacts Explorer to access qualification artifacts on
Linux® and Mac platforms. Previously, the Certification Artifacts Explorer worked on
only Microsoft® Windows platforms. For more information, see Certification Artifacts
Explorer Limitations and Certification Artifacts Explorer on Linux and Mac Platforms.
Enhanced DO-178 Workflow Document
The DO Qualification Kit document DO Qualification Kit Model-Based Design Workflow
for DO-178C includes workflows for:
• Software development activities
• Verification and tracing activities
The workflows identify MathWorks products that you can use for model-based
development and verification in a DO-178C software life cycle.
Support for qualification tests on Mac platforms
You can run DO Qualification Kit tests for the following MathWorks products on Mac
platforms:
• Simulink Verification and Validation Version 3.6 (R2013b)
• Simulink Report Generator Version 3.15 (R2013b)
• SystemTest Version 2.6.6 (R2013b)
Previously, you could run the qualification tests on only Microsoft Windows and Linux
platforms. Simulink Code Inspector, Polyspace Bug Finder and Polyspace Code Prover
are not supported on Mac platforms.
4-3
R2013a
Version: 2.1
New Features
Bug Fixes
R2013a
Qualification artifacts for R2013a of supported verification products
The DO Qualification Kit product includes documents, templates, test cases, and test
procedures. You can use these artifacts in projects involving the DO-178C and related
standards when you use the following MathWorks products and capabilities:
• Simulink Verification and Validation Version 3.5 (R2013a): DO-178C/DO-331 checks
and model coverage
• Simulink Report Generator Version 3.14 (R2013a): System Design Description report
• Simulink Code Inspector Version 1.3 (R2013a): Code Inspection report
• Polyspace Client for C/C++, Polyspace Server for C/C++ Version 8.5 (R2013a)
• SystemTest Version 2.6.5 (R2013a): Limit Check element
For details, see Supported MathWorks Software Verification Tools in the DO
Qualification Kit documentation.
Enhanced software tool validation tests for Simulink Verification and
Validation
The tool qualification report for the DO-178C/DO-331 Model Advisor checks now provides
the expected and actual results for both the overall check and subchecks. Previously, the
report provided only the overall result.
See Simulink Verification and Validation Test Cases, Procedures, and Results.
To access Simulink Verification and Validation Test Cases, Procedures, and Results, open
the Artifacts Explorer. Alternatively, on the MATLAB® command line, type qualkitdo.
The document is located in the following folder:
matlabroot/toolbox/qualkits/do/slvnv/r2013a/
5-2
R2012b
Version: 2.0
New Features
Bug Fixes
R2012b
DO-330 Software Tool Qualification Considerations (DO-178C and
DO-278A) support for Simulink and Polyspace code verifiers
The DO Qualification Kit product includes documents, templates, test cases, and test
procedures that you can submit to certification authorities to satisfy DO-330 Software
Tool Qualification Considerations software coding verification objectives for:
• Simulink Verification and Validation
• Simulink Report Generator
• Simulink Code Inspector
• Polyspace Client for C/C++, Polyspace Server for C/C++
• SystemTest
DO-331 Model-Based Development and Verification Supplement
(DO-178C and DO-278A) support for Simulink products
The DO Qualification Kit product includes documents, templates, test cases, and test
procedures that you can submit to certification authorities to satisfy DO-331 ModelBased Development and Verification Supplement to DO-178C and DO-278A objectives
for:
• Simulink Verification and Validation
• Simulink Report Generator
• Simulink Code Inspector
• SystemTest
DO-332 Object-Oriented Technology and Related Techniques Supplement
(DO-178C and DO-278A) support for Polyspace code verifiers
The DO Qualification Kit product includes documents, templates, test cases, and test
procedures that you can submit to certification authorities to satisfy DO-332 ObjectOriented Technology and Related Techniques Supplement to DO-178C and DO-278A
objectives for:
• Polyspace Client for C/C++, Polyspace Server for C/C++
6-2
DO-333 Formal Methods Supplement (DO-178C and DO-278A) support
for Polyspace code verifiers
The DO Qualification Kit product includes documents, templates, test cases, and test
procedures that you can submit to certification authorities to satisfy DO-333 Formal
Methods Supplement to DO-178C and DO-278A objectives for:
• Polyspace Client for C/C++, Polyspace Server for C/C++
Support for new versions of MathWorks products
The DO Qualification Kit product includes documents, templates, test cases, and test
procedures. You can use these artifacts in projects involving the DO-178C and related
standards when you use the following MathWorks products and capabilities:
• Simulink Verification and Validation Version 3.4 (R2012b): DO-178C/DO-331 checks
and model coverage
• Simulink Report Generator Version 3.13 (R2012b): System Design Description report
• Simulink Code Inspector Version 1.2 (R2012b): Code Inspection report
• Polyspace Client for C/C++, Polyspace Server for C/C++ Version 8.4 (R2012b)
• SystemTest Version 2.6.4 (R2012b): Limit Check element
For details, see DO Qualification Kit Components in the DO Qualification Kit
documentation.
Model Advisor checks for bug reports
The DO Qualification Kit now provides Model Advisor bug report checks, allowing you to
display bug reports for:
• Simulink Verification and Validation
• DO Qualification Kit
• Simulink Code Inspector
• Simulink Report Generator
• SystemTest
• Polyspace Client for C/C++, Polyspace Server for C/C++
• Embedded Coder®
6-3
R2012b
When you run the individual checks, the Model Advisor lists the bug reports for the
products. To access the checks, from the Model Advisor window, select By Product >
DO Qualification Kit.
Microsoft Word docx files for certification artifacts
The DO Qualification Kit certification artifacts are now available in a smaller file size,
Microsoft Word .docx. Previously, the artifacts were available in RTF files.
New Simulink default file format
In R2012b, the DO Qualification Kit test models are delivered in the new Simulink model
format, with the extension .slx. For more information, see Saving Models in the SLX
File Format in the Simulink documentation.
6-4
R2010bSP2
Version: 1.3.2
New Features
R2010bSP2
Using Version 1.3.2 of the DO Qualification Kit Product
The DO Qualification Kit version 1.3.2 (R2010bSP2) includes documents, templates,
test cases, and test procedures that have not changed between R2010b, R2010bSP1, and
R2010bSP2. You can use these artifacts when you use the following MathWorks products
and capabilities in projects involving the DO-178B and related standards:
• Simulink Verification and Validation Version 3.0.1 (R2010bSP1): DO-178B checks
and model coverage
• Simulink Report Generator Version 3.9 (R2010b): System Design Description report
• SystemTest Version 2.6 (R2010b): Limit Check element
• Polyspace Client for C/C++, Polyspace Server for C/C++ Version 8.0 (R2010b)
Note: You can install:
• Version 3.0.1 of the Simulink Verification and Validation product from the
R2010bSP2 DVD.
• Version 3.9 of the Simulink Report Generator product from the R2010bSP2 DVD.
• Version 2.6 of the SystemTest product from the R2010bSP2 DVD.
• Polyspace products using the R2010b DVD. Version 8.0 of the Polyspace products are
not part of R2010bSP2.
When you customize the artifacts, update the revision history and version information as
follows:
• Simulink Verification and Validation artifacts
• Add the following new line to the revision history:
April 2012
Online only
Rereleased for Version 1.3.2 (For Release 2010bSP2)
• Examine and appropriately update the software version information within the
artifacts.
• Simulink Report Generator artifacts
• Add the following new line to the revision history:
April 2012
7-2
Online only
Rereleased for Version 1.3.2 (For Release 2010bSP2)
• Examine and appropriately update the software version information within the
artifacts.
• SystemTest artifacts
• Add the following new line to the revision history:
April 2012
Online only
Rereleased for Version 1.3.2 (For Release 2010bSP2)
• Examine and appropriately update the software version information within the
artifacts.
• Polyspace Client/Server for C/C++ artifacts
• Add the following new line to the revision history:
April 2012
Online only
Rereleased for Version 1.3.2 (For Release 2010bSP2)
• Examine and appropriately update the software version information within the
artifacts.
7-3
R2012a
Version: 1.6
New Features
Bug Fixes
R2012a
Simulink Code Inspector Qualification Support
The DO Qualification Kit product now supports using the Simulink Code Inspector code
inspection report in projects involving the DO-178B and related standards.
Simulink Code Inspector automatically compares generated code with its source model
to satisfy code-review objectives in DO-178 and other high-integrity standards. The
code inspector systematically examines blocks, parameters, and settings in a model to
determine whether they are structurally equivalent to operations, operators, and data
in the generated code. Simulink Code Inspector provides detailed model-to-code and
code-to-model traceability analysis. It generates structural equivalence and traceability
reports that you can submit to certification authorities to satisfy DO-178 software coding
verification objectives.
For more information, see DO Qualification Kit: Simulink Code Inspector Tool
Operational Requirements.
Support for New Versions of MathWorks Products
The DO Qualification Kit product includes documents, templates, test cases, and test
procedures. You can use these artifacts when you use the following MathWorks products
and capabilities in projects involving the DO-178B and related standards:
• Simulink Verification and Validation Version 3.3 (R2012a): DO-178B checks and
model coverage
• Simulink Report Generator Version 3.12 (R2012a): System Design Description report
• Simulink Code Inspector Version 1.1 (R2012a): Code inspection report
• Polyspace Client for C/C++, Polyspace Server for C/C++ Version 8.3 (R2012a)
• SystemTest Version 2.6.3 (R2012a): Limit Check element
For details, see DO Qualification Kit Components in the DO Qualification Kit
documentation.
Enhanced Model-Based Design Workflow Document
The DO Qualification Kit document Model-Based Design Workflow for DO-178B has
added a new first chapter containing detailed tool descriptions.
8-2
Enhanced Simulink Verification and Validation Tool Qualification Plan
The DO Qualification Kit document Simulink Verification and Validation Tool
Qualification Plan now provides more detailed DO-178 certification credit information
for the Simulink Verification and Validation DO-178B checks and model coverage
capabilities.
8-3
R2011b
Version: 1.5
New Features
Bug Fixes
R2011b
Support for New Versions of MathWorks Products
The DO Qualification Kit product includes documents, templates, test cases, and test
procedures. You can use these artifacts when you use the following MathWorks products
and capabilities in projects involving the DO-178B and related standards:
• Simulink Verification and Validation Version 3.2 (R2011b): DO-178B checks and
model coverage
• Simulink Report Generator Version 3.11 (R2011b): System Design Description report
• SystemTest Version 2.6.2 (R2011b): Limit Check element
• Polyspace Client for C/C++, Polyspace Server for C/C++ Version 8.2 (R2011b)
For details, see DO Qualification Kit Components in the DO Qualification Kit
documentation.
Certification Artifacts Explorer Display Enhancements
The Certification Artifacts Explorer dialog box has been enhanced in the following ways
to support simpler and more flexible viewing of artifacts:
• The display pane previously located on the right-hand side of the dialog box has been
removed. Qualification artifacts now open and display in a separate window.
• Certification package properties, formerly displayed in the right-hand pane, now are
accessible by right-clicking a package and selecting Properties.
• Folder and file information now is dynamically displayed in the Certification Artifacts
Explorer status bar.
9-2
R2011a
Version: 1.4
New Features
Bug Fixes
R2011a
Traceability Matrix Generation
On Windows® systems, R2011a allows you to generate a traceability matrix for your
model. For a given model, the generated traceability matrix can provide information
about:
• Model objects that are traceable between the model and generated code, such as
Simulink blocks, Stateflow® objects, and MATLAB functions.
• Model objects that are untraceable between the model and generated code, such as
eliminated and virtual blocks.
• Requirements documents that you link to model objects using the Simulink
Verification and Validation Requirements Management Interface (RMI).
Generate the traceability matrix using either the do178b.ExportTraceReport function
from the MATLAB Command Window or the Generate Traceability Matrix button
in the Embedded Coder generated HTML code generation report for your model. For
more information, see Generate a Traceability Matrix in the DO Qualification Kit
documentation.
Support for New Versions of MathWorks Products
The DO Qualification Kit product includes documents, templates, test cases, and test
procedures. You can use these artifacts when you use the following MathWorks products
and capabilities in projects involving the DO-178B and related standards:
• Simulink Verification and Validation Version 3.1 (R2011a): DO-178B checks and
model coverage
• Simulink Report Generator Version 3.10 (R2011a): System Design Description report
• SystemTest Version 2.6.1 (R2011a): Limit Check element
• Polyspace Client for C/C++, Polyspace Server for C/C++ Version 8.1 (R2011a)
For details, see DO Qualification Kit Components in the DO Qualification Kit
documentation.
10-2
R2010bSP1
Version: 1.3.1
New Features
R2010bSP1
Using Version 1.3.1 of the DO Qualification Kit Product
The DO Qualification Kit version 1.3.1 (R2010bSP1) includes documents, templates, test
cases, and test procedures that have not changed between R2010b and R2010bSP1. You
can use these artifacts when you use the following MathWorks products and capabilities
in projects involving the DO-178B and related standards:
• Simulink Verification and Validation Version 3.0.1 (R2010bSP1): DO-178B checks
and model coverage
• Simulink Report Generator Version 3.9 (R2010b): System Design Description report
• SystemTest Version 2.6 (R2010b): Limit Check element
• Polyspace Client for C/C++, Polyspace Server for C/C++ Version 8.0 (R2010b)
Note: You can install:
• Version 3.9 of the Simulink Report Generator product from the R2010bSP1 DVD.
• Version 2.6 of the SystemTest product from the R2010bSP1 DVD.
• Polyspace products using the R2010b DVD. Version 8.0 of the Polyspace products are
not part of R2010bSP1.
When you customize the artifacts, update the revision history and version information as
follows:
• Simulink Verification and Validation artifacts — Add the following new line to the
revision history:
March 2011
Online only
Rereleased for Version 1.3.1 (For Release 2010bSP1)
• Simulink Report Generator artifacts
• Add the following new line to the revision history:
March 2011
Online only
Rereleased for Version 1.3.1 (For Release 2010b)
• Change Version 1.3 (For Release 2010b) to Version 1.3.1 (For
Release 2010b) within the text of the following artifacts:
• DO Qualification Kit: Simulink Report Generator Tool Qualification Plan
• DO Qualification Kit: Simulink Report Generator Tool Operational
Requirements
11-2
• DO Qualification Kit: Simulink Report Generator Test Cases, Procedures, and
Results
• SystemTest artifacts
• Add the following new line to the revision history:
March 2011
Online only
Rereleased for Version 1.3.1 (For Release 2010b)
• Change Version 1.3 (For Release 2010b) to Version 1.3.1 (For
Release 2010b) within the text of the following artifacts:
• DO Qualification Kit: SystemTest Tool Qualification Plan
• DO Qualification Kit: SystemTest Tool Operational Requirements
• DO Qualification Kit: SystemTest Test Cases, Procedures, and Results
• Polyspace Client/Server for C/C++ artifacts
• Add the following new line to the revision history:
March 2011
Online only
Rereleased for Version 1.3.1 (For Release 2010b)
• Change Version 1.3 (For Release 2010b) to Version 1.3.1 (For
Release 2010b) within the text of the following artifacts:
• DO Qualification Kit: Polyspace Client/Server for C/C++ Tool Qualification
Plan
• DO Qualification Kit: Polyspace Client/Server for C/C++ Theoretical
Foundation
• DO Qualification Kit: Polyspace Client/Server for C/C++ Tool Operational
Requirements
• DO Qualification Kit: Polyspace Client/Server for C/C++ Test Cases,
Procedures, and Results
11-3
R2010b
Version: 1.3
New Features
Bug Fixes
R2010b
Simulink Report Generator Qualification Support for System Design
Description Report
The DO Qualification Kit product now supports using the Simulink Report Generator
System Design Description report in projects involving the DO-178B and related
standards.
The Simulink Report Generator product includes the capability to generate a System
Design Description (SDD) report for your Simulink model. The report provides detailed
information about the system design represented by a model. You can use the System
Design Description to
• Review a system design without having the model open
• Generate detailed descriptions of the design
• Assess compliance with design requirements
• Archive the system design in a format independent of the modeling environment
For more information, see DO Qualification Kit: Simulink Report Generator Tool
Operational Requirements in the DO Qualification Kit documentation.
Artifacts Explorer for Accessing and Managing Qualification Materials
The qualification materials that are part of the DO Qualification Kit product are in many
different locations. Now you can use the Certification Artifacts Explorer to access and
manage the qualification materials. Using the Certification Artifacts Explorer, you can:
• Browse the qualification materials that are part of the DO Qualification Kit product.
• Access qualification artifacts for editing.
For details, see Access and Manage Qualification Artifacts in the DO Qualification
Kit documentation. For limitations that apply, see Certification Artifacts Explorer
Limitations in the DO Qualification Kit documentation.
Model-Based Design for DO-178B Workflow Document
The DO-178B software life cycle consists of objectives that must be met for each of
the life cycle stages. In Appendix A of DO-178B, these objectives are summarized in
tables. The DO Qualification Kit product now summarizes those tables and provides
recommendations on meeting the objectives using a Model-Based Design process.
12-2
For details, see DO Qualification Kit Model-Based Design Workflow for DO-178B in the
DO Qualification Kit documentation.
Support for New Versions of MathWorks Products
The DO Qualification Kit product includes documents, templates, test cases, and test
procedures. You can use these artifacts when you use the following MathWorks products
and capabilities in projects involving the DO-178B and related standards:
• Simulink Verification and Validation Version 3.0 (R2010b): DO-178B checks and
model coverage
• Simulink Report Generator Version 3.9 (R2010b): System Design Description report
• SystemTest Version 2.6 (R2010b): Limit Check element
• Polyspace Client for C/C++, Polyspace Server for C/C++ Version 8.0 (R2010b)
For details, see DO Qualification Kit Components in the DO Qualification Kit
documentation.
DO-254 Support
You can use the DO Qualification Kit product to assist in qualifying verification tools
for projects that follow DO-254. For details, see DO-254 in the DO Qualification Kit
documentation.
12-3
R2010a
Version: 1.2
New Features
Bug Fixes
R2010a
Support for New Versions of MathWorks Products
The DO Qualification Kit product includes documents, templates, test cases, and test
procedures. You can use these artifacts when you use the following MathWorks products
and capabilities in projects involving the DO-178B and related standards:
• Simulink Verification and Validation Version 2.7 (R2010a): DO-178B checks and
model coverage
• SystemTest Version 2.5 (R2010a): Limit Check element
• Polyspace Client for C/C++, Polyspace Server for C/C++ Version 7.2 (R2010a)
For details, see DO Qualification Kit Components in the DO Qualification Kit
documentation.
13-2
R2009bSP1
Version: 1.1.1
New Features
R2009bSP1
Using Version 1.1.1 of the DO Qualification Kit Product
The DO Qualification Kit version 1.1.1 (R2009bSP1) includes documents, templates, test
cases, and test procedures that have not changed between R2009b and R2009bSP1. You
can use these artifacts when you use the following MathWorks products and capabilities
in projects involving the DO-178B and related standards:
• Simulink Verification and Validation Version 2.6.1 (R2009bSP1): DO-178B checks
and model coverage
• SystemTest Version 2.4 (R2009b): Limit Check element
• Polyspace Client for C/C++, Polyspace Server for C/C++ Version 7.1 (R2009b)
Note: You can install:
• Version 2.4 of the SystemTest product from the R2009bSP1 DVD.
• Polyspace products using the R2009b DVD. Version 7.1 of the Polyspace products are
not part of R2009bSP1.
When you customize the artifacts, update the revision history and version information as
follows:
• Simulink Verification and Validation artifacts — Add the following new line to the
revision history:
April 2010
Online only
Rereleased for Version 1.1.1 (For Release 2009bSP1)
• SystemTest artifacts
• Add the following new line to the revision history:
April 2010
Online only
Rereleased for Version 1.1.1 (For Release 2009b)
• Change Version 1.1 (For Release 2009b) to Version 1.1.1 (For
Release 2009b) within the text of the following artifacts:
• DO Qualification Kit: SystemTest Tool Qualification Plan
• DO Qualification Kit: SystemTest Tool Operational Requirements
• DO Qualification Kit: SystemTest Test Cases, Procedures, and Results
• Polyspace Client/Server for C/C++ artifacts
14-2
• Add the following new line to the revision history:
April 2010
Online only
Rereleased for Version 1.1.1 (For Release 2009b)
• Change Version 1.1 (For Release 2009b) to Version 1.1.1 (For
Release 2009b) within the text of the following artifacts:
• DO Qualification Kit: Polyspace Client/Server for C/C++ Tool Qualification
Plan
• DO Qualification Kit: Polyspace Client/Server for C/C++ Theoretical
Foundation
• DO Qualification Kit: Polyspace Client/Server for C/C++ Tool Operational
Requirements
• DO Qualification Kit: Polyspace Client/Server for C/C++ Test Cases,
Procedures, and Results
14-3
R2009b+
Version: 1.1
New Features
Bug Fixes
R2009b+
Support for New Versions of MathWorks Products
The DO Qualification Kit product includes documents, templates, test cases, and test
procedures. You can use these artifacts when you use the following MathWorks products
and capabilities in projects involving the DO-178B and related standards:
• Simulink Verification and Validation Version 2.6 (R2009b): DO-178B checks and
model coverage
• SystemTest Version 2.4 (R2009b): Limit Check element
• Polyspace Client for C/C++, Polyspace Server for C/C++ Version 7.1 (R2009b)
For details, see DO Qualification Kit Components in the DO Qualification Kit
documentation.
Model Coverage Support
The DO Qualification Kit software includes documents, templates, test cases, and test
procedures. You can use these artifacts and tests when you use Simulink Verification and
Validation model coverage in projects involving the DO-178B and related standards.
By qualifying the model coverage capability of the Simulink Verification and Validation
product, you can claim credit for demonstrating completeness and correctness of
the test cases that Simulink Design Verifier™ generates. Use the model coverage
capability instead of reviewing the Simulink Design Verifier report. You can demonstrate
completeness and correctness by running the generated test cases against the model,
measuring the model coverage, and reviewing the model coverage report. You can run the
test cases on the executable object code and compare the actual results to the simulation
results. The model coverage capability does not assess the correctness of the simulation
results, only the test case coverage of the model. Therefore, you must verify that the
results from the model are correct.
For details, see DO Qualification Kit Components in the DO Qualification Kit
documentation.
15-2
R2009a+
Version: 1.0
R2009a+
Version 1.0 of the DO Qualification Kit
Version 1.0 of the DO Qualification Kit product includes documents, templates, test
cases, and test procedures. You can use these artifacts when you use the following
versions of MathWorks products and capabilities in projects involving the DO-178B and
related standards:
• Simulink Verification and Validation Version 2.5 (R2009a): DO-178B checks
• SystemTest Version 2.3 (R2009a): Limit Check element
• Polyspace Client for C/C++, Polyspace Server for C/C++ Version 6.1 (R2009a)
16-2
Download PDF