| 实时系统软件开发过程中形式方法的作用 |
| |
| 引用本文： | 侯建民,李宣东,郑国梁.实时系统软件开发过程中形式方法的作用[J].计算机应用与软件,2002,19(4):23-26,37. |
| |
| 作者姓名： | 侯建民 李宣东 郑国梁 |
| |
| 作者单位： | 南京大学计算机科学系,南京,210093 |
| |
| 摘 要： | 针对实时系统软件开发的特殊性要求,本文强调形式方法是保证实时系统软件开发正确的一种重要方法。文章首先对形式方法的含义进行了系统的介绍,然后分析了形式方法的三个分支在实时系统软件开发过程中的作用,即形式规约、定理证明、形式验证,并指出了形式方法当前主要应用的能力以及应用的局限性,最后提出了形式方法的一些主要研究方向。
|
| 关 键 词： | 实时系统 形式方法 形式规约 定理证明 形式验证 |
THE ROLE OF RORMAL METHOD IN SOFTWARE DEVELOPMENT OF REAL- TIME SYSTEMS |
| |
| Hou Jianmin Li Xuandong Zheng Guoliang.THE ROLE OF RORMAL METHOD IN SOFTWARE DEVELOPMENT OF REAL- TIME SYSTEMS[J].Computer Applications and Software,2002,19(4):23-26,37. |
| |
| Authors: | Hou Jianmin Li Xuandong Zheng Guoliang |
| |
| Abstract: | 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. |
| |
| Keywords: | Real - time system Formal method Formal specification Theorem proof Formal verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
