基于DO-330标准的机载产品工具鉴定过程研究

机载系统开发过包括计划、功能开发、配置、仿真、集成和验证6个方面,每个过程都需要特定工具的支持。工具通过自动化执行相应的预期功能,避免引入人为错误,来分析和提高系统的安全性。用户对工具所执行活动置信度的考虑引出了工具鉴定的概念,工具鉴定的目的是为了获取用户对工具功能的信任。以软件开发生命周期所用到的工具为例,对工具鉴定全生命周期过程进行了描述,并通过实际案例进行工具鉴定过程的分析,希望对机载系统工具使用和开发人员有一定的参考价值。

彩电机壳结构CAD(Ⅵ) 第六讲 TV-HCCS软件支持环境和系统开发工具TV-TOOLS

TV-HCCS是一个在微机上运行的彩电机壳结构设计专用CAD软件包。它采用微机三维图形软件包CADKEY支持图形。本文简略地介绍了TV-HCCS运行的硬件环境和CADKEY的一些主要功能,并详细地介绍了TV-HCCS的系统研发工具TV-TOOLS。

基于DO-330的机载软件工具鉴定分析及应用

随着软件工具在满足DO-178C的机载软件开发和验证过程中的使用日益增多,为了保证其适航性和安全性,将DO-330作为DO-178C软件工具鉴定过程指南,存在商用货架(COTS)工具无法满足特定项目开发和验证要求的问题。以DO-330的工具鉴定等级、工具鉴定的生命周期过程及目标为指导依据,分析DO-330工程实践中的主要关注点及疑难点,结合实际项目给出自主研发工具满足DO-330的工具鉴定过程。结果表明:本文提出的工具鉴定5级(TQL-5)的自研工具鉴定过程具备工程可行性且已取得实质性进展,针对COTS,需要按照DO-330要求进行自研工具鉴定的组织提供了参考与指导。

基于DO-178B的民用飞机机载软件工具的鉴定和应用

随着民用机载系统复杂性的不断提高,软件工具在机载软件系统开发中被越来越广泛地使用。从适航合格审定角度探讨了软件工具在民用飞机领域的鉴定工作,包括工具鉴定准则、工具鉴定数据等。

民机适航软件工具鉴定考虑

软件工具在航空器研发过程中所起的作用越来越大,为了保证民用飞机的安全性,DO-178B对在民用飞机研发过程中所使用的软件工具提出了鉴定的要求。为了规范工具鉴定过程,伴随着DO-178C的发布,RTCA专门发布了工具鉴定指导文件DO-330。通过对DO-178B、DO-178C、DO-330中有关工具鉴定内容的对比和分析,明确了最新工具鉴定的分级定义、工具鉴定的过程和目标;针对当前广泛使用的COTS工具,描述了工具鉴定应考虑的因素。为按照民机适航要求开展工具鉴定工作提供了指导。

在MC-68OOO微机上用软件工具Lex实现的单片机开发软件

本文提出一种用Lex作为工具,用C语言作为宿主语言的单片机汇编和反汇编程序的设计方法.该软件在MC-68000微机上实现,并实现了MC-68000微机与TP805单片机在线仿真系统的通讯.它具有简单、灵活、实用和便于移植等特点.

面向适航标准的机载软件测试验证工具综述

机载软件的测试与验证是保障机载软件正确性和可靠性的重要方法。软件的测试与验证离不开工具的支持,使用工具能够提高效率、降低成本,对机载软件的测试验证工具研究是对其进行充分测试验证的保障。对机载软件及适航标准进行了简介;按照系列适航标准,从DO-178C、基于模型的开发与验证(DO-331)和形式化方法(DO-333)三个维度对工具的功能、特性及应用进行了详细介绍,并对其发展现状进行小结;总结机载嵌入式软件测试验证及其工具研发中存在的问题,并对其发展趋势进行了分析。

基于DO-330的民用飞机机载设备工具鉴定方法研究

随着软件工具在民用飞机机载设备研制过程中的广泛应用,工具的适航置信度得到了业界深入的关注,工具鉴定已经明确走进了适航审查的视野。基于DO-330标准要求,对机载软件工具鉴定过程、目标和符合性数据等开展了研究,同时从项目实际经验出发,提出了工具鉴定复用性评估、工具鉴定降级等策略考虑,旨在为工具鉴定工作提供指导。

综合测试设备中的软件工具鉴定方法研究

随着安全关键系统软件的复杂性和重要性的不断提高,软件工具在软件开发和验证过程中得到了越来越广泛的使用,工具鉴定问题日益突出。本文通过梳理DO-178C和DO-330中对于工具鉴定的要求,总结了综合工具的鉴定方法,并通过工程实践验证了综合工具鉴定方法的可行性,为复杂综合测试设备的工具鉴定提供了理论依据和实施指导。

动态调试工具软件Soft－ICE

本文介绍了一种新颖的动态调试工具ＳＯＦＴ－ＩＣＥ。由于它充分利用了８０３８６ＣＰＵ内置的调试功能，极大地提高了调试效率。它不仅具有丰富的断点类型，而且可调试ＢＩＯＳ、ＤＯＳ中断服务程序等，因此是一种很有前途的调试工具。

基于DO-330的商业成品软件的工具鉴定方法及应用

目前国内自主研制机载软件的适航审定工作还处于起步阶段,而在软件研制中的工具鉴定更是一个新课题。以实际项目应用为基础,通过对DO-178C和DO-330标准的研究,使用一种将鉴定主体分为工具开发者和工具用户,一起完成鉴定工作的方法。详细介绍商业成品工具软件Vectorcast在民用飞机领域的鉴定工作,包括工具鉴定准则、开展的活动和提供的鉴定数据。实现工具软件合格审定的目的,对后续机载软件研制项目过程中如何开展工具软件的鉴定工作具有实际的指导意义。

MCS-51 单片机智能反汇编软件研制

介绍近期研制的ＭＣＳ－５１单片机的智能反汇编软件．该软件可将固化在ＥＰＲＯＭ中的ＭＣＳ－５１机器码程序自动地反汇编成汇编源程序，形成打印文件存盘，以便列出程序清单供阅读和修改．