The University of Waterloo has signed a joint research agreement with two Japanese organizations to develop effective methods to engineer safe and secure embedded software targeting the manufacturing and automotive sectors.
The five-year project, Hasuo Metamathematics for Systems Design (MMSD), is led by Krzysztof Czarnecki, professor of electrical and computer engineering, and Ichiro Hasuo, associate professor at the National Institute of Informatics (NII), and valued at $1.4 million.
The goal of the project is to develop effective specification, verification, and synthesis methods with a focus on self-driving cars, which will be demonstrated on Waterloo’s autonomous driving research vehicle, Autonomoose.
Funded through the Japan Science and Technology (JST) Agency’s Exploratory Research for Advanced Technology (ERATO) program, the project is comprised of four research themes with three hosted at NII in Tokyo and one at Waterloo by Prof. Czarnecki.
ERATO is one of JST’s flagship Strategic Basic Research Programs targeting advanced technology. Only two or three research projects are funded through ERATO each year.