实时系统形式化描述和自动验证

• 作者: 赵俊娟
• 来源期刊: 国外科技新书评介
• 学科: 工学
• 关键词: 实时系统 形式化描述 自动验证 时间约束 计算机系统 嵌入式应用 安全性要求 形式化规范
• 年，卷（期）: 2010,（1）
• 页码范围: 1-2
• 页数: 2页
• 分类号: TP316.2

摘要

实时系统是一种带有时间约束的计算机系统，这些系统许多动作的完成是与时间相关的，即要满足一定的时间限制，它需要在特定的时间范围内的对某些输入及时做出反应。例如，碰撞中汽车的安全气囊须在300毫秒膨胀开。它的许多嵌入式应用，都有一个共同的特点就是对实时性、安全性要求很高，都需要实时的形式化规范技术。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵俊娟	中国科学院电子学研究所	18	15	1.0	3.0