Showing cs.SEShow all
3 papers · 1 filter
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…
cs.SE2021
Compositional Test Generation of Industrial Synchronous Systems
Daisuke Ishii, Takashi Tomita, Kenji Onishi +1
Synchronous systems provide a basic model of embedded systems and industrial systems are modeled as Simulink diagrams and/or Lustre programs. Although the test generation problem i…