Design Article
Verify automatically generated flight code for DO-178
Tom Erkkinen, MathWorks
3/16/2012 10:01 AM EDT
Summary
In summary, Model-Based Design enables automatic generation of flight code that is both efficient and easily verified at the model, source code, and executable object code levels. By focusing development and verification on Simulink models and simulation test cases in a way that enables model and test reuse to help satisfy DO-178B and DO-178C software objectives, companies can significantly reduce costs and improve time-to-market. Integrations and published APIs enable total solutions with third-party tools used in DO-178 development projects. Complementing these software development process improvements, Simulink offers additional advantages with its support for systems engineering and related standards (for example, ARP 4754) as well as hardware development and related standards (for example, DO-254) when used with MathWorks products for physical modeling of systems, hardware-in-the-loop (HIL) testing, and HDL code generation for FPGAs.
About the author:
Tom Erkkinen is the embedded application manager at MathWorks. He is leading a corporate initiative to foster industry adoption of embedded code generation technologies. Before joining MathWorks, Tom worked at Lockheed-Martin developing a variety of control algorithms and real-time software, including space shuttle robotics for NASA JSC. He has spent more than fifteen years helping hundreds of companies deploy Model-Based Design with embedded code generation. Tom holds a B.S. degree in Aerospace Engineering from Boston University and a M.S. degree in Mechanical Engineering from Santa Clara University.
One example implementation available for view and download uses Green Hills MULTI IDE and Integrity RTOS with a Freescale MPC8620 processor.
In summary, Model-Based Design enables automatic generation of flight code that is both efficient and easily verified at the model, source code, and executable object code levels. By focusing development and verification on Simulink models and simulation test cases in a way that enables model and test reuse to help satisfy DO-178B and DO-178C software objectives, companies can significantly reduce costs and improve time-to-market. Integrations and published APIs enable total solutions with third-party tools used in DO-178 development projects. Complementing these software development process improvements, Simulink offers additional advantages with its support for systems engineering and related standards (for example, ARP 4754) as well as hardware development and related standards (for example, DO-254) when used with MathWorks products for physical modeling of systems, hardware-in-the-loop (HIL) testing, and HDL code generation for FPGAs.
About the author:
Tom Erkkinen is the embedded application manager at MathWorks. He is leading a corporate initiative to foster industry adoption of embedded code generation technologies. Before joining MathWorks, Tom worked at Lockheed-Martin developing a variety of control algorithms and real-time software, including space shuttle robotics for NASA JSC. He has spent more than fifteen years helping hundreds of companies deploy Model-Based Design with embedded code generation. Tom holds a B.S. degree in Aerospace Engineering from Boston University and a M.S. degree in Mechanical Engineering from Santa Clara University.
One example implementation available for view and download uses Green Hills MULTI IDE and Integrity RTOS with a Freescale MPC8620 processor.
|
|
|
|
|
Navigate to related information