RVS 3.16推出
航空技术周 - 2021年11月
NASA选择Lunar Gateway的Rapita验证套件
约克航空航天和火箭协会更新
DO -178C-参与阶段4
DO -178C-参与阶段3
AMC 20-193及其对您意味着什么
DO -178C-参与阶段2
DO-178C指南：RTCA DO-178认证简介
Matlab®Simulink®MCDC覆盖范围和WCET分析
ADA，C和C ++的代码覆盖范围
AMC 20-193
Sysgo + Rapita：验证您的多核RTO
ERTS国会
DO-178C多人面对面培训
空军的脸和Sosa Tim和Expo
伦纳多
Alenia Aermacchi™（现为Leonardo®）M-346®Master是一架军事跨性能教练飞机，旨在为前线战斗机训练战斗飞行员，由数字飞行控制系统提供动力。
Alenia Aermacchi都使用了Rapi时间和Rapi覆盖为了为M-346大师开发飞行控制软件，使他们能够轻松识别最坏情况的执行时间热点，并产生证据表明其测试涵盖了他们的代码库，并根据需要进行DO-178B认证。
通过使用这些rvs工具，Alenia Aermacchi能够快速识别其系统中的瓶颈，支持其系统中最坏情况的定时行为的优化，并产生结构性代码覆盖范围证据（包括MC/DC），以快速，准确，准确，准确，高效地提供其级别的软件。
柯林斯航空航天
Collins Aerospace™获得了为波音777倍飞机开发飞行控制系统的合同，该飞机在DAL a do-178c以下的额定值额定。
柯林斯航空选择Rapi覆盖在复杂的，关键的航空航天项目中使用时，基于其可靠的记录对飞行控制系统进行覆盖范围分析。
拉皮覆盖低靶标开销的低靶向允许Collins航空航天通过减少收集覆盖率所需的构建数量以及Rapita对Rapi的资格支持来减少其测试工作。覆盖降低了柯林斯航空航天工具资格的成本和风险。
空中客车
由AirBus™防御空间开发的A330®多功能油轮运输包括一个繁荣控制和计算系统，该系统根据DO-178B指南归类为A级系统。
空中客车防御与空间选择Rapi时间在此系统上执行最差的执行时间分析。
与手动流程相比，Ragitime的自动WCET仪器和分析大大减少了空中客车防御和空间所需的努力，以产生DO-178B认证所需的证据，并确定了可以优化的热点以改善软件最差的时间定时行为。
BAE系统
Hawk®是BAE Systems最著名的飞机之一，是世界上最成功的高级训练飞机之一，其表现优于和销售其同类产品中的所有其他飞机。
BAE Systems™选择Rapi时间帮助优化鹰上运营飞行程序软件的代码，以减少其最差的执行时间（WCET）。
通过使用Rapi时间为了自动化最差的执行时间分析并确定WCET热点，BAE系统在分析分区的最差执行时间中降低了23％，而这些分区的执行时间不到以前使用的方法的10％。
阿尔卡拉大学
太阳能轨道器是欧洲航天局（ESA™）和国家航空航天局（NASA™）的联合项目，以研究太阳的行为。
阿尔卡拉大学（University ofAlcalá）开发了用于仪器探测器的仪器控制单元，该仪表板探测器在船上载于2020年2月的太阳能轨道机。
阿尔卡拉大学选择了Rapi时间支持他们开发的软件的计划分析。与他们现有的桅杆（实时应用程序的建模和分析套件）集成，Rapi时间计算出的最差的执行时间数据，用于计划分析。
哦，瑞典
OHB瑞典已经提供完整的空间任务，卫星和航天器子系统已有30多年了。
核心团队合作伙伴Electra卫星计划，OHB Sweden™开发了卫星的态度和轨道控制子系统。
作为一部分积累项目，OHB瑞典选择Rapi覆盖为了提高其在Electra卫星态度轨道控制系统的软件测试期间的覆盖效率。
