|[December 11, 2012]
MathWorks Offers Support for DO-178C with Model-Based Design
NATICK, Mass. --(Business Wire)--
today announced that starting with Release 2012b (R2012b), engineers
using the DO
Qualification Kit can qualify Simulink
verification tools for DO-178C and supplements including DO-331.
This DO-178C support now offers program managers and their certification
authorities a standardized, global approach and framework for adopting Model-Based
Design and accelerating embedded system certification.
"Using DO-178C and DO-331, aircraft manufacturers and suppliers can
harvest the productivity, cost, and quality benefits of Model-Based
Design, secure in the knowledge that they can certify their systems,"
said Steve Morton, Level A FAA Software DER. "The verification workflow
described in the DO Qualification Kit matches industry best practice and
the expectations of the FAA software certification community, including
verification independence, executable object code verification, and
structural coverage analysis for automatically enerated code."
In R2012b, DO Qualification Kit also supports Simulink and Polyspace
products for the following supplements to DO-178C:
DO-330 Software Tool Qualification Considerations
DO-331 Model-Based Development and Verification
DO-332 Object-Oriented Technology and Related Techniques
DO-333 Formal Methods
DO Qualification Kit provides documentation, test cases, and procedures
to help qualify supported
Simulink and Polyspace software verification tools for projects that
need to meet aerospace standards. The kit also includes tool
qualification plans, tool operational requirements, and other materials
required for qualifying software verification tools (Criteria 2 and 3).
Enhancements to DO Qualification Kit build on existing MathWorks DO-178
capabilities, including the DO-178
Process Deployment Advisory Service. Introduced in 2012, this
advisory service educates aerospace engineers on the DO-178 standard,
identifies gaps in their current processes, provides a road map to a
more optimized DO-178 process framework using Model-Based Design, and
assists in deploying that road map.
Attend the free webinar to learn how DO Qualification Kit supports the
complete software development and verification life cycle: Model-Based
Design for DO-178 Using Tool Qualification Kits.
DO Qualification Kit R2012b is available immediately. For further
information, visit the product web site at mathworks.com/products/do-178/.
MathWorks is the leading developer of mathematical computing software.
MATLAB, the language of technical computing, is a programming
environment for algorithm development, data analysis, visualization, and
numeric computation. Simulink is a graphical environment for simulation
and Model-Based Design for multidomain dynamic and embedded systems.
Engineers and scientists worldwide rely on these product families to
accelerate the pace of discovery, innovation, and development in
automotive, aerospace, electronics, financial services,
biotech-pharmaceutical, and other industries. MathWorks products are
also fundamental teaching and research tools in the world's universities
and learning institutions. Founded in 1984, MathWorks employs more than
2400 people in 15 countries, with headquarters in Natick, Massachusetts,
USA. For additional information, visit www.mathworks.com.
MATLAB and Simulink are registered trademarks of The MathWorks, Inc.
for a list of additional trademarks. Other product or brand names may be
trademarks or registered trademarks of their respective holders.
[ Back To Microsoft News 's Homepage ]