eVTOL核心机载软件系统满足DO-178C适航合规的工程实践

eVTOL机载软件适航认证与DO-178C标准实践 航空电子系统中的机载软件是飞行安全的核心保障,其开发必须遵循严格的适航标准。DO-178C作为航空软件认证的黄金准则,特别强调开发过程控制与可靠性验证,要求A级软件每百万飞行小时的失效概率低于1×10⁻⁹。实现这一目标需要构建完整的工具链认证体系,采用模型驱动开发(MDD)和形式化验证方法,并确保100%的MC/DC测试覆盖率。在eVTOL等新兴航空领域,适航认证面临工具链合规、需求追溯和持续验证等挑战。通过Polarion需求管理、SCADE建模等TQL1认证工具的组合使用,配合自动化测试框架,可以构建符 阅读详情

随着城市空中交通(Urban Air Mobility)产业的发展,eVTOL(electric Vertical Take-off and Landing)飞行器正迅速成为航空工业的重要新方向。与传统固定翼飞机或直升机相比,eVTOL具有分布式电推进、复杂飞控系统以及高度软件化控制架构等特点。这些技术优势使eVTOL具备良好的城市运营潜力,但同时也对安全性提出了更高要求。

在所有安全要求中,适航(Airworthiness) 是航空器进入商业运营前必须满足的核心门槛。任何一款eVTOL产品都必须通过监管机构的适航审定(Airworthiness Certification),证明其设计和系统满足航空安全法规。对于高度依赖软件控制的eVTOL而言,机载软件系统是否符合航空安全标准,直接决定了整个项目能否顺利完成适航审定。

在全球航空工业中,机载软件满足适航要求的核心工程标准是 DO-178C。对于eVTOL研发团队来说,理解并正确实施DO-178C软件开发流程,已经成为推进eVTOL适航审定的重要前提。

本文结合航空软件工程实践,探讨 eVTOL核心机载软件系统满足DO-178C适航合规的工程方法,分析DO-178C在eVTOL适航审定中的关键技术要求,并介绍适航审定过程中重要的 SOI审查阶段。

eVTOL软件系统为何必须遵循DO-178C

在现代航空系统中,软件已经成为飞行安全的重要组成部分。从飞控系统到导航系统,从能源管理系统到航电集成系统,大量关键功能都依赖软件实现。为了确保这些软件系统不会引入不可接受的安全风险,航空监管机构在适航审定体系中引入了专门的软件工程标准,这就是 DO-178C。

DO-178C 是国际航空工业广泛采用的机载软件开发标准,它定义了一套完整的软件生命周期管理方法,覆盖软件开发、验证、配置管理和质量保证等过程。通过遵循DO-178C流程,研发团队能够建立系统化的软件工程体系,并形成可审查的工程证据,以支持最终的适航审定。

在传统航空项目中,DO-178C已经被广泛应用。但在eVTOL适航审定中,DO-178C的重要性甚至更加突出。原因在于,eVTOL飞行器的许多关键功能都依赖软件实现。例如:

● 分布式电推进系统控制

● 飞行控制算法

● 电池管理系统

● 飞行管理与导航系统

这些系统一旦发生软件故障,可能直接影响飞行安全。因此,在eVTOL适航审定过程中,监管机构通常会重点审查机载软件是否按照 DO-178C标准进行开发和验证。

换句话说,对于eVTOL项目而言,DO-178C不仅是一项软件工程规范,更是适航审定的重要基础。

DO-178C在eVTOL适航审定中的关键技术要求

DO-178C的核心目标是通过系统化的软件工程过程,确保机载软件满足航空安全要求。在eVTOL项目中,研发团队通常需要从以下几个方面落实DO-178C要求。

首先是软件安全等级划分。DO-178C要求根据软件失效对飞行安全的影响,将软件划分为不同的设计保证等级(DAL)。对于eVTOL飞控系统而言,大多数核心控制软件往往需要达到 DAL A 或 DAL B 等级,这意味着软件开发和验证必须满足最严格的适航要求。

