基于威布尔分布的嵌入式软件安全性量化分析

基于软件测试阶段采集的安全缺陷数据,讨论安全缺陷在航空装备嵌入式软件的生命周期过程中出现的规律,指出它的出现规律满足S曲线分布。考虑到AML模型的缺陷,引入威布尔建模理论,以软件测试数据为基础,建立某航空嵌入式软件的S曲线模型,预测软件的总安全缺陷数。对威布尔理论进行拓展,讨论转折点的选取原则。最后,通过卡方检验和预测偏差检验的方法,验证了预测模型与测试数据的匹配性。检验结果表明,威布尔模型能够消除测试过程中随机因素的影响,模拟测试过程中缺陷发掘的实际情况,预测取得了很好的效果。     

基于攻击序列的安全量化评估模型

网络应用的飞速发展使得网络安全量化评估日益重要起来,该文分析了系统节点的网络安全特性与它所面对的攻击行为的关联性,继而深入分析了单一攻击序列与一个时间段上的连续攻击对系统节点安全的影响,提出了一种网络安全节点的安全量化评估模型,刻划了其中数字特征,并通过了实验验证。     

基于模型的嵌入式软件测试

针对嵌入式软件开发中的问题,在嵌入式软件测试中应用基于模型的软件测试策略,可以极大的降低开发成本,保证软件质量.阐述了该测试策略,着重讨论和分析了基于UML模型的嵌入式软件测试技术,并介绍了UML模型指导嵌入式软件测试在实际开发环境中的应用.     

基于模型的嵌入式软件设计

分析了嵌入式软件区别于通用软件的特点,介绍了基于模型的嵌入式软件设计开发方法,从可重用角度分析了设计要点,侧重介绍了基于模型的可重用组件和面向行动者的设计方法。     

软件安全缺陷发掘模型研究进展*

软件安全缺陷发掘模型在评估软件安全等级、预测软件剩余安全缺陷数量、确定为保证软件安全所需投入的资源等方面有着重要的意义。本文综述了软件安全缺陷发掘模型研究的进展状况,详细介绍了主要软件安全缺陷发掘模型的内容和原理,并对这些模型的特点和性能进行了比较和分析,最后提出了几个软件安全缺陷发掘模型研究领域需要进一步研究的问题。     

基于模型驱动的机载嵌入式软件应用

传统的软件开发方法已无法应对机载嵌入式软件开发面临的严峻挑战,基于模型驱动的软件开发方法将业务模型和软件实现平台分离,有效地提高了机载嵌入式软件开发效率。文中对两种机载嵌入式软件设计方法进行了比较,以基于SCADE平台实现的自动飞行控制系统的自动驾驶仪模态控制软件为例,并对SCADE自动生成代码与手工编写代码的执行效率进行了比较,证明前者更优,验证了基于模型驱动开发的软件设计方法能有效地提高机载嵌入式软件的开发效率。     

基于流程图的嵌入式软件能耗模型

采用基于流程图的能耗模型对嵌入式软件的能耗进行估计,首先以流程图分析C语言程序流,对于流程图中无法体现的能耗以修正值的形式进行补偿,最终建立软件能耗模型。为了验证该模型的可行性,给出实际电路测量方法。实验结果表明,在ADSP21375硬件平台下,该模型软件能耗估计值和实际测量值的误差较小。该方法可以使软件设计者在系统开发初期对能耗进行估计,便于设计合理的程序语句对系统能耗进行优化。     

基于椭圆曲线的安全传输模型

本文介绍了椭圆曲线的基本概念,并结合对称加密技术,提出了一种基于椭圆曲线的安全传输模型,给出了对信息快速加密并同时进行签名的解决方案。文中对其安全性进行了分析,最后给出了主要运算的快速实现算法。     

航空装备保障性试验与评估研究

本文分析了航空装备保障性试验与评估技术,针对目前航空装备保障性试验与评估的类型和要求、试验方法、评估方法及其注意的内容等进行分析,为后续航空装备保障性试验与评估技术的发展积累经验。     

基于人工神经网络的主机安全量化评估研究

基于人工神经网络的方法对主机安全性能进行量化评估。分析了BP人工神经网络模型的网络结构及学习算法,分析了影响目标主机安全性能的可能因素,并应用BP神经网络模型对目标主机的安全性能进行样本训练及实际测试。基于人工神经网络的主机安全量化评估为评价目标主机的安全性能提供了可行的方法。     

基于偏差分析的航空装备软件费用控制方法

