SCADE软件开发方法研究.pdfVIP

第 20 卷增刊 系 统 仿 真 学 报© Vol. 20 Suppl 2009 年 8 月 Journal of System Simulation Aug., 2009 SCADE软件开发方法研究 胡钢伟, 李振水, 高亚奎 （一航第一飞机设计院6 所，西安 710089 ） 摘 要：研究了高安全性的应用程序开发环境—SCADE软件的特点和作用。阐述了SCADE软件中 的两个重要的基础概念，在此基础上总结了SCADE软件三种建模方式：数据流图方式、平面状态 机和安全状态机。 关键词：SCADE；反应式系统；同步假设；数据流图；平面状态机；安全状态机 中图分类号：TP391.9 文献标识码：A 文章编号：1004-731X (2009) S-0286-03 A Research on Software Development Methods with SCADE HU Gang-wei, LI Zhen-shui, GAO Ya-kui (The Sixth Department, The First Aircraft Institute of AVIC-1, Xi’an, 710089, China) Abstract: The Characteristic of the Safety - Critical Application Development Environment- SCADE is researched. Two important concepts of SCADE are introduced. Based on the introduction of the concepts, it is summarized that three methods of software modeling are data flow method, flat state machine method and safe state machine. Key words: SCADE；reactive system；synchronous assumption；data flow；flat state machine；safe state machine 引 言1 流程进行定量的验证。 SCADE 覆盖了嵌入式开发的整个流程：需求建模、图 软件 SCADE( safety-critical application development 形化模型搭建、静态检查、模拟仿真、形式验证、覆盖率分 environment) 是一个高安全性应用开发环境，覆盖了嵌入式 析、代码自动生成、文档生成等，已在国内外众多关键领域 开发的整个流程，是一个以软件模型设计为中心而非传统的 的嵌入式应用软件开发中得到了成功的应用，如飞行控制系 以程序代码为中心的软件开发工具。SCADE 普遍适合于各 统、自动驾驶系统、引擎控制、刹车控制、核电控制系统等。 个领域的嵌入式应用软件开发，特别是在航空、航天、国防 SCADE 已成功应用于空中客车、欧洲直升机、美国太空总 等安全性要求极高的领域，在大飞机工程中 SCADE 软件同 署等安全性要求极高的系统中，并且形成了一套以 SCADE 样适用。 为中心的软件开发方法，SCA