其次是软件生命周期管理。DO-178C要求软件开发必须遵循完整的生命周期流程,包括需求定义、架构设计、代码实现和验证测试等阶段。每个阶段都必须形成明确的工程产出,并通过审查和验证活动确保其正确性。在eVTOL适航审定过程中,这些工程数据将成为重要的适航证据。

第三是需求可追溯性。DO-178C强调建立完整的需求追踪体系,确保系统需求、软件需求、设计实现以及测试结果之间具有清晰的对应关系。在实际项目中,这意味着研发团队必须能够回答一个关键问题:每一项软件功能是否都来源于系统需求,并且是否已经通过测试验证。对于软件规模不断增长的eVTOL系统来说,这种追溯体系尤为关键。

最后是严格的软件验证。DO-178C要求在软件开发过程中开展大量验证活动,包括需求评审、设计评审、代码评审以及各种测试活动。对于DAL A级软件,还必须进行MC/DC结构覆盖率分析,以证明关键逻辑路径已经得到充分验证。这些验证结果最终将成为适航审定的重要依据。

eVTOL适航审定中的SOI审查流程

在DO-178C适航审定实践中,监管机构通常会通过一系列审查活动来评估软件开发是否符合标准要求。其中最重要的就是 SOI(Stage of Involvement)审查阶段。在eVTOL适航审定项目中,SOI审查通常贯穿整个软件生命周期。

SOI-1 是软件规划阶段的审查。在这一阶段,监管机构会重点评估研发团队是否建立了符合DO-178C要求的软件开发计划。例如软件开发计划、软件验证计划、配置管理计划以及软件质量保证计划等。这些规划文件将定义整个软件生命周期的工程方法,是eVTOL适航审定的重要基础。

SOI-2 主要关注软件开发过程。在这一阶段,审查重点是软件需求、软件架构以及设计实现是否符合DO-178C要求。对于eVTOL项目而言,飞控软件、能源管理软件等关键系统通常会在这一阶段接受详细审查。

SOI-3 则侧重于软件验证活动。监管机构会检查软件测试是否充分覆盖所有需求,并验证代码级覆盖率分析结果。对于高安全等级的软件,SOI-3通常是适航审定中工作量最大的一次审查

SOI-4 是最终的适航审查阶段。在这一阶段,监管机构将评估软件生命周期数据是否完整,包括需求文档、设计文档、测试报告以及配置记录等。如果所有证据都满足DO-178C要求,软件系统就可以被认为满足适航要求,从而支持eVTOL项目完成适航审定。

对于很多初次开展eVTOL项目的团队来说,理解并提前规划SOI审查流程,是顺利推进适航审定的重要经验。

eVTOL软件适航实践中的工程挑战

在实际工程实践中,eVTOL研发团队在实施DO-178C适航流程时往往会遇到一系列挑战。

首先是软件复杂度问题。eVTOL飞行器通常采用分布式推进架构,系统之间耦合度高,软件规模不断增长。如何在保证安全性的同时管理如此复杂的软件系统,是许多团队面临的现实问题。

其次是开发效率问题。DO-178C强调严格的软件生命周期管理,而现代软件开发往往采用敏捷开发模式。如何在保持开发效率的同时满足适航审定要求,需要在工程流程上进行合理设计。

此外,验证工作量也是eVTOL项目中的重要挑战。由于DO-178C要求大量测试和覆盖率分析活动,软件验证通常会占据项目开发成本的很大比例。如何通过自动化工具提高验证效率,是许多团队正在探索的方向。

创提信息提供支撑eVTOL DO-178C适航合规的工程化方案

随着航空软件工程的发展,多数企业选择专业化工具链来支持DO-178C适航流程。例如需求追踪工具、自动化单元测试工具以及代码覆盖率分析工具,都可以帮助研发团队更高效地实施DO-178C工程方法。

