-
题名基于安全模式的软件安全设计方法
被引量：4
- 1
-
-
作者
王涛
金英
张晶
-
机构
吉林大学计算机科学与技术学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2011年第12期59-61,共3页
-
基金
国家"863"计划基金资助项目(2007AA01Z123)
吉林大学科学前沿与交叉学科创新基金资助项目(200903193)
-
文摘
提出一种基于安全模式的软件安全设计方法,能在设计阶段保障软件的安全性。以新的安全构造型标识安全关注,建立一种高层的安全抽象;阐述使用安全构造型和安全模式进行系统设计的具体过程,给出应用实例的系统设计类图;对安全模式库的构建方法进行分析,并与其他软件设计方法进行了比较。
-
关键词
安全模式
软件安全设计
统一建模语言
安全模式库
-
Keywords
security pattern
software security design
Unified Modeling Language（UML）
security pattern library
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名浅谈航天应用计算机软件的可靠性与安全性设计
被引量：2
- 2
-
-
作者
吴琨
-
机构
北京控制工程研究所
-
出处
《控制工程（北京）》
2005年第5期117-121,共5页
-
文摘
简述软件可靠性与安全性的概念及其重要性，分别介绍软件在可靠性设计和安全性设计上常采用的方法。
详迷软件可靠性与安全性设计在各个研制阶段的要求与实施情况，包括需求阶段、设计与实现阶段和测试阶段，以及其它与可靠性、安全性相关的内容。
介绍软件可靠性与安全性的研制经验，包括过程管理、交付后的程序复查。
-
关键词
软件可靠性设计
软件安全性设计
研制经验
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
TJ430.2
[兵器科学与技术—火炮、自动武器与弹药工程]
-
-
题名城市轨道交通列车自动防护系统软件设计
被引量：4
- 3
-
-
作者
刘攀峰
邱昕夕
陈祥献
黄海
段会龙
-
机构
浙江大学生物医学工程与仪器科学学院
浙江大学信号系统研发中心
-
出处
《计算机工程》
CAS
CSCD
2012年第19期1-5,共5页
-
基金
国家科技支撑计划基金资助项目(2011BAG01B03)
-
文摘
从当前国内城市轨道交通信号系统的实际需求出发,提出一种列车自动防护(ATP)系统。确定基于通信的列车运行控制系统中ATP子系统的开发目标和功能划分,给出系统设计方案和实现方法。使用沈阳地铁1号线的线路数据在仿真平台上进行测试,运行结果表明,该ATP系统能够满足设计目标和要求。
-
关键词
城市轨道交通
信号系统
列车自动防护
安全软件设计
安全制动模型
自动折返
-
Keywords
urban rail transit
signal system
Automatic Train Protection（ATP）
safe software design
safe braking model
automatic turn-back
-
分类号
N945
[自然科学总论—系统科学]
-
-
题名卫星电源系统智能管理设计与实现
被引量：3
- 4
-
-
作者
杨暘
于智航
孙宏杰
-
机构
中国电子科技集团公司第十八研究所
-
出处
《电源技术》
CAS
北大核心
2019年第8期1388-1390,共3页
-
文摘
对卫星在轨运行的特点,在深入分析一次电源系统智能化管理要求的基础上,结合国内卫星一次电源系统智能化控制技术的现状提出了适合导航系列卫星一次电源系统的智能管理设计。从通信总线接口设计、自主管理与健康监测技术、蓄电池自主均衡管理算法和星载软件可靠性安全性设计四个方面的优化,提高了一次电源系统智能管理的研制水平和可靠性。
-
关键词
智能管理
通讯总线接口
健康监测
均衡管理
软件可靠性安全性设计
-
Keywords
intelligent management
communication interface bus
health monitoring
balanced algorithm
software's reliability & safe
-
分类号
TM91
[电气工程—电力电子与电力传动]
-
