发布询价单
您的位置:首页 > 产品 > 无人机配件 > 其他配套产品 > 产品详情

(UN)MANNED索尔Sol生命安全脚本

(UN)MANNED索尔Sol生命安全脚本

  • 品牌:(UN)MANNED
  • 最小起订:1 
  • 有效期至:长期有效
  • 更新时间:2019-05-28 20:03
  • 立即询价

    加入收藏

普通商家

热门推荐

产品详情

产品参数

产品图片

  Sol - 生命安全脚本

  在个人计算机和服务器上,软件通常是脚本化的。因为开发速度更快,维护更容易,编写复杂的算法也更加强大。如果我们能够为DO-178C A级可认证的航空电子软件做到这一点,那会不会很好?难道我们能够创建一种非常安全的脚本语言来自动证明其正确性,并且在很大程度上符合DO-178C的开箱即用目标,这不是很好吗?为什么在计算机可以为您完成这项工作时,花费时间,精力和金钱来遵守和证明正确性?

  这就是Sol的设计目标。Sol是一种脚本语言,专为DO-178C航空电子应用而设计,专注于易用性,同时也专注于认证自动化。(UN)MANNED从DO-178C的71个目标开始,旨在为这些目标提供最大允许的自动化。

  生成的脚本语言Sol允许轻松有效地建模系统规范。使用DO-178C限定编译器,Sol脚本将转换为可执行代码。

  惊人的认证和验证

  因为我们从DO-178C开始,所以我们的Sol编译器在取消硬认证工作方面超越了市场上的任何其他东西。您对生成的代码没有任何审核活动。更好的是,我们还确保您不必担心A级代码的编译器合规性,并且我们还确保目标平台兼容性。没有其他航空电子软件开发产品可以做出相同的声明。

  但我们不止于此。在设计阶段,我们的编译器已经为您提供了集成模型检查和最坏情况执行时间,以及其他分析信息。这使您可以直接从系统要求的模型中测量软件安全参数。

  在验证期间,我们提供脚本覆盖信息。我们还提供经过认证的目标仿真环境,允许您测试脚本。使用Sol平台测试非常难以做到的情况(例如硬件故障)是很简单的。

  功能完善

  作为一种脚本语言,Sol旨在设计航空电子应用。

  Sol在脚本中提供符合ARINC 661(驾驶舱显示系统)的符号系统。您可以使用包含驾驶舱显示系统标准中任何符号的工具箱绘制到屏幕。我们添加了许多其他符号,可用于现实生活中的驾驶舱设计。使用Sol了解有关建筑屏幕的更多信息。

  Sol还包括其他极高级功能,例如A级文件系统,A级数据库系统,A级UDP,TFTP,TCP和FTP。

  当然,Sol还原生支持所有常见的航空电子总线,如ARINC 429,MIL-STD 1553,RS-422,分立,以太网等。

  开箱即用,Sol甚至提供实时跨设备同步功能,专门用于创建冗余硬件级A航空电子解决方案。

  大幅降低项目成本

  在现实生活中使用Sol时,可以大幅降低成本:

  第一天工作原型;

  手工开发的端到端项目工作量减少了90%;

  软件认证成本降低75%;

  测试成本降低了90%;

  对于具有功能性视觉影响的更改,可以在几个小时内更改完整文档更新和重新认证的请求处理。

  此外,Sol比任何替代方案更安全,因为它提供自动模型级测试,自动覆盖分析,自动化平台合规性检查,自动化最坏情况执行检查以及完全消除编码错误。

  任何平台

  Sol平台可以在流行的平台上运行,例如VxWorks 653,但也可以移植到您喜欢的操作系统。它也可以在iPad上运行,非常适合早期原型设计。