DO Qualification Kit Release
Notes
How to Contact The MathWorks
www.mathworks.
comp.soft-sys.matlab Newsgroup
www.mathworks.com/contact_TS.html Technical Support
suggest@mathworks.com Product enhancement suggestions
bugs@mathwo
doc@mathworks.com Documentation error reports
service@mathworks.com Order status, license renewals, passcodes
info@mathwo
com
rks.com
rks.com
Web
Bug reports
Sales, prici
ng, and general information
508-647-7000 (Phone)
508-647-7001 (Fax)
The MathWorks, Inc.
3 Apple Hill Drive
Natick, MA 01760-2098
For contact information about worldwide offices, see the MathWorks Web site.
DO Qualification Kit Release Notes
© COPYRIGHT 2009–20 10 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 MathW orks, 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
theuse,modification,reproduction,release,performance,display,anddisclosureoftheProgramand
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 Docu mentation, 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
The MathWorks products are protected by one or more U.S. patents. Please see
www.mathworks.com/patents for more information.
Summary by Version ............................... 1
Contents
Version 1.2 (R2010a) DO Qualification Kit Software
Version 1.1 (R2009b+) DO Qualification Kit Software
Version 1.0 (R2009a+) DO Qualification Kit Software
Compatibility Summary for DO Qualification Kit
Software
........................................ 7
... 3
.. 4
.. 6
iii
iv Contents
SummarybyVersion
This table provides quick access to what’s new in each version. For
clarification, see “Using Release Notes” on page 1 .
DO Qualification Kit Release Notes
Version
(Release)
Latest Versi
V1.2 (R2010a
V1.1 (R2009b+)
V1.0 (R2009a+)
on
New Features
and Changes
Yes
)
Details
Yes
Details
Yes
Details
Version
Compatibilit
Consideratio
No Bug Reports
No Bug Reports
Not applicable
Fixed Bugs
y
and Known
ns
Problems
Includes fix
Includes fixes
Bug Repor
ts
es
Related
Documentation
at Web Site
Printable Release
Notes: PDF
Current product
documentation
No
No
Using Release Notes
Use release notes when upgrading to a newer version to learn about:
• New features
• Changes
• Potential impact on your existing files and practices
Review the release notes for other MathWorks™ products required for this
product (for example, MATLAB
bugs, or compatibility considerations in other products impact you.
®
or Simulink®). Determine if enhancements,
If you are upgrading from a software version other than the m ost recent one,
review the current release notes and all interim versions. For example, when
you upg rade from V1.0 to V1.2, review the release notes for V1.1 and V1.2.
1
DO Qualification Kit Release Notes
What Is in the Rel
New Features and
• New functional
• Changes to exi
Version Compa
When a new fea
versions, th
impact.
Compatibil
Reports at
in incompa
compatibi
Fixed Bug
The Math
view Bug
time and
provisi
availa
is not a
ity issues reported after the product release appear under Bug
The MathWorks™ W eb site. Bug fixes can sometimes result
tibilities, so review the fixed bugs in Bug Reports for any
lity impact.
sandKnownProblems
Works offers a user-searchable Bug Reports database so you can
Reports. The development team updates this database at release
as more information becomes available. Bug Reports include
ons for any known workarounds or file replacements. Information is
ble for bugs existing in or fixed in Release 14SP2 or later. Information
vailable for all bugs in earlier releases.
ity
sting functionality
tibility Considerations
ture or change introduces a reported incompatibility between
e Compatibility Considerations subsection explains the
ease Notes
Changes
s Bug Reports using your MathWorks Account.
Acces
2
Version 1.2 (R2010a) DO Qualification Kit Software
Version 1.2 (R2010a) DO Qualification Kit Software
This table summarizes what’s new in V1.2 (R2010a):
New Features and
Changes
Yes
Details below
Version
Compatibility
Considerations
No Bug Reports
New features and changes introduced in this version are:
Fixed Bugs an d
Known Problems
Includes fixes
Related
Documentation at
Web Site
Printable Release
Notes: PDF
Current product
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 in volving the DO-178B and
related standards:
• Simulink
checks and model coverage
• SystemTest™ Version 2.5 (R2010a): L imit Check element
• PolySpace
7.2 (R2010a)
®
Verification and Validation™ Version 2.7 (R2010a): DO-178B
®
Client™ for C/C++, PolySpace®Server™ for C/C++ Version
For details, see “DO Qualification Kit Components” in the DO Qualification
Kit documentation.
3
DO Qualification Kit Release Notes
Version 1.1 (R2009b+) DO Qualification Kit Software
This table summarizes what’s new in V1.1 (R2009b+):
New Features and
Changes
Yes
Details below
Version
Compatibility
Considerations
No Bug Reports
New features and changes introduced in this version are:
• “Support for New Versions of MathWorks Products” on page 4
• “Model Coverage Support” on page 4
Fixed Bugs an d
Known Problems
Includes fixes
Related
Documentation at
Web Site
Printable Release
Notes: PDF
Current product
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 in volving 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
4
Version 1.1 (R2009b+) DO Qua lification Kit Software
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
ontheexecutableobjectcodeandcomparetheactualresultstothesimulation
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.
5
DO Qualification Kit Release Notes
Version 1.0 (R2009a+) DO Qualification Kit Software
This table summarizes what’s new in V1.0 (R2009a+):
New Features and
Changes
Yes
Details below
Version
Compatibility
Considerations
Not applicable
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)
For more information, see:
• The DO Qualification Kit User’s Guide
• The DO Qualification Kit product page on www.mathworks.com.
Fixed Bugs an d
Known Problems
Bug Reports No
Related
Documentation at
Web Site
6
Compatibility Summary for DO Qualification Kit Software
Compatibility Summary for DO Qualification Kit Software
This table summarizes new features and changes that might cause
incompatibilities when you upgrade from an earlier version, or wh en you
use files on multiple versions. Details are provided in the description of the
new feature or change.
Version (Release) New Features and Chan ges with Version Compatibility Impact
Latest Version
V1.2 (R2010a)
V1.1 (R2009b+)
V1.0 (R2009a+)
None
None
Not applicable
7
Loading...