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

Research on SCADE-Based Formal Verification Technology

作　　者：林枫[1,2] 

机构地区：[1]中国商用飞机有限责任公司 [2]上海飞机设计研究院综合航电部,上海200235

出　　处：《测控技术》2011年第12期71-74,共4页Measurement & Control Technology

摘　　要：针对软件开发中的一种软件验证技术———形式化验证技术进行研究,分析这种方法的原理和应用情况,并使用一个实例来说明这种方法在基于模型的软件开发中的使用方式,由这个过程可以看出,这种基于模型的形式化验证技术对于传统的软件验证方法来说是个有力的补充,对于一些高安全性的软件来说使用这种验证方式能有效提高软件的可靠性。A model-based formal verification technology is researched for the software verification technology during software development, the principle and application of the method are analyzed. An example is intro- duced to illustrate the application of this model-based verification technology, which proves that this method is a supplement to traditional verification method, and will improve the reliability of the safety-critical software.

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

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]