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

A Real-Time System Architecture Style Description Language:NewRob

该文分析了现有的软件体系结构风格描述语言的特点,并结合嵌入式实时系统的领域特征,提出了一个面向嵌入式实时系统的软件体系结构风格: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.