3 papers
cs.SE2023
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…
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…
cs.LO2021
Approximate Translation from Floating-Point to Real-Interval Arithmetic
Daisuke Ishii, Takashi Tomita, Toshiaki Aoki
Floating-point arithmetic (FPA) is a mechanical representation of real arithmetic (RA), where each operation is replaced with a rounded counterpart. Various numerical properties ca…