2 papers
cs.SE2026
Bit-Precise Conformance Testing of Simulink Model Checkers
Daisuke Ishii, Takashi Tomita, Toshiaki Aoki +1
MATLAB/Simulink provides a practical modeling language and a simulation engine for the development of cyber-physical systems. To ensure the quality of the developed models, there a…
cs.SE2025
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…