形式化方法与安全关键系统

FORMAL METHODS AND SAFETY CRITICAL SYSTEMS

本文从分析SCS(Safety -CriticalSystems安全关键系统 )这类重要的实时控制系统的故障新特点出发 ,讨论了SCS中形式化方法的作用、研究应用现状、存在的问题及未来的发展。

In the light of the new default characteristics of Safety-Critical Systems(SCS, an important kind of real-time control systems) , this paper discusses some of the issues concerned with the general acceptance of formal methods and concludes with a summary of the current position and how the formal methods community could proceed to improve matters in the future.