一种实时系统软件体系结构风格:NewRob  

A Real-Time System Architecture Style Description Language:NewRob

作　　者：杨捷[1] 毋国庆[1] 朱立松[1] 

机构地区：[1]武汉大学软件工程国家重点实验室,武汉430072

出　　处：《计算机工程与应用》2003年第16期113-117,共5页Computer Engineering and Applications

基　　金：甘肃省自然科学基金项目(编号:ZS021-A25-018-G);甘肃工业大学优秀青年教师科研基金项目

摘　　要：该文分析了现有的软件体系结构风格描述语言的特点,并结合嵌入式实时系统的领域特征,提出了一个面向嵌入式实时系统的软件体系结构风格:NewRob。NewRob所生成的一个基本说明书,由一个同步控制任务组成,它负责将系统作为包含各类异步组件的集合,进行动态重构。控制任务通过对各组成元件逐级细化、分解,得到进化后的低级控制任务,每个低级任务也都管理一个新的组件集合。采用时序逻辑描述和验证不同抽象级别的软件体系结构的一致性。This paper presents an architecture style description language for real-time systems on the basis of existing ADLs ,which is called NewRob.A basic specification in NewRob consists of a synchronous control task that practices the dynamic reconfiguration of the system controller as a set of asynchronous components.The architecture evolves by hierarchical refinement and decomposition of servers into lower level tasks.NewRob is given operational semantics by state charts.Also,the semantic rules allow formal checking of the consistency and completeness of architectural specifications.

关 键 词：嵌入式实时系统 软件体系结构风格 组件 连接器 结构 细化 分解 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]