我们积极参与许多研究项目,创建了出血的技术来解决嵌入式软件行业的挑战。 Mastecs:嵌入式关键系统的多核分析服务和工具 Hiclass:促进复杂和安全的航空航天系统的发展 ASC:机载软件容量 宗派空气:软件工程成本和时间尺度 - 减少航空航天计划 杂货:建筑驱动,多个和无缝保证以及网络物理系统的认证 AUTOSAC:SPARK ADA合同的自动生成测试 Proxima:混合批判性多核系统的概率实时控制 P-Socrates:针对时间关键多核系统的并行软件框架 手工艺品:剪裁嵌入式实时系统的约束和应用程序驱动的框架 兽医:验证和测试以支持功能安全标准 分页 当前页面1 页2 下一页下一个 > 最后一页最后的 ”