本案例使用一个简单的直升机控制系统来演示一个兼容ARP4754A、DO-178C和DO-331的工作流程。该案例研究从系统级需求开始,并提供了通过可执行目标代码验证的所有工作流程。尽管演示使用了许多MathWorks工具箱许可,但是除了MATLAB和Simulink之外,还可以查看预先生成的工件,而不需要在MATLAB和Simulink上安装万博1manbetx所有这些工具箱。
比尔·波特(2020)。DO178_case_studyGitHub (https://github.com/wfpotter/DO178_Case_Study/releases/tag/1.3)。检索。
1.3 | 请参阅GitHub上的发布说明:https://github.com/wfpotter/DO178_Case_Study/releases/tag/1.3 |
|
1.2 | 更新为R2019a使用Simulink要求,系统编写万博1manbetx器和Simulink项目。 |
|
1.1.0.1 | 更新许可证 |
我已经下载并安装了工具箱文件,但不知道如何访问它
很有帮助。谢谢。
这是伟大的。谢谢。
把这些放在一起做得很好!如果能看到更多关于健壮性测试和自动测试生成的信息,那就太好了。