XYZ系统对实时控制系统中进程调度与中断机制的描述.pdfVIP

1999年10月 计算机工程与科学 第21卷第A1期 Oct．1999 COMPUTER ENGINEER州G＆SC2ENCEV01．0iNo．A1 XYZ系统对实时控制系统中进程调度 和中断机制的描述+ ofthe Scheduleand DescriptionSpecify Interrupt MechanismsofaRealtime XYZ System Using 宋悦郝克刚 YueandHao Song Kegang (西北大学计算机科学系) of Science．Northwest (DepartmentComputer University) 用于抽象描述也可以用干程序性的细节描述。士文将XYZ应用于专用控制系统，描述了优先抢占式系 统的事件机制．为彤式化方法在实际工程领域的应用做了尝试。 ABSTRACITbeXYZ isaCASEenvironmentwhichisbasedon}inear system temporaIlogic．As rl in the㈣nl。n ofXYZ，XYZ／ECa beusedeitherabstractordetailed ofaDr啦 language description aan of gram．Inthis realthne isshownexampleusingXYZ．andtheeventmechanism paper，a system isdescribed．1+hiseffortisthefirst in formalmethodsfor try uqng practicalprojects． 关键词XYZ／E，transidon，lineanertemporal logic，中断，事件，条件无。 KEYWORDSXYZ．／E，transition，linear element tempouallogic．interrupt，event．condition 一、引言 XYz系统是一个山唐稚松院上提出的基于时序语义的软件工程CASE系统。它将时序逻辑与软件 工程有机地结合起来，既是一个逻辑系统又是--f]程序设计语言，适合多种程序设计和不同层次的抽象 描述．其目标是提高软件可靠性和软件生产率。它是面向软件工程设计的，蚍适应如下软件工程领域： 逐步求精的设计方法、速成原型方法、抽象描述和验证、从非形式化到形式化描述的平滑过渡．它是一 系列他语青族，其中备子语言分别表示爿、同的程序设计方式或范型，故XYZ／E是一致的逻辑框架表示 的统一范型。它包括的CASE 具XYZ／PAD等，它们均以时序逻辑语占XYZ／E表示其语义界面，其中XYZ／E既是系统的程序设计 语言又是逻辑系统中统一的框架基础。因而，这些工