第1部分:介绍基于模型的高完整性软件开发设计在本系列的第一次网络研讨会中,我们将介绍基于模型的设计,并讨论为什么它能够在认证工作流中提供比传统软件开发过程更高的价值。
第2部分:基于需求的建模和可追溯性在本系列网络研讨会的第2部分中,我们将讨论如何从需求文档构建Simulink模型,以及如何创建双向链接,以便在详细设计模金宝app型和文本高级需求之间进行跟踪。
第3部分:符合建模标准在本系列网络研讨会的第3部分中,我们将讨论开发和实施建模标准的重要性。
第4部分:根据高级需求验证模型在本系列网络研讨会的第4部分中,我们将讨论根据文本需求验证模型。
第5部分:证明算法正确性在本系列网络研讨会的第5部分中,我们讨论了使用形式化方法进一步验证模型和评估稳健性的想法。
第6部分:自动代码生成和可追溯性在本系列网络研讨会的第6部分中,我们将讨论自动航班代码生成。
第7部分:证明代码正确性在本系列网络研讨会的第7部分中,我们将讨论如何使用Polyspace对嵌入式软件进行形式化验证。
第8部分:测试向量自动生成和软件在环测试在本系列网络研讨会的第8部分中,我们将讨论使用Simulink Code Inspector自动化源代码审查。金宝app
第9部分:根据模型验证目标代码在本系列网络研讨会的第9部分中,我们将讨论交叉编译的可执行目标代码的基于需求的测试。