【摘 要】
：
随着软件在安全关键系统中的应用越来越广泛、承担的安全关键功能越来越多,软件的安全性需求变得越来越重要,成为系统安全性的一个重要的决定性因素。软件安全性需求的正确描
论文部分内容阅读
随着软件在安全关键系统中的应用越来越广泛、承担的安全关键功能越来越多,软件的安全性需求变得越来越重要,成为系统安全性的一个重要的决定性因素。软件安全性需求的正确描述是整个软件安全性工作的关键,它是开展后续软件安全性设计、实现与测试工作的依据。然而现有的安全性需求通常被混同于一般功能性描述中,缺乏独立、规范和明确的描述,缺乏对于故障、失效与安全性需求之间相互关系的描述机制,导致在实际应用中缺乏对安全性需求进行准确描述的方法。设计了一种基于结构化模版和约束规则的安全性需求规约,即基于RUCM的安全性需求描述方
其他文献
介绍了一个新颖的无刷励磁发电机转子电流及温度监测装置的总体结构、设计思想和关键技术.该装置对发电机转子运行状态的在线监测和故障诊断具有重要作用.模拟试验表明,该装
介绍了基于工业现场网的船舱环境自动监控系统，利用该系统可以实现船舱环境的集中管理，不仅可以随时提供船舱的各种参数，而且可以对环境参数进行自动调节，对异常情况进行报警。文
介绍了一种采用压力传感器与单片机系统相配合设计的水位远程自动测报系统。此系统通过无线数传的方式向中心站发送水位信息 ,并自动生成各种报表 ,对水位数据进行统计分析 ,实现了水位监测的实时性 ;此系统将在水利建设中起很重要的作用
介绍了舞台机械设备控制系统上位监控软件的设计思想、主要功能及在国内大型剧场的应用，该软件基于VisualC++编程，与传统的基于组态软件编程相比，具有很多优越性。
提出了介损在线监测系统的设计方案,主要介绍了如何使用Delphi语言对该系统进行硬件控制和软件开发,所开发出来的系统使用方便、易于维护与升级.
详细介绍了基于PXI和SCXI模块的分布式导弹自动测试系统的硬件结构,在"Measurement & Automation Explorer”工具中的配置,以及利用LabWindows/CVI应用软件开发的方法.
通信卫星数据采集与控制技术是通信技术与遥测、遥控、遥监技术相结合的应用技术，在国民经济的许多部门有广泛的应用前景。本文简要综述了通信卫星数据采集与控制技术的特点、发展状况、应用系统组成及工作原理、主要关键技术和应用前景。
在云计算环境中,基础设施即服务的日益发展导致虚拟机和虚拟机镜像的急剧增加,例如,Amazon Elastic Compute Cloud(EC2)有6521个公共虚拟机镜像文件,这给云环境的管理带来了
讨论了Minolta的CS-100色度仪硬件接口信号，用AT89C2051最小系统实现了与计算机接口，同时用Delphi5实现了将其连接到计算机进行色温程控测量的驱动程序开发，并应用到LED模块颜色
介绍了三维编织复合材料预制件表面图像检测与纹理分析的基本原理。该系统以ＣＣＤ为传感器，与微型计算机连接，进行三维编织复合预制件表面编织角的检测。本系统对改善三维编织复合预