论文部分内容阅读
分析了即插即用武器系统，采用AADL对其进行建模，以武器管理计算机系统为例对分系统建模进行了描述。结合AADL建模的特点，详细研究了任务数据交换的格式和结构、周期性任务调度算法、非周期性任务调度算法及基于服务器的混合任务调度算法。采用OSATE软件对系统进行了建模和分析。结果表明：该方案能很好地对即插即用武器系统进行建模。