科研之友
微信
新浪微博
Facebook
分享链接
摘要
随着计算机科学和信息产业的不断发展,实时系统在社会生产和人民生活中有着广泛而深入的应用,如视频点播、信息采集与检索系统,信息物理融合系统(CPS),航空航天、军事、核工业等。相对于一般的软件系统,实时系统有着更严格的需求规范,对外部事件的响应有着非常严格的时间约束,实时系统所面临的外部环境可能非常恶劣,外部环境的变化可能非常剧烈,安全性的要求更高,并且可能要求系统本身具备一定的可生存性,实时系统本身可能是分布式的,规模和复杂度更高,测试难度极大。因此实时系统的理论研究有助于实时系统规范的描述,高质量实时系统的分析、设计、发展、实现和验证。 程序理论的目的是通过研究程序及其规范来支持程序...
- 单位