在eVTOL研发项目中,通过构建完整的软件工程平台,可以实现软件需求管理、测试验证和适航数据管理的一体化,从而提高软件开发效率并降低适航审定风险。

创提信息提供的软件测试与验证解决方案,可以帮助企业建立符合DO-178C要求的软件工程体系,包括需求追踪管理、低级需求测试、高级需求测试、覆盖率分析、耦合验证、代码静态分析等,并提供严格按照DO-330标准提供的适航工具鉴定包。这类解决方案能够帮助eVTOL研发团队在软件开发早期就建立适航合规能力,从而更加高效地推进eVTOL适航审定。

结语

随着城市空中交通产业的快速发展,eVTOL适航审定已经成为行业关注的核心问题。在高度软件化的eVTOL系统中,机载软件的安全性直接关系到飞行安全,因此满足 DO-178C适航要求 是实现商业化运营的重要基础。

对于eVTOL研发团队来说,在项目早期建立符合DO-178C的软件开发流程,并充分理解SOI审查机制,是顺利推进适航审定的关键。随着工程经验的积累和自动化工具的发展,未来eVTOL软件适航工程也将逐渐形成更加成熟的方法体系。

eVTOL机载软件适航认证实战:DO-178C合规流程与经验复盘 机载软件安全是航空产品适航审定的核心议题。对于eVTOL等新型航空器,飞控、电池管理、电机控制等关键功能高度依赖软件,其失效风险直接关乎飞行安全。DO-178C作为机载软件生命周期符合性方法,通过定义设计保证等级(DAL)、需求追溯、验证与确认、配置管理等目标,构建了一套可审查的证据链。该标准的技术价值在于将安全目标从系统级逐层细化到代码级,并以MC/DC等覆盖率指标支撑高等级软件的验证充分性。在eVTOL适航认证项目中,团队需要基于计划、开发、验证、配置与质量保证的闭环,落实从高层需求到低层需求、代码、测 阅读详情

相关推荐

无人机载人技术:从eVTOL到城市空中交通的安全与挑战

无人机技术正从传统航拍与物流领域,向载人飞行这一前沿方向演进。其核心原理在于通过电动垂直起降(eVTOL)构型、多重冗余系统与自主飞行算法,实现安全可控的空中运输。这项技术的价值在于突破地面交通瓶颈,构建未来城市空中交通(UAM)网络,尤其在紧急医疗救援与城市通勤场景潜力巨大。要实现这一愿景,必须跨越严苛的适航认证、高能量密度电池管理、复杂空域集成等核心挑战。本文聚焦于载人无人机/eVTOL的技术现状与安全原则,系统剖析其从设计研发到合规运营的全链路,探讨如何在恪守安全底线的前提下,让技术真正服务于更广泛的

weixin_29061465的博客 328

大话适航(六)法律标准简介

本文只介绍航电方面的知识。日常交流中,可以简说“适航要求”=法律法规+部门规章+行政规范性文件+标准。实际工作中,各类要求文件是交叉引用的,但有两条主线:主线之外,是中国的行业标准,这需要自己去遍历筛选出哪些对具体专业有参考价值。不少行业标准的部分内容是翻译国际标准的,这当然好过看英文。主线引用关系的大图:21部《民用航空产品和零部件合格审定规定》是航空器设计制造的纲领性规章,既有细则,也引用了23~37部。

小蒙面侠的博客 6256

适航文章汇总:知识体系全面梳理

无论您是行业新手还是经验丰富的专业人士,都可以通过本篇文章快速查找相关资料,提高对适航认证、机载系统、软件及硬件等领域的理解。本部分详细解析ARP 4754A、ARP 4761、DO-178C、DO-254等核心标准,并介绍其在机载系统开发中的应用。介绍FAA、EASA、CCAR等主要航空管理机构的适航规章体系,并说明各类飞行器(如固定翼、旋翼机、无人机等)的适航要求。本部分还探讨硬件设计、验证与确认过程中的挑战。从系统架构设计到机载设备的集成与管理,本部分介绍机载系统的研发体系及适航管理的最佳实践。

