×

适用于飞行数据采集装置的改进和验证。 (英语) Zbl 1012.68828号

Brim,Luboš(编辑)等人,CONCUR 2002-并发理论。第十三届国际会议,2002年8月20日至23日,捷克共和国布尔诺。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2421, 1-23 (2002).
摘要:为了优化维护和提高安全性,荷兰皇家海军开始为其Lynx直升机开发多通道机载数据采集系统。该AIDA(自动飞行数据采集)系统记录主旋翼、发动机和机身的使用和载荷数据。我们将精化与模型检查相结合,从功能需求开始,得出了AIDA系统的正式验证原型实现。
关于整个系列,请参见[Zbl 0997.00031号].

MSC公司:

68单位99 计算方法和应用
60年第68季度 规范和验证(程序逻辑、模型检查等)
PDF格式BibTeX公司 XML格式引用
全文: 链接