Sensors for in-flight lightning detection on aircrafts

In the EU FP6 project ILDAS a prototype In-flight Lightning Damage Assessment System is developed for passenger aircraft and helicopter. The project aims to localize the attachment and the severity of the strokes during flight to assist maintenance. A database of events will be constructed to substantiate requirements for aircraft lightning immunity. Inductive magnetic field sensors are put at various positions on the aircraft. The sensors are followed by passive/active integrators to deal with the large dynamic range and bandwidth, and by high speed data conversion/storage. The paper focuses on design and tests of three types of sensors

Design of sensors for in-flight lightning detection on aircrafts

In the EU FP6 project ILDAS a prototype In-flight Lightning Damage Assessment System is developed for passenger aircraft and helicopter. The project aims to localize the attachment and the severity of the strokes during flight to assist maintenance. A database of events will be constructed to substantiate requirements for aircraft lightning immunity. Inductive magnetic field sensors are put at various positions on the aircraft. The sensors are followed by passive/active integrators to deal with the large dynamic range and bandwidth, and by high speed data conversion/storage. The paper focuses on design and tests of three types of sensor

Sensors for lightning measurements on aircraft

Lightning strikes a commercial airliner on the average once a year. The European project ldquoIn-flight Lightning Strike Damage Assessment System (ILDAS)rdquo [1] aims to develop and validate a prototype of a system capable to 1) reconstruct the current intensity and wave form, 2) determine of the region of impact on the aircraft, 3) build a maintenance database. Suitable sensors rely on determination of the magnetic field during a strike. Probes considered are inductive coils and solid state sensors, combined in such a way that these cover the full dynamic range in amplitudes (1 A/m up to 40 kA/m) and the full bandwidth (approx. 1 Hz up to 20 MHz). External sensors should be avoided if possible

Mutation Testing as a Safety Net for Test Code Refactoring

Refactoring is an activity that improves the internal structure of the code without altering its external behavior. When performed on the production code, the tests can be used to verify that the external behavior of the production code is preserved. However, when the refactoring is performed on test code, there is no safety net that assures that the external behavior of the test code is preserved. In this paper, we propose to adopt mutation testing as a means to verify if the behavior of the test code is preserved after refactoring. Moreover, we also show how this approach can be used to identify the part of the test code which is improperly refactored

Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models

A formal definition of the semantics of a domain-specific language (DSL) is a key prerequisite for the verification of the correctness of models specified using such a DSL and of transformations applied to these models. For this reason, we implemented a prototype of the semantics of a DSL for the specification of systems consisting of concurrent, communicating objects. Using this prototype, models specified in the DSL can be transformed to labeled transition systems (LTS). This approach of transforming models to LTSs allows us to apply existing tools for visualization and verification to models with little or no further effort. The prototype is implemented using the ASF+SDF Meta-Environment, an IDE for the algebraic specification language ASF+SDF, which offers efficient execution of the transformation as well as the ability to read models and produce LTSs without any additional pre or post processing.Comment: In Proceedings AMMSE 2011, arXiv:1106.596

Validation of thoracic aortic dimensions on ECG-triggered SSFP as alternative to contrast-enhanced MRA

Objectives: Assessment of thoracic aortic dimensions with non-ECG-triggered contrast-enhanced magnetic resonance angiography (CE-MRA) is accompanied with motion artefacts and requires gadolinium. To avoid both motion artefacts and gadolinium administration, we evaluated the similarity and reproducibility of dimensions measured on ECG-triggered, balanced steady-state free precession (SSFP) MRA as alternative to CE-MRA. Methods: All patients, with varying medical conditions, referred for thoracic aortic examination between September 2016 and March 2018, who underwent non-ECG-triggered CE-MRA and SSFP-MRA (1.5 T) were retrospectively included (n = 30). Aortic dimensions were measured after double-oblique multiplanar reconstruction by two observers at nine landmarks predefined by literature guidelines. Image quality was scored at the sinus of Valsalva, mid-ascending aorta and mid-descending aorta by semi-automatically assessing the vessel sharpness. Results: Aortic dimensions showed high agreement between non-ECG-triggered CE-MRA and SSFP-MRA (r = 0.99, p < 0.05) without overestimation or underestimation of aortic dimensions in SSFP-MRA (mean difference, 0.1 mm; limits of agreement, − 1.9 mm and 1.9 mm). Intra- and inter-observer variabilities were significantly smaller with SSFP-MRA for the sinus of Valsalva and sinotubular junction. Image quality of the sinus of Valsalva was significantly better with SSFP-MRA, as fewer images were of impaired quality (3/30) than in CE-MRA (21/30). Reproducibility of dimensions was significantly better in images scored as good quality compared to impaired quality in both sequences. Conclusions: Thoracic aortic dimensions measured on SSFP-MRA and non-ECG-triggered CE-MRA were similar. As expected, SSFP-MRA showed better reproducibility close to the aortic root because of lesser motion artefacts, making it a feasible non-contrast imaging alternative. Key Points: • SSFP-MRA provides similar dimensions as non-ECG-triggered CE-MRA. • Intra- and inter-observer reproducibilities improve for the sinus of Valsalva and sinotubular junction with SSFP-MRA. • ECG-triggered SSFP-MRA shows better image quality for landmarks close to the aortic root in the absence of cardiac motion