基于SCADE模型驱动的软件集成设计

《基于SCADE模型驱动的软件集成设计》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、September2013Vol.44No.3(serialNo.153)航空电子技术AVIONICSTECHNOLOGY基于SCADE模型驱动的软件集成设计112傅亮，潘明罕，严俊（1.中国航空无线电电子研究所，上海200241;2.海军驻上海地区航空军事代表室，上海200233）[摘要]SCADE开发环境采用直观的图形化建模方式搭建系统模型，很大程度上实现了软件开发的自动化，节约开发成本并具有很高的安全性特征。本文采用软件代码集成的方式将设计好的SCADE模型转换为特定运行平台上的可执行程序，程序运行效果和SCADE模型模拟仿真效果完全一致，成功实现设计模型

2、到实际应用的转换。[关键词]SCADE；显示控制；GLUT库[中图分类号]TP311[文献标识码]A[DOI编码]10.3969/j.issn.1006-141X.2013.03.06[文章编号]1006-141X（2013）03-0026-05AModelDrivenSoftwareIntegrationDesignbasedonSCADE112FULiang,PANMing-han,YANJun(1.ChinaNationalAeronauticalRadioElectronicsResearchInstitute,Shanghai200241,China;

3、2.AeronauticalMilitaryRepresentativeBureauResidentinShanghaiRegionforTheNavalForce,Shanghai200233,China)Abstract:SCADEdevelopmentenvironmentusesintuitivegraphicmodelingmethodtobuildsystemmodel.Toalargeextent,SCADErealizessoftwaredevelopmentautomation,savesdevelopmentcostandishighlyse

4、cure.Byusingsoftwarecodeintegrationmethod,thispaperpresentshowtochangeSCADEmodeltoexecutableprogramonaspecificoperationplatform,andtheoperationeffectisinfullaccordwithsimulationtoprovethattheconversionofmodeltoapplicationissuccessful.Keywords:SCADE;displaycontrol;GLUTlibrary于模型，正确构造”

5、的设计理念，它通过直观的图1引言形化建模和模拟仿真，并通过形式验证保证系统的[2]SCADE是法国EsterelTechnologies公司研制安全性。该环境采用图形建模实现系统概要设计的一个工具包，用于开发达到航空业DO-178B标和详细设计后就能直接生成高安全性嵌入式代码，准的嵌入式软件。它运用正确构建的概念，覆盖嵌并且由于SCADE的代码生成工具KCG经过认证，入式软件开发中从需求到嵌入式代码的整个设计满足航空业DO-178B的A级标准，能够确保自动[1]生成代码与模型设计完全一致，不会引入任何错开发流程。[3]SCADESuite是SCADE工具包中的一

6、项重要误，可以省略所生成代码的单元测试,保证软件需工具，用于设计开发控制逻辑。它是一个高安全性求和代码执行的高度同步，具有开发周期短，安全[4]应用开发环境，其在形式化建模的基础上运用“基性高，交互界面友好等优点。26基于SCADE模型驱动的软件集成设计傅亮等2013年9月第44卷第3期(总第153期)SCADEDisplay是SCADE工具包中的另一项击界面中KCG右方的文件生成图标，即可在重要工具，用于设计开发图形显示界面。它是一个TestSuite工程下，生成KCG文件夹，里面包含了开发高安全性显示界面的嵌入式图形工具，依赖于SCADESuite端操作

7、符生成的C代码文件。一个高等级的硬件加速图形库，支持矢量和位图；提供模拟仿真，调试以及与SCADESuite的联合仿真。SCADESuite模型和SCADEDisplay模型经过联合仿真确认运行无误之后，需转换为显示控制效果与仿真完全一致，运行在特定硬件平台之上的应用程序，实现设计模型到实际应用的转化。本文运用VisualC++2010编程工具，通过软件代码集成的方式，将SCADESuite模型转换的代码文件、图1SCADESuite的KCG设置SCADEDisplay模型转换的代码文件、硬件平台相在SCADEDisplay工程界面中，打开关的手写代码文件和相应

8、库文件联合编译，生成由T