【摘 要】
：
为了提高机载嵌入式软件在其研制周期的各个阶段中的正确性与可信性,以达到机载嵌入式系统高可靠、高安全的特性需求,提出了一种机载嵌入式系统可执行文件可信管理方法。分别针对软件研制周期中的产品库管控、软件交付以及软件维护这三个阶段提出了具体的可信管理方法,并基于MD5算法对所述方法进行了具体的功能设计,最后借助c#将功能设计进行了编程实现,形成了机载嵌入式系统可执行文件可信管理工具。工具实现为开发人员确保可执行文件的正确性提供了依据与保障。
【机 构】
：
航空工业西安航空计算技术研究所,西安电子科技大学计算机科学与技术学院
论文部分内容阅读
为了提高机载嵌入式软件在其研制周期的各个阶段中的正确性与可信性,以达到机载嵌入式系统高可靠、高安全的特性需求,提出了一种机载嵌入式系统可执行文件可信管理方法。分别针对软件研制周期中的产品库管控、软件交付以及软件维护这三个阶段提出了具体的可信管理方法,并基于MD5算法对所述方法进行了具体的功能设计,最后借助c#将功能设计进行了编程实现,形成了机载嵌入式系统可执行文件可信管理工具。工具实现为开发人员确保可执行文件的正确性提供了依据与保障。
其他文献
将STC89C52视作各个设备的主控"桥梁"芯片,通过测量超声波的信号发出和输入接收的一定时间差,结合超声波发射和接收时传播的速度获得测量距离。将测量距离同选定的实际距离对比分析,当测量距离小于实际距离时,主控芯片指示蜂鸣器发声。测试结果表明设计的超声波测距仪误差较小,能够满足工程需求。
针对无人机输电线路巡视应用和巡检数据特点等方面进行需求分析,进行无人机输电线路巡视非结构化数据平台研究。构建覆盖视频、图像、音频、激光点云数据和倾斜摄影数据等非结构化数据服务平台,实现对全省输电线路非结构化数据的统一存储和管理,为公司各单位的输电线路巡检数据应用提供非结构数据服务能力,消除公司非结构化数据服务短板,为实现电网数字化奠定基础。
针对在构建教学督导评教信息反馈平台的研究过程中面临的关键问题,提出了运用标准元数据进行数据整合,构建督导评教信息数据字典;使用Spark Streaming进行数据过滤,运用K-means方法进行特征矩阵的聚类操作,实时智能督导推荐;引入干扰参数,经过交叉对比给出的趋势向量,进行加权综合主观评价,采用数据关联性的方法进行教学督导数据的可视化。文章的研究为督导评教信息反馈平台的智能化运用,提供了解决方案,对于平台系统开发人员和教育教学督导管理人员都具有积极的意义。
阐述了智慧如皋时空信息云平台的建设内容及开展的示范应用。通过整合如皋基础时空数据、公共专题数据、物联网实时感知数据、互联网在线抓取数据等,形成基于统一标准的时空大数据中心;依托政务网、如皋市自然资源和规划局内网,构建了两套运行环境的时空信息云平台,并开发移动平台,为智慧如皋建设提供时空基础服务支撑,提升开放、共享服务能力;结合如皋实际情况,选择相关强GIS部门开展智慧应用建设,提供测绘与地理信息基
首先提出了一种基于UKF滤波的稳健高精飞行器实时轨道定位方法,规避了卡尔曼滤波和扩展卡尔曼滤波方法存在的发散和不稳定问题,对测元数据进行了有效性选择和异常值辨识与修正,能够在数据经度交叉的情况下有效获取飞行器轨道信息。在此基础上,利用HTML+WEBSOCKET+SQL技术,采用B/S模式开发了一套基于WEB的轨道信息可视化系统,可以实时对卫星轨道进行可视化显示,并对轨道的预测信息进行预报显示。
设计了一套以nRF24L01无线数据收发模块为技术基础,以51单片机为主要技术核心的低成本、低功耗、数据传输速度快、软件设计简单以及通讯稳定可靠的无线数据传输系统。介绍了无线芯片的引脚排列以及四种常用工作方式;对硬件设计中MCU的选型以及串行接口电路的设计进行了说明;在软件控制过程中描述了初始化操作并列举了芯片在收发模式下的关键程序设计。经多次运行试验表明,系统的控制操作方便,并且能够很好地实现无
依据身份的不同特性及其应用场景进行研究。针对互联网上身份认证进行深入分析,提出由公安机关和社会企业联合共建身份认证体系,采用区块链和数据加密技术实现身份信息创建、传输和查证,建立一套较为完善的身份认证系统,系统由公安机关身份管理平台、区块链身份系统和区块链身份查证系统三部分组成,以确保在互联网上身份的可信性和安全性,并向用户提供安全、简洁、便利的查证功能。
在电子健康卡系统中引入国产密码+区块链技术,将电子健康卡链节点部署在电子健康卡市平台以及各医疗机构的加密前置一体机中,把注册、申领和用卡数据上链,按照索引、时间戳、随机数、交易数据、前一个块哈希和后一个块哈希组建区块结构,通过restful api接口调用;同时以区块结构中的索引为根密钥,采用国密算法构建安全的电子健康卡块密钥体系。基于国密算法+区块链的电子健康卡数据安全保护方案,可以实现电子健康卡数据的去中心化,保证居民数据安全可靠的存储和运行,很好的解决电子健康卡系统分布式计算和不可篡改的棘手问题,加
针对企业核心文件被易非法窃取的风险,通过在企业网络上配置访问控制列表,使网络使用者只能在指定时间使用特定IP地址访问企业核心文件服务器,实现对企业特定信息资源访问权限的差异化管理。访问控制列表将通过的数据包信息和设定的配置由上至下依次进行匹配。访问控制列表的规则和动作决定数据包的通过或拒绝,实现对进入和流出三层交换机数据流的控制。测试结果表明:访问控制列表保证了企业核心文件的安全性和网络管理的灵活性。
针对高校现有的教务信息管理系统在访问量激增时出现拥堵、无响应的问题,研究设计了一款基于B/S架构的教务信息管理系统,该系统使用Java语言结合IntelliJ IDEA集成开发环境测试开发,采用Nginx负载均衡技术提高并发性能,使用MVC三层体系结构提高系统的可维护性与可重用性。围绕学生模块、教师模块、管理员模块三方面设计该教务系统的功能,确保该系统能够适应当今高校教学管理对于教务系统高性能与多功能的需求,对于高校提升信息化建设水平有积极的参考意义。