Alenia Aermacchi 使用基于模型的设计开发自动驾驶仪软件并通过 DO-178B A 级认证。 Alenia Aermacchi 的 FCS 应用软件团队负责人 Massimiliano Campagnoli 说:“凭借基于模型的设计,可将所有内容衔接起来。我们的 Simulink 系统模型是可执行的模型,能够在开发早期对需求进行验证。为符合 DO-178B...
VxWorks DO-178B Platform是一款面向航空与国防行业的软件平台,全面满足了该领域在安全认证方面的严格需求。此次发布的升级版包含了支持一系列参考BSP(board support package)的DO-178B Level A安全认证,包括SVME/DMV-183单板计算机和对Intel™ Core™ 2 Duo IA-32与Power Architecture e600处理器内核的更多支...
本文将介绍 Esterel Technologies 为使 KCG 通过以下几项规范的认证而进行的具体开发活动: DO-178B、IEC 61508 和 EN 50128。这些标准的差异和特殊性不在本文讨论范围之内;为方便起见,我们重点讨论美国联邦航空局标准(DO-178B,level A)。详细内容可参考 ICFP'09 《Experience Report: Using Objective Caml to ...
DO178B基础讲义 DO-178B基础培训 民航中南地区管理局适航审定处2007年4月4日上海 Prepareby:王敏 第1页/共118页 培训内容及时间安排 时间 培训内容 2007年4月4日（星期三）09:00－09:30 DO-178B概述、安全评估与软件等级DO-178B的结构与使用 09:30－09:50 软件计划过程(SoftwarePlanningProcess)10:00－10...
DO178B基础培训讲义- 民航中南地区管理局适航审定处2007年4月4日上海
DO-178B 英法中三种文本对照学习注记 2011-4-8 /logiciel/ 1. 引言 本文汇总了对英文版DO- 178B、法文版ED-12B 和中文版HB/Z295-96 进行对照学习时 所做的注记。这三种文本是: 英文版:RTCA/DO- 178B, SOFTWARE CONSIDERATIONS IN AIRBONE SYSTEMS AND EQUIPMENT CERTIFICATION, December 1, 1992 。 法...
在PSSA中需要说明机载软件的设计保障等级(Design Assurance Level, DAL),如果PDR阶段系统设计不能提供足够的信息用以确定机载软件的DAL,可在系统详细设计阶段继续进行安全性分析,确定软件的等级。DO-178C对软件定义了A、B、C、D、E五个等级,是通过安全性分析过程确定的,通常在初步系统安全性评估文件(Preliminary Sy...
DO-178B The purpose of RTCA DO-178B / EUROCAE ED-12B is to provide “guidance for determining, in consistent manner and with an acceptable level of confidence, that the software aspects of airborne systems and equipment comply with airworthiness requirements.” The guidance comprises: Objectives ...
DO-178B
LynuxWorks Announces First Standalone TCP/IP Stack Certifiable to DO-178B Level A StandardsLinuxPR