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

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

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

林枫

(中国商用飞机有限责任公司上海飞机设计研究院综合航电部，上海200235)

摘要：针对软件开发中的一种软件验证技术——形式化验证技术进行研究，分析这种方法的原理和应用

情况，并使用一个实例来说明这种方法在基于模型的软件开发中的使用方式，由这个过程可以看出，这

种基于模型的形式化验证技术对于传统的软件验证方法来说是个有力的补充，对于一些高安全性的软

件来说使用这种验证方式能有效提高软件的可靠性。

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

中图分类号：TP31文献标识码：A文章编号：1000—8829(2011)12—0071—04

ResearchonSCADE-BasedFormalVerificationTechnology

LINFeng