New Requirement Definition and Verification Techniques According to DO-178C, DO-331, and DO-333

作者(们):
Jace Allen (dSPACE Inc.), 
Ulrich Eisemann (dSPACE GmbH), 
客户公司: dSPACE GmbH, Germany
已出版: 2016 AIAA SciTech (American Institute of Aeronautics and Astronautics (AIAA)), Jan 2017

In this paper, a model-based tool chain for DO-178C-compliant development is presented which can be used to design, implement and verify software up to DO-178C Level A. The tool chain is based on the "model-based supplement" DO-331 as well as the "formal methods supplement" DO-333 and makes use of model-based design and verification techniques as well as automatic production code generation and model checking to develop safety-critical software with high efficiency.



  • 英語: New Requirement Definition and Verification Techniques According to DO-178C, DO-331, and DO-333 PDF, 597 KB

推动创新进程。我们始终在技术开发的最前沿。

欢迎订阅我们简讯,了解我们的专业技术以及产品。希望我们的成功案例能够对您有所帮助。快速了解仿真和验证的最新信息。欢迎订阅/管理dSPACE简讯和dSPACE航空速报。

Enable form call

At this point, an input form from Click Dimensions is integrated. This enables us to process your newsletter subscription. The form is currently hidden due to your privacy settings for our website.

External input form

By activating the input form, you consent to personal data being transmitted to Click Dimensions within the EU, in the USA, Canada or Australia. More on this in our privacy policy.