Projects
In reverse chronological order.
2024 – Present SDI Development of Software-Defined Infrastructure Technologies for Future Mobility 2020 – 2022 BECS Development of Dependable and Highly Usable Big Data Platform, and Analysis and Prediction Services Technology in Edge Clouds 2019 – 2020 CybWin Cybersecurity Platform for Assessment and Training for Critical Infrastructures – Legacy to Digital Twin 2017 – 2022 SESoS Software R&D for Model-based Analysis and Verification of Higher-order Large Complex System 2017 – 2019 On-the-fly Verification Development and On-the-fly Verification of System of Systems for Reliable and Intelligent CPS Applications