第1部分:高完整性软件开发的模型设计简介在该系列中的第一个网络研讨会中,我们介绍基于模型的设计,并讨论为什么它可以在认证工作流程中提供传统软件开发过程的价值。
第2部分:要求基于的建模和可追溯性在本网络研讨会系列的第2部分中,我们讨论如何从需求文档构建Simulink模型,以及如何在详细设计模型和文本高级要求之间金宝app创建用于可追溯性的双向链路。
第3部分:符合建模标准在本网络研讨会系列的第3部分中,我们讨论了制定和执行建模标准的重要性。
第4部分:验证模型以防止高级要求在本网络研讨会系列的第4部分中,我们讨论了对文本要求的模型的验证。
第5部分:证明算法正确性在本网络研讨会系列的第5部分中,我们讨论使用正式方法进一步验证模型并评估鲁棒性的想法。
第6部分:自动代码生成和可追溯性在本网络研讨会系列的第6部分中,我们讨论自动飞行代码生成。
第7部分:证明代码正确性在本网络研讨会系列的第7部分中,我们讨论了PolySpace的使用进行正式验证嵌入式软件。
第8部分:自动测试矢量生成和循环测试在本网络研讨会系列的第8部分中,我们讨论了Simulink代码检查员的使用来自动化源代码评论。金宝app
第9部分:针对模型的对象代码验证在本网络研讨会系列的第9部分中,我们讨论了基于需求的交叉编译可执行对象代码的测试。