From the series:使用MathWorks工具的DO-178C软件开发模型设计
Mike Anthony,Mathworks
在本网络研讨会系列的第8部分中,我们讨论了Simulink代码检查员的使用来自动化源代码评论。金宝appWhen attempting to satisfy DO-178C using a hand-code approach, one of the most time consuming steps in the process is the manual review of the source code. Simulink Code Inspector automates this code review process in a Model-Based Design workflow.
Part 1: Introduction to Model-Based Design for High Integrity Software Development在该系列中的第一个网络研讨会中,我们介绍基于模型的设计,并讨论为什么它可以在认证工作流程中提供传统软件开发过程的价值。
第2部分:要求基于的建模和可追溯性在这个网络研讨会系列的第2部分中,我们将讨论如何to build a Simulink model from a requirements document, and how to create bi-directional links for traceability between the detailed design model and the textual high-level requirements.
Part 3: Conformance to Modeling Standards在本网络研讨会系列的第3部分中,我们讨论了制定和执行建模标准的重要性。
Part 4: Verification of the Model Against High-Level Requirements在本网络研讨会系列的第4部分中,我们讨论了对文本要求的模型的验证。
第5部分:证明算法正确性在本网络研讨会系列的第5部分中,我们讨论使用正式方法进一步验证模型并评估鲁棒性的想法。
第6部分:自动代码生成和可追溯性在本网络研讨会系列的第6部分中,我们讨论自动飞行代码生成。
第7部分:证明代码正确性在本网络研讨会系列的第7部分中,我们讨论了PolySpace的使用进行正式验证嵌入式软件。
第8部分:自动测试矢量生成和循环测试在本网络研讨会系列的第8部分中,我们讨论了Simulink代码检查员的使用来自动化源代码评论。金宝app
第9部分:针对模型的对象代码验证在本网络研讨会系列的第9部分中,我们讨论了基于需求的交叉编译可执行对象代码的测试。
我们不会出售或租用您的个人联系信息。See our privacy policy for details.
您已登录您的MathWorks帐户。请按“提交”按钮完成此过程。
您还可以从以下列表中选择一个网站:
选择中国网站(以中文或英文)以获取最佳网站性能。其他MathWorks国家网站未优化您的位置。