13:00 - 15:00 演讲环节:安全与保障:AADL 主席:Andy Wallington 以 AADL 为中心的安全与保障演讲“使用 AADL 分析基于 ROS 的机器人应用程序;在原型工业机器人和软件上进行演示。”。Dominique Blouin“使用 Resolint 使 AADL 模型符合建模指南”。Isaac Amundson“FACE 和 AADL 模型之间的双向增量转换”。Dominique Blouin“使用 AADL 评估网络安全的架构属性”。Charles Payne
Oluwaseun Adu,Blouin Lab,BS,拉各斯州立大学Meredith Anderson,Sponaugle Lab,BS,BS,佛罗里达大学Russell Campbell大学,校Kikuchi Lab,BS,BS,俄勒冈州立大学Annika Dawley,Annika Dawley,Barreto,Barreto,Barreto Lab,Barreto Lab,Barto Barreto/Groud-Colverver Labs,MS,Ben Gurion Negev Colin Grosvenor,Lytle Lab,BS,BS,北亚利桑那大学Cedar Mackaness,Lytle Lab,BS,BS,BS,俄勒冈州立大学Arina Martin,Arina Martin,Novak Lab,Novak Lab,bs,BS,BS,BS,Saint Louis Universition-Main-Mignign time time time time time time pajiah,novak bail novak,novak bars,novak bard,bel,州立大学MJ Strike,Henkel Lab,BS,Carleton College Cort Vanzant,Dalziel Lab,BS,BS,俄克拉荷马州立大学Main Di Vik,Burke Lab,BS,BS,加利福尼亚戴维斯大学Louiza University of Hacker&Wengrove大学,Hacker&Wengrove实验室