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