无人机无人车学习
文章平均质量分 94
学习无人机和无人车的相关知识
你的名字5686
这个作者很懒,什么都没留下…
展开
-
Understanding Bounding Functions in Safety-Critical UAV Software
Understanding Bounding Functions in Safety-Critical UAV SoftwareIntroduction无人机软件安全的经验视角A Datatype-based TaxonomyA Differential SimulationSummarBackgroundEngine and PoseNavigationPaparazzi Flight Controller SoftwareUnderstanding bounding functions statical原创 2021-12-27 16:13:24 · 129 阅读 · 0 评论 -
RVFUZZER: Finding Input Validation Bugs in Robotic Vehicles Through Control-Guided Testing
RVFUZZER: Finding Input Validation Bugs in Robotic Vehicles Through Control-Guided TestingOverviewIntroduction攻击面传统fuzz的问题关键ideaBackgroundRV Control ModelRV Control ProgramControl Parameters攻击模型模型和假设JustificationsRVFuzzer DesignOverviewControl Instability原创 2021-12-18 13:47:44 · 386 阅读 · 0 评论 -
From Control Model to Program: Investigating Robotic Aerial Vehicle Accidents with MAYDAY
From Control Model to Program: Investigating Robotic Aerial Vehicle Accidents with MAYDAYOverviewIntroduction导致RAVs事故的原因(包括但不限于)第三种难以检查提出了MAYDAY贡献背景和模型RAV控制模型RAV控制程序信任模型和假设威胁模型ExampleMAYDAY Framework控制引导控制程序分析控制变量依赖关系图CVDG与控制程序将CVDG节点映射到程序变量将CVDG边映射到程序代码Co原创 2021-12-22 21:59:43 · 212 阅读 · 0 评论