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

作　　者：赵俊娟[1] 

机构地区：[1]中国科学院电子学研究所

出　　处：《国外科技新书评介》2010年第1期1-2,共2页Scientific & Technology Book Review

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

关 键 词：实时系统 形式化描述 自动验证 时间约束 计算机系统 嵌入式应用 安全性要求 形式化规范 

分 类 号：TP316.2[自动化与计算机技术—计算机软件与理论] TP311.5[自动化与计算机技术—计算机科学与技术]