摘要
针对实时系统软件开发的特殊性要求,本文强调形式方法是保证实时系统软件开发正确的一种重要方法。文章首先对形式方法的含义进行了系统的介绍,然后分析了形式方法的三个分支在实时系统软件开发过程中的作用,即形式规约、定理证明、形式验证,并指出了形式方法当前主要应用的能力以及应用的局限性,最后提出了形式方法的一些主要研究方向。
This paper emphasizes that formal method is an important method to guarantee the correctness of software of real- time systems due to the specialities of this kind of software. The paper first introduces formal method systematically, and then three brands of formal method in software development of real - time systems are analyzed: formal specification, theorem proof and formal verification. And their abilities to current applications and their limitations are pointed out. Some future research directions of formal method are provided at last.
出处
《计算机应用与软件》
CSCD
北大核心
2002年第4期23-26,37,共5页
Computer Applications and Software
