SCADE软件开发方法研究

摘要：

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

关键词： 反应式系统 数据流图 平面状态机 安全状态机 软件开发

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

作者单位: 一航第一飞机设计院6所,西安 710089

会议类型: 国内会议

会议名称: 第十二届全国petri网理论与应用学术年会

会议地点: 天津

会议语种:中文

页码: 286-288

在线出版日期: 2009-08-22（万方平台首次上网日期，不代表论文的发表时间）