论文部分内容阅读
形式化方法的主要研究对象是计算机系统的设计和验证，近扯为，形式化方法的研究扩展到计算机应用系统的各个领域，尤其是安全关键系统。论述了形式化方法对安全关键软件系统的作用，提出了一种安全关键软件系统的形式化开发模型（Safety Critical Model-SCSM)。给出了模型的应用实例。
一种安全关键软件系统的形式化开发模型
【摘 要】
：
形式化方法的主要研究对象是计算机系统的设计和验证，近扯为，形式化方法的研究扩展到计算机应用系统的各个领域，尤其是安全关键系统。论述了形式化方法对安全关键软件系统的作用
【机 构】
：
北方交通大学电子信息工程学院,北方交通大学自动化系统研究所
【出 处】
：
铁路计算机应用
【发表日期】
：
2002年10期
其他文献
呼和浩特铁路局客运公司成立后,为合理地对客运公司的人力、车辆和财力资源进行优化组合,用计算机技术开发了铁路客运营销调度指挥系统,介绍了该系统的工作流程,技术难点及其
随着道路建设规模的不断扩大，随之而来的道路路基路面病害也不断的困扰着公路建设人员。本文主要阐述了道路工程路基路面病害的种类、产生的原因以及处理措施。
针对目前中国铁路信息化建设的现状,分析了目前地理信息系统（RGIS）建设中有关决策支持的误区与盲点,提出了一种基于数据仓库和数据挖掘的RGIS决策支持子系统（DSS）的体系结构,并对其数据平台与网络结构作了进一步探讨。
课堂教学少不了教师的提问与学生的回答,然而有时候这个课堂答问的环节却渐渐缺失了,这不得不让教育工作者反思。如何培养学生的课堂答问能力成为我们教师的一个重要任务。