SCADE软件开发方法研究  

A Research on Software Development Methods with SCADE

作　　者：胡钢伟 李振水 高亚奎 

机构地区：[1]一航第一飞机设计院6所,西安710089

出　　处：《系统仿真学报》2008年第S2期286-288,共3页Journal of System Simulation

摘　　要：研究了高安全性的应用程序开发环境—SCADE软件的特点和作用。阐述了SCADE软件中的两个重要的基础概念,在此基础上总结了SCADE软件三种建模方式:数据流图方式、平面状态机和安全状态机。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.

关 键 词：SCADE 反应式系统 同步假设 数据流图 平面状态机 安全状态机 

分 类 号：TP274[自动化与计算机技术—检测技术与自动化装置]