Viện Khoa học và Công nghệ tiên tiến Nhật Bản (JAIST) và Gaio Technology, một công ty chuyên về kiểm chứng/kiểm thử hệ thống nhúng trong công nghiệp xe hơi phối hợp 1 dự án kiểm thử các mô hình Matlab/Simulink và từ đó đề xuất một số giải thuật sinh tự động các ca kiểm thử từ các mô hình đó bằng kỹ thuật model checking. Yêu cầu thêm từ giới công nghiệp xe hơi của Nhật là lập trình các giải thuật này trong một nguyên mẫu prototype có thể sinh tự động các ca kiểm thử (test cases). 2 đối tác phía Nhật là JAIST + công ty ở trên muốn sự tham gia của Viện Công nghệ thông tin trong lĩnh vực này.