Realize Safety and Security by Advanced Science and Technology
SCROLL
Realize Correct Software
Software is used everywhere in our society today. It is used not only in personal computers but also in mobile phones, electric appliances, cars and airplanes. Software is closely related to our daily life and we cannot live without it anymore. On the other hand, the quality of software is becoming a big concern recently. The bugs of software can give serious damage to our society like causing big loss of money, confusion of daily life, loss of life, and so on. In fact, such incidents have been frequently reported these days. One may think that it is strange that buggy software is used in our society. Actually, that is unavoidable at this moment since there is no way to develop systems without any bug. Thus, it is very important to establish a method to develop correct software, that is, software with no bug, for realizing safe and secure society.
JST CREST Project: Formal Methods and Verification Tools for Next-generation Automotive System Platforms
We are looking for the members of this project. Let us know if you are interested in.
Developing Safe and Secure Systems
- Modern systems: autonomous driving, Al systems, smart city, block- chain, quantum computing, etc.
- Traditional Modern: transition to modern system development.
Development and Verification based on Computer Science
- Ensure safety and security scientifically.
- Formal methods, formal verification, and beyond.
Challenge to Industrial Application
- Software systems in industry and society.
- Automotive systems, space systems, important nfrastructures, etc.
Challenge
-
Large and Complex
We focus on real systems.
-
Undecidable
We focus on practical treatment of undecidable problems.
-
Uncertainty
We focus on uncertainty introduced by Al.
-
Quality Assurance
We focus on explanation that systems are of high quality.