【OSATE学习笔记】AADL语法介绍（四）复合构建和通用构建详细介绍

System（系统）

• 系统代表软件、执行平台或系统构建的复合体。它能够用于代表计算机硬件构建（例如，处理器插件版或机柜）、一批硬件构建（例如，飞行导航系统）、软件和硬件构建的组合（例如，大气数据计算机）、物理系统构建的集合体（例如，包括各种仪表板、显示器、驾驶杆和其他控制装置的座舱），或者各种子系统或超系统（system of systems）的复合体（例如，飞机系统）。

约束

范例

package test_package
public

system integrated_control
end integrated_control;

system implementation integrated_control.PBA
	subcomponents
		control_process: process ;
		set_point_data: data ;
		navigation_system: system ;
		real_time_processor: processor ;
		hs_memory: memory ;
		high_speed_bus: bus ;
end integrated_control.PBA;


end test_package;

Abstract （抽象）

• 抽象构建类别是在不选择它们的运行类别的情况下，允许说明构建类型和实现的通用类别。利用这种类别，能够开发∶
  • 系统体系结构的概念性构建基视图;
  • 通用的构建基参考体系结构;
  • 能够示例和适用于一个体系结构（例如，作为一个方面适用的冗余模式）的体系结构模板或模式。
• 如果需要的话，能够将这些通用说明在线程、线程组、进程、系统、数据、子程序、处理器、虚拟处理器、总线、虚拟总线和设备中进行细化。通过为体系结构权衡研究以及分析（例如，全系统延迟分析可以在尚未定义所包括的构建的运行特性的情况下进行）的表示方法提供替代方案，在开发的早期阶段，这种技术方法是特别有用的。

约束

范例

package test_package
public

abstract integrated_control
end integrated_control;

abstract implementation integrated_control.PBA
subcomponents
control_process: process ;
set_point_data: data ;
navigation_system: system ;
real_time_processor: processor ;
hs_memory: memory ;
high_speed_bus: bus ;
error_response: abstract ;
end integrated_control.PBA;

system integrated_control_sys
extends integrated_control
end integrated_control_sys;

system implementation integrated_control_sys.PBA
extends integrated_control.PBA
end integrated_control_sys.PBA;


end test_package;