面向方面的实时系统形式化开发方法

摘要：

实时系统复杂性的不断增加以及对可配置性和可重用性要求的不断提高,需要如面向方面和基于组件的软件工程方法的支持,同时实时系统的可信性要求采用形式化方法来开发实时系统.本文试图建立一种面向方面的实时系统形式化开发方法,这种方法对RT-Z进行了面向方面和面向部件的扩展,并通过实时组件模型在需求和设计阶段提供了对基于部件的系统开发方法(CBSD)和面向方面的系统开发方法(AOSD)的支持.本文给出了面向方面的实时Z(AO-RT-Z)的组件模型的框架结构、语法要求、方面的联结和功能接口和非功能接口的定义,重点讨论并证明了面向方面的实时Z(AO-RT-Z)作为规格描述语言的健全性.

关键词：面向方面、实时系统、组件、形式化方法、RT-Z、AO-RT-Z

所属期刊栏目：32

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金60474072,60174050;广东省自然科学基金04009465,010059;广东省高校自然科学基金Z03024

在线出版日期：2005-10-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：189-192,217