Systems Design and Development Tools Working Group - Systematic

Systems Design and 

Development Tools Working Group 

Gérard POIRIER, 

WG President 

gerard.poirier@dassault-aviation.com 

DASSAULT AVIATION 

“The objective of our Working Group is to provide digital tools, 

methods and building blocks to design, develop, operate and 

maintain complex systems. We focus on three technical axes 

which all benefit from the advances in computing and communication 

technologies, including High Performance Computing: 

• Simulation for multidisciplinary optimization while mitigating 

development risks and managing uncertainties. 

• Embedded systems engineering satisfying customer needs at 

lower cost, while addressing the challenges of communicating 

embedded systems (more heterogeneous, interconnected, and 

distributed). 

• Data analytics to face up to challenges linked to “Big Data”, and 

including processing, extractions, analysis and decision support. 

These tools, methods and building blocks address the needs of 

several industrial markets such as aerospace, automotive and 

transport, energy, telecom, digital trust and security as well as 

smart energy management and health. More than 234 partners 

are gathered working on an “Open Innovation” way. Among these 

partners, the WG counts 123 SMEs.” 

184

A MAJOR CHALLENGE: INDUSTRIAL PRODUCTIVITY 

The aim is to develop digital tools and methods which 

will help to design, develop, manufacture and maintain 

physical objects or software, embedded systems, better, 

faster and cheaper than today. 

It is remarkable that the leading European players in 

this field are located in the Paris region. 

THE SYSTEMS DESIGN AND DEVELOPMENT TOOLS WORKING GROUP 

WITHIN SYSTEMATIC 

◗ R&D financed Projects: 140 

◗ Partners: 234 including: 

• 123 SMEs 

• 9 Enterprises of Intermediate Size 

• 56 Large Companies 

• 46 Research institutes and universities 

◗ Total investment: 798 M2 

The working group aims at exploiting the advances in 

computing technologies along different axes, 

encompassing modelling of physical or information 

systems, simulation, communicating embedded 

systems and software dependent systems engineering, 

data analytics. Examples technical priorities for 

Systems Design and Development Tools Working Group 

include: 

◗ In the area of simulation, and physical systems 

modelling: Calculation up to PetaFlops and PetaBytes 

wide (HPC); Simulation of production process and 

factories optimization; Complex system design 

exploration and optimization; Advanced Manufacturing. 

◗ In the area of communicating embedded systems, and 

information systems modelling: Engineering of 

complex, software dependent systems; Design of critical 

software systems and critical embedded systems; Test, 

verification, validation and certification tools; Complex 

system design exploration and optimization. 

◗ In the area of data analytics: Data fusion, Knowledge 

management, and Decision support systems; 

Information processing and analysis in large or complex 

systems. 

The working group actively develops synergies with 

other national clusters, and contributes to major 

European initiatives. Actions include: 

• Development of synergies between key players 

Aerospace Valley, Minalogic, ASTech, MOV’EO… 

• Development of software tools for the platform 

ecodesign of the Clean Sky JT. 

• Contribution to European research agendas 

(leveraging on Artemis, ITEA, Eicose, towards the 

Horizon 2020 and ITEA3 programmes) and support 

to members for the participation in large research 

projects. 

Pierre LECA, 

WG Vice-President 

pierre.leca@cea.fr 

CEA 

Chahinez HAMLAOUI, 

Representative of Permanent Secretariat 

c.hamlaoui@systematic-paris-region.org 

SYSTEMATIC 

Steering Committee Members 

ADACORE Cyrille COMAR comar@adacore.com 

CEA Pierre LECA pierre.leca@cea.fr 

CONSULTANT Philippe PASQUET ph.pasquet@gmail.com 

CS Michel NAKHLE michel.nakhle@c-s.fr 

DASSAULT AVIATION Gerard POIRIER gerard.poirier@dassault-aviation.com 

DISTENE Laurent ANNE laurent.anne@distene.com 

EADS ASTRIUM Denis CLERC denis.clerc@astrium.eads.net 

EDF R&D CLAMART Ange CARUSO ange.caruso@edf.fr 

ENGINSOFT Marie-Christine OGHLY m.oghly@enginsoft.com 

INRIA ROCQUENCOURT Yves SOREL yves.sorel@inria.fr 

IRT SYSTEMX Paul LABROGERE paul.labrogere@irt-systemx.fr 

RENAULT Jean-Marc CREPEL jean-marc.crepel@renault.com 

SCILAB Christian SAGUEZ christian.saguez@orange.fr 

SILKAN Jacques DUYSENS jacques.duysens@silkan.com 

SILKAN Philippe RAVIER philippe.ravier@silkan.com 

SPRING TECHNOLOGIES Gilles BATTIER gbattier@springplm.com 

THALES RESEARCH AND TECHNOLOGY Gerard CRISTAU gerard.cristau@thalesgroup.com 

UNIVERSITE DE TECHNOLOGIE DE COMPIEGNE Benoît EYNARD benoit.eynard@utc.fr 

Systems Design and Development Tools WG 

185

Modelling systems simulation 

ADN 

Alliance des Données Numériques 

ON GOING 

PROJECT 

Simulation has, today, a crucial place throughout the development cycle of a product 

especially in the preliminary phases of design cycle. The need of structuration, 

collaboration and coherence of knowledge used in numerical models is essential. It is 

in this context that ADN project was born. The cornerstone of differents management 

systems for products, knowledge and simulation data, the ADN project will deliver a 

generic collaboratif software environment as support of a methodology based on a trade 

knowledge in order to share organised dynamic technical data, between various design 

models and simulation models of a system. 

CONTACT 

Patrick GRIMBERG 

DPS - DIGITAL PRODUCT 

SIMULATION 

+33 (0)1 30 08 22 80 

patrick.grimberg@dps-fr.com 

TECHNOLOGICAL OR SCIENTIFIC INNOVATIONS 

◗ Dynamic management of groups of parameters: aiming at delivering a tool able of 

managing thousands of interdependent parameters according to configurations 

◗ Definition and management of multiple rendering parameters 

◗ Propagation of constraints between parameters: non-bijective rules can be reversed 

with no rework by the users of 

the ADN tool 

◗ Extraction of knowledge afterwards: 

setting rules from a database 

which may include missing 

spaces in the design areas 

◗ Methodologies related to ADN: 

Project deliverable is a tool as 

well as a methodology incorporating 

multiple user processes 

◗ Knowledge lifecycle management 

◗ Advanced search engine for computing 

results in the knowledge 

database using data settings: 

to avoid multiple computing 

when working with case based 

reasoning 

STATUS - MAIN PROJECT OUTCOMES 

The project officially started on March, 8th 2010. 

PARTNERS 

Large companies: 

EADS, FAURECIA, PSA 

PEUGEOT CITROEN 

SMEs: 

DELTACAD, DPS, EIRIS, 

SOYATEC 

Research institutes, universities: 

ARTS, UTBM, UTC 

PROJECT DATA 

Coordinator: 

DPS - DIGITAL PRODUCT 

SIMULATION 

Co-label: 

VEHICULE DU FUTUR, 

I-TRANS 

Call: 

FUI9 

Start date: 

March 2010 

Duration: 

36 months 

Global budget (M2): 

5.4 

Funding (M2): 

2.4 

Related Systematic project(s): 

CSDL 

186 

Systems Design and Development Tools WG

Software engineering 

Simulateur 

en Réalité Virtuelle pour 

l'accessibilité des Bâtiments 

ON GOING 

PROJECT 

The goal of this project is to propose a Virtual Reality Simulator to work on the 

accessibility of buildings and urban environnements. 

The tool will allow the user to simulate wheelchair movement around the premises, 

and therefore test and demonstrate its accessibility to people with restricted mobility 

(people in wheelchairs, senior citizens, pushchairs). 

CONTACT 

Alain SCHMID 

EDF R&D 

+33 (0)1 47 65 44 07 

alain-cc.schmid@edf.fr 


◗ A Virtual Reality System to load 3D scenes and run scenariis. 

◗ A dynamic platform to interact with à wheelchair. 

◗ Integration of accessibility rules. 

◗ Realistic physic simulation of the wheelchair. 


◗ December 2010: first protoype of AccesSim and test dignostic on the renovation of a 

school building. 

◗ Avril 2011: first prototype with dynamic platforme for Laval Virtual. 

PARTNERS 


CEA, EDF 

SMEs: 

CEREMH, HAPTION 


ARTS, LISV 

PROJECT DATA 

Coordinator: 

EDF R&D 

Co-label: 

MOV’EO 

Start date: 

February 2010 

Duration: 

36 months 


1.9 

Funding (M2): 

0.8 


187


ACOSE 

Atelier pour le CO-développement 

logiciel/matériel des Systèmes 

Embarqués 

ON GOING 

PROJECT 

The ACOSE project will develop a rigorous system development framework allowing 

the designed system to be represented at different levels of detail, from application 

software to its implementation on one or several platforms. ACOSE will address 

hardline issues such as complexity, separation of communication and computation, 

quality of service, correctness, model-based and component-based design, legacy 

integration, optimal power usage and industrial concerns such as integrated reporting. 

Such environment will allow SoC and system integrators putting in place a real strategy 

for product life cycle management. 

CONTACT 

Emmanuel VAUMORIN 

MAGILLEM 

+33 (0)1 40 21 35 50 

vaumorin@magillem.com 


The outcome of ACOSE will be an integrated HW/SW development flow based on the 

emerging IP-XACT standard (IEEE 1685-2009), that provides requirements management 

for product life cycle management and critical systems certification. Developed by 

a consortium sampling the whole value chain of complex embedded systems, the 

ACOSE Workshop will drive dramatic development costs reduction for embedded system 

while improving significantly quality and time-to-market for French leaders in key 

embedded industries. 


After 1 year, initial results are the following: 

◗ System engineering 

• System specification capture and management 

• Interfacing system design environment with requirement traceability tools 

• Multifaceted analysis environment and multi criteria decision assistance 

◗ Rigorous modelling tools for application and platforms 

• Ultra-fast sequential execution of parallel software cross-compiled on SMP nodes 

• Modelling low-power consumption control units and system level coherency 

• Abstract platform modelling 

◗ Flow management and tools 

• Flow description 

• Technics and methods for design space exploration and optimal portioning 

• System design tools prototype 

PARTNERS 

SMEs: 

CYBERIO, MAGILLEM 


CEA, TIMA, VERIMAG 

PROJECT DATA 

Coordinator: 

MAGILLEM 

Co-label: 

MINALOGIC 

Call: 

BGLE1 

Start date: 

December 2011 

Duration: 

36 months 


5.8 

Funding (M2): 

2.9 


AGESYS, EDONA, LAMBDA, 

PROTEUS, VERDE 

188 



ACTIVOPT 

ACTIVOPT 

COMPLETED 

PROJECT 

Optimization and robust design are now growing concerns in the industry. For many years, 

the research has focused on design optimization. Some bricks of software are resulting 

fruit of this research and are already used in some companies. But today, software 

solutions, key components in designing products, lack interoperability and integration of 

these optimization algorithms. Activopt is an opportunity to create and use a community 

of developers in this field that will propose and implement solutions to federate research. 

This is done preserving the knowledge and expertise on Paris region while enhancing 

these skills nationally and internationally.This project is also creating a brick that supports 

the use of results of projects already funded under the competitiveness cluster 

SYSTEMATIC, research agencies such as the ANR and association. 

PROGRESS BEYOND 

THE STATE OF THE ART 

Centrale research proposed new operational 

parameters to classify designs on 

the Pareto front. A first solution that consists 

in substituting Crowding distance by 

secondary distance is proposed. A subspace 

partitioning is also proposed to obtain 

a well spread Pareto front. 

New scripting capabilities have been integrated and now allows Eurodecision to fully integrate 

their optimisation algorithms mixing Design of experiments and response surface 

modeling techniques inside modeFRONTIER. 

MAJOR PROJECT OUTCOMES 

◗ Publications: 

• “A deterministic approach using game theory for multi-objective 

robust optimization , META'10. 

• “Particle Swarm Optimization Algorithm with Space Partitioning 

for Many-Objective Optimization”, META'10 

• “Optimisation de forme Fluide-Structure par un jeu de Nash” 

par Badr Abou El Madj, dans la 

revue “Arima”, Septembre 2010 * 

• Les apports du projet Activopt 

en optimisation multidisciplinaire 

Armelle Le Gall - Conférence des 

utilisateurs modeFRONTIER 2010 

◗ Product(s) or Service(s): 

3 New modeFRONTIER features: 

• Scilab application node since version 

4.2.0 

• Scilab scheduler bridge is avalaible 

since version 4.3.0 and now fully 

documented 

• Pam Crash node beta is available 

and under tests 

Eurodécision developed a topological 

optimisation algorithm with Scilab and integrated custom algorithms inside mode- 

FRONTIER from Electre / Alternova thanks to ModeFRONTIER's scheduler bridge. 

◗ Job creation: 5 

◗ Maintained jobs: 2 


CONTACT 

Marie-Christine OGHLY 

ENGINSOFT FRANCE 

+33 (0)1 41 22 99 30 

m.oghly@enginsoft.com 

PARTNERS 

SMEs: 

ENGINSOFT FRANCE, 

EURODECISION 


DIGITEO, ECOLE CENTRALE 

PARIS 

PROJECT DATA 

Coordinator: 

ENGINSOFT FRANCE 

Call: 

FEDER0 

Start date: 

January 2009 

Duration: 

24 months 


1.5 

Funding (M2): 

0.7 


CSDL 

189


Project also supported by Automative & Transports WG. 

Atelier de Développement 

et Noyau Pour Système Embarqué 

ON GOING 

PROJECT 

The software has become the engine of innovation for all embedded systems: it is a 

vital component of industrial competitiveness. It must now fullfil strong constraints 

regarding safety and time-to-market, unfortunatly these objectives is not achievable 

with current RTOSs. 

However, the RTOS PharOS, from CEA, has unique properties enabling a development 

that is both fast and safe by construction. Therefore the partners of ADN4SE project 

have decided to rely on the characteristics of PharOS technology in order to establish 

a top-down and seamless process, based on a continuous toolchain, matching their 

safety and time-to-market requirements . 

CONTACT 

Damien CHABROL 

KRONO-SAFE 

+33 (0)1 77 93 21 58 

damien.chabrol@krono-safe.com 


The results of ADN4SE project will enable to perform a top-down and seamless development 

of the sofware for various safety-related applications. This major improvement 

will help developers to reduce the time-to-market of the products while guaranteeing 

the respect of safety requirements. 


The outcomes of ADN4SE 

project are: 

◗ KRONO-DESIGN: graphical 

tool for timing design 

◗ KRONO-TEST: true realtime 

simulation tool 

◗ KRONO-SIZE: hybrid tool 

for WCET measurement 

◗ KRON-OS: real-time kernel 

formaly proven 

◗ Connection between MAT- 

LAB, ARTISAN, PLC and 

PharOS technology 

◗ E-STONE: multi-domain drivers optimized for KRON-OS 

◗ Use cases based on railway, automotive, robotics and lift applications 

PARTNERS 


ALSTOM TRANSPORT, DELPHI, 

SCHNEIDER ELECTRIC 

SMEs: 

ATEGO, BA SYSTEMES, 

ITRIS AS, KRONO-SAFE, OBEO, 

SHERPA ENGINEERING, 

SPRINTE, 


CEA, CETIM, INRIA, LCIS 

PROJECT DATA 

Coordinator: 

SHERPA ENGINEERING 

Co-label: 

MINALOGIC 

Call: 

BGLE1 

Start date: 

July 2012 

Duration: 

36 months 


13 

Funding (M2): 

5.9 


EDONA, FLEX-EWARE, 

O4A PHASE 2, PETRA, 

SCARLET 

190 



Atelier de Génie Système 

ON GOING 

PROJECT 

The objective of the AGeSys project is the development of a systems engineering 

workshop dedicated to embedded systems, for all industrial sectors without restriction. 

This workshop is made of open, integrated tools that allow a model based design of 

embedded systems and software, and coupled with multi-physics models. 

The objective is to allow an industrial process with a clean definition of the 

system/software/hardware steps. 


◗ Allow users from different domains to use system modelization technologies relying 

on open source COTS, based on the OMG standart SysML, and developed specifically 

to match the needs of embedded system designers. 

◗ Integration of complete, coherent and efficient tool chain that covers all activities of 

system engineering processes, including multi-physics modelling and simulation, 

software engineering, requirements management, data management, safety analysis, 

versions and variants management, documentation generation. 

◗ AGeSys encompasses not only technological innovations, but also a new economical 

model with a large part of open source components, and is validated by a large set of 

major french compagnies that covers strategic industrial domains aerospace, automotive 

and railway. 

CONTACT 

Eric BANTEGNIE 

ESTEREL TECHNOLOGIES 

+33 (0)1 30 68 61 70 

eric.bantegnie 

@esterel-technologies.com 

PARTNERS 


AIRBUS, ALSTOM, ATOS, 

CONTINENTAL, PSA, 

RENAULT, SAGEM, SNECMA, 

THALES, VALEO 

Intermediate size enterprises: 

LMS IMAGINE 

SMEs: 

ESTEREL TECHNOLOGIES, 

SCALEO CHIP, SCILAB 


CEA 


PROJECT DATA 

Coordinator: 


Co-label: 

AEROSPACE VALLEY 

Start date: 

January 2012 

Duration: 

36 months 


21.2 

Funding (M2): 

7.5 

◗ Development of 3 annual versions of the workshop at the end of each yearly period 

of the project. 

◗ Industrial use cases set up by aerospace, automotive and railway mayor players. 

◗ Dissemination by the french competitiveness poles that are partners of the project 

through the organization of annual “AGeSys Days”. 


191


AGREGATION 

Contrôle commande sûr 

pour les moyens d’essais 

ON GOING 

PROJECT 

The chain of aerospace subcontracting is reorganized around the the major actors who 

take the responsibility to provide systems incorporating multiple subcontractors to 

aircraft manufacturers. One such organization is conceived in a fashion design based 

on a complete model of aircraft components. If the major manufacturers have fully 

integrated the benefits to be derived from the model-based approach, the chain of 

subcontracting progressing too slowly in that direction. For several reasons: lack of 

financial resources, lack of trained staff, work habits, leaving the R & D at the client. The 

project AGREGATION positions on this issue to provide tools to demonstrate the good 

fit between the products developed and modeling. 

CONTACT 

Emmanuel SOHM 

SDI 

+33 (0)1 34 18 78 28 

emmanuel.sohm@sdi-tech.com 


The technological innovations are focused on three main subjects: 

◗ Parallelization of control command over a distributed heterogeneous architecture of 

computers connected by a deterministic synchronous network. 

◗ Coordination between a numerical modeling of phenomena and analog controls. 

◗ Integration of multiphysical models in mechatronic problems. 

The project is link to open source software. 


◗ The main project outcome is the PFCC (PlatForm for Control Command), which is integrated 

in the product line COBRA. 

◗ The COBRA product line allows to the aero suppliers to test the full compliance between 

specification and final product. 

PARTNERS 

SMEs: 

SCILAB ENTREPRISES, SDI, 

SILKAN, SILKAN RT 


ENSEA 

PROJECT DATA 

Coordinator: 

SDI 

Co-label: 

ASTECH 

Call: 

FUI10 

Start date: 

February 2011 

Duration: 

30 months 


1.9 

Funding (M2): 

0.9 


LAMBDA 

192 



AMELHYFLAM 

Improvement of industrial electrolytic 

processes for hydrogen, fluorine and 

aluminum by modeling 

of electrochemical phenomena 

and two-phase coupled hydrodynamics 

COMPLETED 

PROJECT 

The AMELHYFLAM project consists in developing a numerical model strongly coupling 

biphasic hydrodynamics and electrokinetic calculations in industrial electrolysers, 

taking into account the electrochemical phenomena present at the electrode interfaces 

/ bath and modeling the behavior of electrogenerated bubbles. This model is applied to 

aluminum production for the Rio Tinto group, to the synthesis of fluorine for the Areva 

group and for hydrogen production (hybrid electrochemical / thermal cycle - 

Westinghouse process) for CEA. The numerical model is build using two tools: Flux- 

Expert (Astek company), very well adapted for modeling of electrochemical phenomena, 

and Fluidyn MP (Fluidyn Transoft company), multi-physics and multi-methods code. 

CONTACT 

Hervé ROUSTAN 

ALUMINIUM PECHINEY 

(RIO TINTO GROUP) 

+33 (0)4 76 57 89 06 

herve.roustan@riotinto.com 

PROGRESS BEYOND THE STATE OF THE ART 

In industrial electrolyzers, gas evolution has 

a significant influence on power efficiency 

of the cell because bubbles creates an 

additional electrical resistance. Bubbles 

also tend to increase bath velocity due to 

gas lift" effect which contributes to the 

homogenization of bath. During the genesis 

of bubbles, it was found that the bubbles 

are not simply "deposited" in the electrolyte 

but are subject to physical phenomena that 

tend to keep them away from the wall. In 

existing codes, these phenomena are not 

taken into account which leads to a lack of fit between experiments and coupled 

electrokinetics / biphasic hydrodynamics models. 

PARTNERS 


AREVA NC, ASTEK, 

MISTRAS, RIO TINTO ALCAN 

SMEs: 

FLUIDYN TRANSOFT 


CEA, ECOLE CENTRALE 

DE PARIS (LGPM), INSTITUT 

NATIONAL POLYTECHNIQUE 

DE GRENOBLE (LEPMI), 

UNIVERSITE DE BRETAGNE 

SUD (LIMATB) 



• C. Brussieux, Ph. Viers, H. Roustan, M. Rakib, Controlled electrochemical gas 

bubble release from electrodes entirely and partially covered with hydrophobic 

materials, Electrochimica Acta, 56, (2011) pp. 7194 - 7201 

• C. Brussieux, B. Legros, Ph. Viers, M. Rakib, H. Roustan, Passive acoustic 

monitoring of electrochemical gas production, to be published in Journal of Applied 

electrochemistry 

• S. Charton, J. Janvier, P. Rivalier, E. Chainet, J.P. Caire, Hybrid sulfur cycle for H2 

production: a sensitive study of the electrochemical step, International Journal of 

Hydrogen Energy, 35(4), 2011, pp. 1537 - 1547 

• Ph. Mandin, H. Matsushima, Y. Fukunaka, R. Wüthrich, E. Herrera Calderon, D. 

Lincot; One To Two-Phase Electrolysis Processes Behavior Under Spatial 

Conditions; Journal Of The Japanese Society Of Microgravity Applications, Vol 25, 3 

(2008) 

• R. Wüthrich, Ph. Mandin; Electrochemical Discharges: Discovery And Early 

Application; Electrochimica Acta (2009), 54, 16, pp. 4031 - 4035 

PROJECT DATA 

Coordinator: 

ALUMINIUM PECHINEY 

(RIO TINTO GROUP) 

Co-label: 

AXELERA, TENERRDIS, 

TRIMATEC 

Call: 

ANR 

Start date: 

May 2008 

Duration: 

48 months 


2.3 

Funding (M2): 

1 


193


Atelier Numérique coGnitif 

intEropérable et agiLe 

ON GOING 

PROJECT 

ANGEL project aims to develop a system for Optimized and Intelligent Machining 

operations. ANGEL brings several major innovations: 

• Machining know-how capitalization and reuse from existing NC programs 

• Direct one-step generation of an optimized and validated NC program based on 

CAM input data (tool path, tool characterisics,…) 

• Automated quotation generation based on machining and cutting know-how 

• Integration of sustainable manufacturing metrics into the end-to-end machining 

process 

• Any companies which machine metal parts made of classic or high-end materials 

will benefit from ANGEL project 


◗ Standards & interoperability: 

Interoperability 

will be achieved by 

standardizing the applications 

interfaces as 

well as the interpretation 

of production data 

in a pivot format to ensure 

better integration 

of CAD-CAM-NC SIMU- 

LATION-CNC Machines 

and a bidirectional 

capability. STEP-NC 

format offers promising 

results. 

◗ Automatic recognition of machining features: preliminary studies on simple features 

have led to good results. The main challenge is about considering expert features 

where information is more or less structured: geometric models, specifications 

(tolerances + surface states), card machining sequence (tool characteristics, cutting 

conditions, kinematics, machining strategy). Today, recognition techniques of entities 

do not address the problem of entity recognition through 5-axis machining. 

◗ Machining know-how acquisition and modeling: the challenge lies into the translation 

of machining know-how (laying in the experts' minds or in wide-enterprise data system) 

into actionable information being processed by both a software and a computer. 

◗ Sustainable manufacturing: Integration of environmental metrics related to manufacturing 

processes. 


◗ New modeling of the bidirectional Digital Chain: Manufacturing engineering To 

Workshop and IT infrastructure specifications 

◗ Proof of concept/mock-up: 

• Cutting knowledge database, gathering the entire know-how related to the NC 

existing programs 

• Cutting rewritting regarding new machining programs 

• NC simulation without Post-Processor 

• Intelligent quotation 

• Sustainable production metrics related to machining 

• POC based on business cases (AIRBUS, MBD, SNECMA, UF1) 

• Theses-related publications 

CONTACT 

Olivier BELLATON 

SPRING TECHNOLOGIES 

+33 (0)1 43 60 25 69 

obelleton@springplm.com 

PARTNERS 


AIRBUS, MESSIER- 

BUGATTI-DOWTY, SNECMA 

SMEs: 

CADLM, DATAKIT, 

SPRING TECHNOLOGIES, UF1 


ENS CACHAN (LURPA), 

UTC (LABO ROBERVAL) 

PROJECT DATA 

Coordinator: 


Co-label: 

ASTECH VIAMÉCA 

Call: 

FUI14 

Start date: 

September 2012 

Duration: 

24 months 


4.7 

Funding (M2): 

1.9 

194 



Aquateam 

ON GOING 

PROJECT 

Innovative decision-support tools to improve water resources management in agriculture. 

◗ Objectives: 

• To increase the effectiveness of irrigation to optimise water supplies 

• To reduce nitrate and pesticides transfers to groundwater and surface waters 

• To increase revenues and minimize impacts 

◗ Target users: water managers, agricultural sector 

CONTACT 

Claire BILLY 

FOOTWAYS 

+33 (0)2 38 63 64 65 

c.billy@footways.eu 


To optimise irrigation management: 

◗ Better knowledge of the water soil content capacity 

and its dynamics 

◗ Studies on wheat water use efficiency to reveal possible 

differences between varieties 

◗ At the plot scale, development of an innovative, automatic 

and remote recording system to enable a better 

estimation of water volumes used for irrigation in real time 

◗ At the regional scale, building of a modeling tool predicting the water volume available 

for irrigation, based on precipitation and groundwater level 

To improve water quality: 

◗ At the plot scale, implementation of software solutions which allow its users to assess 

the transfer of pesticide and nitrate through the soil and the resulting risk for 

water resources 

◗ At the regional scale, simulations of pesticide and nitrate transfer from the soil surface 

to the groundwater abstraction site 

Solutions will be commercialised as studies or web services. 


Field measurements and modeling developments are in progress since the beginning 

of 2012 and will continue until the summer 2013. 

First operational versions of the software tools are expected at the end of 2013. 

PARTNERS 


ANTEA GROUP, 

SUEZ-LYONNAISE DES EAUX 

SMEs: 

FOOTWAYS, NOVIMET, 

S2BVISIO 


ECOLE CENTRALE PARIS, 

INRA ORLEANS, 

UNIVERSITE D’ORLEANS 

Other partners: 

AGROPITHIVIERS, 

CHAMBRE D'AGRICULTURE 

D'EURE ET LOIR, CHAMBRE 

D'AGRICULTURE DU LOIRET 

PROJECT DATA 

Coordinator: 

FOOTWAYS 

Co-label: 

DREAM 

Call: 

FUI12 

Start date: 


Duration: 

40 months 


4 

Funding (M2): 

2 


195


ASAP 

Improving Vehicle Safety by developing 

a new method to inspect spot-welds 

ON GOING 

PROJECT 

◗ Apply a new and non-destructive ultrasonic-based method to proceed a more reliable, 

faster and easier diagnosis of spot-welds consistency 

◗ Reduce the amount of destructive controls 

◗ Manage multi-axial dynamic strength tests to refine criteria of ultrasonic-based 

diagnosis and to optimize spot-welds crash behavior in numerical simulations 

CONTACT 

Christophe LARUE 

RENAULT 

+33 (0)1 76 85 16 45 

christophe.larue@renault.com 


◗ Development of small phase-array ultrasonic sensors due to technical environment 

and to sopt-weld geometries to inspect 

◗ Development and implementation in an instrument of "real time" algorithms to adapt 

to variable indentations, to inspect spot-welds and to treat rough datas of inspection 

◗ Integration of an automated and relevant diagnosis in an industrial environment 

◗ Correlation between characteristics of spot-welds obtained by NDC and their dynamic 

multiaxial mechanical strength 

◗ Macroscopic modeling to predict spot-welds dynamic behavior and rupture 

PARTNERS 


RENAULT 

SMEs: 

EXTENDE, M2M 


CEA LIST, UNIVERSITE DE 

VALENCIENNES / CNRS, LAMIH 


◗ Intensive use of NDE simulation 

for development of methods 

and algorithms, and for performance 

demonstration 

◗ Development of a new equipment, 

dedicated to the quality 

control people in the plant, and 

able to adapt instantaneously to 

the external geometry of the 

spot-weld 

◗ Refined diagnosis criteria for 

spot-welds control 

◗ Experimentations on the strength 

of spot-welds under dynamic multiaxial loadings 

◗ Improved numerical macro model to predict spot-welds crash resistance 

PROJECT DATA 

Coordinator: 

RENAULT 

Co-label: 

I-TRANS, MOV'EO 

Call: 

ANR 

Start date: 

November 2011 

Duration: 

36 months 


2 

Funding (M2): 

0.8 


GERIM, ONTRAC 

196 



Static analysis and optimization 

COMPLETED 

PROJECT 

ASOPT (Static Analysis and OPTimisation) is a fundamental research project proposal, 

whose aim is to develop new resolution techniques to improve the quality of static 

program analysis, especially for embedded control programs which high-level of 

criticality, and, in the longer run, for numerical simulation programs. It exploits the 

abstract interpretation method, which allows one to determine a priori some invariants 

of a program (properties which are valid for all executions). These invariants can often 

be expressed geometrically. For instance, the index variables in nested loops typically 

lie within convex polyhedra. Then, methods from convex programming and game theory 

can be applied to find invariants. The project develops and exploits the emerging 

interactions between global optimization, game theory, and static analysis, in order to 

compute accurate invariants. 


The project developed new domains and new algorithms 

in static analysis, allowing one to obtain more accurate 

invariants. Main contributions include: 

• Convex polyhedra and linear programming in 

MaxPlus algebra (computing disjunctive invariants, 

analysing timed systems) 

• Parametrization of zonotopes by geometrical shapes, 

expressive with a low compexity, taking into account 

more precisely program tests. 

• Equation solving by policy iteration, leading to more 

accurate (often exact) invariants in broader contexts. 

• Symbolic analysis of arrays 

• Modular analysis 

• Implementation of new numerical domains in the library APRON and handling of logical 

properties with BDDAPRON 


◗ Product(s): 

Software components under LGPL license: 

• APRON (adding zonotopes http://apron.cri.ensmp.fr/library/), 

• BDDAPRON (http://www.inrialpes.fr/pop-art/people/bjeannet/bjeannet-forge/bddapron/), 

• FIXPOINT (inference of threshold contraints, http://www.inrialpes.fr/pop-art/people/ bjeannet/ 

bjeannet-forge/fixpoint/), 

• Mjollnir (http://www-verimag.imag.fr/~monniaux/mjollnir.html?lang=en), 

• Prootypes of analysers, 

• ConcurInterproc, main software platform of the project made available to the static analysis 

community, http://pop-art.inrialpes.fr/interproc/concurinterprocweb.cgi, and its connexion to 

newspeak (http://pop-art.inrialpes.fr/people/bjeannet/ newspeak-interproc.tgz), 

• Pinterproc (http://pop-art.inrialpes.fr/interproc/pinterprocweb.cgi), 

• PAGAI (https://forge.imag.fr/projects/pagai/), 

• Endiku (http://www-verimag.imag.fr/~monniaux/download/enkiduproto_asopt.zip) 


• Assalé Adjé, Stéphane Gaubert, Eric Goubault. Coupling policy iteration with semi-definite relaxation 

to compute accurate numerical invariants in static analysis. Logical Methods in Computer Science, 

special issue to ESOP 2010, 8(1), 2012. (DOI: 10.2168/LMCS-8(1:01)2012) 

• Bertrand Jeannet, Antoine Miné: Apron: A Library of Numerical Abstract Domains for Static 

Analysis. CAV 2009: 661-667. Volume 5643 of LNCS, 2009. (DOI: 10.1007/978-3-642-02658-4_52) 

• Khalil Ghorbal, Eric Goubault, Sylvie Putot: The Zonotope Abstract Domain Taylor1+. CAV 2009: 627- 

633. Volume 5643 of LNCS, 2009. (DOI: 10.1007/978-3-642-02658-4_47) 

• V. Perrelle and N. Halbwachs, An analysis of permutations in arrays, VMCAI 2010, Volume 5944 of 

LNCS, 2010. (DOI: 10.1007/978-3-642-11319-2_21) 

• David Monniaux and Pierre Corbineau. On the generation of Positivstellensatz witnesses in 

degenerate cases. In Interactive Theorem Proving (ITP), volume 6898 of LNCS, pp. 249-264. 2011. 

(DOI: 10.1007/978-3-642-22863-6_19) 

◗ Business creation: 

A startup is currently being created (Bertrand Jeannet), aiming at testing reactive software. This is likely 

to transfer software components developed by the INRIA-POPART partner (BDDAPRON, FIXPOINT). 

CONTACT 

Bertrand JEANNET 

INRIA Grenoble Rhône-Alpes 

+33 (0)4 76 61 52 76 

bertrand.jeannet@inrialpes.fr 

Stéphane GAUBERT (local) 

INRIA and CMAP, 

École Polytechnique 

+33 (0)1 69 33 46 13 

stephane.gaubert@inria.fr 

PARTNERS 


EADS INNOVATION WORKS 


ÉCOLE POLYTECHNIQUE 

(MAXPLUS PROJECT TEAM), 

INRIA SACLAY - ÎLE-DE- 

FRANCE AND CMAP, LMEASI 

CEA-LIST, VERIMAG 

PROJECT DATA 

Coordinator: 

INRIA GRENOBLE RHÔNE- 

ALPES (POP-ART PROJECT 

TEAM) 

Call: 

ANR ARPEGE 

Start date: 

December 2008 

Duration: 

42 months 


2.1 

Funding (M2): 

0.7 


197


Management of Timing Constraints 

BACCARAT in Electronic System Design Flows 

COMPLETED 

PROJECT 

The aim of this project is to resolve the issue of timing budget and management of timing 

constraints during early design phases of complex electronic systems, or in the frame 

of a retro-fit for obsolescence management. Systems that are targeted in this project 

are made of several electronic boards, called PCB, and may be designed by several 

teams, using different design flows in function of the domain (RF, digital, analog, …), or 

may be reused from another project. While setting up the budget of timing constraints 

for the whole system, one must allocate timing specification for each board and ensure 

that the assembly respects the constraints at system level. This project proposes to use 

extensions of IEEE 1685 IP-XACT standard for managing the description of these timing 

specifications among the several steps of the system design flow. 


Today, there are no solution for timing budget and constraints management, at all level 

of the system and independent from design flows (done manually: excel sheets, in 

house scripts, design review between teams). This methodology has reach its limits: 

multi-teams, multi-domains, multi-formats, IP reuse, growing complexity, safety. 

BACCARAT takes into account timing performances of the system early in design flow 

phases to perform static analysis of timing performances from system level, down to 

component level and top-down and bottom up management of timing constraints: IP- 

XACT federates multiple timing formats (Excel, MATLAB, SDC, LIB, etc.). 

CONTACT 

Emmanuel VAUMORIN 

MAGILLEM DESIGN SERVICES 

+33 (0)1 40 21 35 50 

vaumorin@magillem.com 

PARTNERS 

SMEs: 

MAGILLEM DESIGN SERVICES, 

SAFERIVER 


UMPC-LIP6 

PROJECT DATA 

Coordinator: 

MAGILLEM DESIGN SERVICES 

Call: 

FEDER2 

Start date: 

January 2010 

Duration: 

18 months 


12 

Funding (M2): 

7 



Magillem product: Revenge 



198 



Project also supported by Free & Open Source Software WG. 

Numerical modeling of multi-scale fluid solid 

coupled systems: advanced hybrid methods 

for reduction of uncertainty on stability limits 

and optimization of nuclear safety barrier reliability 

ON GOING 

PROJECT 

It is a research project involved in the development of modeling and advanced numerical 

methods for simulation of large size systems involving multi-physics in the field of 

mechanics. It addresses the hard issue of stability analysis of dynamical systems 

submitted to external turbulent flows and aims to establish accurate stability maps 

applicable for heat exchanger design. The purpose is to provide stability limit 

dimensionless modeling suitable in a variety of configurations with a maximal accuracy 

in spite of the large scale of the systems to be considered. The challenge lies in 

predicting local effects possibly impacting global systems. Therefore the combination 

of several strategies convenient simultaneously for multi-physics, multi-scale and large 

size system computation is required, based on hybrid modeling and numerical methods. 


The project originality lies in the challenge proposal to go to real scale by developing advanced 

improved numerical methods and optimization algorithms to address a multiphysics 

multi-scale problem including development of: 

◗ Numerical integration schemes through hybrid direct iterative methods for solving 

fully coupled fluid solid systems 

◗ Mesh control combining moving and non moving grid formulations to deal with small 

and large displacement solid boundary dynamics 

◗ Turbulence modeling to deal in the same time with near-wall and isotropic turbulence 

◗ Data assimilation and numerical solution enrichment with interpolation for real large 

scale modeling 

◗ Reduced order model hybridation to use combined reduced and high order solutions 

to face up with very large degree-of-freedom number systems 

◗ Multi-scale formulation combining micro- and meso-scopic scale approaches to go 

to real scale. 


◗ Solver diffusion for multi-physics multi-scale large size system computation in the 

framework of the Opensource Salomé platform with possible external libraries 

◗ Data basis of model problems involving flow-induced vibrations of cylinder arrays 

under cross flows 

◗ Dimensionless model for dynamic stability limit analysis of cylinder arrays 

◗ Publications on numerical methods for uncertainty reduction on dynamic stability 

limits of complex mechanical systems: review, results and perspectives 

CONTACT 

Elisabeth LONGATTE 

LAMSID 

+33 (0)1 30 87 80 87 

elisabeth.longatte@edf.fr 

PARTNERS 


AREVA, EDF R&D 


CEA, IMFS, IMFT, IRIT, LAMSID 

PROJECT DATA 

Coordinator: 

LAMSID 

Call: 

ANR 

Start date: 

December 2011 

Duration: 

48 months 


3.4 

Funding (M2): 

1 


199


BINary Code Analysis 

COMPLETED 

PROJECT 

BINCOA aims at pushing forward the state-of-the-art of binary-level program analysis 

through 

◗ Developing a formal model well-suited to both formal analysis and modeling of common 

architecture instruction sets. 

◗ Develop original techniques for verifying relevant properties at the binary level, such 

as reachability, invariance or temporal properties. 

BINCOA is a basic research project. Potential applications span over safety (COTS, verification 

across the compiler gap) and security (mobile code, malware). 


The main project outcome includes: the definition of a concise formal model well-suited 

to binary-level formal analysis, an original method for safe and precise CFG recovery 

(model reconstruction), automatic test data generation through binary-level symbolic 

execution and model checking-based malware detection. These techniques have been 

implemented in six prototypes and several successful case-studies have been performed. 

CONTACT 

Sébastien BARDIN 

CEA LIST 

+33 (0)1 69 08 54 16 

sebastien.bardin@cea.fr 

PARTNERS 


EDF, SAGEM 


CEA LIST, UNIVERSITE 

BORDEAUX 1, UNIVERSITE 

PARIS 7 


TRUSTED LABS 



• Bardin, S., Herrmann, P., Ly, O., Tabary, R., Vincent, A.: The BINCOA Framework for 

Binary Code Analysis. In: CAV 2011 

• Song, F., Touili, T.: Pushdown Model Checking for Malware Detection. In: TACAS 

2012. Best paper award ETAPS 2012 

• Song, F., Touili, T.: PuMoC: a CTL model-checker for sequential programs. ASE 

2012 

• Bardin, S., Herrmann, P.: OSMOSE: automatic structural testing of executables. In: 

international journal for Software Testing, Verification and Reliability (STVR), 2011 

• Bardin, S., Herrmann, P., Vedrine, F.: Refinement-based CFG reconstruction from 

unstructured programs. In VMCAI 2011. 

PROJECT DATA 

Coordinator: 

CEA 

Call: 

ANR 2008 

Start date: 

January 2009 

Duration: 

36 months 


1.7 

Funding (M2): 

0.9 

200 



BLEND 

Blending Technologies for Ubiquitous 

Real-Time Data Access 

EUROPEAN 

PROJECT 

ON GOING 

PROJECT 

The BLEND project had the objective of facilitating real-time data sharing across 

Operational Systems, IT Systems, Mobile and Web Applications. 


The Blend has sprang several innovations, specifically: 

• it has introduced the first peer-to-peer real-time data sharing technologies for 

mobile platforms, such as Android, 

• introduced real-time integration technologies for enabling real-time web applications 

to interoperate with real-time systems, 

• it has introduced a QoS-based mediation framework to control the transformation 

and adaptation of non-functional properties. 

CONTACT 

Angelo CORSARO 

PRISMTECH 

+33 (0)6 42 30 75 65 

angelo.corsaro@prismtech.com 

PARTNERS 


INTECS, THALES 

NETHERLANDS 

SMEs: 

INTECS, PRISMTECH 


LA SAPIENZA, UNIVERSITA 

DI ROMA 


THALES NETHERLANDS 


As a result of the Blend project, PrismTech has introduced two products on the market: 

the OpenSplice Gateway and OpenSplice Mobile. The OpenSplice Gateway is an 

integration technology while OpenSplice Mobile is a DDS implementation optimized for 

mobility. Both product have witnesed very successful product launches with good level 

of sales. 

PROJECT DATA 

Coordinator: 

PRISMTECH 

Call: 

EUROSTARS 

Start date: 

May 2010 

Duration: 

24 months 

Global budget (M2): 2 

French share: 1 

Funding (M2): 0.6 

French share: 0.4 


201


A Proof-Based Mechanized Platform 

for the Verification of B Proof 

Obligations 

ON GOING 

PROJECT 

The BWare project is an industrial research project that aims to provide a mechanized 

framework to support the automated verification of proof obligations coming from the 

development of industrial applications using the B method and requiring high 

guarantees of confidence. The methodology used in this project will consist in building 

a generic platform of verification relying on different automated theorem provers, such 

as first-order provers and SMT (Satisfiability Modulo Theories) solvers. The variety of 

these theorem provers aims at allowing a wide panel of proof obligations to be 

automatically verified by our platform. Beyond the multi-tool aspect of our methodology, 

the originality of the BWare project also resides in the requirement for the verification 

tools to produce proof objects, which are to be checked independently. This backend 

should allow us to increase confidence in the produced proofs, and ultimately to provide 

interoperability between provers. 


This project combines four different kinds of expertise: 

production of proof obligations for the 

B method; translation from set theory to firstorder 

logic; automated theorem proving; proof 

production and proof checking. The BWare consortium 

associates academics entities (Cedric, 

LRI, and Inria) and industrial partners (Mitsubishi 

Electric R&D Centre Europe, ClearSy, 

and OCamlPro). This will ensure an excellent 

level of expertise for the scientific aspects as 

well as their exploitation for 

the development of software 

with high guarantees of confidence 

required by today applications. 

The organization of the project 

consists of several parts. 

Among these parts, there is a 

theoretical study regarding the 

generation of proof obligations, 

as well as the formalization 

of several models for the 

set theory underlying the B 

method. This part is intended 

to support another part concerning 

the design of a verification 

platform, which will gather several tools, and some extensions of these tools 

will be considered and developed. This platform will be integrated to the tool of an industrial 

partner (Atelier B from ClearSy) for evaluation over industrial applications and 

comparison with other similar existing verification tools. An activity of interactive proof 

will be also conducted in order to optimally combine the automated theorem provers, 

and some optimizations of the verification tools will be studied as well. 

CONTACT 

David DELAHAYE 

CEDRIC (CNAM) 

+33 (0)1 58 80 87 33 

david.delahaye@cnam.fr 

PARTNERS 


MITSUBISHI ELECTRIC R&D 

CENTRE EUROPE 

SMEs: 

CLEARSY, OCAMLPRO 


CEDRIC, INRIA, LRI 

PROJECT DATA 

Coordinator: 

CEDRIC (CNAM) 

Call: 

AAP ANR INS 2012 

Start date: 


Duration: 

48 months 


3.3 

Funding (M2): 

0.9 


The BWare project is an ongoing project, which has just started. The dissemination of the 

results will be ensured by a web site, publications, organization of seminars (and possibly 

workshops), and free availability of the verification platform. The various natures of the 

members of the consortium will help to widely advertise the results of the project in different 

communities, such as academics, industrial actors, developers, and users. 

202 



CAFEIN 

Combining Formal Analyses 

for the Study of Numerical Invariants 

ON GOING 

PROJECT 

This project addresses the formal verification of functional properties at specification 

level, for safety critical reactive systems. In particular, we focus on command and 

control systems interacting with a physical environment, specified using the 

synchronous language Lustre. The goals of the project are threefold. Improve level of 

automation of formal verification for such system, address properties of the hybrid 

system controled and focus on the numerical aspect of such programs implemented 

with floating-point numbers. 

CONTACT 

Pierre-Loïc GAROCHE 

ONERA 

+33 (0)5 62 25 29 33 

pierre-loic.garoche@onera.fr 


◗ Expected innovations are the following: 

• enabling of formal methods at model level for control command systems, 

• providing analyses for functional properties, 

• early handling of floating point aspects in the development of critical software. 

PARTNERS 


ROCKWELL COLLINS 

SMEs: 

PROVER 


CEA, ENSTA, INRIA, ONERA, 

UNIVERSITÉ DE PERPIGNAN 

PROJECT DATA 

Coordinator: 

ONERA 

Co-label: 


Call: 

ANR INS 

Start date: 

February 2013 

Duration: 

36 months 


2 

Funding (M2): 

0.8 


CESAR, VACSIM 


203


CAMPAS 

Calculs Massivement 

Parallèles multi-cycle / 

multi-cylindre de moteurs à 

piston par une approche SGE 

COMPLETED 

PROJECT 

The objective of the CaMPaS project is to demonstrate the feasibility of a multi-cycle 

Large-Eddy Simulation (LES) of the reactive flow inside a complete multicylinder internal 

combustion engine using the AVBP CFD code on a massively parallel supercomputer. 


The LES code AVBP was improved to 

deal with all the specific and until then 

unaddressed problematics required to 

set up and carry out the world's first 

multicycle LES of a fired multicyclinder 

engine. This opens unprecedented perspectives 

for the study and understanding 

of combustion instabilities in full 

internal combustion engines, which are 

sources for increased fuel consumption 

and pollutant emissions. 

CONTACT 

Benjamin RÉVEILLÉ 

IFP 

+33 (0)1 47 52 62 68 

benjamin.reveille@ifp.fr 

PARTNERS 


PSA 

SMEs: 

CINES 


CERFACS, EM2C (CNRS), IFP 


◗ Products: 

The AVBP code is now capable of: 

• dealing with an arbitrary number of moving patches using the Conditioned Temporal 

Interpolation algorithm 

• parallel interpolation of solutions between grids 

• parallel partitioning of grids using the ParMETIS package; postprocessing multicyclinder 

multicycle engine simulations 

• automatically adjustment of combustion model parameters using a coupled filtering 

module based on the Germano identity 

◗ Services: 

Adressing multicylinder and multicycle issues such as cylinder to cylinder and cycle 

to cycle variabilities which have a negative impact on on engines effeciency will be 

possible. 

PROJECT DATA 

Coordinator: 

IFP 

Call: 

ANR 

Start date: 

January 2007 

Duration: 

42 months 


0.8 

Funding (M2): 

0.4 

204 



Nano-magnetic sensors applied 

to non-destructive evaluation 

ON GOING 

PROJECT 

To reinforce the reliability and the safety of the products, industries use non destructive 

testing (NDT) methods, like Eddy currents method (EC). This method knows today a deep 

change to fulfil performances for detection of very small flaws (‹100µm) and burried flaws, 

while decreasing time inspection. To answer these constraints, new technologies of magnetic 

sensors are investigated. These technologies present a high sensitivity and a good resolution. 

CANOE aims at proposing technical development making reliable the manufacture of array 

EC probes containing magnetic nano-components. This project will lead to the realisation of 

demonstrators integrating giant magneto-resistances and magneto-impedances. CANOE 

will propose for NDT market a new more senstitive and more performant method of control 

based on electromagnetic sensors. 


CANOE aims at proposing the innovative realisation of sensible demonstrator based on 

magnetic nano-elements. The technical development will make reliable the manufacture 

of array EC probes containing giant magneto-resistances (GMR) and magneto-impedances 

(MI) elements. In the field of the GMR, technological developments will be 

implemented to improve the 

quality of the sensors. Different 

geometry and size of sensing 

elements are studied to increase 

their sensitivity. The improvement 

of the packaging of 

the probe will reduce the lift-off. 

An exploratory work to transpose 

GMR technology on flexible 

substrate is in progress. In 

the field of the magneto-impedances, 

the scientific developments 

will make possible the 

realisation of array probe containing 

MI nano-components 

with solenoid integrated to the 

probe. Innovating developments 

are implemented such as the 

design of array architecture, the 

realisation of microwinding 

around the nanocomponent to 

increase the sensitivity and linearity. 


CONTACT 

Natalia SERGEEVA-CHOLLET 

CEA LIST 

+33 (0)1 69 08 15 09 

natalia.sergeeva-chollet@cea.fr 

PARTNERS 


AREVA NP, 

EADS INNOVATION WORKS, 

THALES TRT 

SMEs: 

STATICE 


CEA LIST, CNRS, IEF, 

SUPELEC/LGEP 

PROJECT DATA 

Coordinator: 

CEA LIST 

Call: 

ANR 

Start date: 

December 2010 

Duration: 

42 months 


2.3 

Funding (M2): 

0.9 

◗ CANOE will propose more sensitive array EC probes based on innovative magnetic sensors 

for detection of small flaws and buried flaws located in a complexe shape parts. 

◗ New fabrication techniques of magnetic sensors will be developed. 


205


Conception Avancée Robuste 

pour les Assemblages Boulonnés 

ON GOING 

PROJECT 

The objective of this project is to develop and validate a set of methods and tools that 

can be used to optimize bolted assemblies for aerospace products. Although this 

technology is widely used, this tightening method is at the root of many challenges 

throughout the lifecycle of aerospace products. The proposed solution is based on 3 

topics: highly instrumented physical tests to establish a basis for validation, Virtual 

Testing methods to determine the confidence level of simulations, and development of 

high-performance digital methods to accurately predict behavior under complex loads. 

There is a wide range of expected benefits: weight savings, optimized manufacturing 

process, increasingly effective calculation software that can be used to generalize nonlinear 

3D calculations in design offices and improve tribological understanding. 


This project will apply a better understanding of the complex physical phenomena in 

order to develop a new industrial method that can be used to accurately size bolted 

assemblies and to "get things right the first time". The method will rely on the use of 

Virtual Testing methods (reliability measurement of simulations) and on the 

development of advanced numerical connectors with linear and non-linear mechanical 

behavior. This transfer of new digital methods stemming from the university world 

towards industrial actors will make it possible to create a more robust assembly design 

by simulating complex cases (e.g.: models with tightening defects or missing bolts). 

Furthermore, a particular effort will be made to advance the first steps towards using 

digital tribology in assemblies. From a "Design Office" point of view, this project will 

improve modelling and design practices and, even if it is not the main object of the 

project, will facilitate the use of new composite materials. 

CONTACT 

Christian PALECZNY 

SNECMA 

+33 (0)1 60 59 99 79 

christian.paleczny@snecma.fr 

PARTNERS 


LIEBHERR AEROSPACE / 

LISI AEROSPACE, SAFRAN 

(SNECMA / MESSIER- 

BUGATTI-DOWTY / 

TURBOMECA), 


ALYOTECH, SAMTECH 

SMEs: 

CADLM, MECANO ID, 

STRUCTURE COMPUTATION 


CETIM (SAINT-ETIENNE), ICA 

(TOULOUSE), LAMCOS (LYON), 

LMT CACHAN 


During the first 6 months of the project, the partners focused on sharing state-of-theart 

technologies in the field of bolted joints, on selecting the main components to be 

tested and their technical issues (loads, specific physical phenomena), on defining the 

tests on both the scale of the bolt and on an industrial scale, and finally on Virtual 

Testing methods to be used in the project. 

PROJECT DATA 

Coordinator: 

SNECMA 

Co-label: 

AEROSPACE VALLEY, ASTECH 

Call: 

FUI13 

Start date: 

October 2012 

Duration: 

36 months 


4 

Funding (M2): 

1.5 

206 



CERtification Compositionnelle des 

Logiciels Embarqués critiques et Sûrs 

(Compositional Certification of Critical 

and Safe embedded Software) 

ON GOING 

PROJECT 

The issue addressed by CERCLES 2 is the reduction of the timing and costs constraints 

of the activities required for the certification of aeronautics embedded software. The 

objective of the project is to optimize such constraints through a strategy based on the 

principles of the component based approach and certification credit inheritance. 

Especially, the project put the stress on the reduction of testing activities. To this aim, 

the B formal method will be used in combination with the Scade & Simulink toolsets, 

in order to ensure that a system will meet its specification properties while resulting 

from the aggregation of specific and pre-certified components. Also, the B formal 

method will be used in the construction of consistent system test sets to be applied on 

target as required by the aeronautics software reference standard named DO178C. 


While the B formal approach has been used in rail industry for years, its application in 

the context of aeronautics project is new. The approach of pre-certified components is 

also innovative. It calls for synchronization with certification authorities in order to converge 

towards industrially relevant results. In such a context, the technological and scientific 

orientations and detailed principles as currently work out in the project are 

summarized in the figure below: 

CONTACT 

Fabien PAGANELLI 

SAGEM 

+33 (0)1 58 11 29 84 

fabien.paganelli@sagem.com 

PARTNERS 


SAGEM 

SMEs: 

CLEARSY 


LIP6, PPS 

Define pre-certified components: Scade/Simulink model M(Ci) + specification (SCi) + 

unit tests (TCi) and the textual specification of the system (SS) 

Code the B model of the components (BCi: mch and imp) defined from MCi, SCi et TCi 

Code the B model of the system (BS: mch and imp) defined from textual specification 

of the system (SS) then refine it according to BCi. 

B proofs: 

• Correct system model refined and decomposed (formal language) 

• Inherit the DO-178C certification data 

Creating/generating TS: functional and integration tests 

Create MS. Optional: automatic generation of MS from BS (depending of the work 

projection) 

PROJECT DATA 

Coordinator: 

SAGEM 

Call: 

ANR 

Start date: 

March 2011 

Duration: 

44 months 


1.6 

Funding (M2): 

0.6 


COUVERTURE 


◗ Evolution of the B formal approach and open source toolset. 

◗ Integration of Scade/Lustre specifications and B formal design. 


207


CETRAC 

Commutateur Ethernet Temps 

Réel pour Applications Critiques 

ON GOING 

PROJECT 

The complexity and the performance of the modern real time applications are 

increasing. They are more and more distributed and consisted of a plurality of 

equipments that are to be interconnected according to system contraints. 

The object of this project is to design and realize a ethernet component for critical 

applications offering the most safety demanding. 

The project will also supply tools allowing to simulate and model a network based on 

this component as well as a kit of certificability (DAL A). 

CONTACT 

Jacques DELBOS 

ARION 

+33 (0)1 69 35 39 02 

jacques.delbos@arion.fr 


The component CETRAC is innovative with regard to the current solutions because it 

offers at the same time very good real-time performances, a very high level of safety of 

functioning (DALA and SIL4 certifiable), the capacity to completely model the communication, 

to natively offer a set of essential services (time stamping, data integrity…) 

and to be able to support synchronous and asynchronous communications. This set of 

properties gives CETRAC an advantage over all the solutions at present available on 

the market. Besides, CETRAC is the only pretender in its category that can be used for 

the most sensitive applications, no other rival solution is certified higher than DALB 

and\or SIL3. 


In the stemming from the project we shall obtain: 

◗ An IP (intellectual property) of the CETRAC component. This one will be integrated on 

the basis of a FPGA into equipment so as to supply to End Users a useful switch for 

their applications. 

◗ The kit of certificability associated with the IP of the component. 

◗ The behavioral model of the component and the platform on the basis of the sizes of 

architecture. 

◗ The model of safety of generic functioning on the basis of the sizes of architecture. 

PARTNERS 

SMEs: 

ARION, RTAW 


ENSTA 

PROJECT DATA 

Coordinator: 

ARION 

Co-label: 

ASTECH 

Call: 

FEDER12 

Start date: 

October 2011 

Duration: 

24 months 


1.4 

Funding (M2): 

0.7 

208 



Calcul embarqué Hautes performances 

pour les Applications Industrielles, 

petites & moyennes séries 

CHAPI COMPLETED 

PROJECT 

The collaborative project CHAPI supports the emergence of a new generation of 

programmable logic devices, which aims to serve the market demand in high performance 

& flexible integrated circuits for embedded computing. CHAPI will focus mainly on two 

topics: 

• The optimization and validation of a first generation of circuits on use cases from 

several industrial application domains. 

• The integration of complementary software development tools to facilitate the 

development of new applications. 

CONTACT 

Laurent JULLIARD 

KALRAY 

+33 (0)4 76 18 90 71 

laurent.julliard@kalray.eu 


◗ Prototyping of industrial 

applications using first generation 

of Kalray's MPPA 

technology in the domain of 

HD video encoding, image 

processing, transportation 

and industrial automation. 

◗ Adaptation of a time-triggered 

operating system and 

tool chain for safety critical 

application support. 

◗ Integration of high level parallel 

programming environments 

for easier application 

development. 



• Kalray: Production of the first samples of the 28 nanometer (nm) MPPA-256 processor 

targeting embedded applications among them Imaging and signal processing. 

This resulted from the 28nM development and production partnership established 

with GUC and TSMC. First products to be ramped in volume will be processors for 

signal processing in an imaging application. 

• UXP: Production of the new version of the software Alograf (2013). 

• CAPS: Industrialization of the tool Codelet finder realized within the framework of 

the project. 

• SCILAB Enterprise: Production of the new generation of the freeware XCOS (release 

6 of Scilab). 

• CEA LIST: Production of a version of the technology OASIS for MPPA. 

• VERIMAG: Improvement and extension of the tool box connected to the formalism BIP. 


8 publications 

PARTNERS 


THALES, THOMSON 

SMEs: 

CAPS ENTREPRISE, KALRAY, 

LEADTECH DESIGN, SCILAB 

ENTERPRISES, UXP 


CEA LETI, CEA LIST, 

DIGITEO/SCILAB, VERIMAG 

PROJECT DATA 

Coordinator: 

KALRAY 

Co-label: 

MINALOGIC 

Call: 

FUI8 

Start date: 

January 2010 

Duration: 

36 months 


12.4 

Funding (M2): 

5 


MANYCORELABS, SIMILAN 


209


City and Industry Energy Strategy 

EUROPEAN 

PROJECT 

ON GOING 

PROJECT 

The CitInES project is financed by the European Commission for 2.85 M€. Its goal is to 

design and develop a decision-support software to optimize urban energy investments. 

◗ This tool will help local authorities / industries to: 

• Assess and compare energy strategies through detailed energy chain simulations 

• Optimize local energy strategy to cost-effectively integrate green energy and reduce 

CO 2 emissions 

• Define robust energy schemes to face fuel price uncertainties 

◗ It is led by ARTELYS and gathers: 

• 4 Research centers (INESCP - Portugal, AIT – Austria, ARMINES and INRIA in 

France) 

• 2 industrial groups (Schneider Electric; TUPRAS, Turkish refineries as end-user) 

• 1 national company (ERVET) 

• 2 large cities (Cesena and Bologna as end-users). 


◗ Our algorithms and system modeling 

allow end-users to optimize their 

energy strategy through detailed 

simulations of local energy generation, 

storage, transport, distribution and 

demand. This includes use of local 

renewable energies, electric mobility 

integration, multi-energy coordination, 

smart grid integration and demandside 

management. 

◗ All energy vectors (electricity, gas, 

heat, etc.), usages (heating, air 

conditioning, lighting, transportation, etc.) 

and sectors (residential, industrial, tertiary, 

urban infrastructure) have been considered 

to draw a holistic map of the city/industry 

energy behavior. 

◗ Energy strategy analysis encompasses 

advanced long-term risk analysis. As 

economic and technical situations are constantly evolving, a relevant energy strategy 

should be robust to different prospective scenarios. 

◗ Hence CitInEs allows the definition of several long term scenarios (fuel prices, 

consumption scenarios…) over which the energy strategies are assessed. 

◗ The developed software can also be used as a communication tool for end-users to 

facilitate discussions between actors and to promote local authority decisions towards 

citizens. It will be very to use, very smart and interactive. Users will not only have 

charts or bundle of figures, but also drawings, icons, colours. 

CONTACT 

Laurent FOURNIE 

ARTELYS 

+33 (0)1 44 77 89 00 

citines@artelys.com 

PARTNERS 


SCHNEIDER ELECTRIC 

(SEISAS), TUPRAS REFINERIES 


ERVET 

SMEs: 

ARTELYS 


AIT AUSTRIA, ARMINES, 

INESC PORTUGAL, INRIA 

PROJECT DATA 

Coordinator: 

ARTELYS 

Call: 

FP7 

Start date: 

November 2011 

Duration: 

30 months 


2.8 

Funding (M2): 

2 


We have another 11 months to work on CitInES project, but we’ve achieved major tasks, 

such as: 

• Data collection and analysis for the oil refinery in Turkey and the town Italian cities 

• Specifications of the software 

• Modeling of main energy assets and design of the multi-level methodology 

• First release of the software 

210 



Collaviz 

COMPLETED 

PROJECT 

The Collaviz program is an innovative multidomain remote collaborative platform for 

simulation-based design applications. In partnership with 28 French and international 

partners, Collaviz makes remote analysis and collaboration easily available and scalable 

to the scientific and industrial community. Web-based technologies enable researchers 

and engineers to handle very large data sets, including 3D data models, using a single 

workstation wherever in the world. Just a “standard” internet connection is required. 

Collaviz, a 42 months project, proposes a smart solution to break the bottlenecks of data 

volume production and processing that the industry is facing every day. 


There were 2 different phases into the Collaviz project. During the first 24 months, workgroups 

defined the framework architecture specifications and developed 2 prototypes 

for it. The next 12 months corresponded to the second phase: demonstrators set up as 

a proof of concept. The last 6 months of the project being mainly used for promotion 

purposes. Collaviz: 

◗ Provides applications designed for habits of very different communities (geophysics, 

fluid dynamics, structure, biochemical, drug design...). 

◗ Uses mainstream technologies for the service access (low bandwidth internet 

access, standard hardware for visualization...). 

◗ Delivers interactive and participative collaboration, not only remote “shared display” 

visualization. 

CONTACT 

Alban SCHMUTZ 

OXALYA 

+33 (0)1 49 58 45 70 

alban.schmutz@oxalya.com 

PARTNERS 


EDF, FAURECIA 

SMEs: 

ARTENUM, DISTENE, 

KITWARE, MCLP CONSULTING, 

NECS, OXALYA, TECHVIZ 


AGCO, BRGM, CEA DIF, CEI, 

COLORADO SCHOOL OF MINES, 

DIGITEO/SCILAB, ECP, EGID, 

IFP, INPT, INSA DE RENNES, 

INSTITUT DE PHYSIQUE DU 

GLOBE DE PARIS, INSTITUT DE 

RECHERCHE POUR LE 

DEVELOPPEMENT FROM 

NEW CALEDONIA, LIRIS, 

TERATEC, UNIVERISTE OF 

CARDIFF, UNIVERSITE PARIS 6 


The development phases are now behind and the assessment of the industrialized 

software solution has been done by demonstrators partners. The Collaviz framework 

has also been adapted and tested to match the demonstrators needs in the third year 

of the project. This last phase was a success and the final review already took place 

with the ANR experts (January ’12). Collaviz is now in the last moments of its 

dissemination and promotion period. During these 6 months, partners have again 

demonstrated their commitment to the community, keeping publishing papers, 

participating in conferences and events, and even experimenting with other partners 

abroad (UK, USA, etc.). 

PROJECT DATA 

Coordinator: 

OXALYA 

Co-label: 

IMAGINOVE 

Call: 

ANR 

Start date: 

January 2009 

Duration: 

42 months 


4 

Funding (M2): 

2.2 


CARRIOCAS, SCOS 


211


Conception et Co-Emulation 

sur Plateforme en Temps réel 

Design & Co-emulation 

on a Real Time Platform 

COMPLETED 

PROJECT 

Development of a real time emulation & prototyping platform covering the entire design 

chain from end product to electronic system and to System-on-Chip (SoC). 

Beyond the SoC validation, ease of configuration of the platform and software 

environment should allow different approaches to analyze the system architecture in its 

electronic environment representative of the application, to retain the best alternative 

to meet specifications of the application and limit its risks and costs of development. 

CONTACT 

Jean-Luc WEISS 

ALTIS SEMICONDUCTOR 

+33 (0)1 60 88 58 63 

jean-luc.weiss 

@altissemiconductor.com 

PROJECT RESULTS 


• The main result of the ConCEPT project is the development and validation of the 

FCM4 platform that allows the integration in a system environment of a true representation 

of a SoC to validate the specifications and architecture. 

• The platform will be used for the modeling of automotive calculators using multiprocessor 

architectures, which will be necessary to meet the needs of computing 

power, for example an engine controller. This is one of FP7 AutoCoreS project 

objectives, currently under evaluation and involving Scaleo chip. 

◗ Technologies: 

• The platform allows the integration of new concepts such as multi-core architectures 

and thus anticipates the evolution of automotive, telecom and multimedia domains 

in line with the trends seen in the field of electronics. 

• The CEA MPSoC (Multi Processor System On Chip) structure, prototyped on platform, 

has led to the optimization of applications management using very high data 

flow. This concept is continued in the ARTEMIS SCALOP project involving TCF, Scaleo 

chip and the CEA. 


• Article Electronique International Hebdo. 

• Journal du Sitelesc. 

• Journée du LEAT: "Multiprocessor Architecture for Dynamic Embedded Systems". 

• RTS (Mars 07 et Avril 08). 

• International Conference on Design Automation and Test in Europe (DATE DATE 

2009): "System-Level Hardware-Based Protection of Memory against Soft-Errors". 


• The ConCEPT project has allowed Altis to improve its position in the automotive 

and communication markets (specific automotive quality requirements and readiness 

for Flash technology in association with its performance requirements). 

• The FCM4 platform is today the reference platform of Scaleo chip for future developments 

and will enable it to position itself competitively in the targeted markets. 

• The FCM4 platform allows the prototyping of a large family of tececommunication 

applications and Thales Communications has already positioned the use of this 

platform as a alidation environment in the context of internal developments. 

• The project has enabled Trialog to assess the possibilities for automated testing 

technologies offer On Chip Debugging, which is increasingly used in UCEs. 

• The project contributes to the positioning of Valeo in the supply of computers compatible 

with the AUTOSAR standard. 

PARTNERS 


PSA PEUGEOT CITROËN, 

THALES, VALEO 



SMEs: 

SCALEOCHIP, TRIALOG 


CEA 

PROJECT DATA 

Coordinator: 


Call: 

FUI1 

Start date: 


Duration: 

24 months 


8.7 

Funding (M2): 

2.7 

212 



COOL IT 

Optimisation de la consommation 

énergétique globale des centres de calcul 

COMPLETED 

PROJECT 

The whole electrical power consumption of a data centre may go beyond twice the sole 

electrical power needed by processor's units it houses. The project aimed at optimising the 

total energy needed by a data processing plant, through the four following areas of 

progress: 

◗ New server's cooling methods 

◗ New strategies in control, integration and optimisation of the electrical power paths 

◗ Collecting and merging energetic information in order to improve the efficiency of the 

data centre management 

◗ Software optimisation of the hardware resources allocation with regards to the processing 

needs 


The best resolution of these four areas of improvement led to energy savings beyond 

20%. 

CONTACT 

Xavier SAINT-MARTIN 

BULL 

+33 (0)1 30 80 74 40 

xavier.saint-martin@bull.net 

PARTNERS 


BULL 

SMEs: 

ALTERNATIV VISION OF 

BUSINESS, ATRIUM DATA, 

EURODECISION, SINOVIA, 

SPLITTED-DESKTOP SYSTEMS, 

WILLIAMSON ELECTRONIQUE 


CEA/DAM-IDF, INRIA RENNES 



• “ Comment améliorer l’efficacité énergétique des Data Centers existants ? ”, 

CREDO, Telecom ParisTech, Paris. 

• “ Data Center Power Design at the Multi-Petaflopic Scale ”, IP-SOC Conference 

• Presentation of the COOL IT project, 3rd European Workshop on HPC Centre Infrastructures, 

Munich. 

• “ Minimizing energetic costs in datacenter ”, Conference on Optimization and Practices 

in Industry, EDF Clamart, France. 

• “ Mesure et optimisation de la consommation énergétique dans les centres de données 

”, séminaire Aristote. 

◗ Patents: 

“ Procédés de surveillance de grandeurs de dispositifs informatiques, programme d'ordinateur 

et dispositif associés ”, n° 11 60579. 

◗ Product(s) or Service(s): 15 

◗ Job creation: > 32 persons.year 


PROJECT DATA 

Coordinator: 

BULL 

Call: 

FUI10 

Start date: 

January 2011 

Duration: 

24 months 


7.7 

Funding (M2): 

2.5 


DESKOLO 


213


COntrôle Robotisé Traitement 

et EXploitation 3D 

COMPLETED 

PROJECT 

Quality assessment is a key step in the structure manufacturing process. The objective 

of the CORTEX 3D project is to develop and integrate technological bricks into a 

prototype manufacturing process, in order to deliver an efficient robotized inspection 

tool. This project addresses different fields of application such like Energy and 

Transport, Aeronautical or Terrestrial. Through the project, hardware and software 

solutions are developed for the integration of robotized Non Destructive Testing (NDT) 

to be flexible and leading to high throughput especially for complex structures either 

very large or highly curved. 

CONTACT 

Hubert VOILLAUME 

EADS 

+33 (0)1 46 97 37 94 

hubert.voillaume@eads.net 


Ultrasonic electronics industrialisation 

including 

high speed processing for 

acoustic beam adaptation 

with SAUL algorithm. Ultrasonic 

effector with 

optimization of the coupling: 

Two approaches, one 

without contact involving a 

large nozzle for waterjet 

inspection and one with 

contact involving a spray 

for a probe wheel. Ultrasonic 

modelling capabilities 

considering 3D context and advanced processing functions. First step to integrate NDT 

specific needs into automated manufacturing machines and related post-processor. 



Self-Adaptive Robotic Phased Array Inspection System for Small Composite Parts of 

Various Geometries, ASNT 2012. 


• 3 new functions are now included in the CIVA 11 version, the most advanced commercialised 

software for NDT modeling: Focalisation points matrix, Realistic transducer, 

Exotic phased array transducer. 

• SAUL algorithm: a new method to adapt the acoustic beam to the surface leading 

to high productivity in the automated NDT cycle. 

• 1 new device for wetting the surface in case of ultrasonic inspection with a wheel 

probe. 

• 1 new squirter able to hold and operate a large ultrasonic transducer. 

• Potential partnership between partners to address NDT market. 


◗ Maintained job: 1 

PARTNERS 


DASSAULT AVIATION, EADS 

SMEs: 

CORIOLIS COMPOSITES, M2M, 

VISIOLASER 


CEA 

PROJECT DATA 

Coordinator: 

EADS 

Call: 

FUI8 

Start date: 

December 2009 

Duration: 

36 months 


1.9 

Funding (M2): 

0.7 


USINE NUMERIQUE 1 & 2 

214 



COSMOS+ 

Couplage d'Outils 

de Simulation Multiphysique 

pour l'aérOnautique et l'eSpace 

ON GOING 

PROJECT 

The project aims to develop and use an open and modular coupling environment for 

multi-physics simulation targeting massively parallel computing. One of the key 

objectives of COSMOS+ is to allow spatial and aeronautic industries as well as research 

partners to tackle what today remain great scientific computational challenges 

requiring both interdisciplinarity and state of the art modeling of each physic involved. 

This will enhance both the fidelity and trustability of design studies done early in the 

conception cycle of new and competitive products. 

CONTACT 

Pierre-Yves PAMART 

SAFRAN 

+33 (0)1 60 59 43 24 

pierre-yves.pamart@snecma.fr 


Ability to develop, test and optimize new coupling algorithms with full control of the 

strategy. Development and integration of advanced interpolation methods allowing the 

coupling of all possible mesh elements like arbitrary polyedra in CFD. Adaptation of 

the coupler to massively parallel computational architectures. Graphical User Interface 

to set up a new coupled simulation. Provide unprecedented insight through simulation 

in industrial problems involving physics with very heterogeneous time and length 

scales. 

PARTNERS 


EADS IW, SAFRAN (SNECMA, 

TURBOMECA, SPS) 


LMS SAMTECH 

SMEs: 

ANDHEO, CENAERO FRANCE, 

PARALGO, STILOG IST 


ARMINES, CERFACS, CNES, 

ONERA 


◗ First version of OpenPALM including developments from both CERFACS and ONERA 

available 

◗ On-going implementation of "OpenPALM"-plugs in softwares of interest 

PROJECT DATA 

Coordinator: 

SAFRAN 

Co-label: 

AEROSPACE VALLEY, ASTECH 

Call: 

FUI12 

Start date: 

August 2012 

Duration: 

36 months 


3 

Funding (M2): 

1.1 


CSDL 


215


Confidence, Proof and Probabilities 

COMPLETED 

PROJECT 

In the context of safety proofs for critical software, the CPP project studies the joint use 

of probabilistic and deterministic semantics and analysis methods, in a way to improve 

the applicability and precision of numerical programs static analysis. We aim at defining 

static analysis frameworks for control programs, e.g. PID controllers, that contain many 

floating point arithmetic computations, non-deterministic and probabilistic behaviors. 

Thus, we must construct good approximations of the semantics for non-deterministic 

and probabilistic behaviors. Next, we will abstract these semantic models for the 

tractable static analysis of complex programs. Finally, we will refine the information 

delivered by the previous analysis for characterizing the imprecision error, using 

bisimulation metrics and/or extreme value analysis. 


◗ A new abstract domain 

based on p- 

Boxes and affine 

forms which outperforms 

the usual approach 

for imprecise 

probabilities, both in 

terms of precision 

and computational 

complexity. 

◗ A new semantics for 

programs with imprecise 

inputs that 

improves previous 

semantics as it allows 

to reason about 

programs whose inputs 

are given by 

sets of probability 

distributions. 

◗ A new algorithm for 

signal reconstruction 

over noisy channels 

using p-boxes. This 

outperforms the usual belief propagation method on systems with high noise. 

◗ A new method to prove that a program using floating-point numbers is robust with respect 

to real numbers arithmetics using rewriting technique and non-local reasoning. 

CONTACT 

Jean GOUBAULT-LARRECQ 

LSV 

+33 (0)1 47 40 75 68 

goubault@lsv.ens-cachan.fr 

PARTNERS 


CEA LIST, INRIA SACLAY, LSV, 

SUPELEC L2S, SUPELEC SSE 

PROJECT DATA 

Coordinator: 

LSV 

Call: 

ANR Blanc 2009 

Start date: 

October 2009 

Duration: 

42 months 


1.2 

Funding (M2): 

0.5 



• A generalization of p-boxes to affine arithmetic (in Computing, 2011) 

• Preserving differential privacy under finite-precision semantics (in Proc. of QAPL, 

2013) 

• A non-local method for robustness analysis of floating point programs (in Proc. of 

QAPL, 2012) 

• Maximum a Posteriori Consistent Estimation Using Interval Analysis (in Proc. of 

SysId, 2012) 

216 



Complex Systems Design Lab 

COMPLETED 

PROJECT 

The CSDL project aims at developing a comprehensive collaborative environment for 

decision making at the earliest stage of a project. At this stage that simulation tools are 

the most strategic to obtain the best design possible by exploring in a systematic 

manner the crucial parameters to optimize the system and enable innovation, by 

estimating risks and uncertainties through an analysis in depth of robustness criteria, 

and providing tools enforcing the coherence across all the levels of models and 

permitting better decisions thanks to an accurate interactive synthesis of the necessary 

information. 


◗ The tools used for the design of complex systems in the upstream phases must: 

• facilitate the exploration of the design space; 

• provide quantified robustness criteria and tradeoffs between the different design 

options; 

• synthetize efficiently all the generated knowledge to support decision making; 

• allow to do all the above in a collaborative environment. 

◗ The scientific and technological challenges are: 

• the technologies to generate in a systematic manner a hierarchy of interoperable 

surrogate models; 

• the methodologies and techniques to compute robustness criteria and tradeoffs 

between different technologies; 

• the dynamic management of the level of fidelity of the models based on the impact 

of the decision to be made and the associated level of risk; 

• the synthesis of results through interactive visualization to support decision making. 


The use cases from the aeronautical and the automotive industry have been defined. 

The scientific as well as the process integration challenges have been identified. 

CONTACT 

Michel RAVACHOL 

DASSAULT-AVIATION 

+33 (0)1 47 11 52 01 

michel.ravachol 

@dassault-aviation.com 

PARTNERS 


ALCATEL-LUCENT, BULL, 

CS-SI, DASSAULT AVIATION, 

DASSAULT-SYSTEMES, EADS, 

EDF R&D, MBDA, RENAULT, 

THALES SERVICES 


ANSYS FRANCE, ESI GROUP, 

LMS-IMAGINE 

SMEs: 

DISTENE, ENGINSOFT, 

EURODECISION, 

HPC-PROJECT, LOGILAB, 

OXALYA, SAMTECH 


ARMINES, ASSOCIATION 

LEONARD DE VINCI, 

DIGITEO/SCILAB, 


ENS CACHAN, INRIA, ONERA, 

SUPELEC 

PROJECT DATA 

Coordinator: 


Call: 

FUI7 

Start date: 

October 2009 

Duration: 

36 months 


17 

Funding (M2): 

7.3 


CARRIOCAS, EHPOC, IOLS, 

OPEN-HPC 


217


Design of fixed-point embedded systems 

ON GOING 

PROJECT 

Many embedded systems contain applications integrating mathematical processing. To 

satisfy the constraint (area, energy consumption, execution time) inherent to embedded 

systems, fixed-point arithmetic is widely used and preferred. 

But the applications are designed and simulated using floating-point arithmetic and 

then implemented into fixed-point architectures. The manual fixed-point conversion is 

a tedious, time-consuming and error prone task that requires high-level development 

tools to automate fixed-point conversion. 

The main objective of DEFIS project is to propose new approaches to improve the 

efficiency of the fixed-point conversion process and to provide a complete design flow 

for fixed-point refinement of complex applications. 


In the DEFIS workflow, the application is described at the system level through a set of 

blocks (C code using floating-point data types or some parameterized block like signal 

processing (DSP) systems or polynomial evaluation). A complete application is handled 

through a hierarchical approach in four modules: 

◗ The first module defines for each block the numerical accuracy constraint according 

to the global application quality. 

◗ The second module corresponds to the algorithm-level transformation and carriesout 

a set of transformations to 

find the best structure for the 

computation. 

◗ The third module evaluates the 

dynamic range to determine 

the number of bits for the integer 

part (static analysis will 

guarantees the dynamic range 

and a minimization of the integer 

part word-length will be 

performed by tolerating some 

overflows as long as the global 

performances are maintained). 

◗ The fourth module determines 

the number of bits for the fractional 

part: the objective is to 

optimize the fixed-point specification 

to minimize the implementation 

cost for a given 

numerical accuracy constraint. 

Finally, the infrastructure generates 

a new C code with fixed-point 

data types to be implemented in 

the targeted architectures (a 

SIMD accelerator, a hard-coded 

IP block and a processor (ARM 

Cortex)). 

CONTACT 

Olivier SENTIEYS 

INRIA/IRISA 

+33 (0)2 96 46 90 41 

olivier.sentieys@irisa.fr 

PARTNERS 


THALES 

SMEs: 

INPIXAL 


CEA, INRIA/IRISA, LIP6, LIRMM 

PROJECT DATA 

Coordinator: 

INRIA/IRISA 

Call: 

ANR 

Start date: 

November 2011 

Duration: 

40 months 


2.5 

Funding (M2): 

1 

218 



DIffusion Acoustique en Milieux Aléatoires 

et Non linéaires 

ON GOING 

PROJECT 

Our project brings together an industrial issue (ultrasonic characterization of strongly 

scattering media like steel, concrete or biological media) and a question of more 

fundamental interest (random matrices and wave propagation in complex non-linear 

media). The general problem we consider is the propagation of ultrasonic waves in 

random and non-linear scattering media, with arrays of multiple transmitters/receivers. 

Aside from direct applications (NDE of materials, medical or seismic imaging), the 

project raises fundamental issues. 

In the linear regime: ultrasonic imaging, detection and characterisation of random 

scattering media by separating the “single scattering” from the “multiple scattering” 

contributions. 

Non-linear propagation of ultrasound in random heterogeneous media, in the multiple 

scattering regime. 


◗ Design of a "smart ultrasonic antenna" for imaging and characterization of scattering 

materials, based on the separation of single and multiple scattering contribution 

◗ Tests on actual samples (polycrystalline samples with complex microstructures), 

evaluations of the potential improvements in terms of signal-to-noise ratio and probability 

of detection, in the linear regime, by comparison with standard techniques. 

◗ Numerical and theoretical modeling of structural noise in heterogeneous media. 

◗ Experimental and numerical studies of the impact of non linearities on multiple scattering 

of ultrasound. 

◗ To address these challenging issues, we 

have gathered a compact and efficient 

team of 7 permanent researchers from 

3close laboratories with complementary 

skills. The work programme associates 

experimental, numerical and theoretical 

aspects. 


◗ First experimental tests on austenitic steel sample, with a limited 64-channel ultrasonic 

array 

◗ The design of a new, more powerful antenna, as well as the modeling of propagation 

in linear and non-linear regimes is on hand 

CONTACT 

Arnaud DERODE 

UNIVERSITE PARIS DIDEROT 

INSTITUT LANGEVIN 

+33 (0)1 40 79 46 01 

arnaud.derode@espci.fr 

PARTNERS 


INSTITUT JEAN LE ROND 

D'ALEMBERT, INSTITUT 

LANGEVIN, MATIERE ET 

SYSTEMES COMPLEXES 

PROJECT DATA 

Coordinator: 

UNIVERSITE PARIS DIDEROT - 

INSTITUT LANGEVIN 

Call: 

ANR 

Start date: 

October 2011 

Duration: 

48 months 


1.8 

Funding (M2): 

0.6 


219


EHPOC 

High Performance Environment 

for Optimization and Design 

COMPLETED 

PROJECT 

The main goal of EHPOC consits in delivering industrial platforms, multiscale and 

multiphysics software dedicated to global design in order to produce best in class 

numerical design tools, especially in the materials field, enabling robust multidisciplinary 

optimization of complex products and systems. These platforms and software suite are 

a corner stone for industrial innovation and competitiveness, design and development 

cycles reduction, productivity improvement. 

CONTACT 

Michel NAKHLE 

CS 

+33 (0)1 41 28 43 57 

michel.nakhle@c-s.fr 


EHPOC has enabled the following developments: HPC environment for numerical design 

(solvers coupling, visualization algorithms for multiphysics simulations analysis, 

largescale automatic meshing tools), a complete suite of numerical design tools 

including multi-disciplinary optimization capabilities, models pre-processing automation 

and taking into account uncertainties. Large-scale simulation demonstrators were run 

by optimizing software on massively parallel multi-cores supercomputers. In the 

materials fields, challenging simulations were conducted for predicting materials 

behaviors and fatigue in severe conditions. Specific tools and calculation procedures 

were developed for designing artificial materials within specific optical and acoustial 

properties. 

PARTNERS 


AIRBUS, CS, DASSAULT 

AVIATION, EADS, EURIWARE, 

MESSIER DOWTY, RENAULT, 

SNECMA, THALES 


BERTIN, ESI GROUP, 

LMS IMAGINE 

SMEs: 

DISTENE, SAMTECH 


CEA, CSTB, ECOLE CENTRALE 

DE PARIS, ENS, ENSMP, IFP, 

INRIA-SCILAB, LABORATOIRE 

JACQUES-LOUIS LIONS PARIS 

VI, ONERA, PARIS XI 


◗ Products: 

• Delamination models for composite materials (integrated into SAMCEF); 

• Multi-physics models for welding (integrated into PROCESS); 

• DISTENE module for parallel meshing & remeshing. 

◗ Services: 

Open source grid generator for hexahedral meshing (available in SALOME platform). 


To be measured in details later with the exploitation of software platforms integrating 

tools and algorithms developped within EHPOC (CSDL, OPENHPC,...) and with the impact 

of new advanced technologies coming from EHPOC and embedded into ISVs software 

(ESI Group, Distene, Samtech,...). 

PROJECT DATA 

Coordinator: 

CS 

Call: 

FUI3 

Start date: 

June 2008 

Duration: 

24 months 


16 

Funding (M2): 

6.3 


CSDL, FAME2, IOLS, 

OPEN HPC, POPS 

220 



E NHANCEMENT OF MRAM MEMORY 

YIELD AND RELIABILITY 

ON GOING 

PROJECT 

MRAMs are very promising memories for embedded as well as mass memory 

applications due to the fact that they offer a rare accumulation of qualities: nonvolatility, 

high integration density, speed and resilience. Nevertheless, the MRAMs 

suffer from the problems of a still young technology. The EMYR project aims at studying 

test and repair methods to improve the production yield and the lifetime of MRAMs. 

Our goal is to transfer these results to an innovating SME in order to help it reach a 

world leader position in this domain. Taking benefit of a silicon run during the project, 

the studied methods will be prototyped and implemented by the consortium. 

CONTACT 

Jean-Pierre NOZIERES 

CROCUS TECHNOLOGY 

+33 (0)4 38 12 10 70 

jpnozieres@ 

crocus-technology.com 


Here, we propose a way to increase 

the capacity of masking memory 

columns with isolated defective 

storage cells using spare memory 

columns. For this purpose, single 

error correction and double error 

detection (SEC-DED) codes already 

available for the protection against 

high defect densities are extended 

such that all double-bit errors 

which affect a fixed sub-set of bit 

positions in the code words can be 

corrected. The cardinality of this 

sub-set is significantly higher than 

the number of spare columns. A 

bit-swapper is employed to map 

the bit positions that are protected 

by the extended SEC-DED code 

against double-bit errors to the 

memory columns with defective 

storage cells. In this way, single-bit 

errors affecting any bit position can 

be corrected simultaneously with 

single-bit errors induced by any 

sub-set of defective memory 

columns. The bit-swapper can be 

dynamically reconfigured based on 

status information from production 

test that designates the memory 

columns with defective storage 

cells. This facilitates the integration 

into built-in self-repair schemes. 

PARTNERS 

SMEs: 



CEA LIST, LIRMM 

PROJECT DATA 

Coordinator: 


Call: 

ANR 

Start date: 

December 2010 

Duration: 

36 months 


1.7 

Funding (M2): 

0.7 


The project is in an incipient phase (T0+3) and no major outcomes besides the first 

scientific innovations can be reported. 


221


ENCUPACK 

Energy Cured Print, Training 

and Diagnostic Systems to increase 

skills and productivity for print 

and packaging 

EUROPEAN 

PROJECT 

ON GOING 

PROJECT 

Modelling of Energy Curable Inks for printing and packaging. Creation of Training 

simulator and diagnostic system. Both Share a common multi-lingual (language 

independent) knowledge-base. 


Modelling Methodology, Analytic tools, Knowledge base consruction, Simulation workboxes 

for print simulation, Enrichable dianostic system strucure. 

CONTACT 

Peter HERMAN 

SINAPSE PRINT SIMULATORS 

+33 (0)1 69 35 54 00 

peter.herman@sinapseprint.com 

PARTNERS 


ESTONIA - METAPRINT 

SMEs: 

SINAPSE PRINT 

SIMULATOR 5 - FRANCE 


GRENOBLE - INP - PAGORA 


Creation of Training simulator and diagnostic system. Both Share a common multi-lingual 

(language independent) knowledge-base. 

PROJECT DATA 

Coordinator: 

SINAPSE PRINT SIMULATOR - 

FRANCE 

Call: 

EUROSTARS: OPEN CALL 

Start date: 

November 2011 

Duration: 

36 months 


1.6 

0.75 (french share) 

Funding (M2): 

0.8 

0.4 (french share) 

222 



ENERGY POSITIVE 

IT 2.0 

Système d'Information 

Ouvert pour le Pilotage 

des Eco Quartiers 

(SIORE) 

ON GOING 

PROJECT 

To develop a software solution which enables an energy smart management of ecocities 

in production, storage and consumption optimizing with innovating information 

systems 


Software solution delivery of the optimal managing of energy consumption and production 

for buildings and eco-cities of tomorrow. Delivery of peripheral products based 

on energy management software. For users: comfort improvement and act to reduce 

energy consumption and carbon footprint. 


First year of the execution of the project, all partners are focus on the delivery of the 

fonctionnal architecture named SIORE. 

CONTACT 

Jean-Marc LEBOUVIER 

EMBIX 

+33 (0)6 76 30 68 20 

jean-marc.lebouvier@embix.fr 

PARTNERS 


ALSTOM, BOUYGUES, RENAULT 

SMEs: 

AVOB, DBT, DOTVISION, 

EMBIX, ZAMIREN 


CEA LIST, CEA LITEN, 

ECONOVING ET FONDATERRA, 

SUPELEC 

PROJECT DATA 

Coordinator: 

ALSTOM 

Co-label: 

ADVANCITY, TENERRDIS 

Call: 

FUI11 

Start date: 

October 2011 

Duration: 

36 months 


7 

Funding (M2): 

2.6 


223


E-PLU PLATEFORME DU DEVELOPPEMENT 

URBAIN DURABLE 

ON GOING 

PROJECT 

Transform the paper urban planning document into a digital urban development 3D 

simulation platform service that estimates the legal building possibilities according to 

morphological and urban criteria. 

e-PLU will enable digital city plans access on the Internet, viewable in 3D. It will become: 

◗ A tool for designing the cities future, help local authorities and partners in making 

strategic land use, urban programming, 

◗ A dynamic tool for presentation of new projects to stake holders and citizens, 

◗ A collaborative platform for territorial engineering work. 

The core of e-plu consists of a building capacity simulator that transforms the legal rules 

in geomatic data embeddable in a 3D buildings environment. 


CONTACT 

Manuel VERRIER 

QUELLEVILLE? 

+33 (0)1 80 89 60 33 

manuel.verrier@quelleville.fr 

PARTNERS 

SMEs: 

OSLANDIA 


IGN 

◗ Create automatically or semi-automatically specific urban planning 3D models from 

existing aerial pictures reducing significantly production cost 

◗ Development of pattern recognition algorithms for the identification and qualification 

of openings in walls(windows and doors of different sizes) from aerial photos in order 

to integrate 3D urban data bases 

◗ Spatial analysis and topological functions solution on 3D volumes (intersection, union 

...) , robust and usable with spatial databases 

◗ CityGML via WFS: integration of standards within TinyOWS, modelisation of a new 

application architecture meeting the modularity of CityGML and its extensions 

◗ Load, store and distribute urban data in a reliable, highly available and multiuser 

application 

◗ Processing and analysis urban data engine ( topological querying of 3D data) for the 

simulation of urban planning projects. 

PROJECT DATA 

Coordinator: 

QUELLEVILLE? 

Co-label: 

ADVANCITY 

Call: 

FEDER6 

Start date: 

January 2012 

Duration: 

36 months 


1.4 

Funding (M2): 

0.7 


Project starting now ! 

224 



EVOD 

Educational Video On Demand 

ON GOING 

PROJECT 

Technological solutions to enable mass deployment of mobile video-on-demand (VoD) 

services dedicated to educational use and on-demand delivery of audiovisual archives 

(25 000 hours of content). The project specifically addresses the fragmentation of mobile 

devices and delivery networks capabilities by massive transactional data processing to 

adapt multimedia content to the high variable access conditions of the users. 

CONTACT 

Frederic BOUILHAGUET 

RESONATE MP4 

+33 (0)6 63 40 99 12 

bouilhaguet@resonate-mp4.com 


◗ Adaptability of multimedia content encoding to the wide fragmentation of mobile devices 

and networks (3G, Edge, WiFi home, Wi-Max) capabilities. 

◗ Massive data processing (transcoding, indexing, encryption) on huge volumes of multimedia 

content. 

◗ Performance and accuracy of faces recognition in huge volumes of video data. 

◗ Innovative ergonomics of video on demand services for mobile devices: adpatability 

of user interfaces to the device capabilities. 

PARTNERS 

SMEs: 

BACKELITE, RESONATE MP4 


INSTITUT NATIONAL 

DE L'AUDIOVISUEL (INA), 

TELECOM SUDPARIS 


◗ On demand video processing platform available on cloud and HPC infrastructures for 

transcoding anf faces recognation. 

◗ Two field trials of educational video on demand services for Institut National de l'Audiovisuel 

(INA) and Telecom SudParis. 

PROJECT DATA 

Coordinator: 

RESONATE MP4 

Call: 

FEDER3 

Start date: 


Duration: 

32 months 


1.1 

Funding (M2): 

0.5 


NEPTUNE, PCS, POPS 


225


EXPAMTION 

Experimentation of a simulation 

infrastructure involving all actors 

of the mechatronic design chain 

COMPLETED 

PROJECT 

Experimentation of a collaborative design methodology involving ALL players of the 

supply chain using the existing simulation software solutions from the software vendors 

and accessing to the overall expertise, human resources, hardware and software to optimize 

the collaborative design process. 

Principle Targeted Goals: 

◗ Undertaking the current unachievable technical challenges in the automotive mechatronic 

design process. 

◗ Elaborate a new collaborative design process method with the implications of various 

simulation solutions for future use. 

◗ Identify the requirements and needs involving the simulation tools for the upcoming 

collaborative design process. 

◗ Expose the automotive market to the SMEs automotive supply chain and simulation 

software providers. 

◗ Open a new market for the simulation software providers. 


◗ The growth of the SMEs is conditional to new industrial needs and demand. 

◗ Facilitating the collaboration between laboratories and industrial companies. 

◗ Unique tools and means to increase the reliability and quality of the automotive electronic 

and mechatronic parts, that play a major role for innovation. 

◗ Stimulus for researchers. 

◗ The competitiveness and attractiveness of the industrial players. 

◗ The opportunity possibility is available to contribute the emergence of a world Excellency 

Center in Mechatronics - VEDECOM - and this allows the authority significant 

means for designing and simulating the innovative automotive mechatronic parts. 



• The world first ever experimental car realization. 

• The operational and implemented 

tools and methodology for several 

product development project by 

VALEO. 

• These tools and methodology are 

available to SMEs. 

• Significant progress on the security 

and encryption process. 

• An actual need is inexistence 

today. The related partners (particularly 

SMEs) gains knowledges, 

skills and competencies and competent. 

CONTACT 

Alain DUBOIS 

SIMPOE SAS 

+33 (0)1 60 33 29 90 

adubois@simpoe.com 

PARTNERS 


BULL, VALEO 


ALTAIR 

SMEs: 

CADLM, INTES, MDP, SIMPOE 


CETIM, USVQ, UTC 

PROJECT DATA 

Coordinator: 

SIMPOE SAS 

Co-label: 

MOV'EO 

Call: 

FUI6 

Start date: 

December 2008 

Duration: 

36 months 


8.2 

Funding (M2): 

3.3 

226 


Data analytics 

COMPLETED 

PROJECT 

Integrate the needs for High Performance Computing and data processing in the design 

of a new generation of multiprocessor servers for the 2008 timeframe. Develop 

programming tools and libraries to facilitate a high level of parallelisation for future 

applications, demonstrate the efficiency on some applications requiring high computing 

performance and processing high volume of data. 


◗ Products: 

PC system and HPC software. 

◗ Services: 

Optimization of architectures and applications. 

◗ Patents: 

No joint patents, but new IP for partners. 


• Functional mock-up and specifications for future servers available. 

• Threads management, iterative compiling and multicore parallelisation have been 

worked in view of scientific processing and used for some applications. 

• ILOG solver on large SMP servers available. 


26 publications, project presentations in HPC Europe Workshop and Ter@tec Events. 

◗ Experimentations: 

• Data base for 20 million images created first time with tools allowing “intelligent 

search”. 

• Airflow for a complete airplane simulated with 20 million elements. 

• Oil reservoir simulated with 112 million elements, spanning over 300 exploitation 

days. 


Start up creation; new position in market for several partners. 

CONTACT 

Jean-François LAVIGNON 

BULL 

+33 (0)1 30 80 30 38 

jean-francois.lavignon 

@bull.net 

PARTNERS 


BULL, DASSAULT AVIATION, 


ILOG 

SMEs: 

CAPS-ENTREPRISE, 

NEWPHENIX, RESONATE MP4 


CEA, ECOLE CENTRALE PARIS, 

INSTITUT FRANÇAIS DU 

PÉTROLE, INRIA, INT-ARTEMIS, 

UNIVERSITÉ D’ÉVRY, 

UNIVERSITÉ DE VERSAILLES 

SAINT-QUENTIN-EN-YVELINES 

PROJECT DATA 

Coordinator: 

BULL 

Call: 

FUI0 

Start date: 

March 2006 

Duration: 

18 months 


11.3 

Funding (M2): 

4 


CARRIOCAS, IOLS 


227


FLAme CoMposite 

MAterials REsistance 

COMPLETED 

PROJECT 

Composite materials are more and more used for their qualities (weight, resistance, 

aging…) in the design of structural needs: walls in maritime, self-weight partitions in 

buildings, doors in rail transportation or fuselage in aeronautics. In spite of those 

advantages, one of the main problems of composite materials is their fire resistance, 

that is being only dealt with experimental assessment as fire resistance tests. The aim 

of the FLACOMARE project consists in developing a methodology for the assessment of 

the thermo-mechanical behavior of composite structures in case of fire. The need is a 

coupling of the capabilities in modeling, combustion, thermal and structural behavior 

at elevated temperature. This development is fully based and validated on multiscale 

experimental datas. 


A multiscale experimental campaign was leading from microscale chemical composition 

analysis to large scale fire testing, and is now completed, leading to a full database for 

composites materials and their behavior in case of fire. A numerical tool has been 

developed to simulate the thermomechanical answer of the composite, taking into 

account pyrolysis process and delamination. The validation of this tool was based on 

multiscale testing results. A methodology has been released, indicating the minimum 

testing procedure and physical datas needed. Reports have been edited and are updated 

at every experimental or numerical step of the project. 



"Fire resistance of sandwich composite materials", poster session at 9th AOFST 

symposium, China 2012. 

"Résistance au feu des matériaux composites", talk session at GDR Incendie, Rouen 

2012. 

"FLACOMARE, Résistance au feu des matériaux composites: application à un 

panneau sandwich ", talk session at Congrès Français de mécanique, Bordeaux 2013 


CONTACT 

Gildas AUGUIN 

EFECTIS FRANCE 

+33 (0)1 60 13 83 82 

gildas.auguin@efectis.com 

PARTNERS 


LMS SAMTECH 

SMEs: 



LNE 

PROJECT DATA 

Coordinator: 


Call: 

FEDER3 

Start date: 

April 2011 

Duration: 

24 months 


1 

Funding (M2): 

0.5 

228 



Infrastructures d'exécution 

flexibles pour l'embarqué 

COMPLETED 

PROJECT 

Building and deploying future component-based applications require innovative 

architectures and methodologies. The purpose of the Flex-eWare project is to provide 

a platform for the creation of execution and communication infrastructures for such 

applications. These infrastructures are to be optimized, open and flexible; they target 

component-based embedded systems. In this context, flexibility means the ability to 

change the application structure without recompiling all the code. 

CONTACT 

Thomas VERGNAUD 

THALES 

+33 (0)1 69 41 56 11 

thomas.vergnaud 

@thalesgroup.com 


A canonical component model, the 

Flex-eWare Component Model (FCM), 

has been designed. It is a synthesis 

and a generalisation of industrial 

and academics experience and 

best practices on component-based 

modeling. The FCM has been integrated 

in existing frameworks to 

bring component-based modeling 

approach. Besides, flexibility points 

have been studied and implemented 

in very low footprint platforms capable 

of component replacement at 

runtime (Fractal/Think) or reconfiguration 

with real-time guarantees 

(MyCCM for high integrity systems). 

PARTNERS 


ORANGE, SCHNEIDER 

ELECTRIC, THALES 


TEAMLOG 

SMEs: 

TRIALOG 


CEA LIST, INRIA, 

TELECOM PARISTECH, 

UNIVERSITE PIERRE ET MARIE 

CURIE LIP6 



About 20 publications in international conferences. 


Developed or improved 5 component-based infrastructures: MyCCM (Thales), Fractal/ 

Cecilia (INRIA), Fractal/Think (Orange Labs), eC3M (CEA), OASIS (CEA). 

PROJECT DATA 

Coordinator: 

THALES 

Co-label: 

MINALOGIC 

Call: 

ANR 

Start date: 

December 2006 

Duration: 

36 months 


5.4 

Funding (M2): 

2.3 


PARSEC 


229


Formal Proofs of Scientific 

Computation Program 

COMPLETED 

PROJECT 

FOST aims at developing and applying methods to formally prove the soundness of 

programs used in numerical analysis. In particular, we are interested in programs 

which often appear in the resolution of critical problems and in increasing their safety 

level. Many critical programs come from numerical analysis, but few people have ever 

tried to apply formal methods to this kind of programs. One reason is that formal 

methods were too immature to handle such problems. Formal method tools and in 

particular formal proof systems are becoming mature and are now able to deal with 

the real numbers and with floating-point numbers, which makes it possible to apply 

these systems to numerical analysis programs. Moreover, FOST aims at providing 

reusable methods that are understandable by non-specialists of formal methods. 


We have studied and formally proved a program 

that solves the one-dimensional acoustic wave 

equation. This means dealing with two very 

different kinds of bounds. The method error 

mostly amongst to mathematical demonstrations. 

We therefore needed to formally prove many 

mathematical results and go into the very details 

of the pen-and-paper proofs. The floating point 

error requires a deep study of the program. We 

looked into manual and automatic methods to 

bound the final error due to roundings at each 

operation. 



• Sylvie Boldo, François Clément, Jean- 

Christophe Filliâtre, Micaela Mayero, Guillaume 

Melquiond, and Pierre Weis. Wave 

Equation Numerical Resolution: a Comprehensive 

Mechanized Proof of a C Program. 

Journal of Automated Reasoning, Volume 50, 

Issue 4 (2013), Page 423-456. 

• Sylvie Boldo and Guillaume Melquiond. Flocq: 

A Unified Library for Proving Floating-point 

Algorithms in Coq. In Proceedings of the 20th IEEE Symposium on Computer Arithmetic, 

pages 243-252, Tübingen, Germany, July 2011. 

• Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume 

Melquiond, and Pierre Weis. Formal Proof of a Wave Equation Resolution 

Scheme: the Method Error. In Matt Kaufmann and Lawrence C. Paulson, editors, 

Proceedings of the first Interactive Theorem Proving Conference (ITP), volume 6172 

of LNCS, pages 147-162, Edinburgh, Scotland, July 2010. Springer. (merge of TPHOL 

and ACL2). 

• Sylvie Boldo, Jean-Christophe Filliâtre, and Guillaume Melquiond. Combining Coq 

and Gappa for Certifying Floating-Point Programs. In 16th Symposium on the Integration 

of Symbolic Computation and Mechanised Reasoning, volume 5625 of Lecture 

Notes in Artificial Intelligence, pages 59-74, Grand Bend, Canada, July 2009. 

Springer. 

• Sylvie Boldo. Floats & Ropes: a case study for formal numerical program verification. 

In 36th International Colloquium on Automata, Languages and Programming, 

volume 5556 of Lecture Notes in Computer Science - ARCoSS, pages 91-102, Rho- 

CONTACT 

Sylvie BOLDO 

INRIA SACLAY 

+33 (0)1 74 85 42 26 

sylvie.boldo@inria.fr 

PARTNERS 


INRIA PARIS - 

ROCQUENCOURT, INRIA 

SACLAY, LIPN - CNRS, 

UNIVERSITÉ PARIS 13 

PROJECT DATA 

Coordinator: 

INRIA SACLAY 

Call: 

ANR-08-BLAN-0246-01 

Start date: 

January 2009 

Duration: 

41 months 


0.4 

Funding (M2): 

0.1 

230 



Framework and Programming 

for Post Petascale Computing 

ON GOING 

PROJECT 

Computational science through applications of high performance computing enables us 

to explore uncharted fields of science, and has now become indispensable for the 

development of science and technology of the 21st century. High performance 

computing systems used for cutting-edge of advanced computational science have 

reached to petaflops (a million billion calculations per second) performance, and will be 

targeted to the next generation of exascale systems as a post petascale system. Our 

goal is to contribute to establish software technologies, languages and programming 

models to explore extreme performance computing beyond petascale computing, on 

the road to exascale computing.. 

CONTACT 

Serge PETITON 

INRIA 

+33 (0)6 15 15 29 80 

serge.petiton@inria.fr 

http://jfli.nii.ac.jp 


The exascale computers will likely be built as a very large, hierarchical, and heterogeneous 

architecture, integrating different existing and new programming paradigms to 

push forward the frontiers of HPC. They would require the use of novel adapted systems, 

methods, algorithms and languages not previously available for existing supercomputing 

systems. The main goal of the ANR-JST FP3C project is to be able to propose to future 

end-users and software developers a global analysis and solutions on how to 

program these platforms. We address different problems from the applications to the 

codetuning for multi-core processors and modern accelerators, in particular modern 

GPUs that offer Teraflops of computing power on a single chip. We developed a hybrid 

multilevel framework, based on YML, XMP and runtime systems, which allows to program 

these hierarchical parallel architectures (cf. Figure). We experimented our software 

on the French GRID5000 platform and on the Tuskuba Japanese supercomputer. 

PARTNERS 


CEA/DEN 


CNRS IRIT, CNRS PRISM, 

INRIA BORDEAUX, INRIA 

RENNES, INRIA SACLAY, 

KYOTO UNIVERSITY, TOKYO 

INSTITUTE OF TECHNOLOGY, 

UNIVERSITY OF TOKYO, 

UNIVERSITY OF TSUKUBA 


The kickoff meeting was organized on september 6-7, 2010, at INRIA Saclay. We 

postponed the end of the project to march 31, 2014, as a consequence of the difficulties 

to travel in Japan during a few months. We organized a meeting between French 

industrial and our Japanese partners during the Supercomputer conference last 

November in USA. We have strong collaborations with US teams to prepare a French- 

Japanese-US project for exascale programming, as a major result of the FP3C project 

and the root of future joint researches. 

PROJECT DATA 

Coordinator: 

INRIA, UNIVERSITY 

OF TSUKUBA 

Call: 

ANR 

Start date: 


Duration: 

36 months 


6.1 

Funding (M2): 

1.4 


231


A Language Workbench 

for Heterogeneous Modeling 

and Analysis of Complex 

Software-Intensive Systems 

ON GOING 

PROJECT 

GEMOC focuses on three design and validation issues in complex software-intensive 

systems: 

◗ Consider various concerns. Multiple stakeholders are involved in the design process, 

each with a specific domain expertise. Stakeholders use their own language, which 

then must be composed for global analysis and execution. 

◗ Integrate heterogeneous parts. Complex systems integrate different devices 

specialized for different applications to deliver a global service. Thus, communication, 

synchronization must be modeled to compose heterogeneous parts and characterize 

the emerging behavior. 

◗ Deal with evolution and openness. It is not possible to establish an exhaustive, finite 

list of domain languages, communication and timing models. Thus, tools and 

environments must be open and allow the evolution or the creation of modeling 

languages. 


The ANR INS Project GEMOC (grant ANR-12-INSE-0011) focuses on a generic framework 

for heterogeneous software model execution and dynamic analysis. This work has 

the ambition to propose an innovative environment for the design of complex softwareintensive 

systems by providing: 

◗ a formal framework that integrates state-of-the-art in model-driven engineering 

(MDE) to build domain-specific modeling languages (DSMLs), and models of computation 

(MoC) to reason over the composition of heterogeneous concerns; 

◗ an open-source design and modeling environment associated to a well-defined 

method for the definition of DSMLs, MoCs and rigorous composition of all concerns 

for execution and analysis purposes. 

This requires addressing 

two major 

scientific issues: the 

design and verification 

of a formal 

framework to combine 

several different 

DSMLs relying on 

distinct MoCs; the 

design and validation 

of a methodology for 

DSMLs and MoC development. 

GEMOC 

aims at participating 

in the development 

of next generation 

MDE environments 

through a rigorous, 

t o o l - s u p p o r t e d 

process for the definition of executable DSMLs and the simulation of heterogeneous 

models. 

CONTACT 

Benoit COMBEMALE 

INRIA RENNES - BRETAGNE 

ATLANTIQUE 

+33 (0)2 99 84 25 68 

benoit.combemale@irisa.fr 

PARTNERS 


THALES 

SMEs: 

OBEO 


CNRS I3S, ENSTA BRETAGNE, 

INPT IRIT, INRIA RENNES- 

BRETAGNE-ATLANTIQUE 

PROJECT DATA 

Coordinator: 

INRIA RENNES-BRETAGNE- 

ATLANTIQUE 

Co-label: 

AESE, I&R 

Call: 

ANR, PROGRAM INS 2012, 

N°ANR-12-INSE-0011 

Start date: 

December 2012 

Duration: 

40 months 


2.7 

Funding (M2): 

1 


Project started in December 2012. 

232 



HDL Code generation 

for Safety critical application 

COMPLETED 

PROJECT 

The aim of the project is to study an HW design environment able to fulfil the strong 

contraints linked to the safety of critical embedded systems. The project is mainly 

focused on HDL code generation and its "certificability" for FPGA target based upon 

high level requirements but also the verification and validation activity. The application 

domain is mainly avionics but the approach could be also adopted for automotive, 

process automation and railway. Indeed, the avionics standard is often considered as 

pioneering the best pratices later adopted in the other domains. 

Tools are developed by SME companies based on requirements provided by industrial 

partners which afterwards validate the tools on use case. The impact of certification 

overhead is also investigated. 


The state of the art in avionics is 

to express the HW requirements 

by means of text using (Word, 

Framemaker,) or dedicated tools 

such as (Doors or Requisite Pro) 

and "translate" them manually to 

write VHDL code. The GENCOD 

project aims at providing tools to 

work progressively at an higher 

level of abstraction using also automatic 

HDL code generation. All 

this approach has to be compliant 

with DO254 and safety related 

safety verification and validation 

activities. 



Development of a generation code prototype fulfiling the DO254 constraints. 


Evaluation and comparison of the generated code and the initial code. 

CONTACT 

Michel SARLOTTE 

THALES 

+33 (0)1 46 13 29 72 

michel.sarlotte@fr.thalesgroup 

.com 

PARTNERS 


AIRBUS, DASSAULT AVIATION, 

SAGEM, THALES 

SMEs: 

ESTEREL TECHNOLOGIES, 

GEENSOFT 


UNIVERSITE PARIS SUD 11 - 

LRI 

PROJECT DATA 

Coordinator: 

THALES 

Call: 

FUI3 

Start date: 


Duration: 

36 months 


2.9 

Funding (M2): 

1.1 


233


High Performance image Processing 

EUROPEAN 

PROJECT 

COMPLETED 

PROJECT 

HiPiP aims at building affordable solutions for high throughput image processing of 

potentially very large and heterogeneous data sets, and improving the use of multi-core 

technologies to the participating companies. The project is addressing the demand for 

shorter image-processing times in five main areas: detailed brain imaging, minimal 

invasive surgery, real-time radiation therapy planning, mass screening for early cancer 

detection and faster operation of high resolution electron microscopes. The main users 

of the technology are companies that need fast and affordable complex image 

processing. Success will have a major impact on their offering to clients who will be able 

to get more informative data readily from their images. 

CONTACT 

Frederic SOINNE 

BULL 

+33 (0)4 76 29 75 11 

Frederic.Soinne@bull.net 


◗ Parallelisation of medical image processing reducing 

the latency time to be real-time during intervention 

and to a few minutes for diagnostic and 

medical research. 

◗ Protocols, scheduling, resource management, and 

virtualisation, to process low latency algorithms on 

multi-core processor as background processing. 

This includes supporting both real-time and nonreal 

time operating systems on the same multicore 

chip. 

◗ Processing of one subject against a large database on 

a standard multi-core/multiprocessor HW platform. 

◗ Data mining and cognitive model: Discovering links 

between large number of variables (genetics, imaging, 

psychophysics, and cellular characteristics). Use of demanding statistical 



9 presentations, 1 PhD thesis. 

• Proceedings of the 2011 IEEE Medical Imaging Conference, Valencia, Spain. 

• Task complexity analysis and QoS management for mapping dynamic video-processing 

tasks on a multi-core platform - Journal of Real-Time Image Processing v. 6 no. 1. 

◗ Product(s) or service(s): 

• Real-time platform based on Bull HPC technology, for new commercial projects 

and real-time applications. 

• Service improvement of CEA neuroimaging research plateform, with better performance 

with very low material investment. 

• New generation of Dosisoft ISOgray radiotherapy planning system and Dosisoft 

SIMAgo virtual simulation workstation for radiotherapy enabling higher performances 

and optimized simulation of the patient treatment. 

• New generation of IMSTAR automated high-throughput image scanning systems for 

mass cancer screening, using the image processing parallelisation made in HiPiP. 

◗ Job creation: 1 engineer for Dosisoft, 1 engineer for CEA 

◗ Maintained jobs: 4 engineers for Bull, 1 engineer for Dosisoft 


The unique expertise developed for HiPiP and real-time HPC platform of Bull are to be 

used in commercial projects, in areas such as military, aeronautics and healthcare. 

PARTNERS 


BULL, FEI, PHILIPS 

HEALTHCARE 

SMEs: 

DOSISOFT, IMSTAR, 

TECHNOLUTION 


CEA 

PROJECT DATA 

Coordinator: 

PHILIPS HEALTHCARE 

Call: 

ITEA 

Start date: 

October 2008 

Duration: 

36 months 


4.8 

Funding (M2): 

1.4 


FAME2, TER@OPS 

234 



ILMAB 

Infrastructure Logicielle pour la Modélisation 

et l’Analyse des Bâtiments 

ON GOING 

PROJECT 

The purpose of the project is to highlight, based on a demonstrable prototype 

implementation, that the conditions are now met to integrate the subjects related to 

the building trade through a consistent virtual representation which may integrate all 

aspects of the business chain. Since all main pieces of the puzzle already exist (formal 

models of buildings, direct physical simulation software from component scale to 

building scale, regulatory practices digitization, etc.), the industrial partners of the 

project consider that this objective is now very realistic 

CONTACT 

Jean-Michel DECUQ 

CS SYSTÈMES D’INFORMATION 

+33 (0)1 41 28 47 87 

jean-michel.decuq@c-s.fr 


◗ CAD/calculation links. 

◗ CAD coming from engineering consultants 

often lack accuracy and rigour. But, above 

all, CAD files exchanges result in great 

losses of accuracy which make the CAD unusable 

for the meshing step. 

◗ Some industrial solutions, based on the digital 

model concept, begin to appear, but they 

are expensive. 

◗ Multi-scale digital modeling of concrete materials. 

◗ The difficulty comes from: 

• Creation and analysis technologies of representative 

elementary volumes for simulating 

physical behaviours at mesoscopic scale. 

• Digital homogenization technologies for 

processing complex geometries for materials 

at macroscopic scale. 

• Using in situ information (eg surface 

cracking) in models update. 

• HPC simulations, standards and best 

practices. 

• The purpose is to implement an architecture 

which leverages the most advanced HPC simulation and is able to provide a service to 

engineering consultants: approaches which include analysis and design processes 

compliant with best practices and which can support standards and regulations are to 

be materialized. 


The main project outcomes are: major evolutions for some tools: Eurocodes in Scilab, 

SALOME interfacing with IFC’s, realistic demonstration tools allowing building analysis 

according to different points of view (seismic sensitivity, fire hazard), an operating plan 

for complete industrialization of demonstration tools. 

PARTNERS 


EDF, NECS (GROUPE VINCI), 

SETEC TPI CS SYSTÈMES 

D’INFORMATION) 


ESI GROUP, OPENCASCADE, 

SAMTECH 

SMEs: 

DISTENE, EUROSTEP, OXAND, 

OXALYA, SCILAB ENTERPRISES 


ASSOCIATION LÉONARD DE 

VINCI, CSTB, CEA, ENS 

CACHAN 

PROJECT DATA 

Coordinator: 

CS SYSTÈMES D’INFORMATION 

Co-label: 

ADVANCITY 

Call: 

FUI11 

Start date: 

October 2011 

Duration: 

30 months 


6.5 

Funding (M2): 

2.6 


EHPOC, OPENHPC 


235


INDIAC 

INversion et DIagnostic Automatique 

en Contrôle non destructif 

COMPLETED 

PROJECT 

The INDIAC issue is to assist diagnostic after a non destuctive testing with calculating 

tools based on inverse algorithms and strong direct models. The goal of this project is 

to enhance the early development in modelisation to built helping tool for diagnostic 

based on an optimal use of simulated data. 


The INDIAC project developed software tools to assist diagnostic. These tools are based 

on eddy current or ultrasonic models. An inverse model is developped for EC data interpretation 

(EDF), for UT testing, methods developped are based on specific data post-processing 

(CEA LIST) and neural network (CEV) in order to improve flaw characterisation. 

In order to optimize these models, tools are built like adaptative data-base (L2S) or "real 

time" (M2M) related to the platform CIVA. 

CONTACT 

Séverine PAILLARD 

CEA LIST 

+33 (0)1 69 08 46 95 

severine.paillard@cea.fr 

PARTNERS 


CEA LIST, CEV-VALLOUREC, 

EDF 

SMEs: 

M2M 


L2S 

PROJECT DATA 

Coordinator: 

CEA LIST 

Call: 

ANR 

Start date: 

April 2008 

Duration: 

36 months 


0.8 

Funding (M2): 

0.4 



• "Adaptive database for eddy-current testing of metal tube" accepté au "8th International 

Symposium on Electric and Magnetic Fields", EMF 2009 qui s'est tenu en 

mai 2009 à Mondovi (Italie) présenté par SUPELEC-L2S. 

• "New ultrasonic array imaging of crack-type defects based on simulated-helped 

processing", accepté au "10th European conference on nondestructive testing", 

ECNDT 2010 qui s'est tenu en 29 juin 2010 à Moscou (Russie) présenté par CEA LIST. 

236 



INTENSE 

Initiative Nationale 

Technologique d’Envergure 

pour une NeuroStimulation Evoluée 

HEALTH 

& ICT 

ON GOING 

PROJECT 

The objective of the project is to develop an innovative, communicating implantable 

neurostimulation electronic platform for the treatment of major diseases. The first 

targeted applications concerns vagal nerve stimulation for heart failure refactory to 

medical treatment and severe obesity. 

The project aims to create in Europe a new biomedical industrial sector, neurostimulation, 

a fast growing field, for which France has skills and assets and which represents a strong 

investment for the future. 

CONTACT 

Alain RIPART 

SORIN CRM 

+33 (0)1 46 01 33 04 

alain.ripart@sorin.com 


The project will include: 

◗ The development of an innovative, multi-sensors, low current-consumption, embedded 

micro-electronics platform ,with RF communication capabilities. 

◗ The implementation of optimized neurostimulation and data storage algorithms leading 

to an auto-adaptative therapy 

◗ Device miniaturization through the introduction of a new multi-chip 3D stacking technology. 

◗ The design of innovative electrodes,for a better selectivity and energy stimulation optimisation 

PARTNERS 


SORIN CRM 

SMEs: 

3DPLUS, OBELIA 


CEA LETI, CHU ET UNIVERSITE 

DE RENNES1, HEGP, INRA, 

INRIA 


The project will start in 2012. 

PROJECT DATA 

Coordinator: 

SORIN CRM 

Co-label: 

EUROBIOMED, MINALOGIC 

Call: 

PSPC 

Start date: 

April 2012 

Duration: 

72 months 


53.5 

Funding (M2): 

17.3 


237


IOLS 

Infrastructures and Software 

Tools for Simulation 

COMPLETED 

PROJECT 

The 1st target of IOLS was the design and the development of generic software and 

platforms for products and process global design and optimisation (coupling, largescale 

meshes, visualisation, ...). The 2nd goal was the development of methodologies for 

multiscale simulations and multi-disciplinary optimisation. Demonstrators were 

essentially focused on industrial computer-aided solutions for materials applications: 

aging, multi-materials assemblies, new advanced materials for optics. IOLS was also 

the first project to deal with Simulation LifeCycle Management and CAD-CAE links 

applied to crashworthiness analysis. 

CONTACT 

Michel NAKHLE 

CS 

+33 (0)1 41 28 43 57 



◗ Products: 

Platform and tools: Integration/Coupling of new “black box software tools” (CNES); 

New coupling tool integration (applications for CEA, EDF); Large-scale data visualization 

(filtering/décimation); Meshing tools; Commercial tools (ESI Group, Samtech ...). 

◗ Services: 

Crashworthiness analysis of 

multi-materials assemblies; 

Injection component optimization 

(plasturgy); Optics properties 

(Periodical structured 

materials design). 


Multi-Scale & Multi-Physics calculation 

for behaviour and aging 

of metallic materials and concrete; 

Welding process simulation 

tools. 


• J. Duysens, “IOLS: A French 

Initiative for Developing Platforms 

and Software dedicated 

to High Performance 

Multiphysics and Multidcale Global Design Optimization”, 7th World Congress on 

Computational Mechanics, July 16-22, 2006, Los Angelès, CA, USA. 

• Duysens J., Langlois St., Nakhlé M., “High Performance Computing Approach for 

Advanced Polymer Injection Molding Simulation”, 9th US National Congress on 

Computational Mechanics, July 22-26, 2007, San Francisco, CA, USA. 

◗ Job creation: 

Global figure estimated to 50 or 60. 


Industrial deployment of Simulation Lifecycle Management technology; new busi 

ness for commercial software (crashworthiness and welding process fields). 

PARTNERS 


CS, DASSAULT-AVIATION, 

DASSAULT-SYSTÈMES, EADS, 

EDF, RENAULT, SNECMA, 

THALES 


BERTIN TECHNOLOGIES, 

ESI GROUPE, OPEN-CASCADE 

SMEs: 

DISTENE, SAMTECH 


CEA, CNES LAMSADE, CSTB, 

ECP, ENS, ENSMP, IFP, INRIA, 

ONERA 

PROJECT DATA 

Coordinator: 

CS 

Call: 

FUI0 

Start date: 

November 2006 

Duration: 

28 months 


11.4 

Funding (M2): 

4.8 


EHPOC 

238 



IOMCA 

Introducing Ontologies in Monte-Carlo 

Tree Search and Applications 

COMPLETED 

PROJECT 

Combining Monte-Carlo Tree Search and other Artificial Intelligence Techniques with 

Mathematical Programming tools. Testing MCTS, DPS and others for sequential 

decision making in power systems. 


Monte-Carlo Tree Search in continuous 

domains. RAVE values in continuous 

domains. Combining DPS and MCTS. 

Combining Reinforcement Learning 

and model-predictive control. Combining 

MCTS and CSP. 

Nice applications in games 

http://www.lri.fr/~teytaud/games.html. 



• Learning a Move Generator for MCTS (ICS 2012) 

• Improving the exploration in MCTS (LION2012) 

• MCTS appliqué à la gestion de stock (ROADEF 2009) 

• Continuous UCT (LION 2011) 


Prototype for the Metis platform http://www.lri.fr/~teytaud/metis.html. 


POST project http://www.inria.fr/centre/saclay/actualites/optimiser-l-energie-pourl-avenir 

CONTACT 

Olivier TEYTAUD 

INRIA 

+33 (0)6 95 56 00 94 

olivier.teytaud@inria.fr 

www.lri.fr/~teytaud/iomca.html 

PARTNERS 

SMEs: 

ARTELYS 


INRIA, NUTN & OTHER 

TAIWANESE UNIVERSITIES 

PROJECT DATA 

Coordinator: 

INRIA SACLAY IDF, TAO TEAM 

Call: 

ANR international white project 

Start date: 

January 2010 

Duration: 

40 months 

Funding (M2): 

0.2 


239


Imageur Robotisé pour 

IRIMI les Interventions Mini-Invasives 

COMPLETED 

PROJECT 

Worlds of Interventional Radiology and Cardiology on one side and Surgery on the other 

side have been converging is the past few years. The difference between interventional 

rooms and image guided surgery suites starts vanishing. Many clinical institutions want 

to migrate toward solutions combining attributes of these two worlds: sterile environment, 

surgery table, high-end imaging system, … Therefore, it becomes necessary to integrate 

interventional imaging systems inside the surgery room without compromising 

ergonomics, sterility, and imaging performance, while not imposing additional constraints 

upon the medical staff nor extra costs. The IRIMI project’s objective is to demonstrate the 

feasibility of a robotic imaging system that meets the needs of both interventional and 

surgical procedures. 


Project is complete. A first generation of product is on the market. 

See:http://www3.gehealthcare.fr/fr-FR/Products/Categories/Systemes_interventionnels_guides_par_image/Systemes_guides_par_image_pour_la_radiologie_interventionnelle/Discovery_IGS_730 

CONTACT 

François KOTIAN 

GE HEALTHCARE 

+33 (0)1 30 70 98 12 

francois.kotian@ge.com 

PARTNERS 


C&K COMPONENTS, 

GE HEALTHCARE 


C&K 

SMEs: 

BA SYSTÈMES 


CEA-LIST, CR2I (INRA, AP-HP), 

IRCCYN (CNRS) 



Creation of new business for BA Systems, creation of new product line for GE 

Healthcare. 

◗ Patents: 

18 filings - See: FR0953407 "Appareil à rayons X" and US8177430 "System and 

method to automatic assist mobile image acquisition" (other filings not to be 

disclosed at this moment). 


PROJECT DATA 

Coordinator: 

GE HEALTHCARE 

Co-label: 

IMAGE&RÉSEAUX, MEDICEN 

Call: 

FUI9 

Start date: 

April 2010 

Duration: 

34 months 


18.6 

Funding (M2): 

5.7 

240 



Jeu Educatif pour la Stimulation 

Multisensorielle d’Enfants atteints 

de troubles envahissants 

du développement 

COMPLETED 

PROJECT 

The main objective of the JEStiMulE project is to better define and further expand the 

use of serious games. The work will be based on the development of a low-cost 

demonstrator. This demonstrator will be an interactive multisensory game combining 

visual, auditory and tactile feedback. The game will be used as a complement to the 

psychotherapy of children with pervasive developmental disorders, including autism. 

These children have impaired social skills and communication. Therefore, the 

interactive game will focus on teaching these skills (e.g. emotions recognition, ability 

to converse). The final demonstrator will be evaluated with end users and with a 

combination of HCI and neuroscience methods. 


◗ Development of a highly interactive serious game that preserves the user's freedom to discover 

the 3D environment. This helps maintaining user's attention and thus improves the therapeutic 

impact of the game. 

◗ A game which can be used by individuals with both low and high functioning autism as it is 

possible to choose the optimal response modality according to the cognitive skills of the players. 

◗ The learning of social interactions is placed in a 

realistic context and the child plays an active role. The 

game acceptability is thus improved. 

◗ The game platform includes innovative user - machine 

interfaces that provide haptic feedback. This 

multisensorial environment improves the learning 

time. 



• Anastassova, M. & Lozada, J. (2012). Haptic 

perception and haptic technologies for children with 

autism spectrum disorders: Where we are now and 

where we are heading. Neuropsychiatrie de l'Enfance et de l'Adolescence, Volume 60, Issue 5, 

Supplement, July 2012, Pages S59. 

• Changeon, G., Graeff, D., Anastassova, M., & Lozada, J. (2012). Tactile emotions: A vibrotactile 

gamepad for transmitting emotional messages to children with autism, EuroHaptics 2012, 13- 

15 June 2012, Tampere, Finland. 

• Hun, S., Iakimova, G., Askénazy, F., Lozada, J., Anastassova, M., & Serret, S. (2012). Therapeutic 

use of a serious game for children and adolescents with Autism Spectrum Disorders. 

SEGAMED 2012, Nice, France. 

• Iakimova G., Mardaga S., Serret S., & Askenazy F. (2012). Can ICTs enhance neurocognitive 

processes of emotional perception in autism: insights of event-related potentials, 

Neuropsychiatrie de l'Enfance et de l'Adolescence, Volume 60, Issue 5, Supplement, July 2012, 

Pages S59-S60. 

• Iakimova G., Mardaga S., & Serret S. (2012). Les mécanismes neuro-fonctionnels de la 

reconnaissance des émotions faciales dans les troubles autistiques: apport des potentiels 

évoqués cognitifs. In: Eustache F., Faure S. & Desgranges B. Manuel de neuropsychologie. Paris: 

Dunod. (à paraître septembre 2012) 

• Le Gall E., Iakimova G., Serret S., & Askenazy F. (2012). Social Cognition in early Onsetschizophrenia, 

high functioning autism and Asperger syndrome. The 3rd Biennial 

Schizophrenia International Research Society Conference. 14-18 April, 2012 Florence, Italy. 

• Mardaga S. & Iakimova, G. (2012) Le décours temporel du traitement d’expressions faciales 

émotionnelles modulé par la personnalité: une étude en potentiels évoqués. Journées 

Internationales de Psychologie Différentielle, Rennes, juin 2012. 


The serious game will be on the market in the next few months. This availability is expected to 

provide new therapeutic services to children with autism, as the studies conducted for evaluating 

the therapeutic impact of JeStiMulE showed that the game and the vibrotactile gamepad help 

children and teenagers with autism to acquire knowledge on emotion recognition (including 

facial expressions and gestures). The Jestimule platform also supports the generalization for this 

knowledge in real contexts. These observations, which were tested during the experimental 

session, for all the participants and for all the sensory modalities of emotional expression. 

Furtheremore, HLP Technologies is ready to launch the manufacturing of small or medium-size 

series of vibrotactile gamepads and vests. However, for these products, a serious market study 

has to be done before their presentation to consumers. 



CONTACT 

José LOZADA 

CEA LIST 

+33 (0)1 69 08 02 33 

jose.lozada@cea.fr 

PARTNERS 

SMEs: 

HLP TECHNOLOGIES, 

IDEES 3COM 


CEA LIST, CHU NICE, 

UNIVERSITE DE NICE-SOPHIA 

ANTIPOLIS 

PROJECT DATA 

Coordinator: 

CEA LIST 

Co-label: 

CAP DIGITAL 

Call: 

SERIOUS GAMING 

Start date: 

January 2010 

Duration: 

24 months 


1.2 

Funding (M2): 

0.6 


241


Lattice Boltzmann Solver 

COMPLETED 

PROJECT 

Development of a numerical tool for computational fluid dynamics based on Lattice 

Boltzmann Method and optimized for massively parallel computing. 

◗ Application fields: automotive, railway and aeronautic industries. 

◗ Target applications: aerodynamic simulations (calculation and optimization of aerodynamic 

drag and lift coefficients), aeroacoustic simulations (design optimization for 

noise sources reduction) and acoustic simulations (porous materials modeling). 

One of the key objectives of LaBS is to offer the first commercial software with direct 

aeroacoustic simulation capabilities (simultaneous simulation of aerodynamic noise 

sources and their acoustic propagation). 


During the LaBS project a new 

Lattice Boltzmann solver has been 

developed from scratch. The software 

has two main components: a userfriendly 

GUI for case setup and a 

parallel LB solver. The volume mesh 

is based on an octree multiresolution 

approach. The boundary 

conditions on complex geometry are 

treated with an immersed solid 

boundary algorithm. The sub-grid turbulence scales are modeled with advanced Large-Eddy 

Simulation models associated with a wall law model. The full simulation workflow (from surface 

meshing to automatic post-processing based on Paraview scripts) has been validated for 

automotive aeroacoustic applications. Further validation works on aeronautic cases will continue 

in future. 



• Vergnault, E., Malaspinas, O., Sagaut, P. (2012) A laRce Boltzmann method for non linear disturbances 

round an arbitrary base flow. J. Comput. Phys. 231 (24), 8070‐8082 

• Meldi, M., Vergnault, E., Sagaut, P. (2013) An Arbitrary Lagrangian‐Eulerian approach for the 

simulation of immersed moving solids with LaRce Boltzmann Method J. Comput. Phys. 235, 

182‐198 

• A. Augier, F. Dubois, L. Gouarin, B. Graille (2013) Linear lattice Boltzmann schemes for 

Acoustic: parameter choices and isotropy properties Computers and Mathematics with Applications, 

volume 65, pages 845-863 

• H. Touil, D. Ricot, E. Lévêque (2013) Direct and Large-Eddy Simulation of Turbulent Flows on 

Composite Multi-Resolution Grids by the Lattice Boltzmann Method, submitted to J. Comput. 

Phys., 2013 

• D. Ricot, E. Foquet, H. Touil, E. Leveque, H. Machrouki, F. Chevillotte, M. Meldi (2012), Aeroacoustic 

computations with a new CFD solver based on the Lattice Boltzmann Method, In Proceedings 

of SIA 2012, Le Mans, France (2012) 


• New product / new business for CS, GANTHA, MATELYS: New CFD product (Computational 

Fluid Dynamics) that will be commercially distributed by CS-SI: the LaBS package (GUI, parallel 

solver and full support). 

• New product for GANTHA: complete post-processing tools based on Paraview. 

• New activites in GANTHA, MATELYS and CS: New engineering services (full studies, expert 

software support) for aeroacoustics, aerodynamics, and porous materials studies. 

• Service major evolution for OVH-Oxalya: CPU on Demand offer (HPCSpot). 

◗ Job creation: 5 in Intermediate Size Enterprise and SME, plus 6 in laboratories. 

◗ Maintained jobs: 3 in Intermediate Size Enterprise and Industrial 


New CFD product that will be distributed by CS, in collaboration with partners (Gantha, Matelys, 

OVH-Oxalya). 

CONTACT 

Denis RICOT 

RENAULT 

+33 (0)1 76 83 20 25 

denis.ricot@renault.com 

PARTNERS 


AIRBUS, ALSTOM, RENAULT 


CS COMMUNICATIONS ET 

SYSTÈMES, OVH-OXALYA 

SMEs: 

GANTHA, MATELYS 


ENS DE LYON, ONERA, UNIV. 

PARIS VI , UNIV. PARIS XI 

PROJECT DATA 

Coordinator: 

RENAULT 

Co-label: 

LUTB, MOVEO 

Call: 

FUI8 

Start date: 

November 2009 

Duration: 

44 months 


3.5 

Funding (M2): 

1.8 

242 



Libraries for Applying Model-Based 

Development Approaches 

COMPLETED 

PROJECT 

In the context of embedded software deployed on "off the shelf" execution platforms, the 

LAMBDA project has two major goals: 

◗ To demonstrate the technical feasibility and the interest of model libraries by formalising 

the key properties of execution platforms, 

◗ To reconcile appropriated standards (SysML, MARTE, AADL, IP-XACT) with de facto 

standards (already implemented by widespread analysis and simulation tools). 

CONTACT 

Joseph MACHROUH 

THALES 

+33 (0)1 69 41 57 21 

joseph.machrouh 



Lambda focuses on systems composed of complex assemblies of COTS, on test cases 

that are representatives of system integrators issues (control of network latencies, task 

scheduling, configuration). Based on SysML/MARTE architectural descriptions, different 

kinds of analytical and simulation models are developed. Models are calibrated 

and validated against measures performed actual platforms. 



• Espinoza (CEA LIST); B. Selic (Malina Software Corp.); D. Cancila (CEA LIST); S. 

Gérard (CEA LIST), Challenges in Combining SysML and MARTE for Model-Based 

Design of Embedded Systems, H. ECMDA’09, The Netherlands, June 2009. 

• Sébastien Gérard and Huascar Espinoza, A profile for embedded systems development, 

International School on Model Driven Design for Distributed Real-time Embedded 

Systems, Aussois, France, April 2009. 

• Frédéric Mallet, Charles André, Julien DeAntoni: Executing AADL models with 

UML/MARTE, ICECCS – UML & AADL’09, Postdam (Germany), June 2009 (pp 371- 

376). 

• Charles André, Frédéric Mallet, Aamir Mehmood Khan, Robert de Simone: IP-XACT 

components with abstract time characterization, FDL’09, Sophia-Antipolis (France), 

Sept 2009. 

• JOUAULT, J.-S. SOTTET. An 

AmmA/ATL Solution for the 

GraBaTs 2009 Reverse Engineering 

Case Study, in "5th International 

Workshop on 

Graph-Based Tools, GraBaTs 

2009", 2009. 


Cade System, Cofluent, Papyrus, 

Obeo Designer. 


Creation: 2 CDI, 2CDD. 

Preservation: 5 CDI. 

PARTNERS 


AIRBUS, KONTRON, 

STMICROELECTRONICS, 

THALES 

SMEs: 

ADACORE, ARION, ATEGO, 

COFLUENT DESIGN, ESTEREL 

TECHNOLOGIES, OBEO, 

PRISMTECH FRANCE 


CEA LIST, INRIA, SUPELEC 

PROJECT DATA 

Coordinator: 

THALES 

Call: 

FUI5 

Start date: 

June 2008 

Duration: 

36 months 


5.3 

Funding (M2): 

2 


CESAR, VERDE 


243


MANIF 

Mathematical and Numerical Issues 

in first-principle molecular simulation 

ON GOING 

PROJECT 

First-principle molecular simulation allows to better understand, or to predict, the 

properties of matter from the fundamental laws of quantum mechanics. It is a major 

tool in chemistry, condensed matter physics, and materials science, used on a daily 

basis by hundreds of research groups in academy and industry. It is also becoming a 

fruitful approach in molecular biology and nanotechnologies. 

Due to the complexity of the models and of the numerical methods used in the field, a 

better understanding of the mathematical setting is necessary to optimize the efficiency 

of the computations, and provide error estimates. 

This project is concerned with the mathematical analysis of models for electronic 

excited states, and on the numerical analysis of the models issued from Density 

Functional Theory. 


◗ Mathematical analysis of models for 

electronic excited states, issued from 

Time-Dependent Density Functional 

Theory and GW methods. 

◗ Numerical analysis for orbital-free 

and Kohn-Sham calculations: construction 

of a priori and a posteriori 

estimators, implementation of twogrid 

methods 

◗ Computation of eigenvalues in spectral 

gaps and applications to the calculation 

of bound states in crystals 

with local defects 

◗ Systematic comparison of basis sets for electronic structure calculations 

◗ Fast algorithms for polarizable continuum models used in the simulation of solvated 

molecules 

STATUS - MAIN PROJECT 

OUTCOMES 

◗ Mathematical analysis of the random phase 

approximation 

◗ Numerical analysis of the spectral pollution 

problem for perturbed periodic Schrödinger 

operators 

◗ These works have been submitted for publication 

in leading international peer-reviewed 

scientific journals 

CONTACT 

Eric CANCES 

ECOLE DES PONTS - 

PARISTECH 

+33 (0)1 64 15 35 69 

cances@cermics.enpc.fr 

PARTNERS 


ECOLE DES PONTS – 

PARISTECH, UNIVERSITE 

PARIS 6 

PROJECT DATA 

Coordinator: 

ECOLE DES PONTS - 

PARISTECH 

Call: 

ANR 

Start date: 


Duration: 

36 months 


0.3 

Funding (M2): 

0.1 

244 



MANYCORELABS 

Software tools for Manycore 

embedded platforms 

ON GOING 

PROJECT 

Generic embedded computing platforms based on "manycore" processors or 

accelerators are very promising for high performance embedded applications in the 

area of image & video processing, signal processing and telecom infrastructure. 

Availability of efficient software development tools remains a key challenge for these 

emerging platforms. The integration and maturation of several software development 

solutions around the MPPA manycore platform is the main objective of the 

ManycoreLabs project 

The proposed solutions will be demonstrated on a set of complementary applications 

in the area of: 

◗ Video transcoding 

◗ Sound broadcast platforms 

◗ Driving assistance systems for Automotive 

◗ Software radio 


Technological innovations will be developped in found directions 

◗ High level development environments for manycore platforms: dataflow programming, 

openMP, Java 

◗ Performance and power consumption optimization 

◗ Support of acceleration application, use of multi-chip manycore acceleration platforms 

for video processing or scientfic computing applications 

◗ Support of heterogeneous & dynamic applications 


The project will start in March 2012 and will last three years. First technology or 

application demonstrators will be available in 2013. 

CONTACT 

Christophe LECLUSE 

KALRAY 

+33 (0)6 48 09 94 55 

christophe.lecluse@kalray.eu 

PARTNERS 


RENAULT, THALES 

SMEs: 

ASYGN, ATEME, DIGIGRAM, 

DOCEA POWER, CAPS 

ENTREPRISES, IS2T, KALRAY, 

KRONO-SAFE, SCILAB 

ENTERPRISES 


CEA, INRIA, VERIMAG 

PROJECT DATA 

Coordinator: 

KALRAY 

Co-label: 

MINALOGIC 

Call: 

BGLE1 

Start date: 

March 2012 

Duration: 

36 months 


28 

Funding (M2): 

14.9 


CHAPI 


245


MEDUSA 

MEdical Distributed Utilization 

of Services & Applications 

EUROPEAN 

PROJECT 

ON GOING 

PROJECT 

MEDUSA’s purpose is to enhance quality of diagnosis and decision in acute critical 

situations by introducing new services in healthcare. MEDUSA offers advanced imaging 

as a service, to ensure efficient exchange of medical information with high levels of 

safety, security and privacy, support appropriate use of remote/local advanced medical 

image processing in real-time, transparently to geographical location. MEDUSA 

provides secure virtual collaborative workspaces as a service, in a professional medical 

situation, and makes knowledge, capabilities and patient data available for clinical 

processing, respecting medical regulations and clinical procedures and protocols. 

Lastly, MEDUSA delivers medical diagnosis support as a service, to enable physicians 

to virtually group around a patient for diagnosis and treatment decision. 


By addressing the shortcomings 

in the current solutions, 

MEDUSA will 

change the way complex 

images are assessed and 

discussed by multiple experts 

at the same time. 

MEDUSA will cover both the 

speed necessary for realtime 

exchange and advanced 

image processing 

and connectivity between 

physicians in different hospitals. 

MEDUSA will implement 

an easily accessible 

platform interoperable with 

existing systems. Physician 

will be able to send medical 

images to other physicians. 

MEDUSA will guarantee the 

highest possible security 

standard, to fulfill the need 

of patient privacy. MEDUSA 

will combine all elements 

of a virtual workspace, like data transfer, securing data, offering software services and 

providing a remote portal. The main bottleneck will be the combination of these technologies 

providing a tailored solution for the medical community where the fast and secure 

analysis of large amounts of image data is of primary importance. MEDUSA will 

bring all these elements together and will work through its partners to standardize remote 

triage and diagnosis. MEDUSA will incorporate these techniques within the collaborative 

workspace for dedicated, real-time advanced processing of images. 

CONTACT 

Frederic SOINNE 

BULL 

+33 (0)4 76 29 75 11 

frederic.soinne@bull.net 

PARTNERS 


BULL, CASSIDIAN 

CYBERSECURITY, PHILIPS 

HEALTHCARE 


ALTAIR ENGINEERING 

SMEs: 

PROLOGUE 


ARMINES, INRETS, IOSB, LCPC 

PROJECT DATA 

Coordinator: 

PHILIPS HEALTHCARE 

Call: 

ITEA2 CALL 5 

Start date: 

January 2013 

Duration: 

36 months 


18.3 

Funding (M2): 

7.2 


HIPIP 


MEDUSA will lead to a demonstrated and validated design, to demonstrators of the 

collaborative workspace, set up in existing environments of hospitals and showing the 

relevant aspects in medical domain (preparation of images, secure transfer of large 

data sets, remote image processing, remote analyses and high resolution display) and 

to exploitation perspectives, with validation by physicians and business models, 

including reimbursement principles. 

246 



MERGE 

Multi-Concerns Interactions System Engineering 

EUROPEAN 

PROJECT 

ON GOING 

PROJECT 

Merge aims at providing tools and solutions for combining safety and security concerns 

in systems development in a holistic way. It provides academically solid and practice 

proven solutions and models to tackle the challenges of designing seamless effective 

safe and secure solutions conforming to the model driven engineering paradigm. This 

is done by tightly integrating the following paradigms: requirement engineering, safety, 

security and risk management in an over-all design process supported by appropriate 

tools and methods. The main technical innovation is the application of state of the art 

design tools with tailorisation capabilities and "multi concern engineering" core 

technologies to the issue of interactions of "Safety" and "Security" concerns as well as 

other concerns like "Performance" or "Timing" in the design process. 


◗ The central aim of MERgE is to develop tools and methods for integrated engineering and 

management of safety and security concerns and their traceability. The MERgE innovation 

resides in a multi-concern framework that defines concepts, tools and methods to enable 

• a set of common concepts to model all concerns in an aligned model 

• a seamless integration of multi-concern processes with general software development 

processes 

• a systematic identification of interactions among two or more concerns and an 

inter-concern analysis and trade-off. 

◗ The MERgE project provides a core platform and a tool suite that aims at 

• Applying "multi viewpoints engineering" core technologies to the issue of combining in 

particular "Safety" and "Security" concerns as well as other potential concerns like 

performance or certification in the design process 

• Applying state of the art design tools tailorisation capabilities 

• Enabling reuse of proven processes and methods/tools. 

◗ Among the innovative aspects of the MERgE project is the use of multi-view/multiconcern 

technology to support mainly safety and security concerns at the earlier 

stages of the design process. 

CONTACT 

Charles ROBINSON 

THALES RESEARCH 

& TECHNOLOGY 

+33 (0)1 69 41 57 79 

charles.robinson@thalesgroup.com 

PARTNERS 


SPACE APPLICATIONS 

SERVICES NV, THALES 

COMMUNICATIONS AND 

SECURITY, THALES CST/EPM, 

THALES RESEARCH & 

TECHNOLOGY 

SMEs: 

ALL4TEC, CODENOMICON OY, 

E2S, MELEXIS, NSENSE OY, 

OBEO, POHTO OY 


INRIA, KATHOLIEKE 

UNIVERSITEIT LEUVEN, ONERA, 

STUK, UNIVERSITE PARIS VI, 

UNIVERSITY OF OULU, 

UNIVERSITY OF JYVÄSKYLÄ 


◗ Multi-view point technology for Safety & Security as well as other concerns like performance. 

◗ Support for traceability of specific concerns throughout large project life cycle. 

◗ Support for execution of development processes to guide modellers and designers 

with minimum experience of these domains through the appropriate processes. 

PROJECT DATA 

Coordinator: 


& TECHNOLOGY 

Call: 

ITEA2 

Start date: 

December 2012 

Duration: 

36 months 


22 

Funding (M2): 

7 


247


METIS 

3D modeling of Digital Mock-Up 

based on the integration 

of heterogeneous data 

ON GOING 

PROJECT 

METIS aims at providing solutions for reverse engineering of large and complex 

mechanical assemblies (large in size and/or number of parts) like engines, vehicles or 

buildings. In this context, it is difficult and inefficient to strive at digitalising the entirety 

of the geometry of the product. It is therefore planned to work on heterogeneous data 

(points, images, texts, ...) which once combined with a dedicated knowledge base 

concerning the context and specific methodologies will allow the system to generate as 

an output a digital model suited to whatever downstream requirements are envisaged 

(redesign, simulation, geometrical studies, ...). For this, the outputted digital models 

must include domain specific semantics; for example, it must be structured and 

parameterised in a way similar to what an expert would have produced. 


CONTACT 

Harvey ROWSON 

DELTACAD 

+33 (0)3 44 90 78 40 

rowson@deltacad.fr 

PARTNERS 


DELTACAD, IFP ENERGIES 

NOUVELLES 


DELTACAD, IFP ENERGIES 

NOUVELLES 


ARTS ET METIERS PARISTECH – 

CER D’AIX EN PROVENCE, 

ÉCOLE CENTRALE DE NANTES 

(ECN), UNIVERSITE DE 

TECHNOLOGIE DE COMPIEGNE 

(UTC), UNIVERSITE DE 

TECHNOLOGIE DE TROYES (UTT) 

The state of the art studied for METIS reveals a number of scientific challenges which need 

addressing in order to establish an innovative reverse engineering approach for large 

assemblies. Within METIS these are organised into four main research axis: 

• The first axis is the acquisition, processing and integration of a great volume of 

heterogeneous spatial data (images, text, points, …). 

• The second axis is establishing methodologies to identify components in this 

heterogeneous data. 

• The third axis is the construction of the product's bill of material. 

• The fourth axis is the generation (or update) of the outputted digital model. Some of 

the major cross concern aspects of the project involve defining a methodology do 

identify known and expected components in different kinds of data, with specific search 

approaches for each kind of data, relying on an adapted knowledge base. The signature 

concept is a foreseen solution to address this challenge, with each known component 

having a dedicated signature in each kind of input data, and a set of algorithms must 

be designed in order to perform the search operations. 


METIS aims at providing innovative solutions to the challenge of reverse engineering 

large and complex assemblies. These solutions will imply methodologies, concepts and 

algorithms. A first goal for the project is to formalise these elements in order to 

establish a theoretical reverse engineering framework blueprint. 

A second goal is to prototype dedicated reverse engineering software in order to 

experiment some of these new concepts and pre validate the overall approach. 

PROJECT DATA 

Coordinator: 

DELTACAD 

Co-label: 

I-TRANS, PÉGASE 

Call: 

ANR MODÈLE NUMÉRIQUE 

ÉDITION 2012 

Start date: 

Novembre 2012 

Duration: 

36 months 


2.7 

Funding (M2): 

1 

248 



MHANN 

Memristive Hardware Artificial Neural Networks 

ON GOING 

PROJECT 

Memristors constitute an ideal and very timely implementation solution for synapses of 

hardware artificial neural networks. Memristors would be far denser than current 

SRAM-based implementations but they would also require far less power since the 

memristor is a non-volatile memory. Hardware ANNs with an architecture composed 

of analog circuitry coupled with the aforementioned memristors open the possibility to 

build high-performance accelerators able to tackle the large computational tasks of 

RMS (Recognition, Mining, Synthesis) applications. The MHANN project is multidisciplinary 

in the sense that it proposes new physical concepts for devices (physics) and 

aims at integrating them into on-chip bio-inspired architectures (micro-electronics, 

computer science and architectures). 

CONTACT 

Sylvain SAÏGHI 

IMS LABORATORY 

UNIVERSITÉ DE BORDEAUX 

+33 (0)5 40 00 27 69 

sylvain.saighi@ims-bordeaux.fr 


◗ New memristor devices with long life 

◗ Programming and using memristive cross bar arrays with integrated technology 

thanks to a medium-scale demonstrator 

◗ Training algorithms for ANN based on heterogeneous and faulty components 

◗ Large-scale industry relevant applications and bio-inspired architectures based on 

the Memristive Hardware ANN 


Under progress. 

PARTNERS 


THALES 


CNRS, INRIA, IMS LABORATORY 

/ UNIVERSITÉ DE BORDEAUX 

PROJECT DATA 

Coordinator: 

UNIVERSITÉ DE BORDEAUX / 

IMS LABORATORY 

Call: 

ANR 

Start date: 

October 2011 

Duration: 

48 months 


2.5 

Funding (M2): 

0.8 


249


MIEL 

MIxed ELement - 3D Mesher 

COMPLETED 

PROJECT 

The main goal of the MIEL project (MIxed ELement - 3D Mesher) is to optimize the 

meshing activity prior to a numerical simulation by addressing two main challenges: 

technical (simulation requires robust, high quality and fast meshing technology) and 

strategic (since meshing is cost effective in human resources, it often takes place in 

low cost structures). MIEL will give powerful tools for meshing and modelisation in a 

pragmatic frame with a reasonnable ambition. These tools aim at being used by 

commercial software as well as open source environments. 

CONTACT 

Philippe BARABINOT 

LMS SAMTECH FRANCE 

+33 (0)1 69 59 22 80 

Philippe.Barabinot@lmsintl.com 


The three phases described hereafter will end with tools allowing concepts verification. 

The final goal is to provide engineers with an open strategy to mesh a volume structure, 

using either tetrahedra or hexahedra, or a mixture of both. The quality of the mesh (element 

shapes, number of elements) must be the only criterion; so that engineers can concentrate 

on the sole physical side of the simulation. Finally tools will be implemented in 

SAMCEF in order to be validated. 

PARTNERS 


INRIA 



SMEs: 

DISTENE 



• DGTD method on hybrid meshes for time domain electromagnetics In: 20th International 

Symposium on Electromagnetic Theory, Berlin, Germany, August 2010 

• Convergence and stability analysis of a discontinuous Galerkin time-domain method 

for solving Maxwell's equations on hybrid meshes In: European Numerical Mathematics 

and Advanced Applications (ENUMATH), Leicester, UK, September 2011 

• Non-conforming discontinuous Galerkin time-domain method for solving Maxwell's 

equations on hybrid meshes In: 5th International Conference on Advanced COmputational 

Methods in ENgineering (ACOMEN 2011), Li_ege, Belgium, November 2011 

• High order non-conforming multi-element discontinuous Galerkin method for timedomain 

electromagnetics International Conference on Electromagnetics in Advanced 

Applications (ICEAA'12), Cape Town, South Africa, September 2012 


It is now possible to have an industrial tool fast and robust which can mesh automatically 

industrials parts with diverse and complex geometrie. Several automatic 

mesh generators are available via SAMCEF Field. Concerning economic impact, engineering 

offices have at their disposal tools allowing them a significant reduction in 

the time grid while improving the accuracy in their calculations. 


New version innovative for pre/post SAMCEF Field integrating DISTENE tools. Commercial 

partnership between DISTENE and LMS SAMTECH FRANCE. 

PROJECT DATA 

Coordinator: 


Call: 

FEDER1 

Start date: 


Duration: 

36 months 


1 

Funding (M2): 

0.5 


CSDL, EHPOC, ILMAB 

250 



Model Driven Physical 

Systems Operation 

EUROPEAN 

PROJECT 

ON GOING 

PROJECT 

There are evermore stringent safety and environmental regulations for power plants 

and transportations systems, occurring in the context of the global competitive market. 

To meet these goals, the systems operators need to improve systems diagnosis and 

operation. Some applications are: 

• safety: reduction of the number of safety related events, 

• environmental: reduction of the emission of pollutants and/or of energy 

consumption, 

• economical: reduction of the time length of system shutdown for maintenance. 

The objective of the project is therefore to extend state-of-the-art modelling and 

simulation environments based on open standards (Modelica and FMI), from design to 

operation, in order to increase energy and transportation systems safety, dependability 

and performance throughout their lifecycle. 


◗ The technical innovation is to extend and merge (or combine) the techniques 

developed for system design (e.g. hybrid modelling and simulation) and system 

operation (e.g. state estimation). Major technical improvements are: 

• Property modelling and safety to automate system verification and validation. 

• Hybrid system state estimation and multi-mode simulation, to be able to explore 

the full chain of consequences from an initiating event, starting from the best 

estimate of the system actual state, and going through all possible modes, including 

dysfunctional ones. Stochastics aspects will be included to account for various types 

of uncertainties (in state estimation, mode switching thresholds, etc.). 

• Non linear model predictive control: use of new features to improve NMPC. 

• Extension of modelling and simulation standards (Modelica and FMI) to support 

these new features. 

CONTACT 

Daniel BOUSKELA 

EDF 

+33 (0)1 30 87 84 64 

daniel.bouskela@edf.fr 

PARTNERS 


ABB AB, ABB AG, 

DASSAULT-AVIATION, 

DASSAULT-SYSTÈMES AB, 

EADS, EDF, KNORR BREMSE, 

PÖYRY, SCANIA, SIEMENS AG, 

SIEMENS AB, VATTENFALL 


LMS IMAGINE, 

LMS INTERNATIONAL 

SMEs: 

AUDI, VALEO 


DPS, ENICON, EQUA 

SIMULATION AB, ITI GMBH, 

MATHCORE ENGINEERING AB, 

MODELON AB, QTRONIC, 

SEMANTUM, SHERPA 

ENGINEERING, SIMPACK AG, 

TRIPHASE, WAPICE 


The outcome of the project will be a holistic and generic framework capable to address 

the complete system lifecycle in a more systematic and industrial way, for all types of 

systems addressed by the project (power plants, aircrafts, city traffic, etc.). This 

framework will be implemented in commercial (Dymola, SimulationX, AMESim…) and 

open source tools (OpenModelica, JModelica.org…), and illustrated by demonstrators in 

the various engineering domains of the project. 

PROJECT DATA 

Coordinator: 

EDF 

Call: 

ITEA2 CALL 6 

Start date: 


Duration: 

39 months 


21 


MODELISAR 


251


MOHYCAN: MOdélisation HYbride 

et Couplage Analytique -Numérique 

pour le CND / HYbrid MOdeling 

(Numerical/Analytical) for NDT 

COMPLETED 

PROJECT 

Non Destructive Testing (NDT) aims at detecting, sizing and characterizing possible 

flaws inside components. NDT is largely involved in industrial sectors for which safety 

is a key issue (energy, transportation,...) and needs to adress complex configurations 

(structures, materials, geometry...). Simulation tools may provide efficient solutions for 

conceiving inspection techniques and/or probes, interpreting complex results, 

predicting inspection performances and qualifying procedures, but such skills have to 

be reached with computation times compatible with industrial use. In this framework, 

The MOHYCAN project, supported by ANR (French National Research Agency) aims at 

coupling numerical methods (Finite Elements) and semi-analytical methods (integral 

techniques) to provide fast and accurate results to assess complex industrial needs. 


A new coupling method has been defined 

and implemented for 2D configurations, 

which allow to reduce computation times 

while keeping precise and robust simulations. 

In order to access 3D configurations 

on different OS platforms, a protocol has 

been achieved to run parallelized 3D Finite 

Element computations on distant 

machines (clusters). 

Dedicated visualization and analysis tools 

have also been developed for better interpretation 

and understanding of complex 

physics phenomena involved in the echo 

formation for complex flaws interactions. 



The hybrid simulation tool is now available in a commercial version of CIVA: 

// http://www.extende.com/civa-2/civa-athena-2d 

◗ New R&D projects: 

New skills will be added to the hybrid simulation tool, specifically focused on welds 

and 3D applications within the framework of the ANR project “MOSAICS” (ANR/MN 

2011-2014). 


2 communications in national (Journées COFREND 2008, Toulouse) and international 

conferences (ECNDT2010, Moscow). 

CONTACT 

Steve MAHAUT 

CEA LIST 

+33 (0)1 69 08 47 14 

steve.mahaut@cea.fr 

PARTNERS 


EDF 

SMEs: 

CEDRAT 


CEA LIST, CNRS, ENSTA, 

INRIA (POEM) 

PROJECT DATA 

Coordinator: 

CEA LIST 

Call: 

ANR 

Start date: 

March 2007 

Duration: 

36 months 


1 

Funding (M2): 

0.4 

252 



Middleware Ouvert pour 

Systèmes d'Informations Critiques 

COMPLETED 

PROJECT 

The goal of MOSIC project is to gather partners experience and create a full middleware 

for critical information systems. The new middleware will integrate in a consistent 

manner both service oriented and data-centric architectures. It will also come with 

model oriented engineering tools that will ease application components implementation, 

their deployment and the middleware configuration. Then a service offer will be made 

around this open solution in compliance with standards. Result product will integrate and 

improve two major middleware standards from the Object Management Group (OMG) 

(CCM - CORBA Component Model; DDS - Data Distribution Service). Target is critical 

information systems. 

CONTACT 

Caroline GOMEZ 

THALES AIR SYSTEMS 

+33 (0)1 79 61 37 54 

caroline.gomez@thalesgroup.com 


The project has managed to find an efficient way to combine Component approach with 

Data Distribution Services but also to identify and select relevant use cases that are actually 

used to design critical information systems. Moreover, a set of Quality Of Service have 

been specified and can be verified on the early stages of the system architecture. 

The project is a success for all the partners. From a technical point of view, the consortium 

managed to define a new OMG standard, to provide a reference implementation and to develop 

a modeling tool chain. Others implementations of this new standard have been announced. 

This middleware, gathering 

Service Oriented Architecture and Data 

Distribution Services is already being used 

to answer critical information systems 

needs. Parts of the results of the MOSIC 

project have been provided as Open Source 

Software under the OW2 consortium and 

OpenSplice.org and professional services 

are available as for industrial quality maintenance. 

PrismTech is also offering an enterprise 

version of the modeling tools, 

providing added value for the design and 

development of complex and critical systems 

such as Air Traffic Management at 

European scale or other international programs. 


PARTNERS 



SMEs: 

OBEO, PRISMTECH 


TELECOM PARISTECH 

PROJECT DATA 

Coordinator: 


Call: 

FUI4 

Start date: 

December 2007 

Duration: 

28 months 


4.2 

Funding (M2): 

1.7 

◗ Products: 

Project allowed Obeo to realize evolutions on his products: 

• ATL; 

• EMF Compare; 

• Obeo Designer; 

• Acceleo; 

• Added value COTS products offer: developing tools PSM for CCM and for CCM - 

DDS integration. 

◗ Services: 

“Entreprise” version of Open Source products (OSS): industrially supported version 

• Services offer: consulting, portings, specific developments 


3 + 5 to be created. 


253


MOdelling VIews and Decision 

support for Architects 

COMPLETED 

PROJECT 

The industrial needs are growing for proper tools to support trade-off decisions of 

systems engineers and architects when designing complex systems with significant 

non functional requirements and constraints. The difficulty to embrace the whole 

complexity of the concerns and the difficulty to manage their inter-relations has raised 

the interest of the engineering community for “concerns driven” engineering. This is 

addressed today through the exploration of “viewpoint modelling” technologies and the 

multi-criteria analysis. The MOVIDA project aims at developing a tool environment that 

supports model-driven viewpoint engineering in response to these needs. 


The commercial Obeo Designer 

tool enables the 

specification and deployment 

of architecture frameworks 

dedicated to specific 

domains. Such architecture 

frameworks are a combination 

of metamodels and 

dedicated tools, all functioning 

in an integrated way 

on the platform. We have 

formalised the concept of 

Viewpoint, what is a Viewpoint, 

what it provides and 

and how it can be customized 

in the context of model driven engineering. During the project we’ve been able to generalize 

the idea of adapting the concepts and the tooling with the ability to define customization of 

an existing Viewpoint using another one. 



5 publications, the 2 most important are: 

• Marie Gouyette, Olivier Barais, Jérôme Le Noir, Cédric Brun, Marcos Almeida Da Silva, Xavier 

Blanc and Jean-Marc Jezequel Movida Studio: a modeling environment to create viewpoints 

and manage variability in views, IDM 2011 in Lille, Fr on June 8 

• Ch. Labreuche, On the robustness for the Choquet integral, Int. Conf. on Information Processing 

and Management of Uncertainty in Knowledge-Based Systems #IPMU#, 2010, Dortmund, 

Germany. 


The architecture of the Obeo Designer product has been envisioned as a multi-representation 

tool. A new kind of representation has been prototyped: Tabular representations. Those tabular 

representations have been successfully tested and then have been industrialized and integrated 

in the commercial offer. Both cognitive and performance scalability are challenges when dealing 

with diagram representation. Several features have been prototyped in the project to enhance 

those aspects. The introduction of a partial and/or manual refresh mechanism enabled 

the end user to fall back on a mode providing guarantees regarding latencies. Layout algorithms 

have been improved too, every layout now has the ability to consider manual moved elements 

as pinned objects and the automatic arrangement algorithm have been extended to keep the positions 

of the pinned objects relatively to each others when automatic arrangement is called. 



• Obeo has been able to deliver Obeo Designer in the insurance industry market, starting with 

a very large customer (> 2,5 millions of customers, €12,5 billions of managed assets). 

• Using a mix of graphical and tabular representations, we have deployed a product that is now 

used by Business experts to specify their marketing offers and the characteristic of their product 

in the domain of Property and Casualty Insurance products. The deployment of new insurance 

product has been reduced from a month to about one week, by reducing the gap 

between business experts and IT. 

CONTACT 

Jérôme LE NOIR 


& TECHNOLOGY 

+33 (0)3 31 41 60 56 

jerome.lenoir@thalesgroup.com 

http://movida.gforge.inria.fr/ 

PARTNERS 



& TECHNOLOGY 

SMEs: 

OBEO 


INRIA, UPMC 

PROJECT DATA 

Coordinator: 


& TECHNOLOGY 

Co-label: 

IMAGES & RÉSEAUX 

Call: 

ANR-08-SEGI-011 

Start date: 

December 2009 

Duration: 

40 months 


1.5 

Funding (M2): 

0.9 


RTSIMEX 

254 



Multiobjective System on Chip Exploration 

COMPLETED 

PROJECT 

The project targets complex SoC (System on Chip) designs using a large number of IP 

(processors, memories, network-on-chip, hardware accelerators, peripherals) for high 

performance multidomain embedded applications (wireless, multimedia). The selection 

of the IP parameters and the automation of the network-on-chip design as well as an 

automated mapping on a multi-FPGA prototyping engine are the main functionnalities 

provided by MPSOCEXPLORER through multiobjective design space exploration. 

As a result of the project a complete top-down flow is available. Starting from high level 

application constraints (performance, bandwidth, latency) the user will obtain an 

interconnect architecture well suited for the level of traffic required by the application. 

MPSOCEXPLORER have been applied to various manycore ranging from 16PE to 

2400 PE NOC Based SOC on very large scale EVE emulators. 


First fully automatic NOC based 

SOC design space exploration 

tool based on emulation. 

The flow integration with EVE's 

ZebU emulator and ENSTA optimization 

techniques allows then 

to refine the choice at incomparable 

speed and to do analysis 

that are impossible in a classical 

verification environment. 

In the latest developement of the 

project observability techniques 

have been activated in order to 

measure the real activity of the 

sytem in term of latency and 

bandwidth. 



• An Automatic Design Flow for Data Parallel and Pipelined Signal Processing Applications 

on Embedded Multiprocessor with NoC Application to Cryptography 

(Xinyu Li and Omar Hammami). 

Automatic Embedded Multicore Generation and Evaluation Methodology: a Case 

Study of a NOC Based 2400-cores on Very Large Scale EmulatorO.Hammami, X.Li, 

L. Burgun and S. Delerse, WARP 2010, St Malo, France. 

• More in www.mpsocexplorer.com 


Exploration design envrionment for manycore on EVE FPGA Based Emulation platform. 

Network-on-chip (NOC) monitoring environment on EVE FPGA Based Emulation 

Platform. Exploration functionnality has been added to FlexNoC from Arteris. 


Arteris 1, ENSTA 2 PhD, EVE 1. 

CONTACT 

Philippe DI CRESCENZO 

ARTERIS 

+33 (0)1 61 37 38 58 

mpsocexplorer@arteris.com 

PARTNERS 

SMEs: 

ARTERIS, EVE 


ENSTA 

PROJECT DATA 

Coordinator: 

ARTERIS 

Call: 

FEDER1 

Start date: 


Duration: 

18 months 


1.5 

Funding (M2): 

0.7 


TER@OPS 


255


MUSICAS 

Méthodologie Unifiée 

pour la Simulation de l’Intégrité 

et de la Contrôlabilité 

des Assemblages Soudés 

ON GOING 

PROJECT 

The main goal of MUSICAS is to demonstrate that the rational integration of existing 

software in a business infrastructure, complemented by a limited multiphysics 

modelling R&D of the welding process, can consider automating processes 

corresponding to the effective methodologies in the industry. 

The project's objective is to achieve and qualify a precompetitive demonstrator of a 

consistent and scalable solution including: 

• complete modelling chain from process parameters (from the soldering bath to the 

assemblies), 

• prototyping of associated services: methodological guides, best practice and operating 

in the HPC cloud, 

• characterization criteria for commercial deployment in a service, exploitable in the 

design, sizing and R&D, from the detailed analysis to the modelling process as a 

whole and the behaviour of the resulting assemblies. 


The main technological leap is to integrate multiphysics simulation of welding 

processes upstream of thermomechanical numerical codes (for the prediction of residual 

stresses) to conduct an analysis of the operating performance of the welded assembly. 

Another challenge is to bring the welding numerical simulation in enterprise 

from non-expert users with reasonable calculation costs. The transition from the proof 

of concept stage to pre-competitive application involves the removal of four locks: 

• fine multiphysics modelling of all welding processes features with acceptable calculation 

costs, 

• extraction of useful information about the microstructure after welding for Non Destructive 

Testing simulation, 

• effectiveness of the software integration and optimization loops without a priori interchange 

formats, 

• effective transfer of fine information obtained from the parameters of the process, 

up to multiphysics modelling tools for life analysis. 

CONTACT 

Olivier ASSERIN 

CEA 

+33 (0)1 69 08 37 21 

olivier.asserin@cea.fr 

PARTNERS 


AREVA NP, CEA-CENTRE DE 

SACLAY, CETIM, DCNS BU 

PROPULSION, PSA, RENAULT 


BERTIN TECHNOLOGIES, ESI 

GROUP, OVH-OXALYA 

SMEs: 

DIGITAL PRODUCT 

SIMULATION, ENGINSOFT 

FRANCE 


CNRS-CENTRE-EST/INSTITUT 

JEAN LAMOUR, INSA LYON- 

LAMCOS (INSAVALOR), 

IUSTI (UNIVERSITÉ D’AIX- 

MARSEILLE), LTDS (ENISE) 

PROJECT DATA 

Coordinator: 

BERTIN TECHNOLOGIES 

Co-label: 

EMC2, PNB 

Call: 

FUI14 

Start date: 

January 2013 

Duration: 

36 months 


6.1 

Funding (M2): 

2.2 

256 



N-POEM 

Nano-objets périodiques imprimés 

sur polymères pour l'électromagnétisme 

ON GOING 

PROJECT 

The aim of N-POEM proposal is to design, fabricate and characterize emerging periodic 

nanostructures for three electromagnetic and optical functionalities: microwave regime 

absorption, filtering and antireflecting. This project groups expertise of different 

partners in nanofabrication, nanosciences including design and simulation. 

Nanofabrication processes are based on nanoimprint on flexible polymer films. Their 

interest is a reduction of technological steps, resulting in a decrease of production cost 

and time. The aim of this project is to develop technological processes for industrial 

applications. It will lead to a high maturity level of nanoimprint technique, compatible 

with industrial requirements in new domains such as devices for aircraft 

manufacturing, photovoltaic’s, information and communication technologies... 


The main innovation of this project is the use of nanoimprint processes on flexible sub 

strates for industrial applications. The functionalities which will be addressed are: ab 

sorption in the microwave regime, filtering in the infrared range, and anti-reflexion in 

the [500nm-5μm] spectral domain. These three functionalities are representative of 

three kinds of demonstrators which are realized during the project. Industrial applications 

require large surface and light-weighted devices, especially for aircraft manufacturing. 

Thus, the substrates have to be flexible, thin and larger than 10x10 cm 2 . 

Moreover fabrication processes have to be robust and low cost. This project highlights 

emerging large-scale lithography which combines high resolution and large surface 

with the nanoimprint technique. It is also cheaper than standard lithographies used in 

microelectronics. The challenge consists here in using flexible substrates. It is the sole 

solution to produce nanostructured large surface coating. In order to limit the number 

of technological steps and to reduce the fabrication cost, specific patterns (shape, aspect 

ratio ...) and processes (highly directional deposition technique) will be developed. 

CONTACT 

Cécile GOURGON 

LTM 

+33 (0)4 38 78 98 37 

cecile.gourgon@cea.fr 

PARTNERS 


ARKEMA, 

DASSAULT-AVIATION, 

THALES OPTRONIQUE SA 


CEA, CNRS-LTM, IM2NP 

PROJECT DATA 

Coordinator: 

CNRS 

Co-label: 

MINALOGIC 

Call: 

ANR 

Start date: 

December 2010 

Duration: 

40 months 


2.4 

Funding (M2): 

1.0 


The project started at the end of 2010. Until January 2013, patterns have been specified 

for the different demonstrators, and fabricated using NIL processes. They are currently 

characterized and some of them correspond already to the required fonctionnality. 


257


phase 1 

Outils de Modélisation et de conception 

Mécatronique Phase 1 (Modelling and 

Design Tools for Mechatronics) 

COMPLETED 

PROJECT 

Today there is no global solution for supporting the development of mechatronical products, 

and there are a lot of fractures within the cycle of conception. Therefore the 

design phase is time consuming, with too much risk in terms of reliability, safety, performances, 

and failures during the industrialisation phase. 

O2M develops a new generation of tools to support the conception of mechatronical 

products, especially for automotive applications. All process levels are addressed: 

"pre-dimensioning", integrated design, multi-physic simulation and validation. During 

the phase 1, business needs (170 use cases) and functional specifications have been 

defined. 

After feasibility studies, this phase will be closed by the presentation of mocks-up by the 

end of July 2009. 

The phase 2 will focus on detailed specifications and the progressive delivery of the 

Solution. 

PROJECT RESULTS PHASE 1 

◗ Product(s) or Service(s): The project includes 8 sub-projects: 

• SP1 PTRONIC - Infrastructure. 

• SP2 AROME - Reliability Analysis and multi-physics optimization. 

• SP3 PREDIM - Multi-domains pre-dimensioning (architecture definition). 

• SP4 PEPS CEM & M CEM - Electro-magnetic compatibility. 

• SP6 ELEC3D - 3D integrated Design. 

• SP7 eSPACE - Interconnection between Electricity & Electronics. 

• SP8 BADOI - Database for Material definition and behavior identification. 

The design process of 3 main mechatronical products has been detailed and all difficulties 

or issues have been identified (use cases) in order to define the needs for the 

new tool generation. 

We propose to build a common software platform able to manage a continuum of data 

for the global mechatronical design process, including the different steps of modeling: 

requirement, functional, logical, physical design and a global 3D view supporting all 

complex simulation disciplines. 

After the phase 2, the Solution will provide a single data referential to ensure there is 

no replication of data. This is a key starting point to guarantee a global collaborative tool. 


• Challenges for Automotive 

Industry: 

- Increase by 30% to 50% the 

efficiency of our designers. 

- Improve the quality of the 

complex products by a factor 

5 to 10. 

- Speed up the process of design and simulation to promot faster innovations. 

- Allow our engineers to focus on tasks with high added value. 

• Challenges for Software Editors 

- Take position as a leader on a market which presents a potential of 20 billions 

Euros within next 10 years. 

• Regional and National stakes: 

- Contribute to set up a pole of excellence on Mechatronics within the Region. 

- Create a know-How reusable in other sectors of the industry 

CONTACT 

Denis BARBIER 

VALEO 

+33 (0)1 40 55 21 84 

denis.barbier@valeo.com 

PARTNERS 


ALTAIR DEVELOPMENT, 

CONTINENTAL AUTOMOTIVE, 

DASSAULT SYSTEMES, EADS, 

LEONI, LIGERON® SONOVISION 

ITEP, RENAULT SAFRAN, 

SCHNEIDER ELECTRIC, 

THALES, TOSHIBA SCHNEIDER, 

VALEO 


ALTAIR ENGINEERING 

SMEs: 

CADLM, CEDRAT, 

SHERPA ENGINEERING 


AMPERE (ECOLE CENTRALE 

LYON), ARMINES, CNRT BASSE 

NORMANDIE, ENSEA, ESTACA, 

G2ELAB (ENSE3), IRSEEM 

ESIGELEC, LGEP, LNE, ONERA, 

SATIE (ENS CACHAN), SUPELEC, 

SUPMECA, UVSQ 

PROJECT DATA 

Coordinator: 

VALEO 

Start date: 

November 2007 

Duration: 

22 months 


11.8 

Funding (M2): 

4.8 

Related Systematic projects): 

CSDL, O2M P2, PCS 

258 



phase 2 

Outil de Modélisation et 

de conception Mécatronique 

COMPLETED 

PROJECT 

O2M develops a new generation of tools for designing mechatronical products, especially 

for automotive applications. All process levels are addressed: "pre-dimensioning", 

integrated design, multi-physic simulation and validation. 

◗ Phase 1: business needs (170 use cases) and functional specifications definition. 

◗ Phase 2: focus on the delivery of prototypes and their validation 


The project has led to the implementation of a demonstrator. The scenario of an EV powertrain 

system design has been successfully implemented. This collaborative platform is developed 

with DASSAULT SYSTEMES and 

other software vendors like CADLM, 

CEDRAT, ALTAIR and SAMTECH. It 

opens the way to collaborative work 

on mechatronics products in the automotive 

industry based on methodologies 

from CONTINENTAL, LEONI, 

RENAULT and VALEO. 

With a strong involvement of laboratories 

like IRSEEM, LNE, SUPMECA, 

methodologies, models and testbeds 

have been developed on topics 

such as materials or electromagnetic 

compatibility. 


◗ Publications: (among 14 theses and 55 articles) 

• Modélisation et simulation de composants électroniques pour les systèmes mécatroniques, Y. Le 

Floch, D. Baudry, F. Duval, M. Bensetti, C. Gautier, B. Revol, J. Ben Hadj Slama, C. Vollaire, E. 

Clavel, in Proc. ITT’09, Paris, France, October 2009 

• EEE Transactions on Magnetics 46, 8 (2010) pp 2892-2898,"EMC Modeling of an Industrial Variable 

Speed Drive With an Adapted PEEC Method",Vincent Ardon, Jérémie Aimé, Olivier Chadebec, Edith 

Clavel, Jean-Michel Guichon, Enrico Vialardi, 08/2010. 

• EMC Modeling of an Industrial Variable Speed Drive With an Adapted PEEC Method, Vincent Ardon, 

Jérémie Aime, Olivier Chadebec, Edith Clavel, Jean Michel Guichon, and Enrico Vialardi, IEEE 

TRANSACTIONS ON MAGNETICS, VOL. 46, NO. 8, AUGUST 2010. 


• DASSAULT SYSTEMES: Evolution of the V6 platform PLM 2.0 for mechatronics, integration of 

electrical data in 3D tools. 

• ALTAIR: optimization of performances and additional features for new domains. 

• CADLM: Algorithms for optimization of product design. 

• CEDRAT: strong improvement of InCa3D and Portunus. 

• CNRT, LNE, IRSEEM: development of new testbeds. 


• 50 jobs maintained or created during the project (More than 20 permanent contracts). 

• Creation of 23 permanent jobs planned in addition. 


CEDRAT has developed its offer for the EMC market, the connexion with the platform is an opportunity 

for a better integration within the R&D Information Systems. The project also allowed 

CEDRAT to solve a critical and strategic issue for its own development. CADLM has developed 

methodologies for the optimization of the design and is in a better position to address the automotive 

market. CONTINENTAL, LEONI, RENAULT and VALEO have optimized their design 

process; tools are now available to avoid a comeback to paper-based tasks; methodologies for 

optimization of products (performances and robustness) have been improved. An "ecosystem" 

has been built with small companies like EIRIS Conseil, Sherpa Engineering and CADLM. SUP- 

MECA is in a position to develop new research projects in aeronautics and aerospace. 

CONTACT 

Denis BARBIER 

VALEO 

+33 (0)1 40 55 21 84 

denis.barbier@valeo.com 

Daniel MARSON 

DASSAULT SYSTEMES 

+33 (0)1 61 62 75 63 

daniel.marson@3ds.com 

PARTNERS 


CONTINENTAL, DASSAULT 

SYSTEMES, LEONI, RENAULT, 

SCHNEIDER, THALES, VALEO 


ALTAIR 

SMEs: 

CADLM, CEDRAT, DPS, 

EIRIS CONSEIL, LIGERON, 

SAMTECH, SHERPA 

ENGINEERING 


AMPERE, ARMINES, CNRT, 

ENSEA, ESTACA, G2ELAB, 

IRSEEM, LNE, SATIE, SUPELEC 

LGEP, SUPMECA, UVSQ 

PROJECT DATA 

Coordinator: 

VALEO, assisted by 

DASSAULT SYSTEMS 

Co-label: 

MOV'EO 

Call: 

FUI8 

Start date: 


Duration: 

20 months 


16.2 

Funding (M2): 

5.9 


CSDL 


259


OASIS 

Optimization of Addendum 

Surfaces In Stamping 

ON GOING 

PROJECT 

The Objective of "OASIS" project is to develop a software tool to simulate and optimize 

the stamping process using hign limit elestiocity steel. This projet aims to reduce the 

time needed by engineers to design stamping process lines for high performance steel. 

Extending the use of such material in automotive applications will lead to fuel economy, 

and thus meet new requirements in terms of carbon dioxide emissions. 


◗ New optimization tools using game theory and 

multilevel approach will be developed. These developments 

will lead to optimzation tools that can 

be aplied to complex problems such as the use of 

new material or the development of innovative concepts 

for stamping process. 

◗ The second innovation deals with the form deformation 

methods during the optimization 

process. A method based on free form deformation 

and dynamic parametrization will be developed. 

◗ The automatization of the parametric process taking 

into account the stamping process constarints 

(fabrication constraints) presents also an innovative 

aspect of the project 

◗ All these developments will be linked and integrated 

to obtain a complete suite for the automatic 

simulation and optimization of complex 

sheet forming process. 


◗ Development and adaptation of optimization tools to complex stamping process. 

◗ Automatization of parametric tools dedicated to stamping process. 

◗ Development of a plateform based on free softawre tools and designed to the simulation 

of stamping process. 

CONTACT 

Sylvestre LEDRU 

SCILAB ENTERPRISES 

+33 (0)1 39 63 57 34 

sylvestre.ledru@scilabenterprises.com 

Simon GARESTE 


+33 (0)1 39 63 55 47 

simon.gareste@scilabenterprises.com 

PARTNERS 


ARCELOR MITTAL, EDF, NECS 

SMEs: 

DELTACAD, EURODECISION, 



ASSOCIATION LEONARD 

DE VINCI, CNRS, 

INRIA SOPHIA ANTIPOLIS 

MEDITERRANEE, 

LABORATOIRE ROBERVAL 

PROJECT DATA 

Coordinator: 


Co-label: 

I-TRANS 

Call: 

FUI9 

Start date: 

January 2011 

Duration: 

36 months 


6.2 

Funding (M2): 

2.4 


CSDL, EHPOC, IOLS, 

OPENHPC, PCS, SCOS 

260 



OCELLE 

Outils Logiciels pour le processeur Cell 

comme Exemple pour 

les applications Embarquées 

COMPLETED 

PROJECT 

OCELLE aims at efficiently programming new manycores CPU such as the IBM Cell 

while preserving software productivity. Regarding the embedded system domain, the 

goal is to exploit the underlying computation power using together a model-based 

approach and a low level code generation. Thus both SPMD parallelism at model level 

and SIMD at language level are combined. Several application types (Monte Carlo, 

image, dataflow and matrix computations) are addressed to cover embedded systems 

domain. A particular focus is made on a radiotherapy application. 

CONTACT 

Serge TISSOT 

KONTRON MODULAR 

COMPUTERS 

+33 (0)4 98 16 33 56 

serge.tissot@kontron.com 


◗ Patents: 

Patents: Dépôt APP / Cell_MPI: librairie d'encapsulation et d'abstraction pour le 

transfert de données sur le Cell via passage de messages. 


SPEAR code generation, Cell_MPI, Assembly code optimizer. 


"Parallelization Schemes for Memory Optimization on the Cell Processor: a case 

study on the Harris Corner Detector", "XLR8: tool for optimisation and automatic parallelization 

on the Cell processor", "Data transfers aware programming on TLP based 

architectures: application with the Cell BE" (3 Journals); "Programmation par 

squelettes algorithmiques pour le processeur Cell", "Parallelization Strategies for 

the Points of Interests Algorithm on the Cell Processor", "Parallélization Schemes for 

Memory Optimization on the Cell Processor: A Case Study of Image Processing Algorithm" 

(3 Proceedings). 


PEAR Design Environment, Cell_MPI communication middleware. 


Start up creation; new position in market for several partners. 

PARTNERS 



COMPUTERS, 


& TECHNOLOGY 

SMEs: 

DOSISOFT 


CEA LIST, IEF 

PROJECT DATA 

Coordinator: 


COMPUTERS 

Call: 

ANR 

Start date: 

December 2006 

Duration: 

31 months 


1.4 

Funding (M2): 

0.6 


TER@OPS 


261


OLDP 

On Line Digital Production 

COMPLETED 

PROJECT 

Develop the basis of the first on line, web 2.0 type, services platform in Digital Production, 

in order to set up an advanced node of a future world wide network, supported by 

hubs for extended enterprise. Provide to the french industrial community, and especially 

the SME, a seamless process and tools to co-develop and co-monitor the production 

chain on the extended enterprise scheme. 

CONTACT 

Bernard BOIME 


+33 (0)1 46 97 32 42 

bernard.boime@eads.net 


◗ Deliver a first set of on line services enabling the design of the whole supply chain (process 

editors, and resources and behaviour editors, tools for sheduling edition, etc.). 

◗ Deliver an on line architecture on a 6 levels basis, enabling digital extended factory modelisation 

by simple combination 

(on line generic components data 

base, including behaviour models, 

easily combined on line). 

◗ Intregrate digital factory and real 

world on line 

• by managing various real events 

that need to be exchange on line 

with the digital factory; 

• integrating haptic and/or motion 

capture devices, providing a 

realistic immersive environment 

for real operator experimentation 

of the virtual model (use 

case for instance: validate the ergonomy of an assembly station). Software modules 

are developed in VIRTOOLS, and data defined in CATIA V6 (geometry, kynematics, 

dynamics, etc.). 


◗ Products: 

Industrial softwares CATIA-DELMIA-3DVIA, MKM (virtual mannequin), ILOG, PERTINENCE 

suite. 

◗ Services: 

1 dissemination platform under feasability evaluation. 


On-line service for: 

• digital production engineering; 

• digital production experimentation; 

• digital production/virtual reality integration; 

• digital production/Manufacturing execution systems integration; 

• collaborative database of digital production components. 


New business model services around shared/owned software suites. 

PARTNERS 


DASSAULT AVIATION, 

DASSAULT SYSTEMES, 



ALTIS SEMICONDUCTOR, ILOG 

SMEs: 

INTERCIM, TROCHET 


CEA LIST, IRISA, SUPMECA 

PROJECT DATA 

Coordinator: 


Call: 

FUI6 

Start date: 

July 2009 

Duration: 

18 months 


8.5 

Funding (M2): 

3 


USINE NUMÉRIQUE 1 & 2 

262 



OPARUS 

Optimization and Parallelization 

for Analysis and Reconstruction 

of ultrasonic NDT 

ON GOING 

PROJECT 

The project OPARUS "Optimization and Parallelization for Analysis and Reconstruction 

of ultrasonic NDT" focuses on the development of modelling tools and treatments for 

reconstruction of ultrasonic testing data. The objective of the project is to optimize the 

performance of numerical algorithms and to extend significantly the actual limitations 

on the use of accurate models for visualization, analysis and diagnosis. The kinds of 

technology pointed are clearly oriented on multi-core processors and GPGPU, all 

included in single "workstation". The developments are focused on applications 

representative of industrial cases and industrial constraints. Project results will be 

directly integrated in systems and software already operating in industrial environments. 

CONTACT 

Stéphane LE BERRE 

CEA 

+33 (0)1 69 08 66 03 

stephane.leberre@cea.fr 


◗ The three complementary systems involved are based on innovative reconstruction algorithms, 

simulation and signal processing. 

◗ The entire procedure of control is covered and the expected progress relate both the 

processings made during the acquisition and the calculations made in the post-analysis 

step. 

◗ Optimization will be apply to Acquisition systems M2M, CIVA simulation software, and 

NDT-KIT diagnosis tools in order to adapt process control tools to new hardware configurations, 

particularly in terms of parallelization and use of dedicated processors 

(GPGPU). 

◗ Acquisition: optimizing data transfers for reconstruction algorithms, integration of 

simulation algorithms and optimized reconstruction. 

◗ Simulation and Processing: simulations and pre-processing for the acquisition with 

the transfer to Multi2000 systems. Simulation and reconstruction for post-acquisition 

data processing for analysis. 

◗ Post-processing (NDT-kit): Reconstruction and image processing of data acquisition, 

automated diagnosis. 

PARTNERS 


EADS, EDF 

SMEs: 

CAPS ENTREPRISE, M2M 


CEA, IEF 

PROJECT DATA 

Coordinator: 

CEA 

Call: 

ANR 

Start date: 

October 2010 

Duration: 

36 months 


1.7 

Funding (M2): 

0.7 


CORTEX3D, INDIAC 


◗ Specification of industrial use case. 

◗ Evaluation of multiple algorithms and Benchmark CPU / GPU – software integration 

in progress. 


263


OPEES 

Open Platform 

for the Engineering 

of Embedded Systems 

EUROPEAN 

PROJECT 

ON GOING 

PROJECT 

The mission of OPEES is to ensure the long-term availability of innovative engineering 

tools and technologies in the field of built-in systems based on the intensive use of 

software. For the participants and collaborators of OPEES, this challenge can be 

achieved if it’s possible to build an ecosystem in the Open Source framework, with the 

appropriate business models that ensure long-term availability. 

An open and visible organisation with European and global dimensions, implementing 

the models / business plans and the dissemination plan defined for the project, allowing 

the emergence of a European service industry. 

A common vision and roadmap that allow to share collaborative R&D project results and 

to build upon them so as to ensure the consistency and complementarity of future R&D 

projects undertaken for completing the set. 


• Build an open source ecosystem. 

• Assess, define and experiment methods, 

processes and guidelines to ensure the 

required level of quality. 

• Ensure very long term availabilty. 

◗ LONG LASTING SYSTEM ENGINEERING 

• Recommended practices that impact the 

requirements on tool maturity. 

• Quality Model for the OPEES components 

based. 

◗ MODEL DRIVEN ENGINEERING PROCESS 

• Model-driven method and process to 

enable tool interoperability in the OPEES 

ecosystem. 

• Model-driven method to aid, facilitate and 

automate composition among OPEES 

components. 

◗ INSPECTION, V&V AND QUALIFICATION 

• Process and method elements for the 

inspection, validation, verification and 

qualification of OPEES components to 

assess their quality and maturity. Casestudy 

on DO-178C: qualification of 

Polychrony (CS and INRIA). 


◗ Creation of Polarsys (http://www.polarsys.org) in collaboration with the Eclipse 

Foundation. 

◗ A new ecosystem and its associated business models. 

◗ A technical repository with new tools and components. 

◗ A set of processes and method to qualify OPEES components and to ensure their 

long-term availability. 

CONTACT 

Gaël BLONDELLE 

OBEO 

+33 (0)2 51 13 51 42 

gael.blondelle@obeo.fr 

PARTNERS 


AIRBUS, ALYOTECH, ATOS 

ORIGIN, COMBITECH, CS, 

DASSAULT AVIATION, EADS 

ASTRIUM, ERICSSON, INDRA , 

MBDA, THALES 

SMEs: 

ADACORE, OBEO, LINAGORA, 

SPACE APPLICATIONS, TCP 

SISTEMAS E INGENIERIA, XIPP 


CEA, CNES, ICT-NORWAY, 

INP TOULOUSE, INRIA, 

KATHOLIEKE UNIVERSITEIT, 

LEUVEN, IRIT, ONERA, UNI 

POLITECNICA DE VALENCIA, 

UNI SKÖVDE 

PROJECT DATA 

Coordinator: 

OBEO 

Co-label: 


Call: 

ITEA 2 CALL 3 

Start date: 

January 2009 

Duration: 

48 months 


12.8 

264 



Integrated platform of parallelization 

of industrial and academic codes 

for GPU and and hybrid architectures 

COMPLETED 

PROJECT 

The OpenGPU project proposes a triple objective: 

• Build an integrated and open platform of Open source tools helping the parallelisation 

of existing code, 

• Experiment the benefits of this parallelisation through big industrial and academic 

demonstrators, 

• Build the adequate material and software architectures for the exploitation of these 

new computing powers and the improvement of the energy consumption. 

The Open GPU project thus contains three big topics which are both complementary 

and in synergy some with the others in a purpose of mutual increase of the value in 

each of the domains. 


The OpenGPU project shows that the GPU technology has the capacity to take a central place in the 

HPC programming, because it can solve the problem of computing power at an affordable cost and with 

a controled energy consumption, and that software tools based on the OpenCL standard enable unspecialized 

developers to have access to the techniques of parallel programming. This project allowed the 

development of method and tools to make classic programs of calculation HPC compatible with hybrid 

architectures, with sometimes incredible improvement of performances. 

CONTACT 

Vincent DURANT 

IF RESEARCH WALLIX 

+33 (0)1 53 42 12 92 

vdurant@wallix.com 

PARTNERS 


BULL, THALES RESEARCH 

& TECHNOLOGY 


ESI GROUP 

SMEs: 

AS+, ATEJI, CAPS ENTREPRISE, 

HPC PROJECT, IF RESEARCH 

WALLIX, NUMTECH 


ARMINES PARIS, CEA DAM, 

CEA LIST, DIGITEO SCILAB, 

ECOLE CENTRALE PARIS - 

CRSA, GENCI, INRIA SACLAY, 

IBISC - UNIVERSITÉ D'EVRY, 

INRA, UPMC-LIP6 



• "Patterns for Parallel Programming on GPU" by F. Magoules (ECP/CRSA), edited by CIVIL- 

COMP LTD (SAXE-COBURG PUBLICATIONS); 

• Tran, VD, Zerath B, Tempel S, Zehraoui F, Tahi F. 2012. BoostSVM: A miRNA classifier with 

high accuracy using boosting SVM. Extended resume. JOBIM (Journées Ouvertes en Biologie, 

Informatique et Mathématiques), pages 259-266, Rennes, july 2012; 

• GPU Technology conference, San Jose (CA), 2010, “GPGPU: a SME point of view” by NUMTECH, 

http://nvidia.fullviewmedia.com/gtc2010/0923-a8-2037.html; 

• Session Open-GPU: OpenGPU un an après, Ecole Polytechnique, 2011, “Retour d'expérience 

OpenCL”, by AS+ and INRIA, https://cfsp.univ-perp.fr/node/2664”. 


OpenGPU enabled to create a strong skill community in Ile de France around the parallel programming 

using hybrid processors (GPU and CPU). BULL has developped a new blade computer 

based on Nvidia hybrid technology, with prestigious reference. 

◗ Job creation: This project generated about 20 job creation 

◗ Maintained jobs: This project helped to maintain several tens of existing jobs 

PROJECT DATA 

Coordinator: 

IF RESEARCH WALLIX 

Call: 

FUI8 

Start date: 

March 2010 

Duration: 

24 months 


13.2 

Funding (M2): 

5.1 


265


Open HPC 

COMPLETED 

PROJECT 

Simulation and High Performance Computing are a strategic stake for the competitiveness. 

Both for Industry and Research one of the key elements of the HPC chain is application 

software. It has to be accessible to all the actors of the market, especially for the small and 

medium-sized firms. Users ask for global software solutions on HPC architecture, mixing 

both free and commercial software. In the context of this project, Open Source software will 

be improved in term of quality, interoperability and performance. These developments 

have to be structured and connected in order to create a coherent software platform, in 

connexion with other initiatives such as the Complex System Design Lab CSDL. 

CONTACT 

Michel NAKHLE 

CS 

+33 (0)1 41 28 43 57 



Open HPC aims at building a coherent, interoperable and accessible HPC software platform 

addressing both commercial and Open Source software. A strong implication of 

compagnies like ESI Group, Digiteo Scilab, C-S SI, CSTB and Logilab working together 

confirms the way choosen by the project. The parallelisation and the adaptation of computing 

tools are a necessary step forward the building of the Open HPC software platform. 

Then, in order to reach the goals a focus on the process management of the whole 

computing chain is done. 


◗ Products: 

The virtual Open HPC platform is made of several Open Source and Commercial 

products. For exemple the Logilab company launched an open source case study 

management tool. This Internet tool can gather the whole knowledge on a study case 

linked to the solver datamanager. 

ESI Group worked with CS-SI and the CSTB in order to increase and adapt its process 

manager VDot to the building market. 

◗ Services: 

The CSTB worked on simulation with real experiment comparison. So the CSTB used 

and increased different solvers developed in IOLS in order to run simulation at different 

scale (city quarter, bridge, anchorage...). 


Based on the result of the project, a business plan on the Building Market is in discussion 

between the Open HPC partners. 

PARTNERS 


CS, EDF, NECS 


ESI GROUP 

SMEs: 

DISTENE, LOGILAB, OXALYA, 

TERATEC 


CEA/DEN, CSTB, 

DIGITEO SCILAB, ONERA 

PROJECT DATA 

Coordinator: 

CS 

Call: 

FUI6 

Start date: 

January 2009 

Duration: 

18 months 


3.6 

Funding (M2): 

1.7 


CSDL, EHPOC, ILMAB, IOLS, 

OPUS, SCOS 

266 



OPtimisation de SIMulations 

OPSIM pour la conception 

COMPLETED 

PROJECT 

Numerical simulation, optimization and robust design techniques become a prerequisite 

for complex systems design as ground vehicles. The mass is a major constraint when limiting 

CO 2 emissions is a challenge. Reducing the mass has to be done considering the 

service to provide the customer (safety, acoustic, …). Optimization techniques is a way of 

dimensionning innovation with the best trade-off between cost , mass and performance. 

In order to do so, OPSIM is organized around 3 main topics: numerical simulation quality 

improvement (soft efficiency, precision of finite elements models), high performance 

computing, optimization and robust design tools. 

Results have been applied on 4 studies of synthesis and innovation for ALSTOM and 

RENAULT industrial projets. 


◗ Increase of PAM-CRASH speedup and global performance (reduce by 20% on RENAULT 

midsize car model). 

◗ Precision improvement of crash model: include stamping properties and improve the numerical 

spot weld behavior. 

◗ Development of news multicriteria optimisation tools (for example, genetic algorithms NS- 

GAII and Electre for high dimension multicriteria decision aid) and integration in RENAULT 

optimization toolbox ALTERNOVA. 

◗ Improvement of the RENAULT global optimization 

tool for mass saving on the 

car-body, demonstation on a RENAULT 

case-study (multi-physics optimization 

with more than 200 parameters). 

◗ New optimization tool for robut design 

in crash analysis, demonstration on a 

RENAULT case-study. 


◗ Publications: 11 

• "Optimisation pour la conception de produits par simulations numériques: Application à une étude 

de synthèse RENAULT", 11 e Congrès de la Société Française de Recherche Opérationnelle et d’Aide 

à la Décision, ROADEF 2010, Toulouse, Février 24-26. 

• "Optimisation pour la conception de produits par simulations numériques: problème d’optimisation 

multicritère de grande dimension" ,11 e Congrès de la SFRO et d’Aide à la Décision, ROADEF 2010, 

Toulouse, Février 24-26. 

• "Particle Swarm Optimization Algorithm with Space Partitioning for Many-Objective Optimization“, accepté 

à la conférence Meta10 “International Conference on Metaheuristics and Nature Inspired Computing”. 


• An improved version of PAM-CRASH for ESI customers. 

• An offer of "HPC on demand" proposed by BULL. 

• An improved toolbox ALTERNOVA with new functionnalities. 


EURODECISION Stability of the team (7 persons). Sales and marketing: +1 person during this 3 years. 


• ALTERNOVA is the toolbox developped by EURODECISION for RENAULT, enabling an optimisation 

workflow in the product design process. 

• The signature in January 2011 of an important cooperation contract between RENAULT and 

EURODECISION. This contract is strategic for EURODECISON enabling the SME to sell to new 

clients licences and services exploiting ALTERNOVA. The contract is also important for RE- 

NAULT in order to maintain viability of the toolbox in the long term. 

Exploitation of OPSIM results (Alternova toolbox or some components such as Electre or NSGAII ) is also 

planned in other EURODECISION activities than the product optimisation design one. In this case the 

new products will participate to the goblal growth of EURODECISION (15%-20% per year in average). 


CONTACT 

Marie-Maud CHATILLON 

RENAULT 

+33 (0)1 76 85 13 84 

marie-maud.chatillon 

@renault.com 

PARTNERS 


ALSTOM, BULL, RENAULT 


ESI 

SMEs: 

EURODECISION 


ECOLE CENTRALE DE LYON, 

EC LILLE, UNIVERSITE DE 

VERSAILLES SAINT-QUENTIN- 

EN-YVELINES 

PROJECT DATA 

Coordinator: 

RENAULT 

Call: 

FUI5 

Start date: 


Duration: 

24 months 


4.6 

Funding (M2): 

1.6 


ACTIVOPT, RODIN 

267


OPTIDIS 

Optimisation d'un code de 

dynamique des dislocations 

ON GOING 

PROJECT 

◗ The materials used in the nuclear industry undergo various and complex constraints. 

Modeling efforts offers the opportunity to understand the mechanisms leading to the 

ageing of these materials. 

◗ Dislocations are linear defects which are quite abundant in crystalline metals. They 

are responsible for their plastic behavior. Irradiation induced defects strongly interact 

with dislocations, therefore modifying the mechanical properties of these materials. 

Understanding these mechanisms is therefore crucial. 

◗ Dislocation dynamics is a simulation technique suite to follow the motion of a large 

number of dislocations along time. Taking full advantage of HPC is critically needed 

to simulate to simulate representative volume elements. The goal of OPTIDIS, is to 

optimize such a code within a team including CEA, INRIA and CNRS. 


◗ The goal of OPTIDIS is to 

optimize a dislocation dynamics 

code named NU- 

MODIS enabling large scale 

simulations of scientific interest. 

This goal requires 

the development of three 

specific algorithms: 

• optimized calculation of 

the interactions between 

dislocations using multipole 

approach; 

• optimized linear and nonlinear 

solvers taking full 

The interaction between a dislocation and a radiationinduced 

loop. 

advantage of the topological structure of dislocations; 

• development of new load-balancing strategies as the spatial distribution of dislocations 

tends to be extremely heterogeneous. Each of these three tasks will be addressed 

using a combination of advanced High-Performance Computation schemes 

(MPI and POSIX threads) and the development of new algorithms. As a final "grand 

challenge", NUMODIS will be used to address a problem of major scientific and industrial 

interest: the channeling of deformation in irradiated zirconium cladding. 

CONTACT 

Laurent DUPUY 

CEA / DEN 

+33 (0)1 69 08 53 45 

laurent.dupuy@cea.fr 

PARTNERS 


CEA/DEN, HIEPACS, INP, 

INRIA, UNIVERSITÉ PARIS-EST 

CRÉTEIL 

PROJECT DATA 

Coordinator: 

CEA/DEN 

Call: 

ANR 

Start date: 

October 2010 

Duration: 

48 months 


1.5 

Funding (M2): 

0.4 


This project started 6 months ago. The first meetings were held to define more precisely 

the different tasks. Several trainees and one PhD student were recruited by the different 

partners. 

268 



Open source Platform for Uncertainty 

treatment in Simulation 

COMPLETED 

PROJECT 

Numerical simulation has gained more and more place in the modern practice of engineering. 

A huge number of industrial studies require numerical models in order to 

forecast the behavior of complex systems. Whatever the purpose of the study, it is crucial 

for engineers to assess the uncertainty tainting the model’s outcomes and the decision 

going with. Undoubtedly, we have observed during these last years a rise of 

interest in these problems within the scientific and technical community. 

The OPUS project had the following goals: 

◗ Let some reference methods/tools arise by gathering innovative methods and algorithms 

and creating a lasting dynamics at the interface academic research-industryservice, 

◗ Capitalize the French know-how in the framework of uncertainty analysis around a 

common basis of methods/tools and a reference community 


◗ Development of innovative methodologies 

and algorithms for performing 

probabilistic calculations on CPU time 

consuming models: adaptive krigingbased 

metamodels for estimating the 

probability of rare events, efficient 

polynomial chaos expansion, inverse 

modeling, low probability quantiles robust 

estimation, certified reduced 

basis for fast resolution of EDP’s. 

◗ Software production: 7 open source contributions, 

running within industrial and 

lasting free software platforms (Scilab, 

Octave, Open TURNS, R) put at disposal of the industrial and scientific community. 

◗ Key contribution to structure a reference French community, as witnessed by several 

working groups and training courses initiated. 



• J. Bect, D. Ginsbourger, L. Li, V. Picheny, E. Vazquez. Sequential design of computer 

experiments for the estimation of a probability of failure. Statistics and Computing 

(in press), 2011. 

• A. Buffa, Y. Maday, A. T. Patera, C. Prud’homme, G. Turinici. A priori convergence of 

the greedy algorithm for the parametrized reduced basis. ESAIM-Math. Model. 

Numer. Anal. Special Issue in honor of David Gottlieb (in press), 2011. 

• A. Antoniadis, A. Pasanisi (Eds.) Special Issue: Modeling of Computer Experiments 

for Uncertainty Propagation and Sensitivity Analysis. Statistics and Computing (in 

press), 2011. 

• T. Crestaux, J.M. Martinez, O. Le Maître. Polynomial chaos expansions for sensitivitiy 

analysis. Reliability Engineering and System Safety, 94: 1161–1172, 2009. 

• C. Cannamela, J. Garnier, B. Iooss. Controlled stratification for quantile estimation. 

Annals of Applied Statistics, 2(4):1554–1580, 2008. 

◗ Product(s) or Service(s): 7 open source software components. 

◗ Job creation: 4 post-doctoral temporary fellowships and 1 permanent job (at Softia). 

CONTACT 

Alberto PASANISI 

EDF R&D 

+33 (0)1 30 87 80 85 

alberto.pasanisi@edf.fr 

PARTNERS 


CEA, DASSAULT AVIATION, 

EADS IW, EDF R&D 

SMEs: 

SOFTIA 



INRIA, SUPELEC, UNIVERSITE 

JOSEPH FOURIER GRENOBLE1, 

UNIVERSITE PARIS 7 

PROJECT DATA 

Coordinator: 

EDF R&D 

Call: 

ANR 

Start date: 

April 2008 

Duration: 

42 months 


2.2 

Funding (M2): 

1 


CSDL, EHPOC 


269


Project also supported by Free & Open Source Software WG. 

P PROJECT 

ON GOING 

PROJECT 

The main objective of P Project is to facilitate the development of hard real-time, critical, 

embedded systems. Thanks to a comprehensive toolset built around an automatic code 

generator, it will use a strong model-based approach. P Project aims to develop an 

open source, multi-domain code generation toolchain. It will handle, in a coherent 

manner, the relevant behavioral and architectural language subsets, and synchronous 

and asynchronous modeling. It will target a number of programming and synthesis 

languages, as well as mono- and multi-CPU computers. It will come with a qualification 

kit, the material necessary to gain certification credit from the use of the toolset. 


The final goal of P Project is to develop a code generation framework that could be 

commercially exploited by the project partners. This tool chain will encompass a code 

generator for mono and multi -core processors targeting Ada/C/C++ with the possibility 

of instrumenting the generated code, a code generator targeting VHDL and SystemC 

and a set of verification tools focusing on verification of co-modeling consistency and 

real-time properties. The main technological innovations of P Project with respect to the 

points above consist in improving the tool interoperability from the perspective of multimodel 

code generation and verification and in providing an open-source tool chain allowing 

qualification in the context of the DO-178, ISO-26262 and ECSS-E-ST-40C / 

Q-ST-80C standards. From a business and strategic perspective, the project will propose 

a first migration path from a non-European, proprietary and monopolistic product 

(Simulink) to a European open-source alterative (Xcos, Scicos) and will promote an 

economical ecosystem based on open-source software. 


In 2011 work essentially focussed on user requirements specification and a start on the 

work on UML and Simulink importers. 

CONTACT 

Robertus VINGERHOEDS 

CONTINENTAL AUTOMOTIVE 

FRANCE 

+33 (0)6 11 98 69 5 

robertus.vingerhoeds 

@continental-corporation.com 

PARTNERS 


AIRBUS, ATOS ORIGIN, 


FRANCE, EADS ASTRIUM, 

MORPHO, ROCKWELL COLLINS 

FRANCE, THALES ALENIA 

SPACE, THALES AVIONICS 


ALTAIR 

SMEs: 

ABOARD ENGINEERING, 

ACG SOLUTIONS, ADACORE, 

SCILAB ENTERPRISES, 

ST INFORMATIQUE SERVICES 


INRIA, IRIT, LABSTICC, LAMI, 

ONERA 

PROJECT DATA 

Coordinator: 


FRANCE 

Co-label: 


Call: 

FUI11 

Start date: 

October 2011 

Duration: 

36 months 


9.8 

Funding (M2): 

3.8 


CESAR, EDONA, LAMBDA, 

MEMVATEX, OPEES, USINE 

LOGICIELLE 

270 



PISI PAJERO 

ON GOING 

PROJECT 

PAJERO is an innovative project formed to develop a Cloud-based Workforce 

Optimization platform. Proposed as an on-demand application (SaaS), it will provide a 

real-time capability to solve complex resource management problems through a set of 

groundbreaking features: 

◗ A new generation of optimization solver using advanced Constraint Programming extensions 

and parallel algorithms 

◗ HUDL: A natural business-oriented metalanguage aimed to allow a computer illiterate 

business specialist to set up reusable business rules and solver programmation 

◗ A set of programming tools to transparently exploit hardware environments of the 

15 next years: massively parallel devices (many-core, GPGPU) and Cloud Computing 

◗ This platform will provide to vertical markets ways to solve its workforce resources 

optimization problems and to get the needed computing power 


◗ A horizontal platform built on a Service-Oriented Architecture (SOA) which can be adapted 

to any vertical sector and solve complex multiple resources management problems 

◗ HUDL: An accessible parameterization language. Its natural and business-oriented nature will 

allow the horizontal platform to be adapted to any specific vertical context without writing 

code. It will provide too an easy way to describe the optimization problems for the solver 

◗ A new generation Constraint Programming Solver integrating multiple CSP extensions 

in the same engine: 

• Soft constraints (weighted CSP) and multi-criteria optimization are addressed by extended 

Optimal Soft Arc Consistency and conservative dual consistency methods, 

• A new consistency algorithm based on failed values, 

• Conditional constraint satisfaction with preferences, 

• Uncertainty and Stochastic constraint programming: scenario-based algorithm. 

• Intensive use of parallelism 

at all project stages bringing 

superlinear performance: 

• HMPP Platform allowing 

portable parallel codes in a 

Cloud Computing environment 

independent from hardware 

targets 

◗ Parallel solver algorithms: 

• Models portfolios, 

• Homogenous and heterogeneous 

solvers portfolios 


CONTACT 

Jean-Claude BONIN 

HORIZONTAL SOFTWARE 

+33 (0)9 82 30 40 00 

jcbonin@horizontalsoftware.com 

PARTNERS 

SMEs: 

CAPS ENTREPRISE, EQUITIME, 



UNIVERSITE LENS ARTOIS, 

UNIVERSITE NICE-SOPHIA- 

ANTIPOLIS, UNIVERSITE 

VERSAILLES-SAINT-QUENTIN- 

EN-YVELINES 

PROJECT DATA 

Coordinator: 


Call: 

OSEO 

Start date: 

March 2011 

Duration: 

48 months 


16.5 

Funding (M2): 

7.6 


OPARUS, OPEN GPU, POPS 

2 families of products: 

◗ PAJERO Product: it is a horizontal platform designed to optimize enterprise workforce 

resources. It will be adapted to a specific vertical market by business partners with 

the natural parameterization language HUDL. EquiTime will develop the Healthcare 

sector adaptation. 

◗ HMPP Platform: Programming tools designed to make developed software independent 

of the target parallel runtime environment (Cloud, Computing, Many-core, 

GPGPU…). 


271


PANDA 

Parallelism And Distribution Analysis 

COMPLETED 

PROJECT 

The validation of concurrent and distributed programs is difficult because the number 

of accessible states is too large to be enumerated, and even the number of control 

points, on which abstract collecting semantics are based, explodes. This is due to the 

great number of distinct scheduling of actions in legal executions. 

The objective of this project is to develop theories and tools allowing for tackling this 

combinatorial explosion, in order to validate concurrent and distributed programs in 

an efficient manner. 

We will consider various paradigms of computation and interaction, encompassing 

most of the classical ones, as well as more recent ones such as the ones found in 

Singularity for instance, which will provide a good "test case" for the formal semantics 

and methods the project is aiming at developing. 


We have implemented a library that 

allow to manipulate directed graphs 

representing concurrent processes, 

thus allowing the automatic verification 

of deadlock freedom. 

We have defined several new models 

for process calculi, and various semantic 

tools, like for instance a notion 

of bisimulation for concurrent constraint 

programming. 

In the area of security, we have extended 

the information theoretic approach 

to information leakage so to 

capture a general model of adversary. 

In the area of privacy, we have extended 

the notion of differential privacy to arbitrary metrics, and applied to generate 

mechanisms for privacy protection in various applications. 



• Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi: Quantitative information 

flow in interactive systems. Journal of Computer Security 20(1): 3-50 (2012). 

• Mário S. Alvim, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Geoffrey 

Smith: Measuring Information Leakage Using Generalized Gain Functions. CSF 

2012: 265-279. 

• Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of 

the Applied π-Calculus. F. Jacquemard, É. Lozes, R. Treinen and J. Villard. In Proceedings 

of TOSCA'11, LNCS, Springer, 2011. 



Extrem computing Business unit created by Bull for the HPC market. 


CONTACT 

Catuscia PALAMIDESSI 

INRIA 

+33 (0)1 74 85 42 49 

catuscia@lix.polytechnique.fr 

PARTNERS 


AIRBUS FRANCE 


CEA, INRIA, UNIVERSITY 

PARIS NORD, UNIVERSITY 

OF PROVENCE 

PROJECT DATA 

Coordinator: 

INRIA 

Call: 

ANR 2009 

Start date: 

October 2009 

Duration: 

36 months 


2 

Funding (M2): 

0.5 


CPP 

272 



PARAL-ITP 

Pervasive Parallelism 

in Highly-Trustable Interactive 

Theorem Proving Systems 

ON GOING 

PROJECT 

Coq and Isabelle are the leading European systems for mathematical modeling and 

interactive proof checking, with fully formal logical foundations. Applications include 

huge mathematical proofs and semi-automated verifications of complex hardware and 

software systems. This demands substantial computing power of technical workstations, 

which today means explicit parallelism on multi-core hardware. 

The project addresses all aspects of parallel proof checking and asynchronous 

interaction for Coq and Isabelle in a pervasive manner: from internal prover architecture 

to front-end technology in the style of modern IDEs like Eclipse or Netbeans. Ultimately, 

both Coq and Isabelle will become more powerful and more accessible, to support even 

larger proof formalization efforts. 


◗ High-performance parallel prover 

architecture, specifically for Coq 

and Isabelle and their underlying 

ML platforms. 

◗ Common prover integration layer 

for uniform access of parallel 

Coq and Isabelle by generic 

front-ends, with uniform document 

model for formal proofs and built-in change history. 

◗ Novel prover front-end technologies with parallel and asynchronous interaction: 

Prover IDE with continuous checking of formal theories, as rich client platform. 

◗ Formal analysis of key aspects of the pervasive parallel approach, to retain high 

trustability of Coq and Isabelle in the tradition of the original LCF approach. 


Kickoff in November 2011. 

Formation of the for action-lines of the project. 

CONTACT 

Burkhart WOLFF 

UNIVERSITE PARIS SUD 11/LRI 

+33 (0)1 69 15 66 40 

wolff@lri.fr 

PARTNERS 


INRIA ROCQUENCOURT, 

INRIA SACLAY, UNIVERSITE 

PARIS SUD 11/LRI 

PROJECT DATA 

Coordinator: 

UNIVERSITE PARIS SUD 11/LRI 

Call: 

ANR 

Start date: 

November 2011 

Duration: 

40 months 


2.3 

Funding (M2): 

0.5 


273


PARMAT 

PARallélisation pour 

la simuilation des matériaux 

COMPLETED 

PROJECT 

The european project PERFECT has developed a computation chain for the simulation 

of the ageing under neutronic irradiation of the alloys (steel mainly) involved in materials 

of the nuclear reactors. This chain is made of seven codes, the accuracy of each of them 

depends on the size of the simulated systems. The goal of the project PARMAT is to 

optimize three codes (ab initio, Monte Carlo, chemical kinetics) in the chain in order to 

prepare for the future petaflopic architecture made of some hundreds of thousands of 

cores, as prefigured by the IBM BlueGene machines. Then, the size of the simulated 

system will be satisfying. 

CONTACT 

Guy BENCTEUX 

EDF - R&D 

+33 (0)1 47 65 30 88 

guy.bencteux@edf.fr 


◗ Ab initio simulations: semi-empirical models of nanotubes with up to 10^5 carbon 

atoms can be simulated with the efficient use of hundreds of processors. 

◗ 3D mesoscale simulations of irradiation damage: kinetic Monte-Carlo simulations 

can be efficiently distributed over a dozen processors. 

◗ Spatially homogenized model: the dynamic of cluster defects containing self-defects 

and up to 100 solute atoms can be simulated over a long period (0.5 dpa) in half a 

day, which represents a tenfold increase in the maximum number of solute atoms. 

PARTNERS 


CEA, EDF 

SMEs: 

CAPS-ENTREPRISE 


CNRS-UMET, ENPC-CERMICS 



• "Analysis of a Quadratic Programming Decomposition Algorithm", paper published 

in SIAM Journal of Numerical Analysis 

• "Domain Decomposition for Electronic Structure Computations", communication 

in ParCo 07, published in the proceedings. 


• Ab initio simulations: a new O(N) algorithm has been implemented in a parallel version. 

Weak and strong scalability up to thousand processors have been proved on an 

IBM Blue Gene/L architectures. This version is limited to nanotube-type systems. 

• 3D mesoscale simulations of irradiation damage: efficiency of kinetic Monte-Carlo 

integration has been significantly improved with or without the resort to multiprocessors. 

Parallelisation over a dozen processor via spatial domain decomposition 

has revealed efficient. 

• Spatially homogenized model: efficiency of cluster dynamics has also been dramatically 

improved thanks to the use of classical techniques of parallelisation of 

linear systems (Schur complement). A new way of simulating cluster dynamics has 

been developped, with a stochastic treatment of the biggest clusters. This method 

is a first step towards integration of models with highly complex defects containing 

more than one solute specie. 

PROJECT DATA 

Coordinator: 

EDF - R&D 

Call: 

ANR 

Start date: 

January 2007 

Duration: 

48 months 


1.3 

Funding (M2): 

0.5 


SHPCO2 

274 



PARSEC 

Production d'Applications Réparties 

Sûres pour l'Embarqué Critique 

ON GOING 

PROJECT 

The PARSEC Project aims at providing development tools for critical real-time distributed 

systems requiring certification according to the most stringent standards such as DO- 

178B (avionics), IEC 61508 (transportation) or Common Criteria for Information Technology 

Security Evaluation. The approach proposed by PARSEC provides an integrated toolset 

that helps software engineers to meet the requirements associated to the certification of 

critical embedded software. 


PARSEC provides an innovative integrated process based on Model Driven Engineering 

techniques adapted to the implementation of critical software. 

CONTACT 

Hugues BALP 

THALES 

+33 (0)1 69 41 55 09 

hugues.balp@thalesgroup.com 

www.parsec-project.fr 

Eclipse update site: 

parsec.ellidiss.fr 

PARTNERS 


ALSTOM, THALES 

SMEs: 

ELLIDISS, OPENWIDE, 

SYSTEREL 


CEA, INRIA, 



◗ Tooled development process for critical embedded systems with: 

1. Formal proof in EventB of system critical properties (optional) 

2. Refinement of the system model into a COAL component software architecture 

3. Deterministic end-to-end data-flow execution model of the full system 

4. Formalization of components behavioral properties into COAL contracts 

5. Automatic deployment of business components from the COAL model 

6. Deterministic synchronous or asynchronous real-time execution 

7. ACSL contracts generation for automatic code verification by proof or test 

8. Use of ARINC653 to isolate sub-systems with different criticality levels 

9. Automatic synthesis of ARINC 653 partitioning (using an extension of SynDEx) 

10. AADL model transformations for synthesis of ARINC653 systems (RAMSES 

framework) 

PROJECT DATA 

Coordinator: 

THALES 

Call: 

FUI8 

Start date: 

October 2009 

Duration: 

40 months 


3.4 

Funding (M2): 

1.5 


FLEX-EWARE 


275


PErformances GAranties pour les 

Systèmes Embarqués communicants 

COMPLETED 

PROJECT 

Modern embedded systems are made of dozens of interconnected computers, each 

one handling hundreds or thousands of data flows. The delay introduced by the network 

(WCTT, Worst Case Traversal Time) must be bounded, with scalable formal methods. 

Network Calculus is such a method, but it was making to pessimistic over-evaluation, 

leading to an over-dimensioning of the network which involves extra weight and power 

consumption. The aim of the PEGASE project was to improve the theory of Network 

Calculus (tighter bounds, help for network design, modeling of new technologies), and 

to transfer the result to the industry. 

CONTACT 

Marc BOYER 

ONERA 

+33 (0)5 62 25 26 36 

Marc.Boyer@onera.fr 

http://sites.onera.fr/pegase 


From the theoretical point of view, a lot of results have been obtained, in particular on the improvement 

of bounds, on classification of some theoretical related models, or the modeling of 

Wormhole routing, leading to several international publications. From the industrial transfer point 

of view, the development of the software prototype offers to the community an (min,plus) interpreter, 

and a first version of the AFDX analyzer have been released. Experiments have shown that 

it can divide by a factor of two the pessimism of the method. More details can be obtained on the 

WEB site. 

PARTNERS 


THALES ALENIA SPACE 

FRANCE, THALES AVIONICS, 


TECHNOLOGIES 

SMEs: 

REAL TIME AT WORK 


ENS, INRIA GRENOBLE, 

LABORATOIRE DE 

L’INFORMATIQUE DU 

PARALLELISME, ONERA 



• Deficit Round Robin with Network Calculus Marc Boyer, Giovanni Stea, William Mangoua Sofack, 

Proc. of the 6th International Conference on Performance Evaluation Methodologies and 

Tools (ValueTools 2012) 

• Exact Worst-case Delay for FIFO-multiplexing Tandems, Anne Bouillard and Giovanni Stea, 

Proc. of the 6th International Conference on Performance Evaluation Methodologies and Tools 

(ValueTools 2012) 

• Experimental assessment of timing verification techniques for AFDX, Marc Boyer, Jörn Migge, 

Marc Fumey, 5th Embedded Real Time Software and System Congress (ERTS² 2012) 

• Comparison of different classes of service curves in Network Calculus, Anne Bouillard, Laurent 

Jouhet, Eric Thierry, Proc of the 10th International Workshop on Discrete Event Systems 

(WODES 2010) 

• Packetization and Packet Curves in Network Calculus, Anne Bouillard, Nadir Farhi and Bruno 

Gaujal, Proc. of the 6th International Conference on Performance Evaluation Methodologies 

and Tools (ValueTools 2012) 

PROJECT DATA 

Coordinator: 

ONERA 

Co-label: 


Call: 

ANR 

Start date: 

October 2009 

Duration: 

36 months 


2 

Funding (M2): 

0.8 

276 



PHERMA 

Parallel Heterogeneous Energy efficient 

Real-time Multiprocessor Architecture 

COMPLETED 

PROJECT 

The PHERMA project aims to reconsider the control scheme (RTOS) in a MPSOC 

architecture: 

◗ To propose an efficient SW/HW architecture model with deterministic behaviors in a 

way to guaranty maximum response times. 

◗ To adapt and ease the schedulability analysis on the basis of this architectural model 

to hold an “a priori” verification of task deadline meeting. 

◗ To propose methods for offline and online optimization of power consumption considering 

this architectural model. 


◗ Development of new online and offline power management techniques (DVFS and 

DPM). 

◗ Development of a multiprocessor 

execution simulator (STORM: 

http://storm.rts-software.org) 

under a creative commons licence. 

◗ The design of a HW power manager 

coupled to the scheduler of 

the SCMP platform and its demonstration 

on an Eve FPGA emulation 

board. 

◗ The integration of new scheduling 

and power management policies 

coupled to Linux SMP. 



14 publications. The 5 most important are: 

• S. Bilavarn, C. Belleudy, M. Auguin, T. Dupont, A-M. Fouilliart: "Multicore Implementation 

of H.264 Decoder with Power Management Considerations", 11th Euromicro 

Conference on Digital System Design, DSD’08, Parma, Italy, 03/09/08-05/09/08. 

• M.K. Bhatti, F. Muhammad, C. Belleudy, M. Auguin: "Improving resource utilization 

under EDF-based mixed scheduling in multiprocessor real-time systems" 16th 

IFIP/IEEE Int. Conf. on Very Large Scale Integration, VLSI-SOC'08, Rhodes, Grèce, 

13/10/08-15/10/08. 

• D. Aoun, A.M. Déplanche, Y. Trinquet: "Pfair scheduling improvement to reduce interprocessor 

migrations" 16th Int. Conf. on Real-Time and Network Systems, 

RTNS'08, Rennes, France, 16/10/08-17/10/08. 

• M. Bhatti, F. Muhammad, C. Belleudy, M. Auguin, O. Mbarek: "Assertive dynamic 

power management (AsDPM) strategy for globally scheduled real-time multiprocessor 

systems" 19th Int. Workshop on Power and Timing Modeling, Optimization and 

Simulation on Digital System Design, PATMOS’09, Delft, Pays-Bas, 09/09/09-11/09/09. 

• K. Ben Chehida, R. David, F. Thabet, A.M. Déplanche, Y. Trinquet, R. Urunuela, M.K. 

Bhatti, C. Belleudy, M. Auguin, F. Broekaert, V. Seignole, A.M. Fouillart: "Une approche 

globale de gestion de la consommation au niveau système pour des architectures 

MPSoC temps réel hétérogènes" 8 èmes Journées Faible Tension Faible Consommation, 

FTFC’09, Neuchâtel, Suisse, 03/06/09-05/06/09. 

◗ Patents: 

F. Thabet, K. Ben Chehida, F. Blanc, patent EP2266011 (A1) - “METHOD FOR MANAG- 

ING POWER CONSUMPTION FOR MULTIPROCESSOR SYSTEMS”, 2009. (Also extended 

to WO2009127646 (A1) US2011271127 (A1) JP2011519452 (A) FR2930355 (A1) ). 

CONTACT 

Karim BEN CHEHIDA 

CEA LIST 

+33 (0)1 69 08 86 45 

Karim.benchehida@cea.fr 

PARTNERS 


THALES COMMUNICATIONS 


CEA LIST, IRCCYN, LEAT 

PROJECT DATA 

Coordinator: 

CEA LIST 

Co-label: 

SCS 

Call: 

ANR 

Start date: 

January 2007 

Duration: 

42 months 


1.8 

Funding (M2): 

0.7 


GRECO 


277


PICADO 

Development of an innovative 

and polyvalent technological 

infrastructure for Domomedicine 

HEALTH 

& ICT 

ON GOING 

PROJECT 

The PICADo project aims to build, experiment and evaluate a multi-pathology homecare 

platform (domomedicine): 

◗ Development of a polyvalent infrastructure for homecare 

◗ Experimentation and evaluation of the clinical, organisationnal and socio-economic 

value of the demonstrator, to anticipate the technical, human, organisationnal and 

economical problems of large-scale deployment and build a suited and durable business 

model. 

CONTACT 

Olivier DE LA BOULAYE 

ALTRAN 

+33 (0)1 48 88 73 88 

olivier.delaboulaye@altran.com 


◗ Technological innovations include the development of a multi-channel infusion pump 

and communicating sensors 

◗ New supporting solution for co-morbidities medical management 

◗ Specific algorithms (predictive models) 


◗ Integrated system composed of different technological components: medical and non 

medical devices (portable or implanted), aggregation box, user-friendly interfaces for 

patients and caregivers, information system 

◗ Evaluation results: acceptability, health benefits… 

◗ Business Model 

PARTNERS 


ALTRAN 


AXON CABLE 

SMEs: 

BLUELINEA, FSI, VOLUNTIS 


INSERM, UNIVERSITE DE 

REIMS (OMI-EA 2065), UTT 

PROJECT DATA 

Coordinator: 

ALTRAN 

Call: 

FUI12 

Start date: 

April 2012 

Duration: 

36 months 


5.6 

Funding (M2): 

2.1 

278 



POINT2BDMC 

POwer Optimized INfrasTructure 

to BigData Management Center 

EUROPEAN 

PROJECT 

ON GOING 

PROJECT 

Today scientific applications generate and handle an increasing amount of data. Data 

center infrastructure costs will grow exponentially and it becomes crucial to efficiently 

manipulate, store, archive and manage massive data. Data access optimisation, data 

move to convenient storage mediums in a parallel way from memory to archive, storage 

on disk optimisation including new disk bay design, data life cycle management and 

hierarchical storage are few of relevant improvements POINT2BDMC want to deal with. 

The main project objective is to reduce the storage cost of High Performance Computing 

data centers providing adapted infrastructure to avoid data deluge. Demonstration will 

be in the health and weather domains. 

CONTACT 

Denis FOUEILLASSAR 

BULL 

+33 (0)4 76 29 72 75 

denis.foueillassar@bull.net 


◗ HPC batch manager will became an actor of data management provisioning data 

before to launch a job and archiving data after job execution. 

◗ Parallel File System will be extended to manage metadata associated to data lifecycle. 

◗ Policy engine and data mover mecanisms will be developped to position data at the 

right place to provide best ratio data availability versus storage cost. 

◗ New disk bay with low consumption spin-down disks will be developed to replace 

archive on tapes. 

◗ An interface from parallel file system into parallel tape storage will enable data movers 

to deliver a huge amount of streams flowing in parallel into the third tier storage. 

◗ Meta data server, that 

keeps control off the 

physical location of all 

data chunks. (A lot of billions 

in one single system) 

will be developped. 

◗ All aspects of data security 

(SELinux), data backup 

(using the hierachical 

Storage Manager, data 

migration with moe 

complex policies will be 

studied and implemented. 

STATUS - MAIN 

PROJECT OUTCOMES 

◗ Extensions to SLURM resource manager to move data before and after job activity. 

◗ Extensions to LUSTRE parallel File System to manage massive data datasets. 

◗ Policy engine and data mover for a Hierarchical Storage Manager (HSM). 

◗ Metadata serveur for Life cycle data management. 

◗ Spin-down disk bay and adapted storage archive management. 

◗ Security implementations for data access, data integrity and data confidentiality. 

◗ Demonstrate the storage cost reduction in the health and weather domains. 

PARTNERS 


AS+, BULL, CEA, 

CHRISTMANN +, DKRZ, 

EXABUILDER, FUJITSU 

GERMANY, GRAU DATA, INRA, 

MEDIEN GMBH, PARTEC 

SMEs: 

AS+, CHRISTMANN, 

EXABUILDER, GRAUDATA, 

PARTEC 


BIELEFELD UNIVERSITY, 

MAINZ UNIVERSITY 

PROJECT DATA 

Coordinator: 

BULL 

Call: 

ITEA2 CALL7 

Start date: 

March 2013 

Duration: 

36 months 


13 


279


POPS 

Peta Operations Per Second 

COMPLETED 

PROJECT 

Design and develop data processing systems suited to the largest spectrum of High 

Performance Computing applications, targeting the Petaflops range. 

Anticipate the programming tools and features needed to obtain efficient applications 

in such systems. 


◗ Hardware architecture, integration and performances > technological options > 

prototype. 

◗ Basic tools (OS, libraries,…) + performance improvement tools (threads management, 

adaptive optimisation). 

◗ Applications: simulation codes, management of large databases, multimedia data 

processing (life science, entertainment). 

CONTACT 

Jean-François LEMERRE 

BULL 

+33 (0)1 30 80 72 66 

jean-francois.lemerre@bull.net 

PARTNERS 


BULL, CS, DASSAULT AVIATION, 

EDF 


ESI 

SMEs: 

CAPS ENTREPRISE, 

EURODECISION, MEDIT, 

RESONATE MP4 


CEA, ECOLE CENTRALE PARIS, 

IFP, INRIA,INT-ARTEMIS, 

UNIVERSITE D'EVRY, 

UNIVERSITE PARIS SUD 11, 

UVSQ 


◗ Products: 

Optimization of codes from Dassault, ESI, Eurodecision, EDF; Bull petaflopic architecture 

and tools; Astek codlet finder by CAPS. 

◗ Services: 

VOD transcoding service offer by Resonate MP4; intensive computing services on 

demand by Bull; Creation of an Intensive computing Master by UVSQ and ECP; … 


About 50 publications, mainly written by the laboratories. 


Big Video challenge (finding 1video in 100,000 hours in 10 s; realtime video transcoding; 

crosslanguage research of multimedia content; protein visualisation. 


About 30 jobs created, on which 3: in start-up Infinite Web Media. 


Extrem computing Business unit created by Bull for the HPC market. 

PROJECT DATA 

Coordinator: 

BULL 

Call: 

FUI3 

Start date: 


Duration: 

23 months 


13.5 

Funding (M2): 

5 


CARRIOCAS, EHPOC, IOLS, 

MEDIATIC, SAPHIR 

280 



PPR 

Plateforme de Prototypage Rapide 

ON GOING 

PROJECT 

This project aims at providing a complete software/hardware solution for rapid 

prototyping of large integrated circuits (SoC and ASIC). The provided solution will 

accelerate productivity and reduce the time to market of complex circuits development. 

The main product corresponds to a board design based on Xilinx FPGAs which can be 

customized depending on applications specification. In addition, WASGA suite tools 

(FLEXRAS Technologies) will be provided for netlists partitioning and routing. ADACSYS 

tools will be used for functional debugging and verification. REFLEX CES will design a 

multi-FPGA board as a demonstrator. 

CONTACT 

Zied MARRAKCHI 

FLEXRAS TECHNOLOGIES 

+33 (0)1 49 22 00 23 

zied.marrakchi@flexras.com 


This project proposes: 

◗ To realize a performant prototyping system based on FPGA. This demonstrator will 

use the latest FPGA technology with large logic capacity and high speed communication 

features. 

◗ To develop a complete suite tool to map a design on multi-FPGA platform. WASGA 

suite tool will allow designers to see a multiple FPGA platform as one large FPGA with 

a standard flow of Synthesis, Place and Route. Partitioning and inter-chip routing will 

be automated and transparent for the designers thanks to WASGA. To implement such 

features, WASGA will integrate an advanced technology of partitioning that optimizes 

inter-FPGA communications and improves the performances of the prototyping. 

◗ To use ADACSYS verification platform. This technology brings crucial flexibility, efficiency 

and simplicity to the development and verification cycles so that products reach 

the market on time and with high quality standards. 


The PPR project started in April 2011. The duration will be two years. The academic 

partner LIP6 will recruit a PhD student then we will begin the specification phase. 

PARTNERS 

SMEs: 

ADACSYS, FLEXRAS 

TECHNOLOGIES, REFLEX-CES 


LIP6 

PROJECT DATA 

Coordinator: 

FLEXRAS TECHNOLOGIES 

Call: 

FEDER3 

Start date: 

April 2011 

Duration: 

24 months 


1.3 

Funding (M2): 

0.7 


281


Plate forme pour la Robotique 

Organisant les Transferts entre 

Utilisateurs et Scientifiques 

ON GOING 

PROJECT 

The goal of the PROTEUS project is to create a portal and associated tools dedicated to 

the French robotic community as embodied by the GDR Robotique and its associated 

partners' club. This will facilitate exchanges (knowledge, algorithms, ...) inside and 

outside the community. The software tooling tool is of utmost importance to tackle with 

'robotic field' concerns and 'software engineering' aspects simultaneously and to allow 

as easy as possible exchanges. 

Challenges will be organised in order to validate the portal concept and disseminate its 

existence throughout the community. At the end of the project this portal will become 

the responsibility of the GDR Robotique in order to allow its existence afterthe end of 

the project. 

CONTACT 

Bruno PATIN 


+33 (0)1 47 11 58 54 

bruno.patin@dassault-aviation.com 

http://www.anr-proteus.fr 


Such an innovative platform will allow the members of the community to: 

◗ Identify problems. These problems would be delivered as specifications or simulations 

including models and eventually real data (could be compared to the Robocup approach); 

◗ Design solutions to the problems by creating architectures and algorithms with their 

own environments and tools; 

◗ Integrate their solutions into the corresponding simulations, in order to verify the consistency 

of the solutions with respect to the problems; 

◗ Assess the solution into its proper environment starting from the integrated simulation; 

◗ Publish and Compare solutions through a public area the problems and their solu-tions, 

storing them in the PROTEUS database; 

◗ Test solutions on real industrial robots, the interface of those robots being consistent 

with the interfaces of the simulated robots as expressed in the validated simulations. 

PARTNERS 


DASSAULT AVIATION, THALES 

TOSA, THALES TRT 


ECA 

SMEs: 

GOSTAI, INTEMPORA 


CEA, GREYC, INRIA, LASMEA, 

LIP6, PRISME 


OUTCOMES 

Shared products at the end of the project: 

◗ Ontologies; 

◗ Robotic Domain Specific Language; 

◗ Reference robotic scenario, that will 

provide challenges; 

◗ Set of tools associated; 

◗ Testing products that could be the 

basis of a benchmark culture. 

These products will be delivered through 

the PROTEUS portal. Status: 

◗ Ontologies produced; 

◗ Platform coming out this year; 

◗ Call for Roboticists open projects; 

◗ Portal in its second embodiement. 

PROJECT DATA 

Coordinator: 


Co-label: 

AEROSPACE VALLEY, 

VIA-MECA 

Call: 

ANR 

Start date: 

November 2009 

Duration: 

48 months 


5.4 

Funding (M2): 

2.1 

282 



PUMA 

COMPLETED 

PROJECT 

The goal of the Puma project is to break the current wall between the product/process 

design (PLM world - Product Lifecycle Management) and the shop floor production 

(MES world - Manufacturing Execution System). 

◗ On one hand, the objective is to transfer the know-how accumulated during the 

design phases to the production, using the 3D as much as possible. 

◗ On the other hand and in a symetrical way, the objective is to give a feedback of the 

accumulated production and quality knowledge to the design: for instance, using an 

as-built view of the final assembly or a report of unexpected events encountered 

during the production. 


In partnership with Dassault Systemes: 

◗ Specification of a common model for shop orders 

and production data. 

◗ By integrating production data from the MES in a 

3D view of the product or sub-product, it is possible 

to provide a real-time as-built view of the assembly 

or fabrication of a product (installed parts, parts on 

hold, unavailable parts, etc.). 

◗ By generating shop order data from the DS Process 

Planning, it is possible to provide context-dependent 

3D work instructions in the MES. 



Production Unit Live Collaboration (3D as-built view of the product), Digital Work 

Instructions Player (3D work instructions in the MES). 


On-going with several customers. 

◗ Job creation: 2. 


On-going. 

CONTACT 

Yann D'ARAMON 

INTERCIM 

+33 (0)1 44 76 81 83 

ydaramon@intercim.com 

PARTNERS 


DASSAULT SYSTEMES 

SMEs: 

INTERCIM 

PROJECT DATA 

Coordinator: 

INTERCIM 

Call: 

OSEO 

Start date: 

April 2009 

Duration: 

12 months 


0.6 

Funding (M2): 

0.2 


OLDP 


283


Génération automatique et 

optimisation du tolérancement 

fonctionnel des mécanismes 

dans l'usine numérique 

QUICK-GPS COMPLETED 

PROJECT 

The problem of functional tolerancing of mechanisms has still not been well resolved 

through taking into account geometrical part defects in three dimensions. The purpose is to 

both optimize part specifications and maximize tolerances in order to reduce the costs of 

products and design studies. This project will define or improve tolerancing methods in 3D 

by demonstrators and industrial, cases-tests by the ways of: 

• Translation of the functional needs in ISO & 3D tolerancing. 

• Generation and solving of tolerance chain equations using the three-dimensional method, 

• Optimization of tolerances in order to limit manufacturing cost. 

• Use of statistic tolerancing in a 3D approach. 

• Management of tolerancing through design, manufacturing and testing during products 

lifecycle. 



Development of demonstrators that contains the expertise and are able to test the 

functionalities required to support softwares of Computer-aided tolerancing, Optimization 

of tolerances and Tolerances data management within industrial contexts. 


About 20 publications. The 3 most important are: 

• "Obtention des spécifications de fabrication avec la méthode TZT" Mickael Caux, 

Bernard Anselmetti, AIP PRIMECA Mont Dore, Mars 2011, revue Mécanique et Industrie 

accepté le 1er sept 2011. 

• "A Int J Adv Manuf Technol: ISO manufacturing tolerancing: three dimensional 

transfer with analysis line method", Bernard Anselmetti, Int J Adv Manuf Technol, 

DOI 10.1007/s00170-011-3769-5, Vol 61, ISSUE 9 (2012), pp 1085-1099. 

• "3D ISO manufacturing specifications with vectorial representation of tolerance 

zones", Mickael Caux, Bernard Anselmetti, Int J Adv Manuf Technol (2012) 60:577- 

588 DOI 10.1007/s00170-011-3638-2. 



CONTACT 

Stive SINNA 

SNECMA 

+33 (0)1 60 59 45 73 

stive.sinna@snecma.fr 

PARTNERS 


EADS, RENAULT, SNECMA 


SOKARIS, TROCHET 


ENS CACHAN, UTC 

PROJECT DATA 

Coordinator: 

SNECMA 

Call: 

FUI7 

Start date: 


Duration: 

40 months 


4.3 

Funding (M2): 

1.8 

284 



RADIOLA 

Simulation Numérique de 

la radiographie industrielle 

pour le contrôle non destructif 

COMPLETED 

PROJECT 

Non Destructive Testing (NDT), involved in all sectors having important security issues 

(power, transports, oil&gaz,…), aims at detecting, localizing and caracterizing potential 

flaws in a given structure. Simulation is now commonly used in NDT as it permits to 

efficiently contribute to the control methods design & optimization, their analysis, and 

their qualification. Radiographic Testing (RT) is one of the major techniques in NDT. 

The goal of the RADIOLA project was to federate the 3 french simulation codes in RT 

(from CEA LETI, EDF R&D and INSA) in order to provide a unique software tool, leader 

on the market. This module is integrated in the multitechnique platform CIVA 

(Ultrasounds, Eddy Current, Radiography). This new product benefit from the feedback 

of industrial users: SAFRAN and EDF. 


3 main axis of development: 

◗ A single architecture whatever the source type ( X-ray or Gamma) allowing: 

• Homogeneisation of possibilities; 

• Access to all existing detector models; 

• An easy maintenance for future evolutions. 

◗ Dramatic improvement of numerical performance: 

• Selection of the best algorithms from the 3 existing codes for radiation computation; 

• Deletion of redundancies; 

• Multi-threaded calculation. 

◗ New features for users: 

• Improvement of measurement 

and processing tools; 

• Integration of a detectability 

criteria; 

• Increased user interactivity 

by giving the possibility to 

"re-run" fastly some configurations 

when some parameters 

changes (exposure time, 

film,…). 



Civa 10.0 - module RT, released on the market in June 2010. 


5 Publications in international NDT Conferences: "Simulation studies of radiographic 

inspections with Civa", J. Tabary, P. Hugonnard, A. Schumm, R. Fernandez, 

(COFREND 2008 and WCNDT 2008); "A proposed benchmark problem for scatter calculations 

in radiographic modelling”, G.-R. Jaenisch, C. Bellon, A. Schumm, 

J. Tabary and Ph.Duvauchelle (QNDE2008), “Inspection of Complex Geometries using 

radiographic simulation in CIVA”, R.Fernandez, A. Schumm (ICNDE 2009), “Radiographic 

Benchmark Problem 2009 - Scatter Calculations in Modeling”, G.-R.Jaenisch, 

C. Bellon, A. Schumm, J. Tabary and Ph. Duvauchelle (QNDE 2009). 

CONTACT 

Vincent LECONTE 

CEDRAT 

+33 (0)4 76 90 50 45 

vincent.leconte@cedrat.com 

PARTNERS 


EDF, SAFRAN 

SMEs: 

CEDRAT 


CEA, INSA LYON 

PROJECT DATA 

Coordinator: 

EDF 

Call: 

ANR 

Start date: 

March 2008 

Duration: 

24 months 


1.3 

Funding (M2): 

0.5 


285


Taming Hard Reachability Problems 

ON GOING 

PROJECT 

The ReacHard project considers some fundamental algorithmic questions in the 

automatic verification of counter systems, a simple class of infinite-state computational 

models that play a prominent role in many areas of computer science. The main 

question we tackle is the reachability problem for VASS, or equivalently Petri Nets. This 

problem is central and its decidability, first proved in '82, has been widely used in several 

fields ranging from automated deduction to communication protocols. However, the 

reachability problem for VASS has been solved in an incomplete and unsatisfactory way 

(no implementation is known). 

The main objective of ReacHard is to propose a satisfactory solution to the reachability 

problem for VASS, that provides significant improvements both conceptually and 

computationnally. 


◗ ReacHard's research program is essentially based on three recent breakthroughs that 

open new avenues for the algorithmic verification of counter systems: 

- A new approach to the reachability problem for Petri nets; 

- Complexity-theory for well-structured systems; 

- Extending the scope of Rackoff's EXPSPACE technique. 

◗ Thanks to the expertise of the different participants, we propose to develop original 

techniques in order to solve the following difficult issues: 

• To understand the mathematical structure of reachability sets and relations in vector 

addition systems, 

• To develop new techniques for the computational analysis of reachability problems 

that are verification problems connected in some way to the reachability problem for 

VASS or their extensions, 

• To design algorithms, most probably on the lines of Karp and Miller algorithms, 

plus relating flattening methods and semilinearity, 

• To widen the scope of our analysis to models richer than VASS, including models 

with restricted zero-tests or with branching computations. 

• The participants of the project are currently writing a joint book on counter systems, 

which will present an up-to-date view of the techniques to solve reachability 

problems for counter systems. 

CONTACT 

Alain FINKEL 

ENS DE CACHAN / LSV 

+33 (0)1 47 40 75 69 

finkel@lsv.ens-cachan.fr 

PARTNERS 


LABRI, LSV 

PROJECT DATA 

Coordinator: 

ENS DE CACHAN / LSV 

Call: 

ANR 

Start date: 


Duration: 

36 months 


2 

Funding (M2): 

0.3 

(c) Baarir et al. 2011 


◗ A. Finkel (LSV) and J. Leroux (LABRI) will chair the program committee of the 6th 

annual workshop on Reachability Problems, which takes place on 17-19 September 

2012, Bordeaux, France. 

◗ An advanced course on Algorithmic Aspects of wqo Theory will be taught at ESSLLI 

2012 by S. Schmitz (LSV) and Ph. Schnoebelen (LSV). The course will be part of the 

Logic and Computation . 

◗ 12 publications submitted to international journal and conferences since september 

2011. 

286 



Simulation des Grands Espaces 

et des Temps longs 

ON GOING 

PROJECT 

The REALisTIC project objective is to break down the theoretical and technological lock 

of large scale and long time processes simulations problems. The worldwilde tendency 

is to provide industry with hardware platforms hosting new generation simulation 

software, using the latest generation parallelism algorithms. The REALisTIC project 

intends to analyze and propose alternative numerical algorithms capable to reach the 

“ few days ” target for simulation time of a classical heating or quenching installation, 

coupled with the metallurgical evolution of the parts. To obtain such ambitious 

objectives, the work program of the project is divided into 4 main work-packages. The 

focus will be set on self adaptative meshing techniques and anisotropic time steps 

approaches. 

CONTACT 

Chantal DAVID 

SCIENCES COMPUTERS 

CONSULTANTS 

+33 (0)4 77 49 75 82 

chdavid@scconsultants.com 


The REALisTIC project combines two scientific and two technological objectives in order 

to updating, modifying developed solvers to take into account large spaces and long 

term simulations: 

◗ one scientific task concerns a powerfull mesh adaptation technique in order to save 

mesh size; 

◗ the second one scientific task deals with the problem of advanced time algorithm; 

◗ the third subject concerns the availability of scientific results through simulation software 

as a first technical task; 

◗ the fourth objective has to analyze as a technical point of view the added value of the 

third previous results, regarding the industrial objectives. 

PARTNERS 


AREVA NP, AUBERT ET DUVAL, 

INDUSTEEL-ARCELOR MITTAL, 

SNECMA 

SMEs: 


CONSULTANTS, TRANSVALOR 


ARMINES-CEMEF 


◗ The scientific program started with the 2 PhD for the scientific work (WP2); 

◗ The integration of the developments within the framework of existing software is in 

progress: first a reference release of the software has been provided to end users, and 

an updated one will be released in the next months; 

◗ From an academic point of view: methods of adaptative time steps and adaptative 

meshing have been tested on a given furnace configuration. With the application of 

both methods, the computation by CPU and number of nodes is 22 time faster; 

◗ The objective of the next coming months is the industrialization of this coupled method; 

◗ Thanks to the implementation of the adaptative time step method in the software, a 

save of a 15 factor in computation time has been noticed on a quenching industrial 

case. 

PROJECT DATA 

Coordinator: 


CONSULTANTS 

Co-label: 

PEGASE, PNB, VIAMECA 

Call: 

ANR 

Start date: 

December 2010 

Duration: 

48 months 


1.7 

Funding (M2): 

0.7 


287


REaching Petascale for advanced 

fluid-structure DYNamics 

COMPLETED 

PROJECT 

The REPDYN project, bringing together CEA, EDF, ONERA, INRIA and LaMCoS from 

INSA Lyon, aims at identifying and overcoming all algorithmic locks harming parallel 

efficiency necessary to high scale computing in the framework of fast transient 

dynamics involving structures and fluids in interaction. It also considers exploring 

innovative solution procedures dedicated to most recent hardware, especially taking 

into account multi-core computational nodes into a hybrid MPI/SMP parallel approach. 

Algorithms and methods are extensively tested and qualified using EUROPLEXUS 

software, dedicated to this kind of analyses. 

CONTACT 

Vincent FAUCHER 

CEA 

+33 (0)1 69 08 40 18 

vincent.faucher@cea.fr 



• Dynamic Simulation of Damage - Fracture Transition in SPH shells, F. Caleyron, A. 

Combescure, V. Faucher, S. Potapov, International Journal for Numerical Methods 

in Engineering, in press. 

• Advanced Parallel Computing for Explosive Fluid-Structure Interaction, V. Faucher, 

COMPDYN 2011 (2011), Corfu (Greece), May, 26 – 28 

• Contribution of ANR RePDyn project to the parallel simulation of fast transient accidental 

phenomena at nuclear reactor scale, V. Faucher, CSDM 2012, Paris 

(France), December 12-14, accepted in poster session. 

• X-KAAPI: a Multi Paradigm Runtime for Multicore Architectures, T. Gautier, F. Lementec, 

V. Faucher, B. Raffin, INRIA Research Report RR-8058 (2012), 

http://hal.inria.fr/hal-0727827 

• Endommagement et ruine des structures renforcées sous impact, S. Potapov, V. 

Faucher, 10 e Colloque National en Calcul des Structures, Giens (France), (2011) 

May, 9 - 13. 

PARTNERS 


CEA, EDF, ONERA 


INRIA (EPI MOAIS), LAMCOS 

INSA LYON (UMR CNRS/INSA 

LYON 5259), LAMSID (UMR 

EDF/CNRS/CEA 8193) 

PROJECT DATA 

Coordinator: 

CEA 

Call: 

ANR COSINUS 2009 

Start date: 

December 2009 

Duration: 

44 months 


1.7 

Funding (M2): 

0.6 

288 



REVER 

Programming reversible recoverable systems 

ON GOING 

PROJECT 

The REVER project aims to develop semantically well-founded and composable 

abstractions for dependable distributed computing on the basis of a reversible 

programming model, where reversibility means the ability to undo any program execution 

and to revert it to a state consistent with the past execution. The critical assumption 

behind REVER is that by combining reversibility with notions of compensation and 

modularity, one can develop systematic and composable abstractions for dependable 

programming. 

The REVER workprogramme is articulated around three major objectives: 

◗ To investigate the semantics of reversible concurrent processes. 

◗ To study the combination of reversibility with notions of compensation, isolation and 

modularity in a concurrent and distributed setting. 

◗ To investigate how to support these features in a practical (typically, object-oriented 

and functional) programming language design. 


Scientific advances from REVER should include: 

◗ New models for causality in distributed systems, providing the foundations for a 

causal semantics of reversible systems. 

◗ New topological and categorical models for the semantics of reversible systems and 

languages. 

◗ A new REVER process calculus featuring controlled reversibility, compensation for 

irreversible actions, and distributed localities. 

◗ A comprehensive behavioral theory for the REVER calculus, including proof techniques 

to reason about reversible distributed systems in presence of failures. 

◗ A new theory of behavioral contracts for reversible and recoverable components. 

Technological advances from REVER should include: 

◗ The definition of new programming language primitives for the construction of recoverable 

and dependable systems; 

◗ Their integration in a practical (object-oriented, functional) programming language 

(the REVER language). 

◗ The formal specification, proof of correctness and prototype implementation of an 

abstract machine for the REVER programming language. 

◗ A discrete-event simulator for distributed reversible systems to aid in the specification 

of recoverable distributed systems using the REVER calculus. 

◗ A formal analysis of version control software using the semantical models developed 

by REVER. 

CONTACT 

Jean-Bernard STEFANI 

INRIA GRENOBLE-RHONE- 

ALPES 

+33 (0)4 76 61 52 57 

jean-bernard.stefani@inria.fr 

PARTNERS 


CEA (LIST/MEASI TEAM), 

CNRS-PARIS 7 (PPS 

LABORATORY), INRIA (FOCUS 

AND SPADES TEAMS) 

PROJECT DATA 

Coordinator: 

INRIA 

GRENOBLE-RHONE-ALPES 

Co-label: 

MINALOGIC 

Call: 

ANR 

Start date: 

December 2011 

Duration: 

48 months 


2.2 

Funding (M2): 

0.6 


The REVER project has started on Dec. 1, 2011. 


289


Design of a Defect Tolerant FPGA 

ON GOING 

PROJECT 

SRAM-based FPGA circuits are becoming increasingly popular as their performance 

and ability to integrate very complex applications have directly benefited from CMOS 

technology downscaling. A key issue with deep submicron CMOS is the significant 

reduction of the manufacturing yield that makes production of new generation chips 

more and more expensive. 

Robust FPGA’s main objective is to provide architecture and software level solutions to 

make the SRAM-based FPGA tolerant to manufacturing defects. 

CONTACT 

Lirida NAVINER 


+33 (0)1 45 81 76 61 

lirida.naviner 

@telecom-paristech.fr 


Robust FPGA intends to deal with the problem 

of defect tolerance in a holistic way 

and so proposes solutions including different 

aspects: 

◗ Analysis and improvement of the basic 

blocks robustness 

◗ Development of diagnostic/test methods 

for generating a map of defective/functional 

resources 

◗ Development of synthesis tool for FPGA 

defect tolerance 

◗ Development of tools for configuring a 

defect tolerant FPGA 


Robust FPGA is in its middle phase (T0+16). At the end in the project, the expected 

results are: 

◗ Complete solution for defect tolerant FPGA. 

◗ Robust basic blocks, enriched with mechanisms to detect and bypass defects. 

◗ Defect- aware synthesis and configuration tools. 

In this first part of the project, the work has been focused on: 

◗ Proposals to by-pass defect parts of the FPGA. They consist in adding connections on 

switch blocks to ensure the routability of the resources. The study of their impact is 

still in progress in terms of placement, routing, area increase and timing performance. 

All the configuration tools have been adapted to the architecture of the FPGA. 

◗ A method for analyzing and alleviating the impact of errors on an SRAM-based FPGA 

cluster. 

◗ A new fault-tolerant architecture for CLBs in SRAM-based FPGAs. This is based on 

a butterfly structure. 

◗ A test method based on the reuse of functional parts of the FPGA (no additional hardware). 

An optimization of the configuration test time of the Buit In Self Test technique 

is under evaluation. 

PARTNERS 


LIP6, TELECOM PARISTECH, 

TIMA 

PROJECT DATA 

Coordinator: 


Co-label: 

MINALOGIC 

Call: 

ANR/INS 2011 

Start date: 

October 2011 

Duration: 

36 months 


1.9 

Funding (M2): 

0.6 

290 



RODIN 

Robust structural Optimization 

for Design in INdustry 

ON GOING 

PROJECT 

Within design units, the emergence of topology optimization tools for mechanical 

structures has drawn attention, in part because of the novelty, but especially because 

the first studies have brought huge mass-savings while meeting mechanical 

specifications. When users decided to extend the application fields, they faced 

significant shortcomings that require the introduction of breakthroughs. This is the 

purpose of this project. The originality lies both on a new mathematical framework and 

on a deeper integration into a larger design process. 

CONTACT 

Marc ALBERTELLI 

RENAULT 

+33 (0)1 76 85 50 15 

marc.albertelli@renault.com 


◗ Development of the first industrial Topology Optimization tool based on the original 

“Level-set method” which, compared to other approaches, has the most notable advantage 

to give an exact description of the geometry; this will greatly help to better 

manage local mechanical or geometric criteria; 

◗ Development of the first Geometry Optimization tool relying on robust mesh deformation 

technology together with a level-set description. This unprecedented combination 

will enable significant modifications, and topological changes as well; 

◗ Integration of the manufacturing constraints during the design process; innovative 

modeling has been proposed to deal with industrial requirements; 

◗ Enlarge the number of mechanical analysis in order to treat real industrial specifications 

and thereby avoiding any simplifications; 

◗ Development of a mesh-to- 

CAD converter allowing to export 

the optimal mesh-based 

shape to the standard design 

environment (CAD); 

◗ Development of a design 

workflow integrating the previous 

tools 


◗ The demonstration of the relevance and the efficiency of the approaches on industrial 

use-cases which gather many scientific and technological locks; 

◗ Industrialised Topology & Geometry Optimization packages, and a mesh-to-CAD converter; 

◗ A new design workflow which integrates all the numerical tools; 

◗ Publications in peer-reviewed scientific journals in the area of mechanics, mathematics 

or computer science. 

PARTNERS 


EADS, RENAULT 


ESI GROUP 

SMEs: 

ALNEOS, DPS, 

EURODECISION, 


ECOLE POLYTECHNIQUE, 

INRIA BORDEAUX, UNIVERSITE 

PIERRE ET MARIE CURIE 

PROJECT DATA 

Coordinator: 

RENAULT 

Co-label: 

ASTECH 

Call: 

FUI13 

Start date: 

Juillet 2012 

Duration: 

36 months 


5.6 

Funding (M2): 

1.8 


CSDL 


291


ROMMA 

RObust Mechanical Models for Assemblies 

ON GOING 

PROJECT 

The structural simulation of assemblies is initiating a new range of simulation models 

forming the future of industrial needs as identified by aerospace and aircraft companies. 

These new generations of simulation will help to improve robustness of design process 

by allowing more detailed and representative models needed to estimate more accurate 

design margins. 

ROMMA project will contribute to develop tools, processes and mechanical behavior 

models in order to speed up, automate and make robust the simulation phase of bolted 

joints assembly. The ROMMA consortium aims at fully mastering each simulation step 

of large structural assemblies: CAD model pre-processing, 3D idealization and meshing, 

accurate behavioral modeling, simulation error estimation and physical validation. 


The proposed approach consists in processing 3D digital mock-up of assemblies in a 

systematic manner to work out FE simulation models incorporating structural components 

(beams, plates, shells) connected together through dedicated connectors expressing 

joint behaviors. Starting from an enriched assembly CAD model with 

technological and mechanical information capitalized, significant improvements are 

expected regarding to the: 

◗ Product development cycle: thanks to a reduced FE simulation time cycle and live 

CAD model consistency with FE simulation models. 

◗ Margins monitoring: thanks to systematic procedures for extracting all relevant input 

parameters & monitoring simulation through error estimator and physical validation. 

◗ Certification costs: thanks to robust FE simulations easily set up 

CONTACT 

Stéphane GUINARD 

EADS 

+33 (0)5 61 16 88 51 

stephane.guinard@eads.net 

PARTNERS 


EADS 

SMEs: 

SAMTECH FRANCE, ANTECIM, 

DISTENE 


G-SCOP, LJK, LMT CACHAN 

PROJECT DATA 

Coordinator: 

EADS 

Call: 

ANR 

Start date: 

January 2010 

Duration: 

48 months 


2.6 

Funding (M2): 

1 


During 2010-2011 first half-period, significant steps have been accomplished: 

◗ Extraction/formalization of Functional Definition: A new ontology based approach has been 

developed, based on Functional Interfaces, linking CAD together with functional information 

related to the assembly, fitting to engineers practices examined in ROMMA. 

◗ A preliminary exercise has been performed, demonstrating an automated CAD to FEM 

derivation with all relevant data incorporated to FEM, allowing for a dedicated solving procedure 

through global/local iterative computations. 

◗ 2012 EVENTS: 

Congrès NAFEMS France 2012, “Simulation numérique: moteur de performance”, Paris, 

6-7 juin 2012. 

292 



Retro-ingénierie des Traces 

d'analyse de SIMulation 

et d'EXecution de systèmes 

temps-réel 

COMPLETED 

PROJECT 

RT-Simex addresses the general challenge of improving methods and tools for the 

design of embedded software. Its goal is the development of techniques to relate 

different predictions and observations of real-time software behaviour. 

Expected behaviours and timing constraints will be formalized in a design model with 

the standard UML/MARTE. 

Observations (simulation and execution) will be recorded by “execution traces”, provided 

by several execution environments: Real-time Java, LinuxRT, general purpose 

processor. 

Interpretation of data will be done by an analysis of static information (model based 

design, reverse-engineered code) and by graphic representations in order to help 

testing, validation, or debug activities. 


The RT-Simex platform now allows to graphically specify timing constraints using activity 

diagrams and sequence diagrams, and to view the flow execution of any realtime program, 

whatever the used runtime. By creating a bridge between the trace format, 

Timesquare and Obeo Designer, we will allow a step-by-step debugging and a timing 

violation analysis directly at the design model. 

CONTACT 

Etienne JULIOT 

OBEO 

+33 (0)2 51 13 55 94 

etienne.juliot@obeo.fr 

PARTNERS 


THALES TRT 

SMEs: 

AONIX, OBEO 


CEA LIST, INRIA AOSTE, UBO 


PROJECT DATA 

Coordinator: 

OBEO 

Call: 

ANR ARPÈGE 2008 

Start date: 

January 2009 

Duration: 

36 months 


2.1 

Funding (M2): 

1 


Treat your Models with Logical Time, Tools 2012 / Towards a Viewpoint-Based Framework 

for Reactive Systems Modeling, CSDM 2010 / Logical Time @ work: The RT- 

Simex project, SAFA 2010 / Toward optimized code generation through model-based 

optimization, DATE 2010 / Generation of Schedulable Real-Time Component Implementations, 

ETFA 2010. 


PERC Ultra (Atego) / AccordUML platforms / TimeSquare open-source toolkit / Obeo 

Designer on the long run either in video surveillance or internet and mobile application. 


◗ Maintained jobs: This project helped to maintain several tens of existing jobs. 

◗ Business creation: RT-Simex contributs to the marketing of the Obeo Designer temporal 

extension oTime. 


293


Self AdapTive very Large 

SALTY scale sYstems 

COMPLETED 

PROJECT 

In few years, an increasing demand in the software industry has led to the deployment 

of ever-larger systems, which reliability and performance are jeopardized by hardly 

predictable events (software faults, hardware failures, mobility, etc.). While these 

systems have to be adaptive, no solution currently enables self-adaptiveness on very 

large systems at runtime by federating in a consistent way local and globally distributed 

platforms. 

The main SALTY contribution for very large distributed systems is the provision of a 

software framework focusing at the same time on design and runtime support for selfadaptive 

systems. This means enabling the self-adaptive capabilities to be directly 

handled by software architects, while staying visible and explicit at runtime. 


The SALTY framework is 

implemented following a modeldriven 

engineering approach. It 

relies on an abstract model of 

elements making up control 

loops, as well as a domainspecific 

language, to facilitate 

the design of different forms of 

loop architectures. Conflict 

detection in the architecture and 

SCA component generation are 

also supported. The framework 

is complemented by a generic 

analysis and decision system, 

also organized with components. 

It enables one to organize 

different decision algorithm, but 

also to manage scalability 

through a coordination system between control loops. The different elements of the SALTY framework 

have been validated on three realistic case studies. 



• [Kyber12] Abchir Mohammed-Amine, Truck Isis, Towards an Extension of the 2-tuple Linguistic 

Model to Deal With Unbalanced Linguistic Term sets – Kybernetika vol 1 No 2, 2013 - Institute 

of Information Theory and Automation (Academy of Sciences of the Czech Republic). revue 

internationale. 

• [Disaster13] Abchir, M.-A., Truck, Isis and Pappa, Anna, Fuzzy semantics in closed domain 

question answering, chapitre 8 du livre Decision Aid Models for Disaster Management and 

Emergencies, Series Atlantis Computational Intelligence Systems, Vol. 7, Atlantis 

Press/Springer, 2012, p 171-188. chapitre d'ouvrage international. 

• [SEKE11] Filip Křikava, Philippe Collet. "A Reflective Model for Architecting Feedback Control 

Systems" To appear in Proceedings of the 23rd International Conference on Software 

Engineering & Knowledge Engineering (SEKE'2011), Miami Beach, USA, 7-9 july 2011. 

conférence internationale. 

• [ADAPTIVE10] Melekhova, Olga, Abchir, Mohammed-Amine, Châtel, Pierre, Malenfant, 

Jacques , Truck, Isis and Pappa, Anna, Self-Adaptation in Geotracking Applications: 

Challenges, Opportunities and Models, In The 2nd International Conference on Adaptive and 

Self-adaptive Systems and Applications (ADAPTIVE'2010), 2010, p. 68- 77 conférence 

internationale. 

• [CAMPUS10] Russel Nzekwa, Romain Rouvoy and Lionel Seinturier. "Modelling Feedback 

Control Loops for Self-Adaptive Systems" In 3rd International Workshop on Context-aware 

Adaptation Mechanisms for Pervasive and Ubiquitous Services (CAMPUS’10). Electronic 

Communications of EASST (ECEASST), vol. 28. Amsterdam, Netherlands. June 10, 2010. 

workshop international. 

CONTACT 

Philippe COLLET 

UNIVERSITÉ NICE SOPHIA 

ANTIPOLIS / I3S-CNRS 

+33 (0)4 92 96 51 08 

philippe.collet@unice.fr 

PARTNERS 


THALES R&T 

SMEs: 

DEVERYWARE, MAAT-G 

FRANCE, PETALSLINK 

(MAINTENANT LINAGORA) 


INRIA LILLE NORD EUROPE, 


ANTIPOLIS, UNIVERSITÉ 

PARIS 8, UNIVERSITÉ PIERRE 

ET MARIE CURIE 

PROJECT DATA 

Coordinator: 


ANTIPOLIS 

Co-label: 

POLE SCS 

Call: 

ANR ARPEGE 2009 

Start date: 

November 2009 

Duration: 

38 months 


3.5 

Funding (M2): 

1.1 

294 



Open Standards for Computing 

Oriented Systems 

COMPLETED 

PROJECT 

The OSCOS starting point is simple and it answers to a real problematic. One have to 

help scientific communities to make a breakthrough in multi-physics, multi-scales et 

multi-domains. One have to create the scientist group dynamics, which don't existing. 

This can be possible by making communicate the different communities one with each 

other. By setting up standards, labels and industrialization tools, The OSCOS project 

contributes to the answer through a non-intrusive approach. 

In order to be as effective as possible, the OSCOS approach has been shared by its 

4 WorkGroups: 

◗ System Interoperability 

◗ Applicative Interoperability 

◗ Industrialization Tools 

◗ Community Building. 



Into the Industrialization Tools WorkGroup, the OSCOS-V3D part built the landmark 

of its future project of scientific remote collaborative visualization: Collaviz. Based 

on the ShareX3D standard, numerous components have been developped during the 

24 months of the project. More info about collaviz, its inputs and outputs are available 

here: www.collaviz.org. 

◗ Services: 

OSCOS has delivered its Specifications of 

Interoperability as a frame of the OSCOS 

labelling process. There are 3 labeling 

levels: Gold, Silver and OSCOS Compliant. 

The OSCOS Labels are partly based 

on the LSB and they respect the non intrusive 

approach choosen by the project. 

Giving a way shared by much of the scientific 

applications, OSCOS enhances the 

productivity and their ability to communicate 

one with each other. Labeling 

process is a long term approach. In order 

to make it spread, OSCOS will first focus 

on its "Compliant Label". More info on 

the OSCOS Labeling Process available 

here: www.oscos.org. 


• ShareX3D, a scientific collaborative 3D viewer over HTTP. Web3D 2008: 13th International 

Symposium on 3D Web Technology, August 9-10, Los Angeles, California, 

USA, New York, NY: ACM, 2008, pp. 35-41. 

• Collaborative exploration of 3D scientific data, VRST 2008,27-29 octobre 2008, Bordeaux. 

• Strategic & Economic Study of Scientific Computing Software, paper submitted on 

summer 2008 and accepted as official paper at World Comp 2008, Las Vegas, Nevada. 

CONTACT 

Alban SCHMUTZ 

OXALYA 

+33 (0)8 20 48 44 40 

alban.schmutz@oxalya.com 

www.oscos.org 

PARTNERS 


BULL, CS, EDF 

SMEs: 

ARTENUM, GROOVIZ, 

MANDRIVA, OXALYA, TERATEC 


CEA, DIGITEO SCILAB, 

ECP, ENS CACHAN, IFP, 

INSTITUT TELECOM, LIRIS, 

UMR 5205 CNRS 

PROJECT DATA 

Coordinator: 

OXALYA 

Call: 

ANR2006 

Start date: 

December 2006 

Duration: 

24 months 


3.5 

Funding (M2): 

1.2 


COLLAVIZ, CSDL, IOLS, LaBS, 

OPEN HPC 


295


SHAN 

Shape Modeling New theories and Algorithms 

COMPLETED 

PROJECT 

In Computer Aided Design systems, parametric surfaces such as B-spline surfaces and 

especially NURBS (Non Uniform Rational B-Splines) are usually adopted. With these 

surfaces, designers can create curved surfaces with control points or weights very easily, 

but there are many computational problems with these surfaces, because they do not 

have a mathematical close form. We proposed new research avenues in mathematical 

representation of curved surfaces and a new approach to compute numerical simulations 

on these surfaces directly. 

CONTACT 

Jean-Claude PAUL 

INRIA 

+33 (0)6 13 12 15 98 

paul@tsinghua.edu.cn 


We developed the theorie of epsilongeometry 

continuities to accommodate 

the representation and the rounding errors 

of float-point arithmetic, and design 

new geometric modeling operators under 

the constraints of epsilon-geometry continuities. 

We proposed a new surface representation 

called regular curved-knot B-spline. 

The curved knot vector of one parametric 

coordinate is defined by a group of blending 

functions that depend on the other coordinate. 

We used the same function basis for the Geometric Modeling and the Numerical Simulation 

Process. We proved that our surface functions exhibiting higher-order continuity 

are an ideal candidate for approximating such simulations. 



The Project also resulted in softwares that have been tested in Aircraft industry, Civil 

Engineering and N-C simulation. The cooperation with EADS, based on our new surface 

formulation, is very promising, both for complex shape modelling and numerical 

simulations. Tolerance problems are currently studied in the Sino-french Tsinghua 

PLM Center (supported by Dassault System) and Spring Technology. 


SHAN resulted in more than 40 international publications, 25 articles in the most 

prestigious journals: CAD (Computer-Aided Design), CAGD (Computer Aided Geometric 

Design), ACM Transaction On Graphics. 


Ph D and Doctors obtained an Academic or a Engineer position in our partners. 

PARTNERS 


CHIDI, DASSAULT SYSTEM, 

DISTENE, EADS, SPRING 

TECHNOLOGY 


ÉCOLE NORMALE DE CACHAN, 

INRIA, TSINGHUA UNIVERSITY 

PROJECT DATA 

Coordinator: 

INRIA 

Call: 

ANR 

Start date: 

March 2010 

Duration: 

36 months 


1.8 

Funding (M2): 

0.3 


CSDL 

296 



High Performance Simulation 

of CO2 Geological Storage 

COMPLETED 

PROJECT 

CO2 Geological storage is among the solutions widely studied to reduce greenhouse 

gas emissions and hence represents a major environmental issue. 

The objective of the SHPCO2 project is to solve the difficulties arising in CO2 Geological Storage 

modeling by studying advanced algorithms and validating them on a real study test case. 

In order to solve these difficulties we have proposed three ways of research: domain 

decomposition methods in space and time in order to solve efficiently the various time 

scales, preconditioned Newton Krylov algorithms for the solution of the large nonlinear 

reactive transport systems, and controlled mesh dynamic partitioning to obtain good 

performances in parallel. 

CONTACT 

Anthony MICHEL 

IFP ENERGIES NOUVELLES 

+33 (0)1 47 52 60 32 

anthony.michel@ifpen.fr 


We have build an efficient parallel CO2 storage simulator adapted to super-computers 

like JADE cluster at CINES. 

We have simulated CO2 injection in a large scale 3D geological model with 3.5 million 

cells on 1024 processors. 

We have developped a new version of the open-source geochemical software Arxim. 

The partners have designed a common reactive transport benchmark for CO2 geological 

storage that may contribute to the definition of new standards in this field. 

Thanks to the support of “Pôle Systematic IDF”, we have organized in 2010, a successful 

international workshop on high performance computing for CO2 geological storage. 

PARTNERS 


BRGM (EPIC), ENSMSE, 

IFP ENERGIES NOUVELLES, 

INRIA, UNIVERSITÉ PARIS 13 

PROJECT DATA 

Coordinator: 

IFP ENERGIES NOUVELLES 

Call: 

ANR 

Start date: 

2008 

Duration: 

48 months 


1.6 

Funding (M2): 

0.5 



• L. Amir, M. Kern and A. Taakili (2010), Linear and nonlinear preconditioning for reactive 

transport, Computer Methods in Water Resources, Barcelone, juin 2010. 

• F. Caetano, M. Gander, L. Halpern and J. Szeftel (2010), Schwarz waveform relaxation 

algorithms for semilinear reaction-diffusion. Netw. Heterog. Media Vol 5, n°3, 

pp 487-505, 2010. 

• F.Haeberlein, L.Halpern and A.Michel, Schwarz Waveform Relaxation and Krylov 

Accelerators for Nonlinear Reactive Transport. 20th International Conference on 

Domain Decomposition Methods, San Diego, USA. 2011. 

• P. Audigane, A.Michel, L.Trenty, H.Yamamoto, S.Gabalda, A.Anciaux Sedrakian and 

C. Chiaberge (2011), CO2 injection modeling in large scale heterogeneous aquifers, 

presented at 2011 Fall Meeting, AGU, San Francisco, Calif., 5-9 Dec. 2011. 

• A.Michel, B.Gueslin, F.Wertz, C.Kada-Kloucha, M.Kern, F.Haeberlein, L.Trenty, 

L.Halpern, J.Moutte, J.M.Gratien and P.Audigane, SHPCO2 Reactive Transport 

Benchmark. Partners contributions and results. To be submitted. 


297


SICODYN 

pour des SImulations crédibles via la 

COrrelation calcul-essai et l'estimation 

d'incertitudes en DYNamique des structures 

ON GOING 

PROJECT 

Quantification and improvement of the credibility of numerical models in structure dynamics 

thanks numerical-experimental correlation and estimation of uncertainties: 

demonstration on an industrial structure in complex environment 

◗ Application fields: electricity production, petrol exploitation, transport and aeonautic 

industries 


◗ Organisation of an experimental 

benchmark in situ: 

Variability of modal properties 

and dynamic responses 

◗ Organisation of a numerical 

benchmark in condition of a 

study performed by a society: 

Numerical variabilty of a dynamic 

simulation 

◗ Application of methods 

tested on academic structures 

to complex industrial 

large number of degree of 

freedom structures 

◗ Improvement of the modelisation 

at macro level of 

bolted structure assemblies 

◗ Taking into account the environment, 

represented by 

complex boundary conditions 

◗ Model improvement by adaptation and comparison of numerical-experimental correlation 

methods 

◗ Numerical estimation of the model form uncertainty, and not only the parametrical 

uncertainty 

◗ Improvement of the model robustness relative to uncertainties 

◗ Confrontation of observed and calculated variabilities and recommandation for the 

use of numerical methods to a priori estimate the result confidence 

◗ Establishment of empirical laws to estimate the credibility related to a given dynamic 

simulation 


◗ The bibliography on the comprehensive methodologies which permit to obtain 

credible numerical models is nearly completed: methods to compare a set of 

numerical results and a set of experimental measurements, to correlate simulation 

and test data are reviewed. The bibliography on benchmarks in vibration mechanics 

domain is nearly completed too: purely numerical benchmarks or benchmarks based 

on an experimental demonstrator. 

◗ The modal analyses on several specimen of the same generic pump assembly 

connected to pipes have been performed by 5 different teams in Martigues thermical 

energy power plant. 

◗ The elaboration of pump assembly numerical is in progress by 8 teams. Every team 

must determine the modal behaviour of the pump assembly, from only the 

informations given in the paper plans and CAD models. 

◗ The specific bibliography on the model form uncertainty is nearly completed: a 

definition, methodologies to quantify it and practical applications are described. The 

relative part of the model form uncertainty, observed thanks to numerical 

benchmarks often based on experimental industrial demonstrators, can reach 30% 

or more of the total uncertainty. 

CONTACT 

Sylvie AUDEBERT 

EDF 

+33 (0)1 47 65 34 75 

sicodyn@edf.fr 

PARTNERS 


EADS-ASTRIUM, EDF, NECS, 

SULZER POMPES FRANCE 


LMS-SAMTECH 

SMEs: 

PHIMECA ENGINEERING, 

SOPEMEA, VIBRATEC 


CETIM, ENS CACHAN, 

INSA LYON, UNIVERSITÉ 

DE FRANCHE COMTÉ, 

UNIVERSITÉ DE PARIS-EST 

MARNE-LA-VALLÉE 

PROJECT DATA 

Coordinator: 

EDF 

Co-label: 

PNB 

Call: 

FUI12 

Start date: 

January 2012 

Duration: 

40 months 


4.5 

Funding (M2): 

1.7 


CSDL, EHPOC, ROMMA 

298 



SIMILAN 

SIMulation & Implementation 

high performance fitted 

to digitaL signAl processiNg 

ON GOING 

PROJECT 

Processors technologies have progressed for few years and the main evolution to use 

the maximum of transistors is to juxtapose calculation units. Thus, the simple-core 

processor is now replaced with many-core processors. However, to take advantage of 

the powerful calculator, the algorithms have to be developed in parallel form. Indeed, 

only parallelization experts are able to use parallel machines and the technical experts 

on signal processing subjects cannot use parallelization easily. 

Two main objectives are: 

◗ To make access to parallel technologies easier for signal processing experts (nonspecialists 

of parallel technologies). 

◗ To optimize parallelization tools thanks to the knowledge of needs and constraints 

linked to digital signal processing. 


◗ This tool will use a highlevel 

description, multilanguages 

libraries and 

a material architecture 

description. 

◗ The main technological 

and scientific innovations 

adressed by SIMILAN are: 

• Using Scilab scientific 

computation abilities in 

Java programming to 

add specific instruction 

in the java virtual machine 

able to process. 

These instructions will allow to run Scilab software on this java virtual machine. 

• Making access to parallel technologies easier for signal processing experts (nonspecialists 

of parallel technologies). The approach is to set up rules or tools, like 

specific graphical operator or information, which will help the developers to write 

a software code optimised for parallel tools and targets. 

• Automatic management of data sharing to optimize the parallelization. Several 

methods will be studied like the advanced pavement analysis techniques or software 

pipeline. 

• Furthermore, using Scilab in ASTRAD platform instead of Matlab scientific com-putation 

software is also a real economical interest. 


◗ SIMILAN’s aim is to share a tool with a signal processing community to optimize it and 

improve it considering mutual constraints. This tool will be validated for several domains: 

radar applications, telecommunications, image processing and electro-magnetic tests 

data processing. 

◗ SIMILAN will make the way from new algorithms to real-time implementation easier and 

will let a software environment enable to manage signal processing from the simulation 

to computer code generation. 

CONTACT 

Marie-Anais MARSALY 


+33 (0)1 64 91 73 77 

marie-anais.marsaly 


PARTNERS 


DASSAULT AVIATION, THALES 

AIR SYSTEMS, THALES 

RESEARCH & TECHNOLOGY 

SMEs: 

DXO, HPC PROJECT, IS2T, 

KALRAY, SCILAB ENTREPRISES 


ONERA, SUPELEC, UNIVERSITE 

PARIS DESCARTES 

PROJECT DATA 

Coordinator: 


Call: 

FUI10 

Start date: 

June 2011 

Duration: 

30 months 


5.2 

Funding (M2): 

1.9 


CHAPI, OPENGPU, OPENHPC, 

TER@OPS 


299


SISTAE 

Simulation and Statistiques 

for Non-Destructive Evaluation 

COMPLETED 

PROJECT 

Inspection reliability is one of the key issues in ensuring safety of critical structural 

components. 

Strong efforts have been conducted in order to determine the reliability of Non- 

Destructive Evaluation (NDE) methods that are designed to detect flaws in such 

components. 

The SISTAE project addresses inspection evaluation using probabilistic criteria in fields 

such as aeronautics, the maritime sector and the nuclear power industry. 

This project aims at reducing the time and cost of the analyses that are required to 

determine quantities such as POD (Probability of Detection) curves. 

A method based on existing NDE simulation tools is developed in order to replace some 

of the experimental data used in statistical studies with simulation results. 


Development of a POD module implemented in the software CIVA which groups together 

the basic tools required to determine POD curves from NDT simulation results. Application 

cases representative of the industrial needs were selected and the corresponding 

experimental data were gathered. These data allowed us to validate the numerical 

approach for an eddy current case. 

CONTACT 

Frédéric JENSON 

CEA LIST 

+33 (0)1 69 08 59 22 

frederic.jenson@cea.com 

PARTNERS 


BUREAU VERITAS, EADS-IW, 

EDF R&D 

SMEs: 

CEDRAT 


CEA-LIST, CMAP (ECOLE 

POLYTECHNIQUE), 

LCND (UNIVERSITE DE 

LA MEDITERRANEE) 


PROJECT DATA 

Coordinator: 

CEA LIST 

Call: 

ANR 

Start date: 

March 2007 

Duration: 

36 months 


1.3 

Funding (M2): 

0.6 


1 software module proposed in CIVA release 10. 


9 publications in international conferences. More specifically, the POD module was 

presented during the 4th European-American Workshop on Reliability of NDE, 

(Berlin, 2009) and the ICNDE (Yokohama, 2009), ASME (Prague, 2009) and QNDE 

(Rhodes Island, 2009) conferences. Proceedings were also published during these 

conferences. 

300 



SoCLib 

COMPLETED 

PROJECT 

The SoCLib project addresses a particular class of embedded systems: the multiprocessors 

system-on-chips (MP-SoC), which are now used in a great majority of industrial domains 

such as telecom, video and multimedia, automotive, transportation and others. SoCLib 

enables the development of virtual prototyping platforms and facilitates architecture 

exploration of embedded applications by offering a complete toolchain composed of: 

◗ An Open Source library composed of simulation models for hardware components 

(IP cores) and embedded operating systems. 

◗ Software tools to design embedded applications: simulation accelerator, configuration 

and debugging, automatic generation of simulation models. 

◗ Virtual prototyping makes available SoC technology (on ASIC or FPGA) to several kinds 

of users, such as OEM, Innovative PME, laboratories, and others. 


After three years of developments, the SoCLib project has produced more than a hundred 

of components integrated in an Open Source Library: processors (Mips, PPC, Arm, 

etc), memory controllers, DSP, interconnects, peripherals, operating systems, and 

others. The SoCLib website contains all information relative to virtual prototyping and the 

community of users is growing. Moreover, 

SoCLib partners have proposed a new modeling 

standard called TLM-DT that should 

favour the parallelization of the SystemC simulator 

and therefore increase simulation 

perfor-mances. This performance increase 

should play a key role for adoption of virtual 

prototy-ping techniques by industrials. 


◗ Services: 

• The SoCLib library is Open Source and can therefore be used by any developer. The 

range of services proposed by the library covers different domains from application 

development to architecture exploration and customization. A large range of tools 

have also been developed in the scope of the project. They assist the user in the 

development of the virtual platform and provide debugging and analysis facilities. 

• The library can also be used by EDA vendors to complete their offer and propose 

new services to their customers. Magillem Design Services and Silicomp have proposed 

a brief market overview and established a potential exploitation strategy. 


SoCLib partners have directly participated to 10 publications and 14 communication 

actions. A live cd integrating a pre-installed version of the library and tools has been 

developed and proposed to participants of the DATE conference in 2009 and 2010. 

Moreover, two tutorials have been accepted to the NoC Symposium (May) and DAC 

conference (June). 


Industrial partners have proposed three use cases that validate the efficiency of the 

library: an audio decoder, a video decoder and a modem. The audio decoder validates 

the reliability of the proposed methods and tools by checking the validity of generated 

bits at the output of the application. The video decoder, was used to evaluate the 

performances of TLM-DT components and the modem validates interoperability of 

components. 

CONTACT 

Fabien COLAS-BIGEY 


+33 (0)1 46 13 33 04 

fabien.colas-bigey 

@fr.thalesgroup.com 

PARTNERS 


ORANGE, 

STMICROELECTRONICS, 

THALES COMMUNICATIONS, 

THOMSON R&D 

SMEs: 

MAGILLEM DESIGN SERVICES, 

TURBOCONCEPT 


CEA LETI, CEA LIST, CITI, 

INP TIMAINRIA RENNES, 

INPG GIPSA/LAB, 

INRIA SACLAY, 

TELECOM PARISTECH, 

UBS LLABSTICC, UPMC LIP6, 

UPMC LISIF 

PROJECT DATA 

Coordinator: 


Co-label: 

IMAGES ET RESEAUX, 

MINALOGIC 

Call: 

ANR 

Start date: 

December 2006 

Duration: 

36 months 


7.3 

Funding (M2): 

2.5 


301


COMPLETED 

PROJECT 

Stimulee is an online tool for cognitive stimulation intended to improve the wellbeing 

and the communication capacities of elderly but also people with Alzheimer disease. 

Connected to the memOree.fr website, Stimulee uses already stored memory contents 

to propose tools for three kinds of end-users: elderly, families and caregivers. 

Based on their expertise in cognitive stimulation, design and ergonomics of the services, 

the partners carried out with the end users the tool features specification and the 

scenarii for use. 

Stimulee includes three modules for managing, editing and viewing cognitive stimulation 

workshops. The facial recognition module is available for digital content organization. 

The tool also benefits from the use of nosql-type based multimedia storage. 


◗ With regards to cognitive 

workshops, caregivers have 

access to more personnal 

and public content in a more 

collaborative manner, which 

helps adapting workshops to 

the audience. 

◗ With regards to digital memory 

organisation, processes 

leveraging face recognition 

have been designed. This faciliates 

the automated annotation 

of visual content at 

different ages. 

◗ With regards to scalability, 

the processes in place have 

been implemented so as to 

run on a fully distributed environment so as to offer the service via a centralized platform. 



Klinger E, Martinet E and Perret D.Towards a Web 2.0 based software for the design 

and the animation of cognitive stimulation workshops. Proceedings of Cybertherapy 

Conference, June 2011, Gatineau Québec. 


Stimulee will produce a new type of service for elderly and especially for institutions 

in terms of cognitive workshops. In addition to the "stimulee software", several services 

will be developped to produce contents, to outsource cognitive workshop animation 

or driving, and it will help the deployment of multimedia interfaces in 

institutions for elderly. The market concerns all institutions for elderly worlwide. An 

individual version for all elderly will be created later. 

The integration of face recognition to the XediX massive video datastore is an opportunity 

for new services on the long run either in video surveillance or internet and 

mobile application. 


4 persons during the project. 

CONTACT 

Samuel VINSON 

SAFRAN MORPHO 

+33 (0)1 58 11 34 71 

samuel.vinson@morpho.com 

PARTNERS 


SAFRAN MORPHO 

SMEs: 

ERGONOMICA, SOVAME, XEDIX 


ARTS 

PROJECT DATA 

Coordinator: 

SAFRAN MORPHO 

Co-label: 

CAP DIGITAL, IMAGE ET 

RESEAUX 

Call: 

WEB 2.0 

Start date: 

December 2009 

Duration: 

18 months 


0.9 

Funding (M2): 

0.4 

302 



STRUCTURAL 

Structural and Computational 

Proof Theory 

ON GOING 

PROJECT 

This project is about bringing together different aspects and developments in structural 

proof theory, namely deep inference, the correspondence between proofs and programs, 

term rewriting, and Hilbert’s ε-calculus. 

The aim is to develop fundamental tools and techniques of structural proof theory with 

applications in computer science. In particular, for the purposes of models of 

computation and the extraction of programs and effective bounds from proofs. 

CONTACT 

Michel PARIGOT 

UNIVERSITÉ PARIS DIDEROT 

+33 (0)1 57 27 92 51 

parigot@pps.univ-paris-diderot.fr 


◗ Foundational Issues in Deep Inference: Find an appropriate notion 

of proof nets for classical deep inference proofs together with a 

combinatorial correctness criterion. 

◗ Computational Interpretations of Deep Inference: Improve on the 

lambda calculus by studying it from the point of view of deep inference, 

rather than natural deduction. 

◗ General Analytic Calculi in Deep Inference: A method for generating 

analytic calculi for non-classical logics. 

◗ Deep Inference as Term Rewriting: use combinatorial techniques 

from term rewriting to automate semantic techniques typically 

used in deep inference. 

◗ Deep Inference in Modal Logic: A systematic way of translating 

modal axioms into analytic calculi. 

◗ Proof Compression via Cut-introduction: A systematic way of compressing proofs by 

introducing cuts to factor out repeated parts of a proof. 

◗ Herbrandt-disjunctions and Computational Interpretations of Proofs: Compute 

Herbandt-disjunctions of proofs based on Gödel's Dialectica interpertation. 

◗ Gödel's Dialectica Interpretation versus Cut Elimination: Extract bounds from proofs 

using cut elimination, similarly to how the Dialectica interpertation is used in proof 

mining. 


◗ A notion of proof nets for classical logic and applications to proof normalisation 

◗ An atomic version of the lambda-calculus with bounded cost rewrite steps 

◗ Nested proof systems implementing simple analytic calculi for intuitionistic modal 

logic and the calculus of explicit substitutions 

◗ A proof-of-concept compression method based on cut-introduction 

◗ A result showing how polarization and focusing can be applied to deep inference 

◗ A semantics of linear logic proof nets without units 

◗ Investigations into order-theoretic characterisations of primitive recursive functions 

◗ Research on computation with bounded resource, in particular on complexity preserving 

program transformation. 

PARTNERS 


INNSBRUCK UNIVERSITY, 

INRIA LIX, TECHNICAL 

UNIVERSITY OF VIENNA, 


PROJECT DATA 

Coordinator: 


Call: 

ANR 

Start date: 

January 2011 

Duration: 

36 months 


2 

Funding (M2): 

0.4 


303


STURM4 

Simulation de la Turbulence à haut Reynolds 

par Multi-Maillages et Multi-Méthodes 

COMPLETED 

PROJECT 

For industrial applications such as thermal stripping, aeroacoustics and turbulent flow 

induced vibrations, a refined spectral representation of the flow is required. LES provides 

detailed predictions of turbulent phenomena and High Performance Computing makes 

this approach feasible at least for intermediate Reynolds numbers. Coupled code 

simulations on multiple overlapping grids can also lead to a technological breakthrough. 

This project aims at exploiting these multi-mesh and multi-model developments, first 

in an unstructured finite volume CFD code for refined predictions of near wall turbulent 

flows, and also in a high-order finite difference aeroacoustics code for direct acoustic 

simulation. The methods will be extended to fluid structure coupling thanks to moving 

overset grids. 


◗ Evaluation of structured and unstructured grids for the accuracy of LES results near walls. 

◗ Application of HPC for the creation of a date base of LES results for cylinders in cross-flow. 

◗ Creation of an original experimental data base for the validation of LES and aeroacoustics 

simulations: example of the Valeo airfoil. 

◗ Application of HPC and overset grid technique for first direct noise computation on 

configurations of industrial interest. 

CONTACT 

Philippe LAFON 

EDF 

+33 (0)1 47 65 37 08 

philippe.lafon@edf.fr 

PARTNERS 


EDF, VALEO 


CNRS/LAMSID, UPMC 

PROJECT DATA 

Coordinator: 

EDF 

Call: 

ANR 

Start date: 

January 2007 

Duration: 

48 months 


1.3 

Funding (M2): 

0.7 



One PhD thesis, four post-docs, six reports, seven communications, four submitted 

papers, a web site: http://cfd.mace.manchester.ac.uk/Main/Sturm4Project, two invited 

partners: University of Manchester and Ecole Centrale Lyon. 

304 



SyGeO, l'usine à ERP 2.0 - 

Système de Gestion Ouvert 

COMPLETED 

PROJECT 

SyGeO is a flexible and open platform that can adapt to the specific needs of customers. 

Based upon OPA, the state-of-the-art programming language developed and 

commercialized by MLstate, SyGeO will make available to business applications the 

security and safety guarantees provided by MLstate’s solution. 

SyGeO produces standalone web-apps which include the web site of an organization 

and business “2.0” applications where both internal and external stakeholders can 

collaborate, produce and exchange. 

Technically, SyGeO uses a compiler that generates OPA code from high-level businessoriented 

specifications. Together with SyGeO specific libraries this code is then 

compiled to generate a full web application. 


◗ Innovative aspects of SyGeO are manifold. On the technological side, SyGeO aims to 

build business applications and libraries on the top of the existing state-of-the-art 

programming language OPA created by MLstate. This new specification language 

aims to enable fast and secure development of business applications that implement 

not only classical functions such as business workflows, but also incorporate novel 

features from the Web 2.0, such as a social network with blogs and Wikis. 

◗ The combination of entreprise 

applications and the Web 2.0 

paradigm raises many questions 

related to human and social 

sciences. Whereas the 

benefits of the Web 2.0 are well 

known in terms of communication 

speed. 



“La longue route vers l'ERP 2.0”, B. Grabot, A. Mayère, R. Houe, F. Hémont 

◗ Patents: 

• "Trip Planning" 

• PCT/IB2011/0555415 since decembre 2011 -- initial filed 19 Janvier 2011 


• demo product Jetleague / Triptizer 

• product Opa Poker 

• demo product iServer SaaS 

• opensource project Opalang.org 



◗ Business creation: opensource project Opalang.org 

CONTACT 

Mathieu BAUDET 

MLSTATE 

+33 (0)1 83 64 44 66 

mathieu.baudet@mlstate.com 

PARTNERS 

SMEs: 

MLSTATE, SCAN & TARGET 


CERTOP, ENIT, HEC 

PROJECT DATA 

Coordinator: 

MLSTATE 

Call: 

WEB 2.0 

Start date: 

November 2010 

Duration: 

21 months 


1.5 

Funding (M2): 

0.7 


305


System for the simulation and optimisation 

of the request for tasks aiming 

at satisfying user's readiness needs 

COMPLETED 

PROJECT 

SYS-MCO stands for SYStem for MCO, where MCO is a french acronym for "Maintien en 

Conditions Opérationnelles" which encompasses all necessary actions aimed at 

satisfying users' needs for the readiness of their systems.The project gathers one major 

corporation (GIMA), three SME's (Spring Technologies, Elapse and Kayentis) and two 

academic partners (CEA-LIST and Paris 8 University/MGSI Laboratory) to work on all 

the necessary tools for optimising the organization, processe and procedures, required 

for the in-service support of a given system. 

CONTACT 

Gilles BATTIER 


+33 (0)6 86 37 27 70 

gbattier@springplm.com 


◗ Development of the SPL (Système Physique Logistique) demonstrator which is the 

operational pilot of the maintenance and whose goal is to control the shop-floor maintenance 

in operational conditions in an automatic, reliable, integrated and predictive way. 

◗ Development of the SML (Système Management Logistique) demonstrator which is the 

strategical pilot of the maintenance whose goal is to aid for busisness decision taking. 

◗ That needs to: 

• Human capture of technical facts and events (FTECH). 

• Automatic capture of technical data (ACQ). 

• Human Machine Interface of data analysis devices (HMI). 

• Numerical simulations of the health components (ISIM). 

• Modelisation and simulation of Human Ressources (R). 

PARTNERS 


GIMA 

SMEs: 

ELAPSE, KAYENTIS, 



CEA LIST, PARIS 8 UNIVERSITY/ 

MGSI LABORATORY 

PROJECT DATA 

Coordinator: 


Call: 

FUI7 

Start date: 

May 2009 

Duration: 

24 months 


3.3 

Funding (M2): 

1.5 



306 



An integrated computing machine 

for complex embedded systems 

COMPLETED 

PROJECT 

The objective is the definition of a multi-domain massively parallel architecture and 

corresponding tool flow. The proposedarchitecture will be able to embed heterogeneous 

accelerators optimised for the targeted application domains. 

A homogeneous programming model will ensure hardware independence of the 

application. A design environment will allow to optimize and map the application on the 

parallel architecture. 



A homogeneous hardware framework has been developed to embed heterogeneous 

accelerators. It is based on tiles on a common NoC (Network on Chip) from Arteris for 

communication and synchronisation, a hierarchy of memories and the I/O. The tiles 

embed a processor dedicated to the control part, a DMA, a local memory and the 

dedicated accelerator to the targeted domain. Three types of accelerators has been 

embedded in the context of Ter@ops: a SIMD dedicated to image processing, a reconfigurable 

accelerator based on AboundLogic technology and the SCMP processors from 

CEA LIST for dynamic computation. They are also RISC processors dedicated for 

instance to floating point computations. This architecture is able to target a large panel 

of domains by embedding the corresponding accelerators. Depending on these last 

ones, the computing power of this architecture is roughly 500 Gops or 100 Gflops for a 

consumption of 15 W. A systemC simulator has been developed to make performance 

evaluations of mapped applications. We have also developed a complete design environment 

from algorithm to executable 

code. The tools allow to 

make the description of the application 

and the architecture, to 

make the optimisation (between 

and inner tiles) and the partitionning 

on the parallel architecture. 

The programmation is 

done through a homogeneous 

programmation model and its 

corresponding API which ensure 

hardware independence of 

the application. Validations has 

been done on applications for 

radar, image processing and 

video compression. 


Major corp: 5, SMEs: 2, Academics: 

10. 

CONTACT 

Fabrice LEMONNIER 


& TECHNOLOGY 

+33 (0)1 69 41 59 51 

fabrice.lemonnier@thalesgroup 

.com 

PARTNERS 



EADS ASTRIUM, MBDA, 

THALES OPTRONIQUE SA, 


TECHNOLOGY, THOMSON SA, 

VALEO ETUDES 

ELECTRONIQUES 

SMEs: 

ABOUNDLOGIC, ARTERIS SA, 



ARMINES CRI, CEA LIST, 

CNRS LABORATOIRE ETIS, 

ENSTA, INRIA ALCHEMY, 

UNIVERSITÉ PARIS SUD 

(LABORATOIRE IEF), 

UNIVERSITÉ DE VERSAILLES 

SAINT QUENTIN-EN-YVELINES 

(PRISM) 

PROJECT DATA 

Coordinator: 


& TECHNOLOGY 

Call: 

FUI1 

Start date: 

December 2007 

Duration: 

30 months 


9.6 

Funding (M2): 

3.5 


307

Data Analytics 

TIMCO 

Technologie pour In-Memory 

Computing 

ON GOING 

PROJECT 

The objectives of the TIMCO projet are: 

To develop a new server hosting 16 processors and up to 21 Terabytes of memory, 

whose coherency is ensured with a dedicated ASIC.This server aims at applying "inmemory 

computing". 

To rely on this quantitative advance to drive a qualitative breakthrough on Business 

Intelligence and Service Management applications, in the Industrial and scientific areas. 

CONTACT 

Xavier SAINT MARTIN 

BULL 

+33 (0)1 30 80 74 40 

xavier.saint-martin@bull.net 


Beyond the innovative aspect of a server hosting 16 processors and up to 21 Terabytes 

of coherent memory, many areas of application software will develop new algorithms 

allowing to significantly increase the resolution speed of problems dealing with 

extremely large amounts of data: instead of batching these data (as well as the results 

of their processing) from/to a distant, slow rate storage device, they will be loaded in the 

memory of the servers for being processed, as a whole, by the processors. This gives 

the opportunity to optimise the related application software (as well as low-level 

softwares) in order to take benefit of the in-memory potential. 


A first server with 4 Terabytes memory has been made available to partners for their 

software developments. Ways to develop algorithms taking benefit of the mass memory 

are being processed. Specifications from end users have been issued. 

PARTNERS 


BULL 

SMEs: 

ARMADILLO, DISTENE, 

HORIZONTAL SOFTWARE, 

IP-LABEL 


CEA, ESILV, INRIA 

PROJECT DATA 

Coordinator: 

BULL 

Call: 

FUI13 

Start date: 

June 2012 

Duration: 

36 months 


9.4 

Funding (M2): 

3.7 


FAME2, POPS 

308 



TRIDIMIC 

New microscopic technique 

for 3D super-resolution imaging 

ON GOING 

PROJECT 

Imagine Optic, the worldwide leader in adaptive optics, and two academic teams from 

the Physics and Biology departments at Ecole Normale Supérieure (Paris) have joined 

forces to develop a new imaging technique for the 3D localization of single particles 

fixed or living cells with an isotropic resolution of a few nanometers. The adaptive optics 

system allows to correct for both the residual aberrations of the optical system of the 

microscope as well as those generated by the sample itself by shaping the Point Spread 

Function of a microscope thereby providing a user defined asymmetry along the Z axis, 

thus enabling very precise axial position determination. This first proof of concept will 

provide the foundation for the industrialization and commercialization of a system. 

CONTACT 

Xavier LEVECQ 

IMAGINE OPTIC 

+33 (0)1 64 86 15 60 

xlevecq@imagine-optic.com 


◗ The project's main objective is to develop a new microscopic technique based on 3D 

imaging of single molecule stochastic photo-activation (PALM / STORM). 

◗ This means solving the following issues: 

• Correction of optical defects between the sample and imaging camera to achieve two 

main goals: first, optimize the focalization of photons on the detector because is fundamental 

to get the best signal to noise ratio, which is the primary criterion for precise 

localization. Second, achieve a 3D imaging technique whose performances do not 

depend on optical aberrations related to the sample itself or in its preparation. 

• The axial localization is enabled 

by introducing "beam 

shaping" that adapts the 

shape of the PSF (focal 

spot). PSF shape control is 

crucial for an accurate axial 

location. 

• Realization and optimization 

of the algorithms for 

3D localization at nanometric 

scale. 


The implementation of this 3D imaging technique would produce 3D images in a single-process 

acquisition of images and thus reduce by a factor of 10 the time needed to 

obtain 3D images, and even all phototoxicity or fluorescence "lifetime" issues. This represents 

a major advance to be able to use these techniques on a larger scale, for example, 

to screen for drugs or test a large number of factors in a systematic way to understand 

many diseases mechanism at cellular level. 

To see first results of this program please read this article: Izeddin I, Beheiry ME, Andilla 

J, Ciepelewski D, Darzacq X, Dahan M (2012) “PSF shaping using adaptive optics for 

three-dimensional single-molecule super-resolution imaging and tracking.” Optics 

Express, 20, 4957-4967. 

PARTNERS 

SMEs: 

IMAGINE OPTIC 


IBENS FIT, LABORATOIRE 

KASTLER BROSSEL 

PROJECT DATA 

Coordinator: 

IMAGINE OPTIC 

Call: 

ANR 

Start date: 

December 2011 

Duration: 

24 months 


1.3 

Funding (M2): 

0.6 


309


Unification of Critical C Code 

Analysis Techniques 

COMPLETED 

PROJECT 

Very large applications are now commonly embedded in various systems and often used 

to perform critical tasks, for which a failure would result in serious economic loss or 

even casualties. From this observation stems a strong need to provide architects of 

critical systems with tools that allow them to state precisely the required properties of 

the application and to verify that the implementation complies with these properties. A 

number of formal analysis techniques can meet this need, and they all have their pros 

and cons. Rather than choosing arbitrarily, it is desirable to let them cooperate and 

prove properties that could not have been established by a single technique. This is the 

outstanding challenge that has been addressed in U3CAT, built upon the Frama-C 

platform, one of the main results of CAT, U3CAT's predecessor. 


A first area or work was dedicated 

to floating-point computations. 

This is a very specific domain, 

source of a lot of subtle errors 

often difficult to spot. Another 

extension field concerned the 

specification of properties dealing 

with the sequence of operations 

that a program is to supposed to 

perform. In addition, an important 

amount of work was devoted to the 

interaction of various analyzes and 

their parameterization, and to the 

consolidation of their individual 

results in view of verifying a given 

property of the program under 

analysis. 

Last, improvements on both textual and graphical user interfaces of the tools, as well as 

an integration of Frama-C in the popular Eclipse IDE has been done. 



Emmanuel Ledinot and Dillon Pariente: Formal methods and compliance to the DO- 

178C/ED-12C standard in aeronautics. In Static Analysis of Software, Jean-Louis 

Boulanger Editor, 2011 -- Pascal Cuoq &al: Frama-C, A Software Analysis 

Perspective. Proc. SEFM, LNCS, 2012 -- Jean-Christophe Filliâtre: Deductive 

software verification. International Journal on Software Tools for Technology Transfer, 

13(5):397-403, 2011 -- David Delmas & al: Taster, a Frama-C plugin to enforce Coding 

Standards, Proc. ERTS, 2010 -- Sylvie Boldo and Claude Marché. Formal verification 

of numerical programs: from C annotated programs to mechanical proofs. 

Mathematics in Computer Science, 2011. 


All tools (Frama-C, CompCert, Euclide, Why) have been significantly enhanced during 

the project, and are available under an OpenSource licence. In particular, the Why 

tool has seen a major evolution, released as Why3, that provides better performances 

and notably improves its ease of use. Frama-C is packaged in the major Linux 

distributions (Fedora, Debian, Ubuntu), and enjoys a steadily growing user base. 

Furthermore, plug-ins have been developed by external parties, showing the 

existence of a thriving eco-system around the platform. Frama-C also secured the 

industrial challenge’s prize at ICPC 2011, while U3CAT has been granted an internal 

innovation prize at Atos and is nominated for the ANR awards at the STIC symposium 

in April 2013. All in all, the project has been very successful, both at the technical 

level and for the dissemination of static analysis in the outer world. 

CONTACT 

Virgile PREVOSTO 

CEA LIST 

+33 (0)1 69 08 82 98 

virgile.prevosto@cea.fr 

PARTNERS 


AIRBUS, ATOS, CS, 


SAGEM 


CEA LIST, CNAM, 

INRIA RENNES, 

INRIA ROCQUENCOURT, 

INRIA SACLAY 

PROJECT DATA 

Coordinator: 

CEA LIST 

Co-label: 


Call: 

ANR 

Start date: 

February 2009 

Duration: 

42 months 


4.4 

Funding (M2): 

1.8 


HI-LITE, OPEN ETCS 

310 



USINE 

LOGICIELLE 

COMPLETED 

PROJECT 

Today, 15 to 40% of the value of high technology products (from cell phones to satellites and cars) 

is provided through software. Customers are asking for more services, more features and 

reliability, and all of these requirements make these products more complex to build while there 

is an increasing pressure for lower price. 

Within the SYSTEM@TIC PARIS-REGION Cluster, the "Usine Logicielle" project promotes model 

based software engineering which allows standardizing and automating the design, the integration, 

the validation and the maintenance of the software embedded in these high technology products. 

The solution proposed by "Usine Logicielle" will materialize in new tools, new organizational structures, 

new jobs and new trainings that will allow a productivity increase, quicker time to market and higher 

competitivity. 



• LIP6: First public version of SoCLib platform (January 2008). 

• Thales Communication: MyCCM Component Framework transfered in operations: 2007, industrialization 

of MyCCM issued from previous R&T projects (MERCED). 

• EADS IW: Design of the Newspeak language simplest as possible to build l’analyse static 

analysis programs. Penjili component (C overflow static detection). 

◗ Services: 

• TRIALOG: Usine logicielle projects MERCED/COMPARE have enabled Trialog to win contracts 

related to AUTOSAR (Automotive domain). 

• EADS IW: Partnership with Esterel technologies. 

• DASSAULT AVIATION: model transformer from Rose-Esterel to SCADE 6 models. 

• OBEO: Industrialisation of ATL a model transformation component from the INRIA. 

• ESTEREL TECHNOLOGIES: 

- Prototype of the MTC Analyzer test generator. 

- UML/SysML gateway to SCADE Suite. 

- Adaptation et integration with Papyrus modeler. 

- SCADE/EMF pour Eclipse (CS-SCADE) key component of the “Open SCADE Architecture”. 

• CEA: 

- UML Extensions for the modeling & analysis of embedded real time systems: MARTE. 

- Implementation of the Papyrus, the only Open Source UML modeler supporting the MARTE profile. 

- Implementation of an IDM platform integrating the modeler and and the specialized modeling 

components. 

• Verification and validation 

- Test generator conformant to TTCN3 format from UML models (Agatha). 

- Extension of the static analyser of numeric precision of C programs (Fluctuat). 

- Implementation of a static analysis tool and test generator for binary code (Osmose). 

- Implementation of a simulator of hardware architecture using micro-processeurs (using 

Unisim technology). 


CS 6 jobs, Thales Com 6 jobs, TRIALOG 5 jobs. CEA Thèses: 6, Post doctorants: 4, Hiring: 2. 


• C. Gaston, MoDels2006. A Formal Semantics for UML Symposium. 

• Gerard, S., A. Cuccuru, and F. Loiret, 2006, Zurich. A methodological approach for model-based 

development and validation of RT/E systems in Artist2 workshop. 

• Frédéric Boulanger, Guy Vidal-Naquet, INSTICC Press 2006. "A Primitive Execution Model for 

Heterogeneous Modeling". 

• S. Gérard, H. Espinoza, 2006. Rationale of the UML Profile for MARTE (Book Chapter). “From 

MDD Concepts to Experiments and Illustrations”. 

• C. Petriu and Murray Woodside, Computer Science, 2006. Annotating UML Models with Nonfunctional 

Properties for Quantitative Analysis. 

• Medina Julio, Lopez Patricia and Drake José María, FDL'06. Towards a UML Profile for Real- 

Time Modelling of Component-Based Distributed Embedded Systems. 

• Huáscar Espinoza, Julio Medina, Hubert Dubois, François Terrier, andSébastien Gérard. International 

Workshop on Modeling and Analysis of Real-Time and Embedded Systems. Towards a 

UML-Based Modeling Standard for Schedulability Analysis of Real-Time Systems. 

• C. André, A. Cuccuru, R. de Simone, T. Gautier, F. Mallet, J-P. Talpin. Modeling with logical time in 

UML for real-time embedded systemdesign. In Proceedings ofMARTES 2006 atMoDELS 2006, the 

InternationalWorkshop on Modeling and Analysis of Real-Time and Embedded Systems. ISBN: 

82-7368-299-4. 

• Frédéric Jouault, Jean Bézivin et Ivan Kurtev, GPCE 2006, Portland. "TCS: a DSL for the Specification 

of Textual Concrete Syntaxes inModel Engineering". 

• Alain Le Guennec et Bernard Dion, ERTS 2006, Toulouse. Bridging UML and Safety Critical 

Software Development Environments. 


CONTACT 

Philippe MILS 

THALES 

RESEARCH &TECHNOLOGY 

+33 (0)1 69 41 60 39 

philippe.mils@thalesgroup.com 

PARTNERS 


CS, DASSAULT AVIATION, 

EADS, EDF, HISPANO-SUIZA, 

MBDA, THALES 

SMEs: 

ESTEREL, SOFTEAM, TRIALOG 


CEA, IFP, INRIA, LIP6, LRI, 

POLYTECHNIQUE, SUPELEC 

PROJECT DATA 

Coordinator: 

THALES R&T 

Call: 

FUI0 

Start date: 

February 2006 

Duration: 

36 months 


15 

Funding (M2): 

5.4 

311


USINE 

NUMERIQUE 

COMPLETED 

PROJECT 

Significant saving in development cycles and costs of the manufacturing systems are 

targeted, especially for complex and high technology products in automotive, aeronautic 

and micro-electronic industry, with the increasing use of enhanced simulation tools. 

Extensive use of 3D display, and immersion technologies, enables friendly understanding 

of situations, provides communication tools among various specialists, and supports 

training. 

Various processes of the production process and related controls are addressed with 

realistic behaviour rendering. 

CONTACT 

Bernard BOIME 


+33 (0)1 46 97 32 42 

Bernard.boime@eads.net 



Industrial softwares CATIA-DELMIA, CIVA (Non destructive testing), MKM (virtual 

mannequin). 


Simulation of manufacturing processes and Non Destructive Testing, logistic, sheduling, 

preparation, Virtual & augmented reality, virtual mannequin. 


11 conferences, 2 Technical paper, 1 press conference, 7 articles in newspapers, 

1 technology show. 


• Manufacturing processes engineering. 

• Realistic simulation demonstrators for 4 industrial use cases (Micro-processor 

Photolithography, Machining, automotive & aeronautic assembly). 

• Including balanced production line scheduling and Virtual mannequin in the loop. 

• Inspection engineering. 

• Extensive numerical modeling of automated systems, addressing production monitoring, 

supporting analysis and prediction of industrial efficiency. 

• Hardware (multi-element sensors- robots) & software (NDI) development. 

• Factory engineering. 

• Ontology of factory based development of SW infrastructure required for modeling 

in CATIA/DELMIA. 

PARTNERS 


CIMPA, DASSAULT AVIATION, 

DASSAULT SYSTÈMES, 

EADS IW, EDF, RENAULT, 

SNCF, VIRTOOLS 


ALTIS, ILOG 

SMEs: 

EURALTECH, M2M 


CEA LIST, ENS-LURPA, 

ENS-SATIE, ESPCI - LOA, 

INRETS, INRIA, SUPELEC, 

SUPELEC/L2S, SUPELEC/LGEP 

PROJECT DATA 

Coordinator: 

EADS 

Call: 

FUI0 

Start date: 

February 2006 

Duration: 

18 months 


11.9 

Funding (M2): 

4 


OLDP, USINE NUMÉRIQUE 2 

312 



USINE 

NUMERIQUE 2 

COMPLETED 

PROJECT 

◗ Data base management enabling the production sytems simulation. 

◗ Implement tools for collaborative engineering for digital production in the extended 

enterprise (intregrators with suppliers network). 

◗ Manage the multi-scale simulation in the production system. 

◗ Implement real time simulation and realistic model behaviour, for a virtual/real synchronous 

monitoring. 

◗ Integrate in the simulation scenario, a virtual mannequin, with realistic physical and 

cognitive behaviour. 


◗ Products: 

Industrial softwares CATIA-DELMIA-3DVIA, CIVA (Non destructive testing), MKM (virtual 

mannequin); NCSIMUL-TOOLSIMUL, ILOG. 

◗ Services: 

1 dissemination platform 

under feasability 

evaluation. 


Simulation of manufacturing 

processes and 

Non Destructive Testing, 

logistic, real time 

sheduling, preparation, 

virtual & augmented reality, 

virtual mannequin. 


12 conferences, 

1 Technical papers. 


• Extended and collaborative 

factory. 

• Development of the 

data and concept architecture 

of the digital factory, including versioning, life cycle and configuration 

management (in Dassault Systèmes SW suite). 

• Virtual/real integration (in Spring SW suite). 

• Development of an accurate and realistic model of scheduling and resynchronisation 

with real status, failure real time detection, on-line integration of Non Destructive 

Testing, in-depth modelisation of machining processes, assembly regards 

to tolerancing… 

• Virtual reality and virtual mannequin. 

• Complex cognitive behavior modeling of: technical gestures and postures (prehension 

of rigid or flexible parts…), multi-contacts situations. 

• Development of intuitive interfaces for the monitoring of virtual humans. 

CONTACT 

Bernard BOIME 


+33 (0)1 46 97 32 42 

Bernard.boime@eads.net 

PARTNERS 


CIMPA, DASSAULT AVIATION, 

DASSAULT SYSTÈMES, 

EADS IW, EDF, RENAULT, 

SNECMA 


ALTIS, ILOG 

SMEs: 

M2M, PDF SOLUTIONS, 

REALVIZ, SPRING 

TECHNOLOGIES 


CEA LIST, ENS-LURPA, 

ENS-SATIE, ESPCI - LOA, 

INRIA-IRISA, SERAM, 

SUPELEC/L2S, SUPELEC/LGEP 

PROJECT DATA 

Coordinator: 

EADS 

Call: 

FUI3 

Start date: 

July 2007 

Duration: 

24 months 


15.6 

Funding (M2): 

5.5 


OLDP, USINE NUMÉRIQUE 1 


313


VACSIM 

Validation of the control of critical systemes 

by coupling simulation and formal methods 

ON GOING 

PROJECT 

The VACSIM project is an industrial research project whose aim is to show the benefits 

of coupling simulation techniques and formal methods to validate the control of critical 

systems. The demonstrator that will be developed during this project, on the basis of 

the software tool ControlBuild, will permit to illustrate these benefits by proposing 

different coupling modes. Design and implementation of this demonstrator require both 

methodological (definition of new uses of simulation tools, rules to couple simulation 

and formal methods) and formal (adaptation, extension or novel proposals of formal 

techniques based on discrete event systems theory or constraint programming) 

contributions. 

CONTACT 

Jean-Marc FAURE 

LURPA - ENS CACHAN 

+33 (0)1 47 40 22 16 

jean-marc.faure 

@lurpa.ens-cachan.fr 


◗ New algorithms for progressive test of logic systems 

◗ Simulation scenarii automation from safety properties and required coverage rate 

◗ Development of formal validation techniques based on identification of closed-loop 

discrete event systems 

◗ Formal validation of quantitative properties: new techniques based on analysis, monitoring 

and verification of timed automata 

◗ Formal validation of quantitative properties: new techniques based on constraint programming 

and error-localization 

◗ Demonstrator (software prototype in the ControlBuild environment) of the benefits 

of coupling simulation and formal methods 


The first results of the project will be available at the last quarter 2012. 

PARTNERS 


DASSAULT SYSTEMES, 

EDF R&D 


I3S, INRIA, LABRI, LURPA - 

ENS CACHAN 

PROJECT DATA 

Coordinator: 

LURPA - ENS CACHAN 

Co-label: 

AEROSPACE VALLEY, PEGASE, 

SCS 

Call: 

ANR 

Start date: 

October 2011 

Duration: 

42 months 


3.5 

Funding (M2): 

1 

314 



VAUCANSON 2 

Vaucanson 2: 

A Finite-State Machine 

Computation Platform 

ON GOING 

PROJECT 

This project is a collaboration between three partners, which are members of 

Systematic, and with the National Taiwan University. It aims to realize a new platform, 

named Vaucanson 2, dedicated to the computation and the manipulation of finite states 

weighted automata, which are a quite simple, but very efficient, computation model. This 

platform will be dedicated both to academic teaching or research, and to any people or 

industrial interested in using weighted automata. The programmation using generic C++ 

should garantee good performances. The access to the platform will be possible at three 

levels: the C++ library, a set of binaries which read and produce XML descriptions of 

automata and which apply various algorithms, and at last, a graphical interface. 

CONTACT 

Sylvain LOMBARDY 

UNIVERSITÉ PARIS-EST 


+33 (0)1 60 95 77 41 

Sylvain.Lombardy 

@univ-paris-est.fr 


The innovations of this project come from the goals we want to achieve. The weighted 

automata are actually a common description for very different compution models, depending 

on the nature of the labels, and the nature of weights. Our platform will have 

the possibility to handle any type of label or weight. This simple model is interesting because 

it allows fast computations. This both requirements lead us to choose generic 

C++, which is used at each level of the project. Another innovation is that the conception 

of the platform involves theoricians of the algorithmic of finite automata, which 

means that we want that every operation uses the best algorithm and that the implementation 

respects the complexity of the algorithm. The API of the library will offer the 

functions to write algorithms in a way as close as possible of their mathematical description. 

Last, our ambition is that the platform interests both teachers interested in 

showing automata with about ten states, and industrial or linguistic applications which 

manipulates automata with millions of states. 


The project has just began. We have achieved the specifications of the new interface. 

The implementation of the new core has started. 

PARTNERS 

SMEs: 

EPITA 


NATIONAL TAIWAN 

UNIVERSITY, 

TÉLÉCOM PARISTECH, 

UNIVERSITÉ PARIS-EST 


PROJECT DATA 

Coordinator: 

CNRS, UNIVERSITÉ PARIS-EST 


Call: 

ANR 

Start date: 

March 2011 

Duration: 

36 months 


0.6 

Funding (M2): 

0.2 


315


Formally-verified static analyzers 

and compilers 

ON GOING 

PROJECT 

In its quest for software perfection, the critical software industry has been progressively 

embracing the use of formal verification tools (static analyzers, program provers, model 

checkers) as a complement, or even as an alternative, to traditional software validation 

techniques based on testing and reviews. The usefulness of verification tools in the 

certification of critical software is, however, limited by the amount of trust one can have 

in their results. Two major risks exist: unsoundness of verification tools (failing to detect 

a misbehaving program) and miscompilation (post-verification introduction of bugs 

during the production of executable code). The Verasco project investigates a radical, 

mathematically-grounded solution to these issues: the formal verification of compilers 

and verification tools themselves. 


We set out to develop a generic static analyzer based on abstract interpretation for the 

C language, along with a number of advanced abstract domains and domain combination 

operators, and prove the soundness of this analyzer using the Coq proof assistant. 

Likewise, we continue our work on the CompCert C formally-verified compiler, the first 

realistic C compiler that has been mechanically proved to be free of miscompilation, and 

will carry it to the point where it could be used in the critical software industry. We also 

investigate the tool qualification issues that must be addressed before formally-verified 

tools can be used in the aircraft industry. Critical software 

deserves the highest-assurance development 

and verification tools that computer science can provide. 

By going all the way to a full formal verification of 

such tools, our work will generate unprecedented confidence 

in the results of source-level static analysis, 

therefore fully justifying its role in the development and 

certification of critical software. 


The project started on Jan 1st, 2012. 

CONTACT 

Xavier LEROY 

INRIA PARIS-ROCQUENCOURT 

+33 (0)1 39 63 55 61 

Xavier.Leroy@inria.fr 

PARTNERS 


AIRBUS OPERATIONS 


INRIA PARIS-ROCQUENCOURT, 

INRIA SACLAY, UNIVERSITE 

RENNES 1, UNIVERSITE 

JOSEPH FOURIER 

PROJECT DATA 

Coordinator: 

INRIA PARIS-ROCQUENCOURT 

Co-label: 


Call: 

ANR 

Start date: 

January 2012 

Duration: 

48 months 


4.2 

Funding (M2): 

0.9 


U3CAT 

316 



VERification-oriented & component-based model 

Driven Engineering for real-time embedded systems 

COMPLETED 

PROJECT 

VERDE defines a methodological framework for iterative, incremental, validation-driven 

design of component-based architectures. It integrates and adapts model-based 

techniques with testing and analysis tools to meet industrial domain requirements 

(space, software radio, railway, automotive). The project is built on the experiences and 

results from other research projects, and with a strong partnership between major 

corporations, SME, and academics from European countries (France, Germany and 

Norway). The project results in an innovating approach that is ready for large-scale 

deployment in industry. The outcome is the net improvement of productivity, 

predictability and cost control in the development process. The solution is packaged as 

a tool suite for the Eclipse platform. 

CONTACT 

Thomas VERGNAUD 


& SECURITY 

+33 (0)1 69 41 56 11 

thomas.vergnaud 




Smart esting has integrated the VERDE results in its Model-Based Testing product 

(smart esting CertifyIt) to improve multi-model capabilities for composent-based systems. 

This leads to strong enhancement in smart esting offer for large-scale systems. 

◗ Job creation: about 8 R&D engineers. 

PARTNERS 


ALSTOM TRANSPORT, 

THALES ALENIA SPACE, 


& SECURITY, THALES 

RESEARCH & TECHNOLOGY 

SMEs: 

GEENSOFT, OBEO, 

SMARTESTING 


CEA 

PROJECT DATA 

Coordinator: 


& SECURITY 

Call: 

FUI7 

Start date: 

June 2009 

Duration: 

42 months 


10 

Funding (M2): 

3 


317


Virtualize U'r Enterprise 

COMPLETED 

PROJECT 

“VUE” is a solution to grow the added value of any business, which brings a real 

technological innovation allowing an increase in productivity of their stakeholders. 

This product of 3S Informatique Group finally proposes, in a lesser cost and with a hight 

potential of strong profitability, the opportunity to companies and universities, to have 

an ecosystem info dedicated to the training or to the management through a flat Web 

2.0 platform. It gives necessary, personal and customizable tools for managing and 

trainings communities, at a university or professional level (each around a common 

interest). 

Allowing a real interactivity between trainers and learners, or between managers and 

their teams “VUE” is the essential link to any university or professional learning 

community. 


This is the first communication and learning platform which offer a real community by 

means of services: 

◗ Synchronous (virtualization of classrooms, conferences rooms, meetings rooms and 

workshops, all in real time); 

◗ Asynchronous (video recording of different training, meetings, conferences and access 

to media libraries, quizzes and e-learning sessions); 

◗ Informal (communication tools: Chat, forum, information wall, likened to social learning). 

The community members have necessarily available, a comprehensive personal space for: 

• Manage their user profiles; 

• Check their e-mails, notifications; 

• Store public or private documents; 

• Manage their schedule; 

• Edit documents using a toolkit; 

• Follow their evolution; 

• Prepare their trainings; 

• Review their trainings thanks to a readback room. 

Technical advantages 

• Light solution: full Web platform (no installation needed); 

• Mobile: compatibility with all types of media (Apple version for industrialization); 

• Independent: VUE license only, thanks to Open-Source technologies LGPL (no additional 

license); 

• Web 2.0 solution: Ecosystem info, interactive, collaborative and participative; 

• Secured: access guaranteed by client servers, by dedicated hosted servers or by mutualized 

hosted servers (customer’s choice); 

• Fast, evolutionary and reliable: flexible and modular platform in Java J2EE; 

• Bandwidth: reduced consumption to 3Mb/sec (server side) for a room of 30 users. 


CONTACT 

Yann OVADIA 

3S INFORMATIQUE 

+33 (0)1 70 92 23 17 

yann.ovadia 

@3s-informatique.com 

www.vue-portal.com 

PARTNERS 

SMEs: 



TELECOM PARIS TECH 

PROJECT DATA 

Coordinator: 


Call: 

FEDER3 

Start date: 

October 2010 

Duration: 

18 months 


2.3 

Funding (M2): 

1 

◗ The “VUE” project was initiated in September 2010 with a kick off meeting ; the first developments 

began in November 2010 (The duration of the first phase was about 18 

months). 

◗ The first software prototype was designed, under the Extreme programming approach 

underlying the project, and was created in November 2011. In the mean time the first 

general meeting with our group regional council was done with it in December 2011. 

Thanks to a successful Proof of concept with major companies in 2012, “VUE” solution 

currently has among its customers the second worldwide group of human resources 

services; and it will now open to investors to accompany its. 



318 



WAAVES GP 

WAAVES GP 

COMPLETED 

PROJECT 

The main purpose of this project is to develop prototypes of an electronic component 

embedding wavelet based Waaves image encoding technology to make it available for 

mobile devices such as smartphones, netbooks and tablets. This hardware component 

will have to take into account exsiting constraints related to this market, i.e, low 

calculation power, reduced memory availability, low consumption and manufacturing 

cost. On top of algorithm fine tuning, hotspot identification and memory management 

study, different technologies will be evaluated like DSP, FPGA and SoC to identify the 

best optimization to meet previously described criteria. 

CONTACT 

Gabriel PORTILLO 

PARTELEC 

+33 (0)1 64 05 58 81 

g.portillo@partelec.fr 


As a breakthrough technology, Waaves 

image encoding solution achieves very 

high compression ratio while keeping 

original image quality, including medical 

quality for diagnosis. As an example 

from a clinical evaluation, a native 

Dicom chest X-ray of 10MB will be 

compressed to around 150KB thus 

dramatically decreasing transfer time 

for remote access through telecommunication 

network from about 

30minutes down to less than 30seconds. 

Waaves availability to mobile devices will enable on call physicians to receive 

images on their smartphone from emergency units. Waaves components will also provide 

solution to telemedicine programs like tele-expertise in the imaging specialties. 


Waaves GP research project has been completed recently so all commercial outcomes 

have not yet been validated at this time. However this project is considered with high 

interest by various electronic components actors like founders or mobile device 

manufacturers thus hopefully promising a successful future. This has already been 

confirmed with two industrial contacts as described in the Business creation section. 

Moreover a second phase project is schedule to industrialize the component and 

integrate additional features dedicated to animated sequences and video. 


Waaves GP technical results: 

• Concept validation and first version of Waaves algorithm. 

• Source code fine tuning and optimization based on identify hotspots. 

• Demonstration prototype based on a DaVinci board. 

• Validation of encoding treatment compatibility with Waaves software version. 

• Architecture identification for product industrialization. 


2 persons, including one person in charge of sales management and customer relationship 

with silicon manufacturers directly generated by Waaves GP outcomes. 


2 industrial contracts have already been signed with 2 OEM French companies: a silicon 

manufacturer and a mobile device manufacturer. 

PARTNERS 

SMEs: 

CIRA, PARTELEC 


ENSEA, INSERM, LIP 6 

PROJECT DATA 

Coordinator: 

PARTELEC 

Call: 

FEDER2 

Start date: 

March 2010 

Duration: 

12 months 


0.5 

Funding (M2): 

0.3 


319


WARM 

Waaves Real-time Multimodal 

ON GOING 

PROJECT 

WaRM project objective is to provide a system architecture on a chip that can embbed 

WAAVES multi-modal encoding image technology on mobile devices and addresses the 

video market. The underlying electronic architecture conception will have to start with 

a study of video diffusion mechanisms and bandwidth optimization while protecting the 

medical quality provided by WAAVES technology. Main new technological barriers are 

sound integration, geographic localization and chip system resource management. 

CONTACT 

Gabriel PORTILLO 

PARTELEC 

+33 (0)1 64 05 58 81 

g.portillo@partelec.fr 


The WaRM project is pattern writted to broadcast multimedia qualified contents. This 

project is dedicated to solve the multimodality issue from the Waaves compression algorithm 

and his real time integration on mobile devices. It must allow to expand the Waaves 

technology in e-Medical field 

using low power devices as 

smartphone or netbook. In 

France , Antares network (low 

data flow ) dedicated to security 

department wishing to carry 

both medical and operational 

images have requested this 

technology. This will complete 

Medical mobile applications 

demand. 


OUTCOMES 

The WarM project bringing compression technology 

without perceptual loss on embedded devices will be 

used to broadcast video contents coming from the 

Waaves algorithm. 

This will qualify it on medical field adding multimodality 

on Waaves, for example combining images with sound 

and GPS localization. 

PARTNERS 

SMEs: 

CIRA, PARTELEC 


ENSEA, INSERM, LIP 6 

PROJECT DATA 

Coordinator: 

PARTELEC 

Call: 

FEDER2 

Start date: 

May 2011 

Duration: 

36 months 


1.0 

Funding (M2): 

0.7 

320 



Wind energy Integration 

by DC Network 

ON GOING 

PROJECT 

WINPOWER project aims at developing a wide control strategy to manage large scale 

High Voltage Direct Current (HVDC) multi-terminal networks that will interconnect 

renewable energy sources (RES) to the main power network. Proposed work deals with 

control strategies in a wide sense, from off-line optimization of network itself before its 

construction; to real time, multi layered, decentralized stabilizing control that is 

embedded into its components. This DC grid will allow for multi-RES generators 

efficient interconnection, for example off-shore Wind Farms and solar plants. This DC 

grid will also manage their connection to: the main AC grid; large loads (big cities or 

industrial facilities); other DC grids like a future European SuperGrid. 

CONTACT 

Gilney DAMM 

EUROPEAN EMBEDDED 

CONTROL INSTITUTE - EECI 

+33 (0)1 69 85 17 68 

gilney.damm@lss.supelec.fr 


◗ WINPOWER aims at defining successful conditions for connecting renewable energy 

sources to the transmission networks (DC and AC). It is necessary to manage all the 

chain from generation; intermediate energy storage (local or remote); multipoint 

HVDC transmission (including the DC flows within the grid); connection to larger DC 

grids (SuperGrid); interaction with the main AC grid. 

◗ To reach these objectives, WinPower will develop several essential theoretical and 

technological components: 

• DC network modelling and estimation of its parameters. 

• Distributed hierarchical control strategy from high level communicating multi-agent 

systems, to low level adaptive and robust control schemes. This strategy assumes 

several control modes (loops) at each AC/DC (or DC/DC) converter. 

• Smart grid DC flows monitoring and control. 

• Storage technology investigation: definition of what are the various candidate technologies 

for what energy amounts, how to optimize storage positioning in order to 

ease network load. 

• Energy Storage placing in 

topology optimization and 

simulation: defining and simulating 

the placement of 

distributed and embedded 

storage at various positions 

within the grids. 

• Energy Storage management 

system communicating with 

the grid. 


WinPower will develop control tools that, based on weather forecast, load and price 

previsions and remote system’s states information, will allow stable renewable energy 

production. In other words, WINPOWER aims at defining successful conditions for 

connecting renewable energy sources to the transmission network. Furthermore it will 

also develop control algorithms for controlling DC flows within the DC grid, and its 

interaction with the AC main grid or another DC Grid. 

PARTNERS 


ALSTOM POWER, AREVA T&D 

(ALSTOM GRID), EDF 

SMEs: 

WINNOVE 


ARMINES, CEA, CNRS, EECI, 

SUPELEC 

PROJECT DATA 

Coordinator: 

EECI 

Call: 

ANR 

Start date: 

February 2011 

Duration: 

48 months 


3.0 

Funding (M2): 

1.2 


321

Systems Design and Development Tools Working Group - Systematic

Create successful ePaper yourself

Delete template?

Save as template?