嵌入式代码的自动生成 经过仿真和形式验证,保证了模型的安全性以后,SCADE可以自动生成面向工程的ANSI C或Ada 83/95语言的嵌入式代码。 它生成的代码满足一系列的安全性特征,例如,有界的堆栈,没有动态指针,没有递归调用,没有死代码等等。另外,SCADE自动生成的代码的运行空间和运行时间与手写代码基本相当,但比手写代码更易于维护和调整。 和其它的许多代码生成器相比,SCADE代码生成有二个显著的特点。第一,SCADE所生成的代码完全面向工程,可以直接嵌入到所开发的系统中去而不需要做任何修改。第二,SCADE基于严格的数据理论,它保证所生成的代码的正确性,并承诺所生成的代码的行为和仿真的行为完全一致。这二点是很多代码生成器所做不到的。 KCG 民航系统的开发流程必须满足DO-178B国际标准。KCG是爱斯特尔技术公司提供的满足DO-178B民航A级安全标准的代码产生器。由于KCG本身满足这一标准并保证了代码的正确性,它不仅大大节省了编码工作,而且完全免去了代码的单元测试,很大程度地节省了验证工作和验证时间。(详见第三章KCG和DO-178B标准) KCG的使用对空中客车(AIRBUS)的A340/500项目和欧洲直升机(Eurocopter)的EC135、EC155等项目的开发和质量认证带来巨大的帮助。 2 与其它工具的桥接 与DOORS的桥接 DOORS是一个需求分析和追踪的工具。SCADE和DOORS的桥接工具可以把一个SCADE模型自动地输入到DOORS环境中,以便于需求分析和追踪,使SCADE中的设计与需求,测试计划和其他模型或文档联系起来。 在需求分析和追踪的过程中,如果我们想了解DOORS中的一个对象对应于SCADE中的哪个实体,该桥接工具还提供了定位的功能。只需点击一个按钮,它就会启动SCADE,调出相应的SCADE模型,并把光标定位在相应的实体上。 与配置管理工具的桥接 SCADE以ASCII格式保存所有数据,并支持SCCI标准的配置管理界面。因此,SCADE可以很方便地与所有支持SCCI标准的配置管理工具进行桥接,如Telelogic Synergy,MERANT PVCS,Rational Clearcase以及Wincvs等等。SCADE编辑器中还集成了常用的版本管理命令,如checkin,checkout等等。 与Simulink的桥接 如果您在以往的开发过程中,使用Matlab/Simulink做控制率设计,那么SCADE与Simulink的桥接能给您很大帮助。该桥接工具可以把Simulink模型中我们所需要的软件模块自动转化成一个Scade模型,这一方面帮助我们重用现有的模型和设计,减少工作量;另一方面也又能使我们充分享受SCADE的相对优势,如确定性的系统行为、形式验证、嵌入式代码的自动生成等等。此外,该桥接还可以把SCADE生成的代码返回到Simulink模型内部作为一个S函数,这样可以进行软件代码在其运行环境中模拟仿真。
|