Proceedings of the International Micro Air Vehicles Conference and Flight Competition 2017 (IMAV 2017)

The IMAV 2017 conference has been held at ISAE-SUPAERO, Toulouse, France from Sept. 18 to Sept. 21, 2017. More than 250 participants coming from 30 different countries worldwide have presented their latest research activities in the field of drones. 38 papers have been presented during the conference including various topics such as Aerodynamics, Aeroacoustics, Propulsion, Autopilots, Sensors, Communication systems, Mission planning techniques, Artificial Intelligence, Human-machine cooperation as applied to drones

Description, Implementation and Evaluation of an Affinity Clause for Task Directives

International audienceOpenMP 4.0 introduced dependent tasks, which give the programmer a way to express fine grain parallelism. Using appropriate OS support (such as NUMA libraries), the runtime can rely on the information in the depend clause to dynamically map the tasks to the architecture topology. Controlling data locality is one of the key factors to reach a high level of performance when targeting NUMA architectures. On this topic, OpenMP does not provide a lot of flexibility to the programmer yet, which lets the runtime decide where a task should be executed. In this paper, we present a class of applications which would benefit from having such a control and flexibility over tasks and data placement. We also propose our own interpretation of the new affinity clause for the task directive, which is being discussed by the OpenMP Architecture Review Board. This clause enables the programmer to give hints to the runtime about tasks placement during the program execution, which can be used to control the data mapping on the architecture. In our proposal, the programmer can express affinity between a task and the following resources: a thread, a NUMA node, and a data. We then present an implementation of this proposal in the Clang-3.8 compiler, and an implementation of the corresponding extensions in our OpenMP runtime LIBKOMP. Finally , we present a preliminary evaluation of this work running two task-based OpenMP kernels on a 192-core NUMA architecture, that shows noticeable improvements both in terms of performance and scalability

Description, Implementation and Evaluation of an Affinity Clause for Task Directives

International audienceOpenMP 4.0 introduced dependent tasks, which give the programmer a way to express fine grain parallelism. Using appropriate OS support (such as NUMA libraries), the runtime can rely on the information in the depend clause to dynamically map the tasks to the architecture topology. Controlling data locality is one of the key factors to reach a high level of performance when targeting NUMA architectures. On this topic, OpenMP does not provide a lot of flexibility to the programmer yet, which lets the runtime decide where a task should be executed. In this paper, we present a class of applications which would benefit from having such a control and flexibility over tasks and data placement. We also propose our own interpretation of the new affinity clause for the task directive, which is being discussed by the OpenMP Architecture Review Board. This clause enables the programmer to give hints to the runtime about tasks placement during the program execution, which can be used to control the data mapping on the architecture. In our proposal, the programmer can express affinity between a task and the following resources: a thread, a NUMA node, and a data. We then present an implementation of this proposal in the Clang-3.8 compiler, and an implementation of the corresponding extensions in our OpenMP runtime LIBKOMP. Finally , we present a preliminary evaluation of this work running two task-based OpenMP kernels on a 192-core NUMA architecture, that shows noticeable improvements both in terms of performance and scalability

Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software

The SPaCIFY project, which aims at bringing advances in MDE to the satellite flight software industry, advocates a top-down approach built on a domain-specific modeling language named Synoptic. In line with previous approaches to real-time modeling such as Statecharts and Simulink, Synoptic features hierarchical decomposition of application and control modules in synchronous block diagrams and state machines. Its semantics is described in the polychronous model of computation, which is that of the synchronous language Signal.Comment: Workshop on Formal Methods for Aerospace (FMA 2009

A new energy detector of micro-emboli using a time-varying threshold

International audienceDetection of small emboli, precursors of Cerebrovascular Accidents, is a worldwide concern since CVAs represent the second cause of mortality in the world. Computerized analysis of Transcranial Doppler signals can aid early detection of circulating emboli and micro-emboli. Commercially used systems of automatic emboli detection rely on standard short time Fourier transform techniques in which detection is based on constant thresholds. These standard algorithms do not offer robust detections and are incapable of detecting the smallest micro-emboli. To enhance this detection, we propose in this study optimized techniques based on novel methods of threshold application. By implementing our new time-varying threshold of detection, we were able to decrease the probability of non-detection and the probability of false alarm by around half the values obtained by standard techniques. Moreover, our new techniques were clearly efficient in exploiting the transient-like embolic signals and hence make detection of micro-emboli easier and more evident. This was proved by enhancing important parameters of which are the embolus to blood ratio and the peak to threshold ratio. Applied on our set of recorded signals, the new detectors allowed obtaining embolus to blood ratios twice greater than the embolus to blood ratios achieved by standard techniques and a sufficient increase in peak to threshold ratios

Editorial IJMAV: Special issue IMAV 2017

IMAV 2017 has gathered more than 280 participants from 30 different countries including Asia, North, Central and South America, Europe, and Australia. The special issue IMAV 2017 includes a selection of the best papers nominated for the "Best Paper Award"

A new flexible Checkpoint/Restart model

The utilization of new generation computing platforms like computational grids or desktop grids introduces new challenging problems. In particular, due to the huge number of the involved processors, security and fault-tolerance aspects are key issues that must be taken into account. Coordinated checkpointing is one of the most popular technique to deal with failures in such platforms. The approach of application-directed checkpointing in fault-tolerance puts an incredible strain on the storage system and the communications. This results in large overheads on the execution times of applications that severely impact the performance and the scalability. This work presents a new model of coordinated checkpoint/restart mechanism for several types of computing platforms. Its main feature is that it is independent from the failure law which makes it very flexible. We will show that such a model may be used to determine the optimal periodic checkpoint interval and to reduce the checkpoint overhead through mathematical analysis of reliability. Moreover, unlike most of the existing checkpointing models, the proposed model is able to take into account a variable checkpoint cost. Finally, we report some experiments based on simulations for random failure distributions corresponding to the two most popular laws, namely, the Poisson's process and Weibull's law

A Micro-Embolic Energy Detector based on Sub-band Decomposition

International audienceCerebrovascular Accidents can be caused by cerebral emboli blocking brain blood vessels. Analysis of transcranial Doppler signals practically aids the detection of emboli. Signal processing methods have been proposed for emboli detection. In this study, we introduce a new micro-embolic energy detector composed of N detectors associated to N Doppler frequency sub-bands. To test our detectors, we propose a training phase during which we adjust the optimal number of sub-bands and detection thresholds and a testing phase through which we measure performances. Using real signals, we show that in terms of the number of sub-bands, 4 sub-bands provide the highest detection rate and lowest false alarm. Moreover, compared to standard detectors, the 4 sub-band energy detector reduces the false alarm rate from 44% to 36%, increases the detection rate from 66% to 79% and augments the Embolus to Blood Ratio from 24 dB to 40 dB. This new energy detector permits detecting smallest micro-emboli, precursors of coming large emboli with high stroke risks