qq_41854911的博客 1448

跨越天际:从智能汽车到 eVTOL 的适航与系统级开发55——附录 B 典型 eVTOL 适航全生命周期文档核查清单(SOI-1 到 SOI-4 审计指南)

本文摘要:航空适航标准DO-178C/DO-254要求机载软件/硬件研发需通过四次关键阶段审查(SOI-1至SOI-4)。与敏捷开发不同,SOI审计强调过程完整性和全生命周期可追溯性,要求每行代码都有需求来源,并通过文档核查确保系统无缺陷。文章详细列出各阶段审查节点、核心目标和必交文档清单,包括规划审计(SOI-1)的开发合规性、开发审计(SOI-2)的代码可追溯性、验证审计(SOI-3)的测试覆盖率(如DALA级需100% MCDC覆盖)和最终审计(SOI-4)的缺陷闭环。特别指出航空审查的严格性,如禁止

Godspeed_zwh的博客 706

解读DO-365B:无人机探测与避让(DAA)系统适航取证的关键标准

从低空空域安全说起,无人机要融入非隔离空域并开展超视距(BVLOS)运行,核心挑战是“看得见、躲得开”,这离不开探测与避让(DAA)能力。DAA系统通过机载传感器与地面控制链路的协同,实现交通态势感知、冲突告警与自动规避,其行为边界需要有可测试、可判定的最低运行性能标准来约束。RTCA DO-365B正是这样一份工程基线,它定义了从告警逻辑、安全间隔阈值到人机界面的量化要求,为无人机系统在有人/无人混合空域中的安全飞行提供符合性依据。无论是工业级无人机还是eVTOL整机开发,以DO-365B为基准开展系统设

weixin_34110749的博客 301

eVTOL低空智能网联安全:从PPT架构到可编译模块的落地实践

智能网联安全是低空经济基础设施的核心能力,其本质是将抽象安全策略转化为满足实时性、确定性与适航要求的可执行代码。在eVTOL等高动态空域场景中,传统车载V2X或航空级安全框架难以兼顾资源约束与时空严苛性,需基于分层裁剪模型重构——L1飞行态聚焦嵌入式确定性加密(如mbed TLS精简+ECDSA-P256),L2网联态采用CBOR+COSE轻量协议栈实现V2X消息的可证、可溯、可管。该路径直接支撑OTA签名验签、空域授权令牌(AAT)嵌入、多源时间戳对齐等关键工程需求,并已在UAM仿真平台与真实测试场完成C

weixin_29164091的博客 240

Parasoft:构筑低空飞行控制软件的“数字适航证”

Parasoft是一家领先的自动化软件测试解决方案公司,以其深厚的航空航天背景与专业的工具套件,成为确保低空飞行软件高可靠性、高安全性与合规性的关键赋能者。Parasoft C/C++test是一个经TÜV SÜD认证、覆盖全生命周期的质量工程平台,它能系统性地应对低空飞行软件测试的严峻挑战。

2501_91602431的博客 606

FMT(基于rtthread)开源代码编译 win10下编译环境搭建及编译

FMT(基于rtthread)开源代码编译 win10下编译环境搭建及编译 什么是Firmament? Firmament (FMT) 是一款基于模型设计 (Model-Based-Design, MBD) 的开源自驾仪,可被用来快速构建无人机,无人车,无人船,机器人等平台的控制系统。 系统主要由两部分构成. FMT-Firmware: 一个基于C/C++开发的稳定、高性能的嵌入式系统. FMT-Model: 一个基于MATLAB/Simulink开发的仿真框架以及算法库. 昨天得知FMT开源飞控项目已经开

weixin_45786595的博客 2869

航天日特辑 | 低空飞行与DO178适航认证的技术突破

