Abstract | ||
---|---|---|
Messaging system as a communicating infrastructure is a safety-critical component of autonomous vehicles. For the purpose of safety certification of Level 4 autonomous driving systems, its necessary to provide a formally verified specification of messaging systems. This paper presents a realistic case study using the PiCore rely-guarantee framework to formally verify the DGPS (Differential Global ... |
Year | DOI | Venue |
---|---|---|
2020 | 10.1109/TASE49443.2020.00021 | 2020 International Symposium on Theoretical Aspects of Software Engineering (TASE) |
Keywords | DocType | ISBN |
Rely-guarantee,Messaging Systems,Autonomous Driving Systems,Formal verification,Isabelle/HOL | Conference | 978-1-7281-4086-5 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Wenjing Xul | 1 | 0 | 0.34 |
Yongwang Zhaol | 2 | 0 | 0.34 |
Dianfu Ma | 3 | 0 | 0.34 |
YuXin Zhang | 4 | 0 | 0.34 |
Qian Xiao | 5 | 0 | 0.34 |