5 papers
Quantifying Competitive Relationships Among Open-Source Software Projects
Yuki Takei, Toshiaki Aoki, Chaiyong Ragkhitwetsagul
Throughout the history of software, evolution has occurred in cycles of rise and fall driven by competition, and open-source software (OSS) is no exception. This cycle is accelerat…
Modeling Language for Scenario Development of Autonomous Driving Systems
Toshiaki Aoki, Takashi Tomita, Tatsuji Kawai +2
Autonomous driving systems are typically verified based on scenarios. To represent the positions and movements of cars in these scenarios, diagrams that utilize icons are typically…
Generating Critical Scenarios for Testing Automated Driving Systems
Trung-Hieu Nguyen, Truong-Giang Vuong, Hong-Nam Duong +4
Autonomous vehicles (AVs) have demonstrated significant potential in revolutionizing transportation, yet ensuring their safety and reliability remains a critical challenge, especia…
Attack Tree Analysis for Adversarial Evasion Attacks
Yuki Yamaguchi, Toshiaki Aoki
Recently, the evolution of deep learning has promoted the application of machine learning (ML) to various systems. However, there are ML systems, such as autonomous vehicles, that…
Model-Checking in the Loop Model-Based Testing for Automotive Operating Systems
Toshiaki Aoki, Aritoshi Hata, Kazusato Kanamori +7
While vehicles have primarily been controlled through mechanical means in years past, an increasing number of embedded control systems are being installed and used, keeping pace wi…