Parasoft提供了相应的工具鉴定认证包,提升效率,例如在飞行管理系统的开发中,使工具鉴定时间缩短了。像eVTOL这样的低空飞行器软件,需要实现路径规划、避障、通信等高并发任务的执行,同时在复杂的城市环境中实时处理海量数据。针对低空飞行器的复杂需求,自主开发了源码测试工具、航电系统综合测试平台、以及实时仿真引擎,这些工具与平台均支持国产操作系统和嵌入式系统环境,确保硬件适配与系统集成的可靠性。航天领域的适航经验(如嫦娥工程的软件验证流程)可转化为低空飞行的行业标准,推动跨领域技术共享。

1227

Python实战:用NumPy实现LU分解与QR分解(附代码对比)

本文深入探讨了使用NumPy实现LU分解与QR分解的实战方法,通过代码对比分析了两种矩阵分解技术的原理、数值稳定性差异及核心应用场景。LU分解适用于高效求解线性方程组,而QR分解凭借其正交化特性,在求解最小二乘问题和处理病态矩阵时更具优势。文章提供了详细的Python代码示例,帮助开发者根据具体问题选择最合适的分解方法。

php55的博客 1212

TWR-K65F180M评估板:基于Cortex-M4的嵌入式原型开发实战指南

在嵌入式系统开发中,微控制器(MCU)是核心,而围绕其构建的硬件平台则是将想法转化为可工作原型的关键。Cortex-M4内核凭借其高效的流水线、DSP指令集和浮点单元,为实时控制与信号处理提供了强大的运算能力。其技术价值在于,能够在较低功耗下满足工业控制、物联网网关等场景对能效比的严苛要求。为了快速验证系统设计,开发者常使用成熟的评估板来规避底层硬件设计的风险,直接聚焦于应用开发。本文以恩智浦的TWR-K65F180M评估板为例,深入解析其基于**ARM Cortex-M4**内核的K65 MCU的硬件架构

weixin_33582311的博客 370

eVTOL机载软件适航合规实战:DO-178C全流程工程实践

在民用航空与新兴空中交通领域,机载软件的安全性与适航符合性是产品能否进入市场的关键门槛。软件验证并非简单的功能测试,而是基于目标的过程与数据证明。DO-178C作为核心适航标准,定义了从计划、开发到验证、构型管理的完整生命周期,要求通过需求追溯、结构覆盖率分析等手段建立可信证据链。对于eVTOL这类采用分布式电推进与复杂飞控系统的产品,其飞控软件往往达到DAL A等级,验证严苛程度显著提升。MC/DC覆盖、工具鉴定、独立验证等环节,直接决定了适航取证的周期与成本。掌握这套标准的工程落地方法,不仅有助于eVT

weixin_29190651的博客 264

C#图表开发避坑指南:Chart控件的Series和Points属性详解

本文深入解析C#图表开发中Chart控件的Series和Points核心属性,提供避坑指南。详细阐述了Series的数据序列管理、Points的高效操作与空值处理,以及多Series与ChartArea的协同配置,帮助开发者避免常见错误,实现稳定、高性能的数据可视化应用。

weixin_29313239的博客 363

数字化航空的安全基石:测试人员如何应对DO-178C与网络安全双重要求

航空软件安全认证是保障飞行安全的核心环节,测试从业者需掌握DO-178C等标准,实施多层级验证。关键点包括:100%代码覆盖的单元测试、故障注入等极端环境验证,以及应对AI集成和网络安全的新挑战。随着航空业数字化发展,测试人员需平衡敏捷开发与合规要求,通过专业工具和持续学习提升安全验证能力,为智能航空时代筑牢安全防线。(149字)

2501_94438352的博客 700

卡诺图化简法注意事项+竞争冒险知识点总结

今天反思以下卡诺图化简法中的注意事项。 卡诺图看起来简单,但如果不熟悉的话很容易出错,因此要对画圈的规则比较熟悉。

weixin_42415266的博客 1万+

从零开始:在Windows WSL中搭建Openfoam7+blastfoam2.0.0开发环境(避坑大全)

