资源描述：
《scade软件开发方法研究》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、第20卷增刊系统仿真学报©Vol.20Suppl2009年8月JournalofSystemSimulationAug.,2009SCADE软件开发方法研究胡钢伟,李振水,高亚奎（一航第一飞机设计院6所，西安710089）摘要：研究了高安全性的应用程序开发环境—SCADE软件的特点和作用。阐述了SCADE软件中的两个重要的基础概念，在此基础上总结了SCADE软件三种建模方式：数据流图方式、平面状态机和安全状态机。关键词：SCADE；反应式系统；同步假设；数据流图；平面状态机；安全状态机中图分类号：TP391.9文献标识码：A文章编号：10
2、04-731X(2009)S-0286-03AResearchonSoftwareDevelopmentMethodswithSCADEHUGang-wei,LIZhen-shui,GAOYa-kui(TheSixthDepartment,TheFirstAircraftInstituteofAVIC-1,Xi’an,710089,China)Abstract:TheCharacteristicoftheSafety-CriticalApplicationDevelopmentEnvironment-SCADEisresearched.T
3、woimportantconceptsofSCADEareintroduced.Basedontheintroductionoftheconcepts,itissummarizedthatthreemethodsofsoftwaremodelingaredataflowmethod,flatstatemachinemethodandsafestatemachine.Keywords:SCADE；reactivesystem；synchronousassumption；dataflow；flatstatemachine；safestatem
4、achine1流程进行定量的验证。引言SCADE覆盖了嵌入式开发的整个流程：需求建模、图软件SCADE(safety-criticalapplicationdevelopment形化模型搭建、静态检查、模拟仿真、形式验证、覆盖率分environment)是一个高安全性应用开发环境，覆盖了嵌入式析、代码自动生成、文档生成等，已在国内外众多关键领域开发的整个流程，是一个以软件模型设计为中心而非传统的的嵌入式应用软件开发中得到了成功的应用，如飞行控制系以程序代码为中心的软件开发工具。SCADE普遍适合于各统、自动驾驶系统、引擎控制、刹车控制、核
5、电控制系统等。个领域的嵌入式应用软件开发，特别是在航空、航天、国防SCADE已成功应用于空中客车、欧洲直升机、美国太空总等安全性要求极高的领域，在大飞机工程中SCADE软件同署等安全性要求极高的系统中，并且形成了一套以SCADE样适用。为中心的软件开发方法，SCADE可以生成70%以上的代码，因此了解和掌握SCADE软件的理论基础以及基本的软多个客户使用SCADE的实践经验表明，SCADE能节约50%件建模方法具有实践指导意义。以上的开发时间。国内一些研制单位也借鉴这些成功的经1SCADE软件特点和作用验，建设以SCADE为基础的、先进的
6、嵌入式系统研发平台。SCADE就是这样一种高安全性嵌入式软件的开发环2SCADE的同步编程理论基础境，它能够有效地解决目前传统软件开发中存在的一些问SCADE的核心是LUSTRE语言，它是一种同步程序设题：计语言，适用于反应系统的编程。我们设计时所用的图形描ò采用形式化的设计方法，以严格的数学理论保证设述符需要转换成LUSTRE语言，然后在此基础上进行静态计的完整性和无二义性；检查、模拟仿真、形式验证、覆盖率分析、代码自动生成等ò使用图形化建模方式，易学易用，采用“基于模型”工作，或者也可以直接采用LUSTRE语法的文本方式来搭开发方式替
7、代传统的“基于代码”的开发方式，减少了开发建软件模型。人员的工作量；因此，LUSTRE语法是整个SCADE软件开发的基础，ò自动生成高质量产品级C/Ada代码，代码与模型严对其基本理论我们应该了解和掌握，以便于更好地利用格一致；SCADE来搭建软件模型。而反应式系统和同步假设正是ò提供高效和可靠的仿真和测试手段，可对各个软件LUSTRE语言中与模型设计直接相关的两个基础概念。2.1反应式系统收稿日期：2008-07-28修回日期：2008-10-10作者简介：胡钢伟(1976-),男,浙江永康,硕士,工程师,研究方向为机反应系统的行为可抽
8、象为一个不断接收输入和产生输载软件开发。•286•第20卷增刊Vol.20Suppl2009年8月胡钢伟,等：SCADE软件开发方法研究Aug.,2009出的黑盒，当前的输出可能影响以后的输入
