论文部分内容阅读
星载软件运行在星载计算机上，包括操作系统、中间件和应用模块。中间件内部又分为软总线层、基本服务层和领域服务层。应用模块包括星务、遥测、遥控、程控、姿轨控、热控等这些应用。领域服务层通过领域服务为上层应用模块提供服务支持，为了实现领域服务，从而更方便地实现这些模块、提高开发效率，需要使用服务模板。服务模板包含过程模型、状态机模型、实时容器模型、连接模型、控制块模型、事件模型、FDIR检查模型、管理模型、变量监控模型、共享数据模型、跟踪模型等。鉴于整个中间件层是使用AADL(Architecture Analysis and Design Language)建模语言实现，上述三个模型同样采用的AADL语言进行实现。其中：过程模型可以被映射为UML2中活动图概念的一个子集，它对应用的独立行为进行建模，启动后所有的行为交给内部逻辑处理；状态机模型是对UML2中状态图概念的一个限制子集，它对应用的反应性行为进行建模，启动后的状态转换也由外部事件触发完成；实时容器模型概念不起源于UML2，它对应用的非功能性行为进行建模，所使用的是基于通知的线程激活模型。 本文首先介绍了每个模型的概念、约束、行为和状态，然后结合AADL语言对模型的每一个元素进行分析和建模，接着以一个例子对所实现的建模技术进行了验证。最后以模式管理和看门狗两个星载服务实例为主，介绍了服务模板在实际项目中的使用，然后通过压力测试分析了这种建模方案的有效性。