里也设有与Ada语言相关的项目。
    Ada语言由PASCAL，以及其它编程语言扩展而成，主要针对的应用领域为嵌入式和实时系统设计。
    因此，Ada语言的重要特征就是嵌入式风格、模块化设计、编译检查、平行处理、异常处理及泛型编程。
    尤其Ada语言的编译检查，对诸如航空电子、航天飞行器、武器等等的操作系统，有着重要的执行代码安全保障意义，这也正是美国国防部所需要的。
    此类技术，或许过于抽象，但稍有差错，就往往意味着重大的损失。
    比如原本时空里1996年6月初，欧洲空间局的阿丽亚娜5型运载火箭的第一次发射，仅仅37秒，便偏离预定飞行路径，解体并爆炸，以失败收场。
    要知道，光是火箭上搭载的那颗通信卫星，就价值5亿美元。
    最后的事故调查结论为：控制惯性导航系统的计算机，向控制引擎喷嘴的计算机，发送了一个无效数据，其由一个64位浮点数转换成16位有符号整数时产生的溢出所导致，而Ada语言在编译过程中并没有检查到这个执行代码安全问题。
    目前，Intel iAPX 432项目就在Ada语言编译器的研发上，遇到了
 <本章未完请点击"下一页"继续观看!>