行业标准

- 178 c吗

实现对机载系统利用认证基于模型的设计

做- 178 c标准定义了一组目标软件认证用于机载系统。验证方法可以减少风险和努力来支持- 178 c的目标:金宝app

  • 迭代和优化系统需求通过创建一个可执行的规范
  • 定义架构和确认您的设计选择利用建模与仿真的健壮性和可维护性
  • 通过连续的测试和演示代码和可执行的覆盖率的端到端的跟踪能力从需求到测试
  • 自动化模型和代码评审活动
  • 用正式的方法减少测试活动

管理需求和可追溯性

端到端的跟踪能力管理系统需求:

  • 生产需求与富文本、图像和它们的属性
  • 回顾和展示完整性和你的目标
  • 生成需求文档认证审核
管理需求和可追溯性

实施和验证你的设计

实施和验证你的设计

设计一个架构,使实现选择,这样你的设计程序的健壮性和可维护性:


展示你的代码质量

通过汽车工业自动化代码验证软件可靠性协会(MISRA)合规和正式的方法:

  • 检查代码质量和可维护性检查代码至于MISRA或CERT-C规则
  • 通过利用减少低级的测试活动正式的方法(- 333)
展示你的代码质量

基于需求的测试您的实现

测试和需求跟踪报道结果。

基于需求的测试您的实现

证明符合要求对功能和技术的期望:


使一个合格的工作流

“我们有相同的高水平的信心所生成的代码质量的代码中使用传统手工创建流程。使用嵌入式编码我们知道我们生成正确的代码,并与仿真软件代码检查器我们可以保证是可追踪的模式。”金宝app

吉莉安阿尔弗雷德,贝尔525飞行线控控制律设计