为关键基础设施提供安全可靠的软件系统

摘要

众所周知,电脑、手机等电子产品的功能越来越强大且简单易用,这与它们的软件操作系统密不可分。同样,在许多关键基础设施(航空、电信、网络、国防、工业、运输系统等)里面也安装有类似的软件操作系统,确保设施长期安全的运行。