MASTECS开发认证就绪的多核时序分析解决方案

　　第一个能够处理多核处理器复杂性的认证就绪时序分析解决方案，将被欧洲行业用于支持先进的关键软件开发和认证。

　　MASTECS 项目（用于嵌入式关键系统的多核分析服务和工具）开发了第一个能够处理安全关键多核系统复杂性的认证就绪时序分析解决方案。该项目中开发和整合的技术现在可以在航空航天和汽车领域使用多核处理器。

　　该项目帮助开发了支持航空电子和汽车领域的工具和方法，这两个领域都非常关注适用的安全标准和新兴的认证要求。

　　多核时序分析工作流程建立在使用专门的微基准之上，这些微基准会对多核处理器产生干扰，并展示这种干扰可能对软件产生的影响。该工作流还具有一个任务争用模型，可提供对任务所遭受的争用延迟的早期估计。还开发了一种 7 步设计方法，以充分了解和表征干扰对时序行为的影响。

　　MASTECS 项目帮助开发了一种明确的方法，以满足航空航天和汽车领域的安全认证要求，使用多核处理器实现高级软件功能，支持更广泛的好处，例如：

　　提高汽车和航空电子领域的安全性，

　　减少不同类型车辆的二氧化碳排放量，

　　新的飞行技术，包括使商业航班和进一步的移动解决方案更容易获得的个人飞行器。

　　“尽管发生了大流行，但 MASTECS 已经实现了将多核技术成熟到现在可以商用的状态的目标。这将帮助欧盟公司在其产品中采用多核处理器，从而为航空电子和汽车等领域的公司带来巨大的利益。” Francisco J. Cazorla，MASTECS 项目协调员和巴塞罗那超级计算中心 （BSC） 的操作系统组经理。

　　根据公司的说法，MASTECS 技术已通过案例研究进行评估和证明。其中包括柯林斯航空航天应用研究与技术 （Collins ART） 提供的民用认证车辆管理计算机技术的使用，以及 Marelli Europe 分别在航空电子和汽车领域对车辆域控制模块 （VDCM） 的分析。

　　审核编辑：郭婷