一种安全关键软件系统的形式化开发模型

王海峰; 张仲义

首页> 中文期刊>铁路计算机应用 >一种安全关键软件系统的形式化开发模型

一种安全关键软件系统的形式化开发模型

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

形式化方法的主要研究对象是计算机系统的设计和验证.近年来,形式化方法的研究扩展到计算机应用系统的各个领域,尤其是安全关键系统.论述了形式化方法对安全关键软件系统的作用,提出了一种安全关键软件系统的形式化开发模型(Safety Critical Software Model-SCSM),给出了模型的应用实例.

著录项

来源
《铁路计算机应用》|2002年第10期|10-12|共3页
作者
王海峰; 张仲义;
展开▼
作者单位

北方交通大学电子信息工程学院;

北方交通大学自动化系统研究所;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
软件; 安全关键; 形式化; 开发方法;
入库时间 2023-07-25 14:12:34

相似文献

中文文献
外文文献
专利

1. 一种基于形式化技术的安全关键软件需求缺陷挖掘框架 [J] . 王学成 . 产业与科技论坛 . 2018,第019期
2. 一种安全关键软件系统符号执行优化方法 [J] . 戴延军 ,吴志强 ,刘杰 . 计算机与现代化 . 2020,第001期
3. 安全关键系统需求形式化建模分析实例研究* [J] . 张维珺 ,胡军 ,李宛倩 . 计算机科学与探索 . 2019,第008期
4. 面向需求的安全关键系统形式化建模与验证方法研究 [J] . 胡军 ,张维珺 ,李宛倩 . 计算机工程与科学 . 2019,第008期
5. 铁路信号安全关键软件形式化建模 [J] . 李耀 ,郭进 ,杨扬 . 铁道学报 . 2017,第009期
6. 通信软件系统开发的形式化描述技术与评价 [C] . 琚川徽 ,袁兆山 . 安徽省电机工程学会首届青年科技学术交流会 . 2001
7. 安全关键系统的形式化开发方法研究 [A] . 王海峰 . 2002

一种安全关键软件系统的形式化开发模型

摘要

著录项

相似文献

相关主题

期刊订阅