基于SCADE的形式化验证技术研究

作     者：林枫 LIN Feng

作者机构：中国商用飞机有限责任公司 上海飞机设计研究院综合航电部上海200235 

出 版 物：《测控技术》 (Measurement & Control Technology)

年 卷 期：2011年第30卷第12期

页      码：71-74页

摘      要：针对软件开发中的一种软件验证技术———形式化验证技术进行研究,分析这种方法的原理和应用情况,并使用一个实例来说明这种方法在基于模型的软件开发中的使用方式,由这个过程可以看出,这种基于模型的形式化验证技术对于传统的软件验证方法来说是个有力的补充,对于一些高安全性的软件来说使用这种验证方式能有效提高软件的可靠性。

主 题 词：综合航电 基于模型 SCADE 形式化验证 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1000-8829.2011.12.018

馆 藏 号：203771790...