软、硬件的并行开发方法可以加快设计进程，但在系统整合时常常出现很多问题，而硬件回路仿真能有效解决这些问题，采用该技术可以在开发周期初完成嵌入式软件仿真。本文以HIL技术在实验性动态直升机系统用嵌入式控制软件中的应用为例阐述该技术的应用特点和方法。
设计工程师一直在努力缩短新产品开发周期，而软硬件并行开发就是一种比较好的方法。通常这种方法需要多个独立的软硬件开发小组参与，这些小组的工作相互间独立、并行地进行。当原型硬件和嵌入式代码的主要部分实现后，就可以在系统整合阶段将硬件与软件合并起来并开始测试工作。
在系统整合时经常会发生严重的问题，有些问题甚至会导致软件或硬件的重新设计。在问题成堆发生、成本持续升高或计划拖延太久的情况下，有可能中断设计项目，有时甚至不得不取消项目。因此，人们需要找到更好的方法来解决这些问题。
回路硬件(hardware-in-the-loop，HIL)仿真被证明是一种有效的解决方法。该技术能确保在开发周期早期就完成嵌入式软件的测试。到系统整合阶段开始时，嵌入式软件测试就要比传统方法做得更彻底更全面。这样可以及早地发现问题，因此降低了解决问题的成本。
本文所要讨论的就是采用了HIL仿真的一个嵌入式软件开发项目。该项目的目标是开发和测试实验性动态“直升机”系统用的嵌入式控制软件。有了HIL仿真后，人们无需使用除嵌入式处理器及其I/O接口外的任何硬件就能完成该控制器软件的设计和测试。
随后的实际系统硬件与运行新软件的嵌入式控制器的连接首次便获得成功。在硬件、软件整合阶段唯一要做的额外工作是对一些控制器参数的少量调整，这是由于实际系统硬件与其仿真模型之间毕竟存在差异。
直升机系统
本项目需要开发适合Quanser 3自由度(3DOF)直升机的控制器软件。这是一个桌面电磁系统，内含由两个独立电子马达控制的3个旋转轴，每个轴驱动一个推进器。图1是直升机系统及其运动轴的框图。
假设倾斜轴的倾角接近零度，在对两个马达施加相同的高电压后直升机会垂直向上攀升。对两个马达施加不同的电压会使直升机绕倾斜轴旋转。为了使直升机向前移动，首先需要将直升机倾斜到一个非零角度，然后对两个马达同时施加适当的电压来产生向前的推力。
如图2所示，系统采用的控制计算机具有3个位置编码器输入信号、两个马达电压输出信号，以及用于模式选择与操纵杆控制的用户输入信号。控制计算机通过专门设计的接口卡接收位置编码器输入信号，同时产生模拟输出电压，并通过数模转换器(DAC)驱动那两个马达。为了提供足够大的马达工作电流，DAC的输出需要连接到随后的功率放大器进行放大。
位置编码器会随时监测每个轴的运动，这些编码器通过光学原理感知旋转运动并产生数字化的角度位置数值。位置编码器将以每360°4096个步距，或0.08789°的量化步距分辨率对这些数值进行量化。每个编码器的输出信号由两个TTL电平组成，即Phase A和Phase B，当对应轴反转时输出信号就在这两个高低电平之间来回切换。根据这两个信号之间的相位差可以判断每个轴的运动方向，如图3所示。脉冲频率正比于每个轴的旋转速率。
直升机控制器的性能指标满足要在一定时间内将前进和上升轴移动到任意一个指定位置，时间一般应控制在10秒以内。此外，直升机控制器的软件必须支持其它一些操作模式。全套控制器操作模式包括：
关闭模式:
控制器软件以关闭模式启动，此时两个马达上的电压为零。一旦系统离开这个模式，就只能从空(Null)模式再次进入该模式。当从空模式进入关闭模式时，需要控制上升轴缓慢地下降到桌面正上方，然后将马达电压设置为零。
空模式:
当从关闭模式转变到该模式时，首选要给马达上电，并控制所有轴到零位置。如果从其它模式转变到空模式，那么只需要将所有轴控制到零位置。零位置是指倾斜轴和前进轴在系统启动位置，而推进组件被抬举到上升方向的水平位置，如图1所示。
随机模式:
在10秒时间间隔内为前进和上升轴位移命令产生预定义范围内的一个新随机值，然后由控制器软件将直升机移动到相应的位置。
自动驾驶模式:
在这种模式下，由操纵杆产生控制器所需的上升和水平行进命令。通过操纵杆的前后动作控制上升位置，通过左右动作来控制水平位置。控制器通过移动直升机来跟随命令所指定位置。
手动模式:
在手动模式下，操纵杆直接产生马达驱动用的电压和与电压差。操纵杆前后动作控制两个马达电压的和，左右运动控制两个马达电压的差。在这种模式下系统特别难以控制，如果任何轴的运动超过了某个位置限制，控制器就会自动切换到空模式。通常，在进入该模式后的几秒钟内可能产生违反限制的问题。
在确定系统功能和性能要求后，可以进行控制器软件的开发和测试。而仿真技术的应用可以加快直升机控制器软件的开发和测试速度。
项目规范
为了对嵌入式软件进行HIL仿真测试，需要使用嵌入式处理器及其附属I/O器件。对于许多嵌入式系统来说，这只是整个系统的一小部分，可以在早期开发阶段实现组合。可以创建一个直升机硬件及其与外部环境交互的仿真，并通过控制器的I/O接口把这个仿真与嵌入式控制器连接起来。嵌入式控制器和直升机仿真就如同实际系统一样工作。
在复杂的嵌入式产品开发早期，经常需要仿真一个完整系统在预期环境中的运行。这种利用动态系统仿真工具，如Simulink开发的仿真系统通常不是实时的，但可以作为HIL仿真的基础。某些时候需要对这些仿真系统中包含的模型进行简化和优化，使之适合实时仿真使用。不过在本项目中不需要修改这些模型。
复杂系统仿真需要用到许多高级的数学算法，但可以采用专门的软件工具来简化任务：Simulink是MATLAB的一个附件，它可以用来提供以框图为主的图形环境下的动态系统仿真。用Simulink进行仿真的方法是先把“调色板”上的模块拖到绘画区域，然后用代表信号流向的直线把这些模块连接起来。图4就是直升机项目中采用的位置编码模型的Simulink框图，该模型把以弧度表示的角度位置作为其输入信号，并产生Phase A和Phase B信号作为其输出。另外，它还输出指示信号，用来指示相应轴到达零位置的时刻。直升机位置编码器不会产生指示信号输出，因此不使用该Simulink模型的输出。
Stateflow是Simulink的一个附件，用以实现有限状态机模型。在这个直升机项目中，Stateflow模型用来实现直升机模式选择逻辑。
Real-Time Workshop根据Simulink框图产生C代码，其它工具需要使用这些代码来达成编译与执行目标。在本项目中，其它工具包括Real-Time Windows Target和xPC Target。
Real-Time Windows Target允许仿真的编译与执行作为PC机Windows系统中的一个实时进程，能与Windows操作系统同时运行。在本项目中，Real-Time Windows Target执行的是HIL系统仿真，所用主机正是开发和控制直升机软件的计算机。
xPC Target允许在PC机上执行仿真，此时PC机的功能如同专门的实时控制器。xPC Target还提供实时的多任务内核供只有有限硬件资源的嵌入式处理器使用。xPC Target在本项目中用来在一台独立PC上产生和执行直升机控制器用的实时代码，此时该PC机就用作“嵌入式”控制器。
仿真开发
控制器软件开发的第一步是实现对整个直升机控制器系统的仿真，图5给出了仿真的顶层框图。其中两个较大的方框分别表示直升机系统本身和数字控制器，两个较小的带有“操纵杆”和“模式命令”标签的方框向控制器提供用户输入信号。图5中的“直升机”框图包含有直升机动态行为的Simulink模型，如图6所示。从图6可以看到，该模型采用了转移函数、求和函数和积分器等多个Simulink模块。带“有限运动”标签的模块包含有一个受限于向下靠近桌面方向的上升轴运动模型。当被仿真的直升机碰到桌面时，所有3个运动轴的速度都被置为零，因此非常接近实际直升机的行为。从靠近右边的3个量化器可以看出位置编码器的量化效果。
“有限运动”模块代表一个子系统。子系统模块允许在仿真开发期间通过分层图集(hierarchical sets of diagrams)来控制复杂性。子系统间可以进行任意多层的嵌套，类似于函数的嵌套调用。
图5“控制器”子系统的详细内容见图7。对3个轴角度测量值的量化结果成为控制器的3个基本输入信号，控制器输出的是两个马达的驱动电压。图7中的主要模块有：驱动直升机到指定位置的“自动驾驶”模块，在不同操作模式下产生前进和上升位移命令的“命令发生器”模块，实现用于选择不同直升机操作模式的有限状态机的“模式控制”模块。
“模式控制”模块
