Provides innovative software solutions to ensure high cyber-security and safety for next-generation cyber-physical systems, including autonomous vehicles, advanced robots, and factory automation.