微电子学与计算机
微電子學與計算機
미전자학여계산궤
MICROELECTRONICS & COMPUTER
2006年
3期
11-15
,共5页
崔小乐%张兴%闵俊%崔小欣%胡建军
崔小樂%張興%閔俊%崔小訢%鬍建軍
최소악%장흥%민준%최소흔%호건군
体系结构描述语言%Wright%TCSP%实时系统
體繫結構描述語言%Wright%TCSP%實時繫統
체계결구묘술어언%Wright%TCSP%실시계통
Wright是一种适合于对具有并发特性的系统进行仿真建模的著名体系结构描述语言.文章针对Wright语言对实时性描述支持的不足,利用TCSP对其进行了行为语义的扩展,增强其对具有实时并发特性的系统进行建模的能力.利用扩展后的Wright语言,在系统开发的早期即可对系统的活性、安全性等时间相关的特性进行模型检验.
Wright是一種適閤于對具有併髮特性的繫統進行倣真建模的著名體繫結構描述語言.文章針對Wright語言對實時性描述支持的不足,利用TCSP對其進行瞭行為語義的擴展,增彊其對具有實時併髮特性的繫統進行建模的能力.利用擴展後的Wright語言,在繫統開髮的早期即可對繫統的活性、安全性等時間相關的特性進行模型檢驗.
Wright시일충괄합우대구유병발특성적계통진행방진건모적저명체계결구묘술어언.문장침대Wright어언대실시성묘술지지적불족,이용TCSP대기진행료행위어의적확전,증강기대구유실시병발특성적계통진행건모적능력.이용확전후적Wright어언,재계통개발적조기즉가대계통적활성、안전성등시간상관적특성진행모형검험.