本文详细指导在Windows WSL中搭建OpenFOAM 7与BlastFOAM 2.0.0开发环境,重点解析了安装过程中的常见“坑点”,如编译模式不匹配导致的符号错误,并提供了从系统准备、软件部署到环境验证的完整解决方案,帮助开发者高效构建CFD与爆炸模拟开发平台。

stem5的博客 526

飞控快速原型开发与DO-178C适航验证全流程指南

在嵌入式系统开发中,基于模型的设计(MBD)通过自动代码生成技术,将算法模型直接转化为可执行代码,显著提升开发效率并降低手工编码错误。其核心原理在于模型即代码、代码即测试对象,确保需求、设计与实现的一致性。这一方法在飞控系统快速原型开发中价值突出,能够将算法从仿真到真机的周期从数月压缩至数天。典型应用场景包括无人机、eVTOL等安全关键领域,其中Simulink与Embedded Coder工具链支持DO-178C适航符合性验证,通过追溯矩阵和覆盖率分析满足审查要求。本文深入探讨飞控快速原型开发如何对接适航

weixin_29174141的博客 257

ZYNQ 7020 之 FPGA知识点重塑笔记一——串口通信

通信方式一般分为串行通信和并行通信。并行通信是指多比特数据同时通过并行线进行传送。这种传输方式通信线多、成本高,故不宜进行远距离通信,通常传输距离小于 30 米。串行通信是指数据在一条数据线上,一比特接一比特地按顺序传送的方式。这种运输方式通常节省传输线,大大降低使用成本,但数据传送速度慢。综上可知,串行通信主要应用于长距离、低速率的通信场合。本次实验我们主要讲解下串行通信。串行通信一般有2种通信方式:同步串行通信和异步串行通信。同步串行通信。

m0_51430584的博客 3094

引领未来交通| Parasoft携手eVTOL迈入软件安全智能化时代

Parasoft在展会上展示了为eVTOL(电动垂直起降)飞行器和无人机领域量身定制的最新软件测试解决方案,共同探索如何借助前沿软件测试技术,提升飞行器的安全性与可靠性。

581

ZYNQ工业级串口方案:AXI UART 16550扩展RS-485实战(自动方向控制+Linux驱动)

可以轻松扩展出多路工业级串口。但常规方案需要手动控制收发方向(DE/RE引脚),存在实时性差、CPU占用高等痛点。本文从硬件逻辑设计到Linux驱动开发,完整实现了ZYNQ平台的RS-485工业通信方案。,解决了传统方案实时性差的痛点。所有代码均经过实际项目验证,可直接用于生产环境。:尝试将此设计扩展为多协议兼容接口(支持RS-422/RS-232切换)!等特性,依然是现场总线通信的首选。,通过硬件逻辑+Linux驱动协同设计,实现零延迟切换。在工业自动化、能源电力等场景中,RS-485凭借。

QQ_778132974的博客 830

TMS_WebGMaps_1.9.8.0_Full_Source

TMS_WebGMaps_1.9.8.0_Full_Source 全源码 delphi cbuilder

eVTOL机载软件DO-178C合规实践:从取证到变更管理的完整指南

在航空与城市空中交通领域,机载软件的安全性直接决定整机适航资格。DO-178C作为民用机载软件开发的通用安全标准,不仅适用于传统飞机,更是eVTOL取证过程中的核心关卡。它通过定义软件等级、需求追溯、代码覆盖与验证工具链,构建起一套从计划到变更管理的完整证据链。理解DAL分级、MC/DC覆盖等基础概念,掌握基于需求的测试与工具鉴定方法,能够帮助工程师将适航要求内化为工程实践。在eVTOL项目落地中,这套方法论有效支撑飞控、动力、能源等关键域的合规开发,显著降低审查风险。从工程实践角度梳理DO-178C落地路

weixin_33563728的博客 152

LinePhone3.2.7(android端最新版本) sip客户端

SIP客户端For android:LinePhone3.2.7(最新版本),官网地址:http://www.linphone.org/

