• Home
  • Search
  • Refinement and Verification Applied to an In-Flight Data Acquisition Unit*
  • Cite Icon5
  • https://doi.org/10.1007/3-540-45694-5_1Copy DOI Icon

Refinement and Verification Applied to an In-Flight Data Acquisition Unit*

  • Jan 1, 2002
  • Wan Fokkink +5 more
Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

In order to optimise maintenance and increase safety, the Royal Netherlands Navy initiated the development of a multi-channel on-board data acquisition system for its Lynx helicopters. This AIDA (Automatic In-flight Data Acquisition) system records usage and loads data on main rotor, engines and airframe. We used refinement in combination with model checking to arrive at a formally verified prototype implementation of the AIDA system, starting from the functional requirements.

Similar Papers
  • Conference Article
  • Citations1

System Design of a Multichannel Automatic Test and Data Acquisition System for Digital Phased Array Antennas

  • Dec 01, 2019
  • Ruixuan Yang +4
  • Conference Article
  • Citations2

Design of multi-channel data acquisition and transmission system

  • Jul 08, 2022
  • Jian Lu +2
  • Research Article

Design of Multi-Channel Data Acquisition System Based on PXI 6281

  • Oct 01, 2010
  • Applied Mechanics and Materials
  • Feng Huang +1
  • PDF
  • Research Article

Special software design for data acquisition and experi-mental database management of electromagnetic launch system

  • Apr 01, 2020
  • Journal of Physics: Conference Series
  • H Tian +6
  • Conference Article
  • Citations2

MYOS: an efficient multichannel EMG data acquisition and analysis system

  • Sep 17, 2003
  • I.K Kitsas +3
  • Conference Article
  • Citations6

Design of Tomato Color Sorting Multi-channel Real-Time Data Acquisition and Processing System Based on FPGA

  • Dec 01, 2010
  • Zhang Ruoyu +2
  • Research Article
  • Citations1

Utility of Low-Cost Multichannel Data Acquisition System for Photoacoustic Computed Tomography

  • Apr 16, 2025
  • Photonics
  • Mohsin Zafar +3
  • Book Chapter

The Development of the Virtual Data Acquisition and Analysis System

  • Jun 15, 2006
  • Xiumin Yang +4
  • Research Article
  • Citations3

Development of a Ubiquitous Industrial Data Acquisition System for Rotogravure Printing Press

  • Nov 01, 2011
  • Journal of Networks
  • Yuhuang Zheng
  • Research Article
  • Citations4

Multi-channel data compression

  • Sep 01, 2008
  • IEEE Aerospace and Electronic Systems Magazine
  • Yongfeng Ron +3
  • Conference Article
  • Citations1

Uncertainty Issues in Multi-Channel Data Acquisition Systems

  • May 01, 2020
  • Alessio Carullo +3
  • Research Article
  • Citations9

Design and characterization of Kerberos: a 48-channel analog pulse processing and data acquisition platform

  • Jul 01, 2021
  • Journal of Instrumentation
  • P King +11
  • Research Article
  • Citations2

Modular multi-channel data acquisition systems

  • Jun 01, 2008
  • Automatic Control and Computer Sciences
  • Y Artyukh +4
  • Research Article
  • Citations11

Study on the Force Model of Squeezed Branch Piles Based on Surface Potential Characteristics

  • Sep 01, 2023
  • Buildings
  • Siqing Zhang +4
  • Conference Article
  • Citations2

A Feasibility Study of Real-Time, High-Speed, Multi-Channel Wireless Data Acquisition and Control System using MQTT Protocol

  • Aug 17, 2023
  • G Sudhish Kumar +1
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.