ElectrimeDesign 9236 64061Promo.

2013年西部设计大会上的可靠安全关键软件

2013年4月23日
技术编辑Bill Wong在设计West开始之前了解一些安全的关键软件工具和操作系统。

设计West 2013尚未完全溜出。科技会议一直处于全面的挥杆,但贸易展楼将无法在明天开放。与此同时,我以前与许多供应商签订了查看将显示的最新软件。这包括移动版本绿山软件的完整性RTOS,LDRA的对DO-178等标准的最新支持McObject新闻嵌入式RDBMS。

该系列突出显示了该节目的各种产品,但仅撇去表面上可用的表面。我早先看看CMX的Compact RTOS(看Small RTOS驱动Cortex-M3 / M4的).当我有机会在这周晚些时候写的时候,还有更多。

虚拟化和集群等主题很常见。正如Green Hills Software的手机版本的Integrity RTOS所展示的那样,安全性和安全性似乎正在从航空电子设备等环境中向工业、企业甚至消费应用领域转移。

Secure RTOS针对移动设备

绿山软件以其完整性RTOS而闻名。它被用于从DO-178航空电子系统到安全关键医疗应用的应用领域。它的最新版本有望提高移动设备的安全性和可靠性。

可信移动设备的完整性多维等于其第四个化身。它是一个在经过认证的安全分离内核上构建的1型虚拟机管理程序。它现在可以处理ARM VE虚拟化扩展。其虚拟化支持现在包括最新的Android果冻豆版本。绿色山丘的一个诀窍可以提供3D硬件加速,在隔离的Android实例之间共享。

最新版本还支持多核SMP和安全引导。安全一直是格林希尔所提供的服务的一部分。这还包括VPN hypervisor支持,Green Hills Software的FIPS 140-2和NSA Suite B加密库支持,以及对最新的虚拟加密驱动器(vSED)的支持。vSED支持支持管理程序保护的用户身份验证和静态数据保护。

当然,没有集合虚拟化和安全的I / O驱动程序,系统将不完整。绿山支持蓝牙和USB设备,包括传感器和GPS设备。它具有Wi-Fi和蜂窝语音和DTA支持。使用触摸屏和按钮支持有音频和硬件加速图形。

简化法规遵循管理

航空电子项目的认证是必需的。这不是一个容易满足的问题,枚举的工件和过程是必要的。LDRA的合规管理系统(lms)旨在为公司提供必要的基础设施,以交付符合以下标准的项目:

  • 飞机和系统开发(ARP-4754A)
  • 安全评估(arp - 4761)
  • 集成模块化航空电子(DO-297)
  • 飞行电子硬件(DO-254)
  • 飞行软件(- 178 b / C)
  • 地面系统(DO-278 / A)

LCMS服务可以由本地服务器提供,也可以通过云提供。LCMS云为公司提供了一个经济的选择,可以托管他们的数据在场外。

lms提供了描述性过程检查表等生命周期工具(图。1)、完全合规的计划和问题报告。这些配置可以帮助客户管理认证计划、开发、验证和管理活动。

图1所示。LCMS的检查清单确保符合DO-178C、DO-278A和DO-254等安全标准。

LCMS还具有可配置模板(图2)已经被FAA等机构批准使用,符合安全关键相关标准。LCMS还集成了LDRA工具套件的开发工具以及第三方工具。

图2.:LCMS的模板可以帮助减少航空航空项目所需的数千个管理和工程工作时间,并拥有FAA批准。

嵌入式RDBMS获取集群

嵌入式内存RDBMS(实时数据库管理系统)可以运行在从手持移动设备到多板航空电子系统的各种平台上。McObject提供的产品跨越了整个领域,其最新版本令人印象深刻。eXtremeDB 5.0包含了一些新特性,包括动态集群以及。net和Java类生成器。该系列包括高可用性和64位支持等选项。版本适用于像那些需要DO-178认证的安全关键应用程序。

动态集群支持允许集群节点在任何时候加入或离开集群,而不中断其他节点的数据库处理。这简化了管理和维护。McObject还添加了一个本端表选项,该选项使表免于在集群范围内进行自动复制。或者,可以使用分散/收集机制共享本地表。

集群旨在使用像Infiniband等硬件支持大型分布式应用程序。最新版本的RDBMS支持Infiniband交换机互连,利用低延迟,远程DMA(RDMA)等功能。该系统还支持常用于分布式应用程序通信的消息传递接口(MPI)。这些平台最初在Linux下支持。ExtremeDB集群支持可用于其他硬件,如以太网。

有更多的疏远性但有用的改进,如数字和十进制数据类型的新支持。这些提供比浮子和双类型更精确的计算。COBOL和其他程序员将非常熟悉这些可变尺度和精度整数数据类型。

ExtremeDB 5.0为可空数据类型添加支持。此支持扩展到所有McOBECT的应用程序编程接口(API),包括SQL,Native C / C ++,Java和.NET。此支持突出显示ExtremeDB支持的环境范围。该平台的ExtremEdB的Java数据库连接(JDBC)API与Oracle的JDK 7兼容。

前面提到的。net和Java类生成器由eXtremeDB的数据库模式编译器mcocomp支持。编译器可以处理用DBMS的本地语言数据库定义语言(DDL)编写的数据库模式,并生成定义等价的.java和.cs类的代码。在创建访问现有eXtremeDB数据库的Java和. net前端时,这很方便。

在处理硬实时Java环境Lik Jamaicavm时,DBMS是友好的。牙买加公司可从AICAS GmbH获得。它支持完全确定的垃圾收集。它还针对关键控制和可视化系统进行了优化。

来自我们的合作伙伴

USB Type-C®和USB电力交付

我们广泛提供的USB Type-C®设备和PD控制器的USB PD能力提供了灵活性和集成所需的设计和实现…

协同处理器体系结构:一种用于快速成型的嵌入式系统体系结构

2021年7月6日
编者注:尽管它以数字处理性能和吞吐量而闻名,但协处理器体系结构提供了嵌入式系统…

外壳材料可用于粗糙环境

适用于恶劣环境的外壳材料。金属外壳通常不适合高度恶劣的环境……

启用5G和机器人的未来

2021年11月18日,

欢迎来到边缘

照片/图像学分(按显示顺序)。pinkeyes - stock.adobe.com, Monopoly919 - stock.adobe.com, proindustrial2 - stock.adobe.com。加入我们吧…

声音你的意见!

本网站要求您注册或登录以发表评论。
目前还没有任何评论。想开始对话吗?
防御

发光解决方案支持定向能量武器的真正动力

12月10日,2021年12月10日
露水如何发出强大的激光能量光束,同时最大限度地减少由激烈的光学性质驱动的技术挑战?集成噪声源提供了一种减少的方法......
61beplay体育

柔性混合动力电子的商业化之路

2021年11月29日
本文探讨了将柔性混合电子产品商业化所采取的步骤,包括一个已经进入市场的FHE解决方案的示例。
Baidu