题目：基于DSL的BIT软件运行外围环境仿真器设计

随着航空电子系统的不断升级，装备复杂度的不断攀升，装备机内测试软件（BIT软件）的功能也不断上升。在对BIT软件的测试性验证方面，故障注入是该领域内重要的技术手段，由于故障注入技术自身对软硬件的要求过高，所以数字仿真系统由于其对硬件要求低的特点成为BIT软件测试平台另一重要选择。

本文对软件运行外围环境的仿真技术进行了研究，研究了航空电子系统中嵌入式软件的运行环境，提出了采用离散事件系统结合仿真事件模型和领域特定的测试语言的软件运行外围环境仿真系统。

然后，本文根据航空电子系统中的状态管理软件，提出了针对该领域的软件运行外围仿真环境的系统框架设计，对嵌入式软件与外界环境的交互活动进行离散化分析，设计了离散事件系统，然后根据离散事件系统特点，设计了相应的仿真模型和领域特定测试语言。

接着，本文论述了软件运行外围环境仿真系统的实现，从开发平台的系统结构、交联信息数据库、仿真模型和领域特定测试语言方面详述了该仿真系统的实现过程。

最后，本文搭建了一个小型仿真测试环境，进行仿真事件的运行试验，验证了对软件运行外围环境进行离散化建模的有效性，以及仿真模型和领域特定测试语言的有效性。