背景：近年来，人们日渐意识到对软件系统安全部件形式纠错的重要性。这一领域正率先采用形式方法确认实系统。与此同时，编译器优化以及现代中央处理器（CPU）体系结构的重要性也逐渐显现。这导致了优化编码的有效性不甚明朗。就是在关键性安全系统中使用标准和规章来量化编译器的原因。在其它情况下，也需要使用耗时的人工手段来检测译码。

        新发明：MCVT，机器代码纠错工具，一种可对优化编译器进行自动校码的设备。该设备能接受到编译器生成的同步源程序及相应的目标程序，并能确保目标程序是源程序的正确译码。目前支持的编译器为PowerPC类处理器中的WindRiver DiabData编译器。该设备在现有的方法及手段基础上采用了新的运算法则和试探方法，这确保了对工业化同步程序的自动校码。

        应用领域：同步语言在一些嵌入式系统行业应用很广，像航空和汽车行业。这些领域问题主要集中在安全关键系统。该设备可节约安全关键软件的人工校码时间。且无须使用经鉴定的编译器，就可使软件开发者用到最新的编译器。

成果来源：以色列

合作意向：双方协商

联系方式：

单位名称：福建省人事厅

联 系 人：陈国华

联系电话：0591-87833950、13960836318