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
受到最好的，全球的信任
Rapita验证套件
关键嵌入式系统的目标软件验证
rvs在关键的嵌入式行业已使用了15年以上，并在全球支持了许多航空电子项目。合格R的资格套件vs产品已经支持了20多个DO-178B和C认证项目，直到包括DAL A。
您的关键安全伙伴
自2004年以来，Rap欧宝体育登录不上ita Systems提供了目标软件验证工具和服务在嵌入式航空航天和汽车行业上。
我们的解决方案有助于提高软件质量，提供证据以满足安全性和认证目标和降低项目成本。
我们支持客户：
行业
航天
我们的验证工具和服务都在整个航空航天行业中使用，提供了测试用于航空电子和空间应用程序中使用的关键软件的方法。我们有一个牢固的历史，即提供满足DO-178B/C目标所需的证据，例如，代码符合其低级要求，由测试涵盖并在正时截止日期内运行。
汽车
在过去的二十年中，汽车电子产品的测试需求已大大增加。我们的验证工具和服务满足了这些不断发展的需求；通过生成验证功能测试并优化正时行为所需的数据，它们可以帮助指导软件设计以满足ISO 26262等安全标准。
最新的
博客条目
AMC 20-193及其对您意味着什么
按项目
RVS 3.16推出
博客条目
对多核心系统的强大分区并不意味着免受干扰的自由
博客条目
