[Test and verification services][Universities/Research Organizations][Education]
Japan Advanced Institute of Science and Technology (JAIST) has been established to provide graduate courses (Master Course and Doctoral Course) in advanced science and technology, and is working on education and research in Knowledge Science, Information Science and Material Science. Our booth exhibits an example of our education program dedicated to fostering IoT engineers and several research results on embedded software.
"Education Program for IoT Engineers" is a goal-oriented education program for fostering IoT engineers who are able to draw up a plan of an IoT system and to develop its individual components including edge-devices up to cloud services. Various course works from fundamentals to applications and practical training courses (Project Based Learning) are provided in this program. In addition, collaborating with Kanazawa Institute of Technology (KIT) and Japan Embedded Systems Technology Association (JASA) and supported by the Ministry of Education, Culture, Sports, Science and Technology, Japan, we have developed a learning support system which includes the evaluations of technical abilities and human abilities required for IoT engineers, the record and accumulation of experiences on designs and implementations, etc., and apply it to the students taking this program for supporting and accelerating their studies.
On the other hand, as an example of research works being done in JAIST, the works of Prof. Aoki are demonstrated. Prof. Toshiaki Aoki is working on practical applications of formal methods which are recommended in the international standard of functional safety such as ISO 26262 and IEC 61508. Formal methods can achieve the high quality of products, however; there is a big gap between formal methods and practice usually. Prof. Aoki and his group are conducting several joint projects with industry partners in automotive field and succeeded in applying the formal methods to commercial products so far. In this booth, the overview of their results and the demo of a testing tool of MATLAB/Simulink models, which are being developed with their industry partner, are exhibited.