这个500万欧元的项目旨在开发按结构正确的自动软件

2021年8月10日,//尼克费海提
这个500万欧元的项目旨在开发按结构正确的自动软件
嵌入式软件专家Vector正在支持欧盟的一个项目,该项目旨在为自主系统开发嵌入式软件原型框架

XANDAR (X-by-Construction Design Framework for Engineering Autonomous & Distributed Real-time Embedded Software Systems)项目的目标是在未来三年内开发一个用于自主系统的嵌入式软件原型框架。

这个500万欧元的项目是由卡尔斯鲁赫研究所für Technologie (KIT)协调的,作为地平线2020的一部分,包括宝马和贝尔法斯特皇后大学。

用于自动化车辆、飞机或工业生产过程的自学习和连接系统需要以非常高的安全性和可靠性运行。在开发这些极其复杂的系统时,对设计的任何后续修正或更改都会涉及大量成本、工作量和附加风险。只有当每个开发步骤都满足高系统需求时,才能避免此类更改。这适用于每个单独的功能(构造或CbC方法的正确性)。

相关文章

该框架支持与时间、安全性和安全性相关的XbC设计。它从系统需求开始,扩展到基于CbC方法的高层设计和代码集成。与欧盟项目的合作伙伴一起,Vector基于其作为嵌入式软件专家的专业知识,以及其PREEvision和TA工具套件开发环境,为实现该项目的雄心勃勃的目标做出了贡献。

PREEvision可以通过定义良好的语义,集成所有系统级别,以协作方式和基于模型的方式指定连接的嵌入式系统。TA工具套件可用于指定、模拟和验证复杂实时系统的时间行为。这两个环境为建立X-by-Construction设计框架提供了良好的基础。

xandar-project.eu

其他相关文章

其他文章在eeNews欧洲


你确定吗?

如果您访问désactivez les cookies,您就可以访问我们的网站。

你可以给我们être再riger vers谷歌。

Baidu