论文部分内容阅读
该文分析了现有的软件体系结构风格描述语言的特点，并结合嵌入式实时系统的领域特征，提出了一个面向嵌入式实时系统的软件体系结构风格：NewRob。NewRob所生成的一个基本说明书，由一个同步控制任务组成，它负责将系统作为包合各类异步组件的集合，进行动态重构。控制任务通过对各组成元件逐级细化、分解，得到进化后的低级控制任务，每个低级任务也都管理一个新的组件集合。采用时序逻辑描述和验证不同抽象级别的软件体系结构的一致性。