基于DO-178B的软件配置管理技术研究

软件过程管理对航空软件产品的安全性和可靠性发挥着至关重要的作用,而配置管理技术作为软件过程中的一个重要环节,无疑又是重中之重。这里以DO-178B为指导,结合实践经验,详细阐述了开展各项软件配置管理活动的具体方法与策略。为提高数据控制的有效性,以满足DO-178B的A级软件研发过程为例,说明了如何按照DO-178B中的两种控制类型对软件生命周期数据进行分类,最后,提供了符合DO-178B要求的说明。     

基于CMMI符合DO-178B的民机机载软件需求开发过程理论与实践

随着民用飞机机载软件研制过程规范化,软件需求的开发的流程化能够提高适航的置信度.     

基于DO-178B的机载软件可靠性设计

本文从软件可靠性工程角度,对DO-178B的研制流程进行解读,分析DO-178B中所包含的避错、消错和容错的机载软件可靠性设计技术。分析表明,DO-178B既是机载软件满足适航安全性要求的符合性方法,也是保证机载软件可靠性的一种软件设计方法。     

满足DO-178B要求的软件需求开发方法

为了开发出一份满足适航标准DO-178B要求的机载软件需求规格说明书,在介绍DO-178B对机载软件需求的要求和指出机载软件需求存在问题的基础上,重点讨论了使用结构化激励响应(SSR)方法开发软件需求的6个主要步骤.以飞行显示器软件的一个功能点为例,说明了使用SSR方法开发的软件需求单元应该具有的7个主要组成部分以及每部分的含义.通过DO-178B和SSR方法相结合,为机载软件需求开发提供了一套可行的技术方案.     

基于CMMI的软件配置管理研究

软件工程过程中经常会遇到不正确性、不可见性、不完整性、不一致性等一系列问题。以软件配置管理(Software Configuration Management,简称SCM)作为研究对象,基于能力成熟度模型集成(Capability Maturity ModelIntegration,简称CMMI)标准,提出了软件配置管理的实施步骤。     

基于贝叶斯方法的配置管理研究

软件配置管理是一套规范、高效的软件开发管理方法,它能提供工作空间管理、并行开发支持、过程管理、权限控制、变更管理等一系列的管理能力,是提高软件质量的重要手段。设计了一个基于贝叶斯的软件配置管理模型,并详细阐述了该模型的核心技术和关键机制。     

CMMI2级中配置管理过程域的研究和实施

通过对城镇职工基本医疗保险信息系统(以下简称SHHC)开发过程中配置管理的研究,提出了一些新的实施方法和标准并且在SHHC项目中发挥了重要的作用.研究表明,配置管理活动是软件开发环境管理的核心,不做好配置管理工作,软件开发过程经常会发生混乱,造成不必要的损失.只有充分做好配置管理工作,才能真正保证工作产品的完整,一致以及可追踪性.     

基于GJB5000A-2008的军用机载软件配置管理模型研究

本文研究了GJB50000A-2008中软件配置管理的要求,在系统整个生存期控制配置项的投放和更动,记录配置项状态,验证其完整性和正确性。结合军用机载软件高可靠性、高安全性的特点提出了具有指导性和可操作性的应用策略模型,通过提供覆盖GJB50000A-2008标准的软件配置管理活动集,实现了将软件配置管理应用于军用机载软件开发的全过程。解决软件开发过程中工作产品完整性、不一致性、不可追溯的问题。     

基于模型的民用飞机软件开发技术研究

针对我国民用飞机研制过程中,基于模型的机载软件开发技术进行研究,通过一种基于模型的开发工具,建立了一个机载软件模块的模型,在这个模型上进行仿真测试,然后完成基于模型的结构覆盖率分析,最后通过这个工具的认证级代码生成器生成高安全性的源代码,对源代码进行集成测试。最后对这种开发方式的优缺点及开发中应注意的问题进行了概括总结。     

基于Web数据库的软件配置管理研究

软件配置管理是控制和改进软件过程、保证软件质量的一种重要手段,其核心工作主要包括版本控制、变更控制等。为提高软件配置管理工作的效率,解决地理分布不同的多成员共同开发一个软件项目时的配置项版本控制和变更控制问题,将Web数据库应用至软件配置管理系统的建设工作中,构建了一个基于Web数据库的软件配置管理系统。     

基于CMMI的空管系统软件管理技术研究及应用

随着现在空管自动化系统的日益复杂化和管制需求、软件更新的频繁化,软件版本管理逐渐成为空管系统软件生命周期中的重要控制过程,在软件开发过程和维护过程中扮演着越来越重要的角色。良好的软件配置管理能使软件生命周期中有更好的可预测性,使软件系统具有可重复性,使用户和主管部门对系统软件质量和开发小组有更强的信心。     

基于模型开发的机载软件模型测试技术研究

在Do - 178B以及Do- 178C对于Do- 178B进行修改的部分内容基础上,对于模型的测试进行研究,其主要研究内容有:模型验证过程、模拟用例、过程和结果的开发、模拟用例、过程和结果的验证、高层需求的覆盖率分析、模型覆盖率分析、模型覆盖率分析解决方案等.     

基于ITIL标准的移动变更与配置管理系统研究与实现

With the rapid growth of powerful mobile devices, to improve the speed and quality of customer service, mobilizing their workforce became more and more important to many companies. Consequently, all kinds of enterprise applications, policies and data access are enabled through mobile platforms. However, how to manage such various mobile types and mobile applications and to integrate them with existing enterprise IT infrastructure becomes a great challenge. In this paper, we propose a novel approach to manage the enterprise mobiles through IT service management by using standard ITIL processes. Motivated by real cases of insurance industry mobile solution, firstly, a system architecture named BlueStar is designed which integrated ITIL-compliant mobile management and enterprise IT service management into a uniform platform. Secondly, typical ITIL processes and best practices: Change and configuration workflow are introduced for mobility management. Thirdly, the BlueStar system included device management component is implemented and evaluated by the motivating cases.     

基于重用技术的冲模CAD软件开发环境的研究

基于软件重用技术原理,论述了一种冲模ＣＡＤ软件的可重用机制及其开发环境,提出了可重用冲模ＣＡＤ软构件的定义,分类,描述特征信息及其管理,可重用软构件的检索算法,并给出冲模ＣＡＤ系统可重用开发环境的功能模型。     

基于B样条插值法的曲线光滑处理技术及应用

曲线的光滑处理技术在许多领域得到了广泛的应用,其常用方法是将平面上欲连接的点作为控制多边形的顶点,通过相应的数学变换,得到曲线上的点。而为了更准确地表现曲线,通常希望光滑后的曲线能经过这些点。文章介绍了通过B样条插值法使曲线经过平面已知点的方法及其在计算机上的实现,通过实验得到了较好的效果。     

基于B/S的大型LBS系统规划研究及技术分析

本文介绍了LBS的国内外应用发展状况,提出了以J2EE为支撑、Oracle为基础数据库的基于B／S的大型LBS系统解决方案,并进行了关键技术及相关技术支持的分析。     

基于S3C44B0开发板的图像采集方法研究

本文简要介绍嵌入式系统,并详细阐述了基于三星公司ARM7嵌入式处理芯片S3C44B0为核心构成的开发板,通过u-CLinux开发环境,运用Omni Vision511芯片摄像头采集图片的硬件平台设计和软件实现方法.