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…