下面列举的工作是与工业合作伙伴一起完成的,并得到了国防机构的大力支持。1) 汽车安全设计模式(以促进以安全为中心的汽车系统开发方法); 2) 一套技术和工具,用于支持在面对不确定性的情况下开发强大而有弹性的自主系统; 3) 利用支持学习的组件——LEC(即使用机器学习技术的组件)的自主系统数字孪生框架,以解决 LEC 的保证问题,因为传统测试不适用; 4) 用于评估在不确定的情况下运行的自主系统认证目的的保证案例的自动化技术; 5) 探索环境和车载不确定性的自动化技术,以识别潜在(不需要的)行为,例如特征交互等。; 6) 解决网络安全问题的社会技术。