Hi, I'm Sangwon Hyun, a Ph.D. student at the Korea Advanced Institute of Science and Technology.
Thanks for your work of VENTOS, we are getting a lot of help to utilize your simulator for the research.
Our research is focusing on analyzing interaction failures of System of Systems (SoS), here, the platooning protocol is one of the examples of the SoS.
Therefore, we generated 3,000 scenarios randomly for platooning execution and found some faulty patterns which cause redundant operation requests in your platooning CACC protocol.
We used the "Operation Success Rate" verification property to verify your platooning protocol and found the following buggy patterns and bug locations in your code.
Here we attached the details of the bug analysis reports.
We hope that this will help to improve the sole and helpful platooning simulator for research and study.
We will wait for your response.
Dear ManiAm and VENTOS managers,
Hi, I'm Sangwon Hyun, a Ph.D. student at the Korea Advanced Institute of Science and Technology. Thanks for your work of VENTOS, we are getting a lot of help to utilize your simulator for the research.
Our research is focusing on analyzing interaction failures of System of Systems (SoS), here, the platooning protocol is one of the examples of the SoS.
Therefore, we generated 3,000 scenarios randomly for platooning execution and found some faulty patterns which cause redundant operation requests in your platooning CACC protocol. We used the "Operation Success Rate" verification property to verify your platooning protocol and found the following buggy patterns and bug locations in your code.
Here we attached the details of the bug analysis reports.
We hope that this will help to improve the sole and helpful platooning simulator for research and study. We will wait for your response.
Generated Patterns by T-Max clustering.pdf Bug Analysis Reports in VENTOS platooning SoS protocol.pdf
If you need more details for the identified bugs, please contact by this e-mail (sehyun@se.kaist.ac.kr)
Best regards, Hyun