王海峰
- 作品数:11 被引量:55H指数:5
- 供职机构:北方交通大学电子信息工程学院更多>>
- 发文基金:国家自然科学基金更多>>
- 相关领域:自动化与计算机技术交通运输工程理学一般工业技术更多>>
- 软件质量模型及其评价被引量:17
- 2003年
- 本文从实用的角度出发,提出了软件质量评价的定性模型,并用模糊方法对其进行定量评价。最后用一模拟实例进行了说明。
- 陈建明王海峰
- 关键词:软件质量模型软件开发软件系统
- 安全苛求系统的形式化开发方法被引量:3
- 2002年
- 从系统工程的角度出发,基于形式化理论,对安全苛求系统的开发方法进行了研究.首先介绍了安全苛求系统的形式化方法,分析了形式化方法对安全苛求系统的作用;提出了一种安全苛求系统的形式化开发模型(FDM),给出了具体的应用实例.
- 王海峰陈建明张仲义
- 关键词:安全苛求系统形式化方法开发方法系统开发计算机安全
- 一种系统安全性的形式化验证方法被引量:4
- 2003年
- 随着计算机系统应用的深入和广泛,系统安全性越来越成为人们关注的焦点,形式化模型检验是解决系统特性验证问题的一种有效途径,用有限自动机表示系统的设计和实现,用计算树逻辑CTL(ComputationalTreeLogic)公式表示系统的安全特性,探讨了系统安全性形式化验证的方法。
- 王海峰吕永波张仲义
- 关键词:计算机系统形式化验证方法有限自动机
- 铁路运输综合演练系统
- 李志勇杨兴荣李绍斌王海峰邓正均杨世武黄赞武
- 系统以计算机技术、LAN技术为主要技术手段,去掉传统的继电器组合,采用软件配合联锁硬件设备完成演练系统上列车和调车进路控制的计算机联锁系统;采用开路式交流轨道电路对轨道的占用和出清进行检测;采用磁环和干黄管完成对道岔定位...
- 关键词:
- 关键词:计算机联锁
- 双重冗余控制系统故障安全性的研究被引量:10
- 2002年
- 为了获得或改善计算机控制系统的安全性 ,从确保系统故障后导向安全的角度出发 ,深入地探讨了双重动态冗余控制系统的故障 安全性 ,从理论上对冗余控制系统故障 安全性进行了分析和推导 ,给出了一般性结论 ,并结合铁路信号计算机控制系统 ,对双重冗余控制系统故障
- 王海峰张仲义
- 关键词:故障-安全安全性冗余系统控制系统铁路
- 基于系统工程的信息系统安全体系结构模型研究被引量:10
- 2003年
- 随着信息系统的迅猛发展和不断应用,信息安全成为人们研究的重点。文章首先分析了通信安全、计算机安全和信息系统安全的特点及发展过程。从系统工程的角度,提出了信息系统安全三维体系结构模型,从技术维、时间维和管理维对信息系统的安全进行了描述,指出了该三维模型和网络七层协议的关系。该模型对信息系统安全保密研究具有一定的理论指导意义。
- 陈建明龚尧莞王海峰
- 关键词:信息系统信息安全体系结构计算机安全三维模型
- 一种安全关键软件系统的形式化开发模型
- 2002年
- 形式化方法的主要研究对象是计算机系统的设计和验证。近年来,形式化方法的研究扩展到计算机应用系统的各个领域,尤其是安全关键系统。论述了形式化方法对安全关键软件系统的作用,提出了一种安全关键软件系统的形式化开发模型(Safety Critical Software Model-SCSM),给出了模型的应用实例。
- 王海峰张仲义
- 关键词:形式化开发方法计算机软件开发
- 智能交通安全控制系统的模型验证
- 2003年
- 随着智能交通系统的发展,交通安全控制系统的开发变得越来越复杂,系统中存在的“设计型故障”很难被检测和排除,“设计型故障”成为影响系统安全性的主要问题。笔者利用形式化方法对交通安全控制系统进行严格的模型验证,提出了系统模型验证的安全性约束和安全性路径的概念,给出了模型验证的推演方法,为解决智能交通安全控制系统的“设计型故障”问题提供了一种有效的手段。
- 张仲义王海峰
- 关键词:安全性形式化方法
- 构建铁路“车站信号自动控制”课程新体系思考被引量:5
- 2003年
- "车站信号自动控制"这一传统的铁路特色专业课程,其课程体系日显陈旧,在教学中存在的问题越来越突出。构建新的课程体系,要重组传统内容、加强新技术内容、拓宽应用。新体系实现途径是:提高理论层次,拓宽知识面,突出主干内容教学、改革教学手段和方法。
- 王海峰郭进
- 关键词:铁道信号课程体系素质教育
- 基于模糊颜色Petri网的表决DVP安全软件模型初探被引量:1
- 2002年
- 把模糊计算理论和有色Petri网有机地结合起来 ,提出了一种模糊颜色Petri网诊断表决算法 ,把该算法应用于DVP的软件模型 ,使之具有故障容忍和表决的能力。笔者对以模糊颜色Petri网为核心的DVP软件模型表决算法进行了较为深入的探讨 ,该模型对提高软件系统的安全性和可靠性具有实际意义。
- 王海峰张仲义
- 关键词:表决算法DVP