Wan Fokkink公司;娜塔莉亚·尤斯蒂诺娃;恩斯特·凯塞勒;范德波尔(Jaco van de Pol);亚罗斯拉夫·乌森科。;Yuri A.Yushtein。 适用于飞行数据采集装置的改进和验证。 (英语) Zbl 1012.68828号 Brim,Luboš(编辑)等人,CONCUR 2002-并发理论。第十三届国际会议,2002年8月20日至23日,捷克共和国布尔诺。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2421, 1-23 (2002). 摘要:为了优化维护和提高安全性,荷兰皇家海军开始为其Lynx直升机开发多通道机载数据采集系统。该AIDA(自动飞行数据采集)系统记录主旋翼、发动机和机身的使用和载荷数据。我们将精化与模型检查相结合,从功能需求开始,得出了AIDA系统的正式验证原型实现。关于整个系列,请参见[Zbl 0997.00031号]. 引用于1文件 MSC公司: 68单位99 计算方法和应用 60年第68季度 规范和验证(程序逻辑、模型检查等) 软件:美国铝业公司;自旋蛋白 PDF格式BibTeX公司 XML格式引用 \textit{W.Fokkink}等人,Lect。注释计算。科学。2421,1--23(2002;Zbl 1012.68828) 全文: 链接