| 项目单位 | 更多 | | 中国科学院软件研究所 | | 南京大学 | | 北京交通大学 | | 国防科学技术大学 | | | | |
|
|
| 项目简介 | 更多 | 计算机软件广泛应用于国民经济发展和国防建设，包括交通运输、航空航天、核电、武器装备等关键领域，以及具有高安全要求的工业控制系统。这些领域的软件系统必须满足极高的质量要求。如果失效，将会在生命财产、自然环境、国家安全、经济发展等方面导致灾难性后果，因此被称为安全攸关软件安全攸关软件系统往往规模庞大、运行环境复杂、软硬件紧密耦合。这使得软件产品推出时不可避免地带有缺陷。另一方面，软件运行环境和开发环境从传统的封闭静态环境延伸到了开放、动态、持续演化的分布式网络环境。因此，软件的开发、集成和持续演化变得日益复杂。如何研制关键领域中的安全攸关软件以保证其安全可靠性，已成为备受关注的问题。对安全攸关软件的建模、构造、运行、演化的共性理论和关键问题进行研究，为未来国产高质量安全攸关软件的高效开发提供支撑，具有不可估量的价值。
本项目针对申请指南中“安全攸关软件系统的共性理论和构造方法”这一方向，凝炼出 ...... |
|
