用MathWorks工具进行DO-178C软件开发的基于模型设计

第1部分:介绍用于高完整性软件开发的基于模型的设计在本系列的第一次网络研讨会中，我们介绍了基于模型的设计，并讨论了为什么它在认证工作流程中比传统软件开发过程更有价值。

第2部分:基于需求的建模和可跟踪性在本系列网络研讨会的第2部分中，我们将讨论如何从需求文档构建Simulink模型，以及如何为详细的设计模型和文本的高级需金宝app求之间的可追溯性创建双向链接。

第3部分:与建模标准的一致性在本系列网络研讨会的第3部分中，我们将讨论开发和实施建模标准的重要性。

第4部分:针对高级需求的模型验证在本系列网络研讨会的第4部分中，我们将讨论根据文本需求验证模型。

第五部分:证明算法的正确性在本系列网络研讨会的第5部分中，我们将讨论使用形式化方法进一步验证模型并评估鲁棒性的想法。

第6部分:自动代码生成和可跟踪性在本系列网络研讨会的第6部分中，我们将讨论自动飞行代码生成。

第7部分:证明代码的正确性在本系列网络研讨会的第7部分中，我们将讨论如何使用Polyspace对嵌入式软件进行形式验证。

第8部分:自动测试矢量生成和软件在环测试在本系列网络研讨会的第8部分中，我们将讨论使用Simulink代码检查器来自动化源代码检查。金宝app

第9部分:针对模型的目标代码验证在本系列网络研讨会的第9部分中，我们将讨论基于需求的交叉编译可执行目标代码的测试。