9 citations · 20 across the 13 of their papers we have counts for
4 papers · 1 filter
Verifying Autoware Controller Node by Combining Model Verification and Runtime Monitoring
Daisuke Ishii
Formal modeling and verification of autonomous driving systems remain challenging due to the vast operational space and the complexity of the control logic. We propose a hybrid ver…
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…
A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method
Daisuke Ishii
The compositional approach is important for reasoning about large and complex systems. In this work, we address synchronous systems with hierarchical structures, which are often us…
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…