分级的软件可信评估模型研究及应用

来源 :计算机科学 | 被引量 : 0次 | 上传用户:zhao7788
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对软件的可信任问题,展开对软件可信程度的度量和评估的研究,提出了软件质量模型及分级的可信软件评估模型,将软件的信任程度分为存在级、不可信级、可用级、证实级、推荐级、应用级等6个可信级别。基于决策树给出了可信软件等级的评估过程,并将其应用于可信构件平台中。经过测试,系统运行稳定,对高可信软件的开发和重用具有引导作用。
其他文献
设计并实现了应用于集控式足球机器人比赛的无线通讯系统,首次把ZigBee技术应用于足球机器人与上位机(PC)之间的通信;选用赫立讯公司的Ip-link1200为无线通讯模块,系统中所有的无
针对飞翼式无人机着陆段的控制要求,需要精心设计纵向内回路控制律及着陆轨迹曲线,从而实现着陆轨迹的精确跟踪;采用线性矩阵不等式(LMI)方法设计了纵向姿态回路控制律,在设计
网络化的测控系统是仪器领域发展的一个重要方向;讨论基于B/S模型的网络测控系统,并对其嵌入式Linux下的串口通信和网络通信以及CGI等关键技术深入分析,完成了单片机采集系统的软
在对飞机故障进行分析的基础上,以Agent为基本单元,建立了飞机智能故障诊断模型。并对诊断任务的分解、飞机智能诊断与监控系统的结构、智能诊断与监控功能的实现方法等进行了
介绍了一种具有目标定位功能的新型无线传感器网络节点,通过该节点可以确定目标节点(以下简称为目标)的方位和距离,对目标方位的确定基于四元十字阵列的时延估计法,对目标距离的确
空心轴高速旋转电弧传感器广泛应用于焊缝跟踪系统中,首先介绍了利用这种传感器进行焊缝偏差检测的原理,在已有的基于工控机来控制平台的基础上,对控制器进行了小型化工作,从工作
本刊讯:研扬科技,医疗设备主要生产商,推出全新带备用电池监测终端——ONYX-174/154。这两款强大的医疗工作站属于ONYX系列的一部分,专注于电源管理和备用电池的功能。用于不间断
传统的现场总线监控系统仅适合小范围监控,而对于大规模的高压电力电缆监测存在电缆敷设难、成本高、难以维护等问题;设计了一种新型电力电缆监控系统,系统利用低功耗数字温度传感器TMP100实现地下电缆接头温度采集,MSP430F149作为工作子站核心控制器进行信号分析与处理,并通过与nRF905无线收发芯片实现信号的无线传输,并可借助RS485接口与主控计算机相连,实现了高压电力电缆接头巡检控制系统设计
瞬时角速度是飞行器研制过程中很重要的参数之一.瞬时角速度决定了飞行器能否稳定飞行;通过在飞行器内安装地磁式角速度测试系统可以得到飞行器的平均角速度,在实际的角速度测试
针对电力系统110kV线路保护系统存在可扩展性差和开发成本高的问题,探讨了一种集保护.控制和远程监控于一体的微机保护系统,基于MCF5282微处理器设计了一个110kV线路的微机保护