[发明专利]用于预引导数据验证的方法和系统

说明书

技术领域

本发明一般涉及包含用于启始一个或更多程序执行的BIOS（基本输入/输出系统）的基于计算机的系统的启动，尤其涉及包含针对这样的程序的预引导数据验证的方法和系统。

背景技术

通常，当电力首次施加到计算机系统时，运行存储在非易失性存储器中的启动程序。这样的启动程序可以是指引导固件，而且口语称为BIOS程序。这样的BIOS程序在从范围为标准个人计算机到嵌入式系统的计算机系统中执行，该嵌入式系统在航空器中部署成一个航空电子设备（例如，航空电子设备单元或者“黑匣子”）。

BIOS程序的执行，对检测和识别通信耦合到在其中正在执行BIOS的处理设备的系统组件是有用的。例如，通过BIOS的执行，鉴定和寻址计算机硬盘驱动器、显示器以及外围存储器设备，使得BIOS将操作转移给操作系统时，这些设备的驱动软件被加载。在某些应用中，BIOS可以包括开始运行内置测试（BIT）的软件；从而确定硬盘驱动器、显示器等至少是部分地起作用的。这就是说，处理器能够和这些设备通信。最终BIOS执行完成，其中一部分BIOS指令使与设备相关联的操作系统，或者在航空器系统的情况下，操作飞行程序（OFP）开始其操作。

在这样的系统中，BIOS操作以开始操作系统或OFP的执行。不过，BIOS不包括任何允许其验证操作系统或OFP的内容的指令。因此，如果操作系统、OFP或者任何其他应用程序毁坏，可能危及特定系统的操作，或者其根本不运行。

在航空器航空电子设备的例子中，从BIOS或引导ROM执行OFP期间的问题，是错误的移去和替换行为的原因。例如，如果设备不恰当执行OFP，航空电子设备被移去和替换，移去的设备被送入维护仓库。常常，所述移去设备的问题不能被复制或者其确定OFP毁坏。因此，修理包括OFP重新加载、重新测试以及重新投入使用。

发明内容

根据本发明的一方面，其提供在用于程序执行的数据加载之前，用于验证定义可执行程序的数据的方法。该方法包括，为在主数据存储区内的数据计算验证数值，该数据定义可执行程序，比较计算的验证数值与存储的数值，如果验证数值匹配于存储的数值则执行在主数据存储区内的程序，为定义可执行程序的在第二数据存储区内的数据计算验证数值，该可执行程序与在主数据存储区内的可执行程序相同。如果验证数值和存储的数值不匹配，比较在第二数据存储区内数据的计算的验证数值和存储的数值，如果在第二数据存储区内数据的验证数值和存储的数值匹配，使该程序执行，如果在第二数据存储区内数据的验证数值和存储的数值不匹配，指示失败。优选地，该方法进一步包括对于包含定义相同可执行程序的数据的每个数据存储区的重复步骤d）、e）以及f）。优选地，该方法进一步包括如果第二数据存储区的计算的验证数值和存储的数值匹配，则将在第二存储区内的数据复制到主存储区。有利地，该方法可以包括计算用于航空器航空电子设备的操作飞行程序的校验和。有利地，该方法可以包括执行在引导ROM设备内的指令，以计算定义可执行程序的数据的校验和。有利地，该方法可以包括比较计算的验证数值和存储在与基本输入/输出系统相关联的内存中的数值。