%0 Journal Article
%T 基于Real-Time Object-Z语言的实时系统形式化描述
%A 魏艳铭
%A 张广泉
%J 重庆师范大学学报(自然科学版)
%P 41-44
%D 2007
%R 10.11721/cqnuj20070411
%X 实时系统是一类需要考虑时间约束条件的反应系统,确保实时系统安全性和可靠性是至关重要的。形式化方法是建立在严密数学基础之上的开发方法,采用形式化方法对实时系统进行描述与验证,可以借助严密的数学证明提高实时系统的安全性和可靠性。本文讨论Object-Z的一种实时扩展语言Real-TimeObject-Z,它可以对实时系统进行形式化描述;文中以室温控制系统为例,详细说明了Real-TimeObject-Z语言在实时系统形式化描述中的应用方法。
%K 实时系统
%K Object-Z
%K Real-TimeObject-Z
%K 实时精化演算
%K 形式化描述
%U http://cqnuj.cqnu.edu.cn/oa/DArticle.aspx?type=view&id=20070411