计算机联锁控制系统软件可靠性与安全性技术保障

A/UX(Apple UNIX)
Linux（或称GNU/Linux）
Unix 微软Xenix
Mac OS X MenuetOS
ChorusOS
Minix
Cromix
OSF/1
UNIflex
SCO的SCO UNIX
OS-9 IBM的AIX
Sun的SunOS，即之后的Solaris System V
四、功能软件的可靠性与安全性保障
(一) 故障安全软件设计的基本原则及方 1、采用冗余结构，多样性，双份编码
2、充分的分析和测试 3、失败或可疑时，可采用程序卷回的方法 4、所有在线的计算机应该进行连续的比较 5、正确的次序执行 6、采用固件运行的模式 7、失效发生 ，输出限定在安全状态。 8、监视器防止程序进入死循环或停止运行
OS/390 z/OS Syllable
计算机联锁技术
计算机联锁控制系统的软件安全性与可靠性技术保障
嵌入式实时操作系统
VxWorks 美国WindRiver公司的产品,应用很广泛，市场占有率 比较高
μC／OS-II: 美国嵌入式系统专家Jean J．Labrosse用C语言编写的 一个结构小巧、抢占式的多任务实时内核
Windows Server 2003 64-bit Edition
Windows Vista
计算机联锁技术
计算机联锁控制系统的软件安全性与可靠性技术保障
非Unix商业操作系统
CPM操作系统 MP/M-80 UCSD P-system Mini-FLEX SSB-DOS CP/M-86 DR-DOS FreeDOS
MS-DOS PC-DOS Mach 由卡纳尼基梅隆大学研究 L4微内核 第二代微内核 CHORUS Choices Multics OS-9 NSJ
计算机联锁技术
Unix及类似系统 计算机联锁控制系统的软件安全性与可靠性HP技的术HP保-U障X GNU/Hurd SGI的IRIX
μClinux 优秀的嵌入式Linux版本，其全称为micro-control Linux
eCos eCos(embedded Configurable operating system)，即嵌入式可配置操作系统
计算机联锁技术
计算机联锁控制系统的软件安全性与可靠性技术保障
计算机联锁技术
计算机联锁控制系统的软件安全性与可靠性技术保障
计算机联锁技术
计算机联锁控制系统的软件安全性与可靠性技术保障
三、数据的的安全性保障技术
1. 1、采用不对称编码表示涉及安全的信 息
2. 2、关键数据异地多份存储
3.
空间冗余
4. ห้องสมุดไป่ตู้、规范化数据结构与数据生成方式
5.
机辅设计
6. 4、数据完好的正确性检验
7.
计算机联锁技术
检验软件
计算机联锁控制系统的软件安全性与可靠性技术保障
计算机联锁技术
计算机联锁控制系统的软件安全性与可靠性技术保障
(二) 程序设计阶段必须遵循的措施
1、严格遵守软件工程方法 编制正确的规格说明书 ，良好的软件开发工具 和环境
2、采用模块化程序设计原则 (1)每个模块对应一种特定功能。 (2)一个模块只应有一个入口和一个出口。 (3)任何模块长度不得超出该系统规定的极限。 (4)模块间的接口应尽可能简单。 (5)模块的输入输出参数应限制到最少
BSD
Ultrix
FreeBSD
UniCOS
NetBSD OpenBSD DragonFly BSD Digital UNIX，即之 后康柏Tru64 DNIX
麒麟操作系统(Kylin),由国防科技大 学、中软公司、联想公司、浪潮公 司和民族恒星公司五家单位合作研 制的服务器操作系统
计算机联锁技术
计算机联锁控制系统的软件安全性与可靠性技术保障
二、操作系统选择与应用
目前联锁中采集的操作系统 DOS、WINDOWS、LINUX、VxWorks 2、几种操作系统的分析 (1)通用计算机的操作系统 2005年 ,类Unix家族和微软Windows家族
(2)主机系统和嵌入式操作系统 使用多样的系统，并且很多和Windows、Unix 都没有直接的联系
消除与控制系统危险的方法 减少损失的方法
(2)软件故障安全性验证和确认及软件 的故障安全评估。
计算机联锁技术
计算机联锁控制系统的软件安全性与可靠性技术保障
二、操作系统选择与应用
1、定义 操作系统是最基本的系统软件，是计算 机用户和计算机硬件之间的接口程序模块， 是计算机系统的核心控制软件。其功能简 单描述就是控制和管理计算机系统内部各 种资源。有效组织各种程序高效运行，从 而为用户提供良好的、可扩展的系统操作 环境，达到使用方便、资源分配合理、安 全可靠的目的。
---计算机联锁控制系统软件可靠性与安全性技术保障
电子信息工程学院 岳强
计算机联锁控制系统的软件安全性与可靠性技术保障
计算机联锁控制系统软件可靠性与安全性技术保障
一、软件故障 二、操作系统选择与应用 三、数据的的安全性保障技术 四、功能软件的可靠性与安全性保障技术
计算机联锁技术
计算机联锁控制系统的软件安全性与可靠性技术保障
计算机联锁技术
计算机联锁控制系统的软件安全性与可靠性技术保障
微软（Microsoft）
MS-DOS Xenix Microsoft Bob 基于MS-DOS操作系统的Windows
Windows 1.0 Windows 2.0 Windows 3.1 Windows 95 Windows 98 Windows ME
一、故障分析
1、故障的分类 (1)永久故障 :软件编程出现错误 (2)瞬间故障 ：硬件的瞬间故障和干扰 。 2、软件的故障安全性
指软件无论是否完成其预定功能，不会 导致意外事故发生的概率
计算机联锁技术
计算机联锁控制系统的软件安全性与可靠性技术保障
一、故障分析
软件故障安全性的主要研究内容
(1)软件故障安全性需求分析及软件故 障安全性设计
Windows NT
Windows NT 3.5 Windows NT 4 Windows 2000 Windows XP
Windows XP Media Center Edition Windows XP Professional x64 Edition
Windows Server 2003