13:00 - 15:00 演讲环节:安全与保障:AADL 主席:Andy Wallington 以 AADL 为中心的安全与保障演讲“使用 AADL 分析基于 ROS 的机器人应用程序;在原型工业机器人和软件上进行演示。”。Dominique Blouin“使用 Resolint 使 AADL 模型符合建模指南”。Isaac Amundson“FACE 和 AADL 模型之间的双向增量转换”。Dominique Blouin“使用 AADL 评估网络安全的架构属性”。Charles Payne