跨越天际:从智能汽车到 eVTOL 的适航与系统级开发50——航空级全数字仿真(SIL)、全硬件在环(HIL)与工程飞行模拟器的适航学分与符合性实证

本文探讨了航空级全数字仿真(SIL)、硬件在环(HIL)和工程飞行模拟器在eVTOL适航认证中的关键作用。与汽车行业仿真测试主要用于研发优化不同,航空领域将仿真测试视为法定符合性验证方法(MOC),其测试结果直接构成适航学分证据链。文章详细分析了SIL和HIL在算法验证、硬件匹配性验证中的递进关系,强调需实现100%的代码覆盖率;指出航空HIL平台需支持2-4kHz超高频气动仿真以消除延迟;最后阐明工程飞行模拟器在人机交互验证和极端场景测试中的法定地位。这些仿真手段共同构成了eVTOL适航认证的核心技术支撑

Godspeed_zwh的博客 369

visio安装包

Microsoft Office Visio 是一款专业的制图软件。利用经过更新的形状、协作工具和数据链接图表,创建专业级图表以简化复杂的信息。

温度PID控制PLC程序

温度PID稳定控制程序,适用于欧姆龙PLC,对其他PLC也具有很大参考价值

从DO-178看航空软件的“生死分级“:民航、军用、无人机与eVTOL的失效管控逻辑

如果你正在为代码安全和质量保障体系建设做选型,欢迎联系(13381155803)微信同步,获取专属演示与技术方案。

2301_77775862的博客 430

引领未来交通 | Parasoft 携手 eVTOL迈入软件安全智能化时代

Parasoft 解决方案可提供针对需求双向可追溯性、源代码测试、目标代码测试、覆盖率分析、专用的遵从性仪表盘等解决方案,在源代码测试执行中,提供包括静态分析(MISRA, AUTOSAR C++14, CERT, JSF)、单元测试、集成测试的全生命周期软件测试解决方案。在功能安全最佳实践中,Parasoft的C/C++test工具通过严格的软件安全需求验证与全面的故障模拟测试,确保了Joby Aviation的软件系统达到并超越ASIL最高安全等级要求,为eVTOL飞行器的安全飞行奠定了坚实的基础。

2201_75994616的博客 310

特斯拉Roadster 2“飞”上热搜后,飞行汽车真正的考题才刚刚开始

全系产品均获自主可控证书及多项国际国内认证,已在航空、航天、汽车、工控、船舶、轨道交通等关键领域,为数百家顶级企业用户提供从代码到系统的可信保障,有效解决相关领域的“卡脖子”问题。相关要求,提供适航验证工具、配套工具鉴定资料及专业技术支持,帮助客户开展工具预期用途分析、鉴定等级评估、鉴定资料准备及项目适用性确认,减少重复性鉴定工作,降低工具鉴定的时间成本与实施风险,为软件适航符合性验证提供可靠支撑。然而,与传统的金属机械结构不同,新一代飞行汽车(eVTOL)呈现出高度电气化、分布式动力和软件定义的特征。

flxa19310090839的博客 171

中国航天日|Parasoft 从Nasa到低空飞行的 DO-178C 实践

从NASA JPL的星际探索到Joby的低空飞行梦想,从运载火箭的控制系统到eVTOL的飞控软件,Parasoft始终相信:安全的代码,是人类探索天空的底气。Parasoft的故事,始于NASA JPL。工具鉴定效率倍增:我们为Parasoft C/C++test 提供专属鉴定套件(Qualification Kit),可直接满足DO-330标准对TQL-5级别工具的鉴定要求,提供单元测试、静态分析等核心功能鉴定所需的全部交付物,将工具鉴定周期缩短30%,大幅降低适航取证成本。

265
上一篇: 开发人员需要了解的关于MISRA C:2025®的信息
下一篇: 借助 Rust + Perforce 静态分析工具QAC和Klocwork降低关键风险
Trinitytec
博客等级 码龄11年 165粉丝 81原创
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付:10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值