Institution
Altran
Company•Neuilly-sur-Seine, France•
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.
Topics: Software development, Formal verification, Domain-specific language, Computer science, Convection
Papers published on a yearly basis
Papers
More filters
••
01 Jul 2018TL;DR: This paper revise the current state of the art of wireless technologies as: LTE, LTE-A Pro, IEEE802.11p and 5G, as well as optical fiber access technologies for the different communications requirements in diverse scenarios as: Vehicle-to-Infrastructure (V2I), Vehicle- to-Vehicle (V 2V), Vehicle -to-Pedestrian ( V2P) and Vehicle-To-Network (V1N).
Abstract: Future autonomous vehicle will require a high level of computation, communication, sensing and fast response actuation. Communication among vehicles, and vehicles to infrastructure, accessing to remote systems and services will help to reduce other requirements in computation and sensing. This paper revise current state of the art of wireless technologies as: LTE, LTE-A Pro, IEEE802.11p and 5G, as well as optical fiber access technologies as: TDM, WDM, D-WDM and uD-WDM, for the different communications requirements in diverse scenarios as: Vehicle-to-Infrastructure (V2I), Vehicle-to-Vehicle (V2V), Vehicle-to-Pedestrian (V2P) and Vehicle-to-Network (V2N).
5 citations
••
01 Jul 2016TL;DR: This paper presents in this paper an ongoing work that aims at developing a graphical representation of FORM-L to facilitate the understanding of models, in particular by persons not familiar with Form-L.
Abstract: Requirements engineering is a most critical activity in the engineering process of complex cyber-physical systems. To avoid the ambiguity of natural or semi-formal languages, to provide tool support for engineering activities all along a system lifecycle (from scoping studies to system operation, maintenance), EDF has developed FORM-L, a formal constraints-based language for the modelling of assumptions, requirements, preliminary designs. This language can be interfaced with detailed design languages such as Modelica. We present in this paper an ongoing work that aims at developing a graphical representation of FORM-L. The main objective is to facilitate the understanding of models, in particular by persons not familiar with FORM-L.
5 citations
••
5 citations
••
TL;DR: In this article, the authors discuss the issues in defining sustainability metrics and propose some methodologies and a system of indicators to assess the sustainability of a PV module, including recyclability, viability of PV industry, equilibrium along the value chain or social acceptability.
Abstract: In the context of a rapidly growing energy demand and concerns about global climate change, renewable energies and in particular photovoltaic (PV) power are considered long-term solutions towards secured energy supply and for the reduction of greenhouse gas emissions. However, is solar PV a truly sustainable solution? Climate change will certainly not be the only environmental issue we will have to deal with. Regarding the issue of mineral resources, current research efforts aim at reducing raw material consumption in the manufacturing of PV panels. But, how do we assess the environmental efficiency of a panel, especially concerning the raw material consumption? Moreover, the PV industry consumes raw materials which are principally produced in non-EU countries such as Cadmium (Cd), Gallium (Ga) and Indium (In). How do we consider the issue of critical substance and accessibility? Required materials for PV modules may also be used in other applications (for example Gallium and Indium in electrical appliance production). Should competitiveness between applications be taken into account in a sustainability assessment? Are we going to valorize the PV module ability to use substitute substances? In addition to responsible resource management indicators, many other aspects have to be taken into account in order to achieve a complete sustainability assessment, especially recyclability, viability of PV industry, equilibrium along the value chain or social indicators such as social acceptability... Designing sustainability metrics is a new and complex research field. The whole value chain has to be evaluated and all dimensions (environmental, economic, and social) need to be explored. The paper will discuss the issues in defining sustainability metrics and propose some methodologies and a system of indicators to lassess the sustainability of a PV module.
5 citations
••
10 Jul 2018TL;DR: Ray-tracing data from the 3MI optical model were used to evaluate the performance of the correction algorithm, including the contribution of Spatial Point Source Transmittance maps interpolation and acquisition errors.
Abstract: The MetOp-SG 3MI mission is part of the EUMETSAT Polar System Second Generation (EPS-SG), an Earth observation Program for Operational Meteorology from Low Earth Orbit. It consists of two multi-spectral cameras, one operating in VNIR and one in SWIR. With 13 spectral channels between 410nm and 2130nm, including polarized channels, the instrument covers a semi-field of view of 57°. Due to tight stray-light specifications, on-ground calibration and post-processing correction are required. This paper covers the stray-light correction and calibration methods. The correction is indeed based on the on-ground measurement of Spatial Point Source Transmittance (SPST) maps. Due to the limited amount of maps which can actually be calibrated within a reasonable amount of time, an interpolation method was developed to deduce the stray-light behavior in the whole field of view of the instrument. Furthermore, dynamic range decomposition was required during the acquisition of the maps to get a high signal to noise ratio. Ray-tracing data from the 3MI optical model were used to evaluate the performance of the correction algorithm, including the contribution of SPST maps interpolation and acquisition errors.
5 citations
Authors
Showing all 489 results
Name | H-index | Papers | Citations |
---|---|---|---|
Khellil Sefiane | 52 | 292 | 8195 |
Jose L. Salmeron | 30 | 84 | 3207 |
Catherine Azzaro-Pantel | 28 | 168 | 2401 |
Ivan Kurtev | 25 | 53 | 4954 |
Jan Olaf Blech | 20 | 131 | 1134 |
Jacopo Belfi | 20 | 76 | 1045 |
Laura Rossi | 18 | 42 | 1498 |
M. Klein-Wolt | 18 | 30 | 1601 |
Hao Lu | 18 | 73 | 1019 |
Xiaoye Han | 17 | 61 | 883 |
Ivan Miguel Pires | 16 | 103 | 789 |
Luis A. S. de A. Prado | 13 | 17 | 678 |
Patricia Zunino | 11 | 24 | 716 |
Jon Arrospide | 11 | 19 | 481 |
Roderick Chapman | 11 | 18 | 651 |