[发明专利]基于SCADE软件开发环境建模方法在审
| 申请号： | 201610947160.6 | 申请日： | 2016-10-26 |
| 公开（公告）号： | CN106547552A | 公开（公告）日： | 2017-03-29 |
| 发明（设计）人： | 杨斌 | 申请（专利权）人： | 安徽扬远信息科技有限公司 |
| 主分类号： | G06F9/44 | 分类号： | G06F9/44 |
| 代理公司： | 北京和信华成知识产权代理事务所(普通合伙)11390 | 代理人： | 胡剑辉 |
| 地址： | 230088 安徽省合肥市*** | 国省代码： | 安徽;34 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种基于SCADE软件开发环境建模方法。包括如下步骤数据流图建模采用面向处理过程；平面状态机制建模用于描述逻辑切换控制；将逻辑进行抽象化，然后进行平面状态机制的图形化构建并仿真验证；安全机制建模系统的进展和状态之间的转移来表示，转移用信号来表达。本发明通过基于SCADE软件的开发具有髙可靠性，我们可以建立一种以模型设汁与验证为核心的新型的件开发方法，这将有效地提高软件幵发的效率和质量。 | ||
| 搜索关键词： | 基于 scade 软件 开发 环境 建模 方法 | ||
【主权项】：
基于SCADE软件开发环境建模方法，其特征在于，包括如下步骤：步骤一，数据流图建模：采用面向处理过程；A将系统的模型描述为从输入到输出的位息流和数据变换过程；B然后应用图形化的操作符搭建模型；步骤二，平面状态机制建模：用于描述逻辑切换控制；S1将逻辑进行抽象化；S2进行平面状态机制的图形化构建并仿真验证；步骤三，安全机制建模：系统的进展和状态之间的转移来表示，转移用信号来表达。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于安徽扬远信息科技有限公司，未经安徽扬远信息科技有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201610947160.6/，转载请声明来源钻瓜专利网。