针对航空装备软件费用控制与管理问题,提出了一种基于偏差分析的费用控制策略,给出了重大偏差标准设定方法,将挣值管理引入到航空装备软件费用监控中,解决了软件费用与进度的控制问题。研究结果表明,基于挣值管理的方法可准确掌握项目费用和进度的实施情况,当费用或进度偏离计划时,能够及时发现项目研发中存在的问题并采取策略进行调整,有效实现了软件费用和进度的监控与管理。     

基于物联网技术的航空装备维修安全管理

对物联网和航空装备维修安全管理作了研究和分析,给出了应用物联网技术进行航空装备维修安全管理的具体对策,该策略对加快航空装备维修安全管理的信息化进程,提升航空装备维修安全管理效能具有重要意义。     

基于MVC模式的嵌入式软件测试开发环境设计

嵌入式软件仿真测试开发环境(ESTDE,Embedded Software Testing Development Environment)是嵌入式软件仿真测试平台(ESSTP,Embedded Software Simulation Testing Platform)的重要组成部分,是有效实现嵌入式软件实时、闭环测试的基础。MVC(Model-View-Controller)是一种开发交互式软件系统的典型体系结构模式,在分析和研究ESTDE功能、组成和工作原理的基础上,将MVC应用于ESTDE的设计当中,不仅保证了ESSTP的成功开发,而且提高了系统的可复用性和可适应性。     

基于Qtopia的嵌入式软件开发

Qtopia的出现为使用嵌入式Linux作为操作系统的手持设备提供了开发图形应用程序的便捷手段.介绍了在Linux操作系统中构建Qtopia环境的过程.以"贪吃蛇游戏"为例,描述了使用Qtopia程序库开发嵌入式应用的过程.以Motorola A780手机为目标平台,阐述了构建交叉编译环境和交叉编译应用程序的步骤.     

嵌入式实时软件通用框架模型研究

框架是一种在某个领域获得软件重用的重要途径,描绘的是一个待建应用系统软件的主要结构.从实时嵌入式系统的两大特性着手,提出了一个通用的嵌入式实时软件框架模型,深入分析了该框架下的资源模型、时间模型、任务模型、调度模型和通信模型以及它们之间的相互依赖关系,并且进行了建模.该模型在某航空机载系统研究中得到了应用并切实提高了软件的开发效率和可维护性,具有一定的工程理论和应用价值.     

模型驱动的嵌入式系统设计安全性验证方法研究

基于模型的嵌入式系统安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性验证方法,具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型,以及安全性建模与分析语言AltaRica的语义模型GTS的元模型;然后建立了从SysML/MARTE状态机模型分别到时间自动机模型以及AltaRica模型的语义映射模型转换规则,并基于AMMA平台和时间自动机验证工具UPPAAL设计实现了对SysML/MARTE状态机的模型转换与系统安全性形式化验证的框架。最后给出了一个飞机着陆控制系统设计模型的安全性验证实例分析。     

基于组件的嵌入式软件开发方法

根据嵌入式软件的特点,提出一种以模型为中心、基于组件的嵌入式软件开发方法。它以动态数据流图为系统模型对嵌入式软件的功能和性能需求进行了描述,由此提供了强大的描述和分析能力;通过基于特定组件模型的实现结构和实现代码框架的自动生成,以DDF定义的系统可以被有效地分解为一系列独立的组件,合适的DDF调度算法一致地表示了系统组件的执行语义,使得并发开发的组件具有良好的可集成性。该方法充分考虑了嵌入式开发的特点,能有效地降低系统复杂性和支持系统组件的并发开发和复用,从而提高了开发效率并降低了开发成本。     

基于软件故障注入的嵌入式系统鲁棒性测试

以研究对嵌入式系统鲁棒性进行评价和基于软件故障注入技术的嵌入式系统鲁棒性测试为目的。对嵌入式系统鲁棒性测试的相关概念以及软件故障注入技术原理进行了介绍,以Linux操作系统内核函数测试为例,通过对系统API参数的故障注入接口进行分析,提出基于GDB工具的软件故障注入方法来实现系统鲁棒性故障注入测试。完成了相应的Linux操作系统API接口故障注入测试实例并给出了测试结果。为嵌入式系统鲁棒性测试提供了更为直观、有效的方法。     

基于需求的航空嵌入式软件测试技术研究

针对航空机载软件的特点，提出了一种基于需求的航空嵌入式软件测试模型，并对该模型中主要部分的功能及其相互关系进行了阐述，最后，最介绍了该模型在实际工程项目中的应用情况。