达荷-索卡达飞机制造公司是位于法国的一架通用航空生产公司,主要生产往复式发动机以及涡桨动力的螺旋桨飞机,包括公务机,小型私人飞机以及教练机。同时也为空客、达索、巴西航空工业公司、空中客车直升机公司以及洛克希德·马丁等公司制造零部件。
Lustre是形式化方法的、声明式编程和同步式编程的数据流程编程语言,用于响应式系统编程。它在1980年代前期成为了研究项目,受到过Lucid语言的影响。这个语言的形式表述可以在1991年的《Proceedings of the IEEE》找到。在1993年,它发展进入实际的商业和工业使用,成为一个商业产品,它是爱斯特尔技术公司开发的工业环境SCADE的核心语言。它被用于在空中客车、空中客车直升机公司和核电厂的关键控制软件中。