Altran

About: Altran is a company organization based out in Neuilly-sur-Seine, France. It is known for research contribution in the topics: Software development & Formal verification. The organization has 488 authors who have published 512 publications receiving 6395 citations.

Computation of false echo zones and shadowingg for aeronautical and weather radars

Abstract: This paper presents approximate analytical formulas for the computation of two important effects of large objects like wind turbines, buildings, high voltage lines, transmitters and cranes on radar systems.

A novel technology for thermal control for ISP module for space applications

Abstract: Thermal control is one of the most important themes in space package technology such as Integrated Sub-system Package technology. At present the technical solutions reducing heat stagnation are thermal dissipation and thermal cooling. In this paper a novel approach to increase thermal dissipation, based on the use of the pyroelectric materials, is proposed. The pyroelectric materials are able to convert the thermal energy into electric energy spontaneously. This characteristic is employed to increase thermal flux inside the microelectronic units and to reduce the thermal overstocking. In order to evaluate the temperature distribution inside the component a numerical evaluation of the transient thermal problem inside a multi-layered wall electronic device is performed and a preliminary design of an adaptive dissipation device based on pyroelectric material is presented.

AlloyInEcore: embedding of first-order relational logic into meta-object facility for automated model reasoning

Abstract: We present AlloyInEcore, a tool for specifying metamodels with their static semantics to facilitate automated, formal reasoning on models. Software development projects require that software systems be specified in various models (e.g., requirements models, architecture models, test models, and source code). It is crucial to reason about those models to ensure the correct and complete system specifications. AlloyInEcore~allows the user to specify metamodels with their static semantics, while, using the semantics, it automatically detects inconsistent models, and completes partial models. It has been evaluated on three industrial case studies in the automotive domain (https://modelwriter.github.io/AlloyInEcore/).

Efficient interlayer network codes for fair layered multicast streaming

Abstract: Multilayer video streaming allows to provide different video qualities to a group of multicast receivers with heterogeneous receive rates. The number of layers received (and thus the receive rate) determines the quality of the decoded video stream. For such layered multicast streaming, network coding provides higher capacity than multicast routing. Network coding can be performed within a layer or across layers, and in general, interlayer coding outperforms intralayer coding. An optimal solution to a network-coded layered multicast problem may require decoding of the network code at interior nodes to extract information to be forwarded. However, decoding consumes resources and introduces delay, which is particularly undesirable at interior nodes (the routers) of the network. In this paper, we thus focus on the interlayer network coding problem without decoding at interior nodes. We show that the problem is NP-hard and propose a heuristic algorithm for rate allocation and coding based on the Edmonds--Karp maximum flow algorithm. We prove that our algorithm ensures decodability of the information received and provides some fairness properties. Finally, we perform extensive simulations and show that our algorithm may even outperform other heuristics that do require decoding at interior nodes.