Some of Digiteo’s
innovative technologies
Contents 3 QUESTIONS TO MAURICE ROBIN
P. 4
3 QUESTIONS TO FRANÇOISE FABRE
P. 5
TECHNOLOGY TRANSFER SERVICES
P. 6-7
TECHNOLOGY APPLICABILITY MATRIX
P. 8-9
CHAPTER I : CONCEPTION, DEVELOPMENT, CONTROL P. 10-11
CHAPTER II: MODELLING
P. 56-57
Easy MSI
P. 58-59
HSIM
P. 60-61
jMEF
P. 62-63
MIXMOD
P. 64-65
MONOLIX
P. 66-67
SemanticVox
P. 68-69
SESAM
P. 70-71
TCICS
P. 72-73
UNISIM
P. 74-75
ARTiMon
P. 12-13
AUTOTREC
P. 14-15
BioGuide
P. 16-17
BWebdoc
P. 18-19
Cell-MPI
P. 20-21
CRISTABLU
P. 22-23
DIAG & DIAGNO CHIP
P. 24-25
EOFAST
P. 26-27
FLUCTUAT
P. 28-29
FRAMA C
P. 30-31
GATeL
P. 32-33
3DLocalis
P. 78-79
HOL-TestGen
P. 34-35
ARcure
P. 80-81
Kadeploy3
P. 36-37
EURITRACK
P. 82-83
MIMOptMPC
P. 38-39
ICI-TV
P. 84-85
MobiScope
P. 40-41
IRM-TR
P. 86-87
NT2
P. 42-43
MIDWAY
P. 88-89
OCamlPro
P. 44-45
TOMOX
P. 90-91
PEPS
P. 46-47
VARNA
P. 92-93
PharOS
P. 48-49
Video Analysis
P. 94-95
SCILAB
P. 50-51
CHAPTER IV: NETWORKS
P. 96-97
SDR4all
P. 52-53
CRYPTONET
P. 98-99
SHOOT
P. 54-55
GRAD
P. 100-101
Monitoring Trees
P. 102-103
CHAPTER III: INTERACTIONS, VISUALISATION AND VIRTUAL REALITY P. 76-77
INDEX // Technology Offer //
P. 104-105
3•
Three questions for Digiteo’s director Maurice Robin
What is Digiteo and what is its role? Digiteo is the largest research and technology transfer cluster in France dedicated to Information and Communication Technologies (ICT). It unites the key players in teaching and research around the design, development and validation of software-based systems. Digiteo is also responsible for coordinating the ICT project at the Paris-Saclay Campus, which aims to become one of the 10 leading campuses in the world. What links does Digiteo have with the industrial world? Transforming research results into industrial applications is a key part of Digiteo’s identity. That is why the network takes advantage of the high number of global industrial leaders in Ile-de-France to encourage them to adopt the innovations developed by its members through technology transfer. Digiteo’s aim is to promote the establishment of partnerships with the world of industry, in a variety of ways: the creation of research chairs within the cluster’s founder establishments, as well as the coordination of joint research projects. For example, Digiteo’s
•4
teams participate in more than 80% of the System@tic Paris-Region competitiveness cluster’s projects. Finally, each establishment has a technology transfer department which maintains close ongoing relations with industrial companies. How is Digiteo positioned in relation to its founder establishments’ activities? Our role is to develop collaboration between ICT research teams on the Saclay plateau. Based on the presence of multidisciplinary teams and high-tech industrial companies in a single location, we try to encourage synergies and fluency between fundamental and applied research, leading to technology transfer. The strength of our excellence network also allows us to implement cross-functional projects, producing technologies that generate advances in health, sustainable development, safety, etc.
// Technology Offer //
Three questions for Françoise Fabre, chair of the Technology Transfer committee
What does Digiteo do in the field of technology transfer? Along with the technology transfer support provided to researchers by their institutions, Digiteo has established an innovative and communal approach to support in order to accelerate technology transfer. This approach is implemented by the Technology Transfer committee, formed with a representative from each of the network’s member establishments. As well as training courses relating to innovation, the adoption of a joint Intellectual Property charter and the establishment of a patents portfolio by all Digiteo members, we are focusing on the technical and economic readiness of research projects. The ultimate goal is to boost transfer to the world of industry, both by creating start-ups and signing contracts with companies. Currently, out of the 14 projects which have been developed since the beginning, there have been four start-ups created or which are now in incubation, three transfers to industrial companies, three transfer projects in the process of being negotiated, and numerous patents and software registrations. Our activities reach beyond national boundaries, since Digiteo is part of the FITT project, the first European // Technology Offer //
project involving technology transfer tools specific to ICT and dedicated to technology transfer professionals. How do you accelerate technology transfer? Firstly, through Digiteo’s technology transfer cluster, which means we benefit from the sharing of tools and best practices. But above all, we have created OMTEs (collaborative technology transfer readiness programmes), which as a result of a financial award and tailored assistance, help accelerate the transfer of research results to the economic world: funding for an engineer for a year to build a prototype, market research to analyze the market and the competition and, finally, analysis in collaboration with a firm specializing in freedom-to-operate and patent registration opportunities. What is this brochure? The brochure, which is now available in English, contains case studies illustrating our technology offer. Most of the projects presented are carried out collaboratively between several of the cluster’s establishments. The brochure highlights Digiteo’s pool of innovative technologies, intended to be transformed into industrial innovation. 5•
Technology transfer services: the interface between research and industry
Each establishment in the cluster has its own technology transfer department, responsible for negotiating partnership research contracts between laboratories and industrial companies, as well as managing patent registrations and licences and usage contracts for innovations. These departments also support researchers throughout the business start-up process and carry out training and work to raise awareness about technology transfer. They are therefore key contact points for industrial companies interested in the scientific and technology offers of the cluster. The brochure also provides these companies with samples of the technologies developed within the cluster, which has a portfolio of nearly 1500 patents and numerous software registrations.
•6
Pooling resources for greater effectiveness The technology transfer departments organize joint initiatives through Digiteo to transfer technology and identify best practices. Its most original project prepares high economic potential technologies for transfer via OMTEs (collaborative technology transfer readiness programmes). These provide support in terms of marketing, technological and legal resources. Fourteen OMTEs have been granted in three years. Digiteo also initiates projects to raise awareness about technology transfer, and provides the related trainings particularly through the European FITT project, dedicated to technology transfer professionals. Finally, Digiteo dedicates itself to promoting the cluster’s technological offer.
// Technology Offer //
CEA Françoise Fabre + 33 1 69 08 10 69 francoise.fabre@cea.fr http://www.cea.fr
INRIA Agnès Guerraz + 33 1 72 92 59 75 agnes.guerraz@inria.fr http://www.inria.fr
CNRS Loïc Bordais + 33 1 69 82 32 79 loic.bordais@dr4.cnrs.fr http://www.cnrs.fr
SUPELEC Jean-Michel Le Roux + 33 1 69 85 12 55 jean-michel.leroux@supelec.fr http://www.supelec.fr
ECOLE CENTRALE DE PARIS Charlotte Engrand + 33 1 41 13 16 42 charlotte.engrand@ecp.fr http://www.ecp.fr
INSTITUT TELECOM Nunzio Santoro + 33 1 60 76 41 88 Nunzio.Santoro@it-sudparis.eu http://www.telecom-paristech.fr
ECOLE POLYTECHNIQUE Sylvie Tonda-Goldstein + 33 1 69 33 40 11 sylvie.tonda@polytechnique.edu http://www.polytechnique.fr
UNIVERSITE PARIS SUD XI Tania Di Gioia + 33 1 69 15 37 20 tania.di-gioia@u-psud.fr http://www.u-psud.fr
ENS CACHAN Christian Hamon + 33 1 47 40 27 48 chhamon@ens-cachan.fr http://www.ens-cachan.fr
UNIVERSITé DE VERSAILLES SAINT-QUENTIN Mélanie Guitard + 33 1 39 25 78 51 melanie.guitard@uvsq.fr http://www.uvsq.fr
// Technology Offer //
7•
Technology applicability matrix Bio-health Conception/ Development/ Control
Energy
ARTiMon AUTOTREC
l
BioGuide
l
Securitydefense
Transport
Internet & Communication
Others Robotics
l
l
l
l
l
l
BWebdoc
l
Cell-MPI
l
l
CRISTABLU
l
l
DIAG & DIAGNO CHIP EOFAST
l l
l l
l
l
FLUCTUAT
l
FRAMA-C
l
l
l
GATeL
l
l
l
HOL-TestGen
l
l l
l
l
MobiScope NT2
l l
l
l
l
l
l
PEPS l
SCILAB
l
l
l
l
Easy MSI
l
l
HSIM
l
jMEF
l
SHOOT
l
MIXMOD
l l
Semiconductors, chemistry Education and research Finance Education and research
l
SESAM
l
l
l
l
l
l
UNISIM
l
l
l
3DLocalis
l
l
l
l
ARcure l
Civil engineering machinery l
IRM-TR
l
MIDWAY
l
TOMOX
l
l
l
Video Analysis
l
CRYPTONET
l
l
l
l
l
l
GRAD
l
Monitoring Trees
•8
Consumer electronic l
l
ICI-TV
Networks
l
l
EURITRACK
VARNA
Education and research
l
SEMANTICVOX
Interactions/ Visualisation/ Virtual reality
Education and research
l l
MONOLIX
TCICS
Robotics
l
PharOS
Modelling
l
l
OcamlPro
SDR4all
l
l
Kadeploy3 MIMOptMPC
l l
l // Technology Offer //
// Technology Offer //
9•
Digiteo addresses a variety of problems raised by software conception, development and control. The common target is to make these activities safer, resulting in better quality and even certification of the resulting software, and easier, resulting in a more efficient production process. Digiteo addresses the sames questions when software and hardware tools are applied to systems level.
• 10
// Technology Offer //
CONCEPTION, DEVELOPMENT, CONTROL
// Technology Offer //
11 •
ARTiMon
n
Monitor your Specification
Targeted applications/markets
Model analysis and debugging for complex systems (Simulink, Modelica) l Test of real-time critical systems l Controller synthesis for transport applications, domotics, robotics l Embedded diagnostic l
Monitoring of temporised logic specification
n
Innovation benefits
Ergonomics: ARTiMon formal language is close to natural languages (especially compared to timed automata formalisms) l Universality: ARTiMon can be used in order to analyse models, code, artifacts and also as an embedded controller l Scalability: ARTiMon works whatever the complexity/size of systems is, which makes it a unique tool l Accuracy: ARTiMon handles time thanks to a specific type ensuring exact computation (compared to IEEE754 double type) l Speed: ARTiMon is fast because its algorithms are linear in time l
n
Description
ARTiMon is a tool which analyses on-the-fly a flow of dated observations in order to detect hazards expressed in its formal entry language (a temporised logic). A flow may stem from the instrumentation of a natural object, from the simulation of a model, the execution of a code or a system. ARTiMon can then be used in the design process of complex systems, for model validation, system testing or as an embedded controller. ARTiMon works in variable-step or in fixed-step mode and has no limitation about the length of flow. This is the only tool gathering all those features.
• 12
// Technology Offer //
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact Nicolas Rapin nicolas.rapin@cea.fr Phone: + 33 1 69 08 57 68
// Technology Offer //
13 •
AUTOTREC
Speeds up EMC and antenna tests n
Fast and automated arbitrary wavefront generation for susceptibility tests
Targeted applications/markets
Defense: Testing of material, electronic devices, Electro Magnetic Compatibility and power tests with critical needs for direction control. (e.g., HPM, EMP) l Telecommunications: Emulation of realistic propagation channels for Ultra Wide Band communications l Fast antenna characterization for any R&D involving antenna tests l
n
Innovation benefits
Speed-up factor greater than 10 for antenna characterization with respect to anechoic chambers l Easy generation of any pulsed electromagnetic wavefront, including multiple directions of arrival, with no need for complex sources l Real-time change of direction of arrival of wave with no mechanical displacement l Power-efficient high-intensity field generation l
A directive pulsed wavefront generated by means of a TimeReversal Electromagnetic Chamber (TREC) focusing energy over a device under test.
n
Description
AUTOTREC is the first automatically operated Time-Reversal Electromagnetic Chamber (TREC) facility. This novel technique has been demonstrated to be capable of jointly delivering the main advantages of anechoic and reverberation chambers: deterministic arbitrary wavefronts can be generated with a very high power efficiency for testing purposes.
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact Andrea Cozza andrea.cozza@supelec.fr Phone: + 33 1 69 85 15 77
• 14
// Technology Offer //
// Technology Offer //
15 •
BioGuide
Making the most of the data available in biological public sources
n
Targeted applications/markets
Medical and biological research Biotechnologies l Pharmaceutical companies
A guide to obtain data from biological resources
l l
n
Innovation benefits
Complex queries expressed easily No need to know the data source structures to pose queries l Quick data access to major international biological search engines available (e.g. NCBI Entrez, SRS@EBI, etc.) l Multiple user levels provided: beginner to expert (adjustment of strategies, preferences and sources/entities to be searched) l l
(A) The user query is provided in a graphical manner (B) Alternative paths to find data are generated automatically (C) Results obtained when following each path are displayed
n
Description
BioGuide provides a guide to explore huge volumes of public data. Users express queries in terms of biological entities of interest. The software considers user preferences and a range of search strategies, and fully exploits the complement aspect of biological data.
• 16
// Technology Offer //
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact Sarah Cohen-Boulakia cohen@lri.fr Phone: + 33 1 69 15 32 16 http://www.bioguide-project.net
// Technology Offer //
17 •
BWebdoc
Comparing search algorithms n
A software for analysing and evaluating the segmentation of Web documents
Targeted applications/markets
Search engines, libraries and company intranets Knowledge management l Mobile applications l l
n
Innovation benefits
Web page segmentation Indexing of web page content, links and structure l Calculation of the rating applied to each page as the basis for evaluating the relevance of a page served in response to a search request l l
n
Description
The software is designed to index and search for documents held in standard collections of Web pages, such as TREC and GOV. It compares search algorithms to evaluate information retrieval system performance. Three modules are available: one module index a collection of HTML pages, the second module delivers a collection of blocks from the segmentation process and the third module calculates the scoring of each block and HTMP page thanks to a relevance propagation algorithm.
• 18
// Technology Offer //
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact Bich-Liên Doan Bich-Lien.Doan@supelec.fr Phone: + 33 1 69 85 12 56
// Technology Offer //
19 •
Cell-MPI
The library that accelerates application development for the Cell B.E.
n
Message passing development framework for the Cell processor
Targeted applications/markets
All industries involved in high-performance computing Embedded and/or real-time applications like defense and homeland security l Multimedia: gaming, motion detection, image analysis l Medical applications: imaging, simulation l
n
Innovation benefits
Makes Cell B.E. architecture specificities transparent to reduce application development time and time-to-market, while maintaining architecture benefits l Simplifies the porting of MPI codes to the Cell B.E. l Facilitates the integration with existing C and C++ codes l Provides interoperability with standard libraries including Boost l
High Speed Harris Feature Detection
n
Motion Detection on the Cell B.E.
Description
Cell-MPI is a comprehensive and modern C++ library built around the MPI (Message Passing Interface) model for programming the Cell Broadband EngineTM processors family. It offers the following features: l MPI compliance and intuitive interface l Domain-specific signal and image processing support (including 2D DMA) Cell-MPI makes Cell processor application development as simple as development for conventional parallel systems.
• 20
// Technology Offer //
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact Joel Falcou joel.falcou@lri.fr Phone: +33 1 69 15 66 35 Lionel Lacassagne lionel.lacassagne@cea.fr Phone: + 33 1 69 08 14 52
// Technology Offer //
21 •
CRISTABLU
Advanced production methods for semiconductor crystals
n
Achieving complex patterns in Group III nitride photonic semiconductor crystals
Targeted applications/markets
LEDs Blue and UV lasers l Membrane structures l MicroEMS and NanoEMS l l
n
Innovation benefits
This technology enables the production of: l High aspect ratio vertical patterns l Complex patterns of differing shapes and widths without obvious limitation of hole width reduction l Membrane structures
n
Description
The standard etching processes are not capable of achieving vertical etching with high aspect (depth/width) ratios in Group III nitride photonic semiconductor materials (AIN, GaN, etc.). This new process offers an alternative to the etching process by using a pre-etched substrate on which a vertical nitride layer is deposited using a compliant epitaxy technique. The bidimensional geometry of the substrate is therefore transferred to the nitride layer. This makes it possible to produce photonic crystals with patterns of differing widths and shapes. This method also enables the production of membrane structures for use in photonic and optoelectronic applications.
• 22
// Technology Offer //
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact Sylvain David Sylvain.david1@u-psud.fr Phone: +33 1 69 15 35 76
// Technology Offer //
23 •
DIAG & DIAGNO CHIP Tracking wire defects within the network
n
Embedded diagnosis system to track wire defects
Targeted applications/markets
Transport and space: maintenance and online monitoring of wires in planes, trains, trucks and cars, etc. l Energy and smart grid, infrastructures: detect – localize defects and evaluate the residual lifetime of installed cables and junctions, for maintenance or exchange purposes. l
n
Innovation benefits
Reduced maintenance and immobilization time and costs Improved safety for critical electronic functions l Real time monitoring of wire’s health, complete separation of diagnostic and network under test l Complete integration of diagnostic in the electrical architecture l l
Embedded distributed network diagnostic for automotive applications
n
Description
Wired networks are subject to harsh environmental constraints. Reflectometry based systems are required to detect and localize defects. CEA LIST is studying and prototyping diagnostic methods and systems capable of detecting, locating and characterising faults in wired networks of complex topology. Distributing the diagnostic inside the network provides better coverage and helps solving ambiguities. A dedicated chip will evaluate the diagnostic performances and prove its harmlessness on the network’s useful signals.
• 24
// Technology Offer //
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact Fabrice Auzanneau fabrice.auzanneau@cea.fr Phone: + 33 1 69 08 90 70
// Technology Offer //
25 •
EOFAST
n
Ultrashort and teraherz electrical signal measurement
Targeted applications/markets
Telecommunications: rapid characterisation of electronic and optoelectronics circuits l Safety and materials: high-frequency (THz) characterisation of complex stratified media l Biology: characterisation of biomaterials using THz frequencies with a spatial resolution far below the limit of diffraction l
Electro-optical sampling system for measuring ultrafast electrical signals
n
Innovation benefits
Frequency range from 50 GHz to 2 THz Time resolution: rise time of 460 fs l Measurement system bandwidth of 440 GHz l Dynamic range of 40 dB up to frequencies of 440 GHz l Determination of propagation direction. Propagation direction is determined by comparing the system response time using two different electrooptical sensor operating modes. This technique therefore offers a very promising route to identifying clutter created by impedance mismatches inherent in electronic circuits operating at very high frequencies l 3D electric field mapping with a spatial resolution of 30 µm. The electrooptical measurement sensor can be moved in all three dimensions with micrometric precision l l
n
Description
The evolution of electrical signals over time is currently visualised using oscilloscopes, the fastest of which have bandwidth of around 110 GHz. The problem is that the fastest electronic components achieve frequencies of many hundreds of GHz, and therefore require the use of equipment with higher bandwidth. The electro-optical measurement system uses both electronics and optics to measure electrical signals with a bandwidth in excess of 440 GHz, i.e. a time resolution in the order of one picosecond. This metrology tool is therefore well-placed to replace the oscilloscope and enables to characterise electronic circuits. It can also be used to determine the signal propagation direction, and therefore identify the presence of clutter. In addition to its, With the opportunity it offers to view the phase and amplitude of electric fields in the THz frequency range, the electro-optical measurement system also has applications in a broad range of materials and biomaterials research. • 26
// Technology Offer //
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact Juliette Mangeney Juliette.mangeney@u-psud.fr Phone: + 33 1 69 15 75 50
// Technology Offer //
27 •
FLUCTUAT
Verifying numerical programs n
FLUCTUAT is particularly relevant for the analysis of safety-critical systems: l Aerospace. l Nuclear. l Automotive.
Static Analysis of finite precision computations
n
l
l
CEA / Stroppa
n
Targeted applications/markets
Description
FLUCTUAT is a static analyzer for numerical programs. It proves the good behaviour of programmes using finite precision numbers, compared to their behaviour in real numbers. It identifies the source of rounding errors in the program, and analyses sensitivity to uncertainties on input data.
Innovation benefits
Software bugs occurring in critical industrial systems can cause lifethreatening or costly errors. The ability to use automated tools capable of proving either the absence of such bugs, or identifying their origin, is therefore crucial for those industries. FLUCTUAT analyses programs written in C or Ada. It provides proof of correction at system certification, or early stage detection of bugs during application development. Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact Sylvie Putot Sylvie.Putot@cea.fr Phone: + 33 1 69 08 65 01
• 28
// Technology Offer //
// Technology Offer //
29 •
FRAMA-C C code analysers
n
Formal verification of critical software
Validation and certification of critical embedded code Aerospace: the existing DO-178B and future DO-178C standards l Transport & Energy: smart grid safety and security l Security and defence: confidentiality and integrity analysis l l
n
l
l
n
Description
Frama-C is an open software platform for analysing the source code of programmes written in the C programming language. Its modular architecture is designed to enable the integration and collaboration of a range of different analytical modules (e.g. analysis on the basis of programme proof, abstract interpretation, slicing, etc.). Frama-C offers syntax-based analysis of source code and an internal generic representation of the programme analysed. The current distribution version also contains a set of analysers (with the focus on pointer analysis) and a computer language (ACSL) enabling the expression of assertions for the programme analysed. The add-on modules use these pre-existing functionalities to add their own individual added value to the overall package. • 30
// Technology Offer //
Targeted applications/markets
Innovation benefits Frama-C is offered as an open source programme to maximise distribution. It provides a set of standards for eliminating ambiguities in the C programming language, as well as programme representation and ACSL. Already adopted by several academic and industrial research laboratories, it enables the rapid construction of a comprehensive analyser on the basis of a new algorithm, and provides the components required to assemble a solution that combines multiple analytical techniques. Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact Loïc Correnson loic.correnson@cea.fr http://frama-c.com Claude Marché Claude.marche@inria.fr
// Technology Offer //
31 •
GATeL
n
Critical software validation and verification
Targeted applications/markets
Aerospace Automotive and transport l Nuclear l l
Validation environnment for critical reactive programmes
n
l
l
n
Innovation benefits Critical systems must meet very strict operating safety standards, and for complex software systems, the cost of qualification represents the largest proportion of the total development cost. GATeL automates some validation/verification tasks to deliver improved control of cost and complexity. GATeL is used in the design phase to support detailed specification animation/debugging, and in the validation phase to develop test strategies and generate the corresponding test sequences.
GATeL is the outcome of a collaborative project shared by CEA LIST and LRI, and, thanks to Digiteo’s support, was the subject of a Collaborative Technology Transfer Readiness (OMTE) programme.
Description
GATeL is a software tool for the analysis of reactive programme models. GATeL uses synchronous models of a programme and its environment to conduct the following verifications: l Random or step-by-step simulation compliant with an environment l Support for the definition of structural and functional test goals l Generation of test sequences to achieve these test goals l Conformance checking with respect to a safety property
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact Bruno Marre bruno.marre@cea.fr Phone: + 33 1 69 08 45 43
The models used by GATeL are written in SCADE and/or LUSTRE in order to comply with the industrial standards applying to the critical reactive systems sector.
• 32
// Technology Offer //
// Technology Offer //
33 •
HOL-TestGen
Make your system test easier and faster n
Test modelling and generation environment
l l
n
Targeted applications/markets Any industry concerned with mission-critical or safety-critical systems Any application for which for more formal verification techniques would be too costly or non-applicable (e.g. legacy systems for which code is no longer available)
Innovation benefits
Offered in conjunction with our expertise, this tool offers: l Lower test phase costs l Improved system reliability
n
l
l
l
Description Automated model-based (black box) test generating tool Software developed essentially in SML based on Isabelle/HOL. HOL is the language used for test modelling and specification However, the test subsystem may be written in any language whatsoever
• 34
// Technology Offer //
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact Burkhart Wolff wolff@lri.fr Phone: + 33 1 72 92 59 78
// Technology Offer //
35 •
Kadeploy3
Large-scale and multi-site deployment tools n
Custer deployment system
l l
n
Targeted applications/markets The Grid’5000 platform Academic and industrial data centers using clusters
Innovation benefits
Large-scale and multi-site deployment (several thousands of nodes that belong to a grid) l Efficient, reliable and extremely flexible deployment process l Support for a broad range of systems (Linux, Xen,*BSD, etc.) l Two command interfaces: • command-line based synchronous interface • asynchronous interface for integration with an high level API l Simplified software distribution in packaged form l
n
Description
Kadeploy 3 is a complete rewrite of the Kadeploy 2 system initially developed at IMAG. The design has been entirely reworked in order to achieve an additional order of magnitude: Kadeploy 3 is built around dedicated large-scale tools. Since the deployment process operates at low level, particular attention has been paid to the detection of incidents that could prove critical in the deployment of large numbers of nodes. Kadeploy 3 also offers users the flexibility required to personalise deployments and therefore address all their reconfiguration needs in full.
• 36
// Technology Offer //
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact Janet Bertot Janet.Bertot@inria.fr Emmanuel Jeanvoine Emmanuel.Jeanvoine@inria.fr
// Technology Offer //
37 •
MIMOptMPC
An efficient MATLABTM toolbox for robustification of multivariable predictive control
Robust multivariable MPC Computer Aided Control System Design
n
Targeted applications/markets
All possible areas of trajectory tracking: l Control of trajectory tracking applications including aspects of robustness and disturbances rejection (in particular Robust MPC) n
Innovation benefits
Improves the robustness of existing MPC controllers towards unstructured uncertainties, while satisfying the performance criteria for the disturbances rejection l Enables time-domain and frequency domain simulations even on mismatched systems (synthesis model different from the simulation model) l Provides visualisation facilities allowing relevant comparisons, while being a helpful solution for non-specialist users and also for researchers l
n
Description
MIMOptMPC is a MATLABTM toolbox that enables design of multivariable Model Predictive Control (MPC) laws, and robustification of MPC controllers under unstructured uncertainties while respecting time-domain templates for disturbances rejection. The software includes time-domain and frequency domain analysis of the results. MIMOptMPC provides user support through a graphical interface enabling a simplified selection of tuning parameters.
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact Didier Dumur didier.dumur@supelec.fr Phone: + 33 1 69 85 13 75
Cristina Stoica cristina.stoica@supelec.fr Phone: + 33 1 69 85 13 78
Pedro Rodriguez pedro.rodriguez@supelec.fr Phone: + 33 1 69 85 13 74
• 38
// Technology Offer //
// Technology Offer //
39 •
MobiScope
Effective Analysis of Mobility and Sensor Data
n
Targeted applications/markets
Road safety (naturalistic driving, ADAS evaluation) Urban sensing (pollution/noise/traffic) l Goods tracking (vibration/temperature) l Infrastructure maintenance (road/rail state) l
Spatio-Temporal Data Server for Mobile Sensor Traces
l
n
Innovation benefits
The first system allowing an effective support of data collected by mobile objects l Productivity gain thanks to a high abstraction level and numerous builtin functions l An efficient spatio-temporal query engine l Scalability for large size databases thanks to efficient filters l Strong integration with legacy DBMSs and SQL Language l Additional services for data integration and dynamic map visualisation l
n
Description
MobiScope is a data server specially designed for the emerging applications of mobile sensing through mobile objects. It implements a model view of mobile sensor traces, allowing a wide capability of data analysis. It scales with the data size by using novel indexes.
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact Karine Zeitouni Karine.Zeitouni@uvsq.fr Phone: + 33 1 39 25 40 46
• 40
// Technology Offer //
// Technology Offer //
41 •
NT2
Numerical Template Toolbox n
Multi-platform high-performance C++ library
Targeted applications/markets
Simulation, high-volume scientific computation Industrial automation, embedded control l Multimedia, computer graphics l l
n
Innovation benefits
Semi-automatic conversion between MATLAB prototype software and optimized multi-processor C++ run-time code l Performance optimization through parallel implementation specifically geared towards the most popular multicore hardware platforms l Automatic support for common modern desktop processors including: OpenMP support for multi-cores, cache management, etc. l Development environment available for several operating systems l
Abstract System Layer
n
Abstract Meta-programming Layer
Description
NT2 is a C++ library focusing on the development of high-performance scientific calculations in a high-level and expressive way. It allows for semi-automatic parallel implementations on numerous hardware platforms (multicore, multinode, GPU, etc.). NT2’s application programming interface is very similar to the MATLAB environment which means that existing prototype software may be converted into optimized run-time code in a fast and efficient manner.
• 42
// Technology Offer //
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact Joel Falcou joel.falcou@lri.fr Phone: + 33 1 69 15 66 35
// Technology Offer //
43 •
OCamlPro
OCaml Development Environment n
A Development Suite for the Objective-Caml Programming Language
Targeted applications/markets
Software test/verification tools Domain Specific Languages (DSL) l Critical industrial markets (aerospace, nuclear, automotive) l Fast prototyping of complex software l l
n
Innovation benefits
Optimized implementation geared towards demanding industrial applications. l Ideal for the design of development/test tools for the embedded market. l Meets the stringent requirements of critical industrial applications (finance, web transactions, verification tools, mathematical analysis, etc.) l
n
Description
OcamlPro is a development suite for the Objective-Caml (Ocaml) programming language, one of the most powerful statically typed functional languages, already used in numerous industrial environments, in particular critical software and software verification tools. Programmes developed with OcamlPro benefit from all the advantages of the Ocaml language, plus a number of additional tools developed to speed-up development, to ensure software quality and to produce efficient executables. Many libraries are also provided for most common programming needs.
• 44
// Technology Offer //
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact Fabrice Le Fessant fabrice.le_fessant@inria.fr Phone: + 33 1 74 85 42 14 www.ocamlpro.com
// Technology Offer //
45 •
PEPS
Accelerated embedded signal processing n
An optimized parallel architecture plaform for signal processing
Targeted applications/markets
Mobile telephony and mobile devices Autonomous intelligent cameras l Embedded vision systems in robotics and space applications l l
n
Innovation benefits
Minimum silicon cost for high resolution video processing Low power consumption (typically less than 1 Watt) l Rapid specialisation for specific application requirements l Programmable for easy application development l l
n
Description
The PEPS platform enables the quick design of embedded computing architectures for signal processing applications subject to very tight silicon budget and energy consumption constraints. The resulting architectures combine the performance delivered by massive parallelism with the flexibility made possible by programming: unscheduled algorithm developments do not require the costly circuit redesigns typical of dedicated ASICs.
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact StĂŠphane Guyetant stephane.guyetant@cea.fr Phone: + 33 1 69 08 93 72
PEPS therefore addresses highly competitive applications like mobile phones, and those subject to the very strict embeddability constraints, typically seen in the space industry.
• 46
// Technology Offer //
// Technology Offer //
47 •
PharOS
n
Conciliating operational safety with performances
Targeted applications/markets
Real-time I&C embedded systems Systems where software integration/implementation and safety are key issues l Automotive industry l Incubation of a new CEA LIST start-up, targeting the software tool suite development and commercialization, allowing PharOS technology integration in the industrial process. l l
Safety oriented development environment
n
Innovation benefits
Development lead time: real time behaviour control, system-level approach integrated in the tools, degraded mode tests l Operational safety: compliance with safety needs, error confinement, ability to manage degraded modes and availability l Performance: more functions integrated per CPU, optimized management of processing (multi-core support) l Costs: less HW, more applications per ECU, correct-by-construction design with integrated tool chain & kernel l Award: PharOS technology was awarded the Electron d’Or as best “Software tool” of the year 2010 by the French monthly magazine “ElectroniqueS” l
n
Description
The CEA LIST technological answer for automotive applications is PharOS, developed in partnership with Delphi. PharOS combines a safety-oriented real-time kernel with an associated compilation tool chain for embedded applications, enabling the functional design of applications in terms of real-time tasks (including degraded modes). The tool suite ensures their accurate, safe implementation and execution using innovative protection and error confinement mechanisms.
• 48
// Technology Offer //
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact Christophe Aussaguès christophe.aussagues@cea.fr Phone: + 33 1 69 08 90 60
// Technology Offer //
49 •
SCILAB
n
Free software for numerical computation and simulation
A powerful computing tool for engineers and scientists
Targeted applications/markets
Automotive l Aerospace l Energy l Research l Education All industries involved in numerical computation and simulation. l
n
Innovation benefits
An open-source platform Professional quality l Includes the very latest research spin-offs l l
Coming from INRIA research, Scilab responds to the need for a professional-quality open source software package with applications in an area essential for future expertise, industrial and economic development. It is distributed under CeCILL license.
n
Description
Scilab is free open-source software for numerical computation and simulation. It provides a powerful environment for developing scientific and engineering applications. Scilab implements more than 1,700 functions as well as substantial (2-D and 3-D) graphic functionality.
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact mktg.dpt@scilab.org Phone: + 33 1 39 63 55 11 www.scilab.org
It comes with a large number of “industry-specific” extensions and the Xcos dynamic systems graphic simulator.
• 50
// Technology Offer //
// Technology Offer //
51 •
SDR4all
Enables easier wireless communication protocols development
Software Defined Radio for research, education and industrial applications
n
Targeted applications/markets
Engineering graduate schools and universities Telecoms companies and all companies using proprietary protocols l Research institutes l l
n
Innovation benefits
Physical layer wireless transmissions between laptops Plug-and-play operation with USB radio sticks l The ability to test algorithms under conditions very similar to actual product constraints l High-level programming language l Software-driven reconfiguration l l
n
Description
SDR4all (Software Defined Radio for All) is based on the concept of software defined radio (SDR), which consists in applying reconfigurable digital processing as closely as possible to the radio antenna. SDR4all enables to build smart wireless devices through the implementation of algorithms that can be tested with real transmission channels using the same hardware architecture. The central concept is to enable industrials, students and researchers, to test their algorithm concepts under real conditions, whilst retaining a high-level signal processing programming language (MatlabTM, Octave, SciLab,…). The goal is to reduce the gap between theory and simulation, and get as close as possible to real product constraints.
• 52
// Technology Offer //
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact Mérouane Debbah Merouane.debbah@supelec.fr www.sdr4all.org
// Technology Offer //
53 •
SHOOT
Fast optimization for control problems n
Shooting method for optimal control
l l
n
Targeted applications/markets Optimal control for dynamical systems Trajectory optimization for rockets, satellites, etc.
Innovation benefits
Addresses complex structures (switching times, multiple phases, state constraints and singular arcs) l A fast and accurate method that can be used on a standard PC l Includes a continuation approach for an easier initialization l Can handle approximate models (tables) l
n
Description
This software is dedicated to the numerical resolution of optimal control problems for dynamical systems (vehicles, robots, chemical reactors, etc.). The method can handle solutions with a complex structure: switching times, multiple phases, state constraints and singular arcs. This software has also been adapted for realistic applications, with special emphasis on non-analytical physical models (e.g. interpolation tables).
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact Pierre Martinon pierre.martinon@inria.fr
The software has been used to optimize trajectories for space launchers (Ariane 5).
• 54
// Technology Offer //
// Technology Offer //
55 •
Modelling (based on a precise understanding of physical mechanisms) and numerical simulation are bound to play a strategic role in the design and evaluation of systems. Increasingly often, simulation indeed replaces actual testing on real systems or plays a key role in the optimization of qualification plans, based on «smart» experiments. Numerical simulation applies to virtually all industries where economic competitiveness is closely linked to the duration of the design/development cycles, to risk management and to the reduction of environmental impact, this diversity is reflected in this offer.
• 56
// Technology Offer //
MODELLING
// Technology Offer //
57 •
Easy MSI
n
Computerized analysis of Mass Spectrometry Images
Targeted applications/markets
Health/biology research and pharmaceutics industry for biomarker discovery, disease diagnosis, clinical tests l Semiconductor and material industry l Chemistry: paints, coatings, polymers, museums, environment, food l
Assistance for the interpretation of mass spectrometry images
n
Innovation benefits
Time efficient solution compared to manual interpretation Quality and accuracy of the automated treatment compared to basic visualisation tools l Compatible with any MSI-TOF equipment because it handles the imzML data format standard l Several clustering methods included to bring out the different zones of the image l Diagnosis assistance: registration of images from complementary imaging technologies, interrogation of biological databases l l
n
Description
Easy MSI is the user friendly software to view and interpret mass spectrometry (MS) images. It offers various tools to bring out automatically the important information lying in MS images: detection of interesting peaks, pixel or mass clustering. Moreover Easy MSI is able to register images from several technologies, and to handle connection to biological databases for molecule identification.
• 58
// Technology Offer //
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact Marie-France Robbe marie-france.robbe@cea.fr Phone: + 33 1 69 08 87 49 www.computis.org www.maldi-msi.org
// Technology Offer //
59 •
HSIM
Virtual bacterium simulator n
Modelling and simulation system for the dynamics of large molecular assemblies
l l
n
Targeted applications/markets Biological research and teaching Biotechnology
Innovation benefits
Entity-centric based simulations that can take into account the effects of low concentrations of certain reagents l 3D localisation of molecules and assemblies that allow for the emergence of properties resulting from local concentrations l Extensive diversity of models addressed l Highly efficient system through parallelisation l
n
Description
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact HSIM is a simulation system of biological processes described using a model based on probabilistic rewriting rules that mimic biochemical reactions. The software implements a virtual bacterium in which molecules (proteins, metabolites, etc.) interact according to the biochemical reaction rules contained in the model, which represents molecule/molecule or molecule/membrane interactions.
Patrick Amar pa@lri.fr Phone: + 33 1 69 15 66 22
Objects handled by the simulator are membrane and cytosolic molecules, as well as linear, helicoidal and random assemblies. • 60
// Technology Offer //
// Technology Offer //
61 •
jMEF
Library of mixture models n
Management of statistical mixture models
Targeted applications/markets
Statistical processing of signals and images Medical imaging l Scientific calculation l Monte Carlo Simulation l l
n
Innovation benefits
Creation and management of exponential family mixtures Simplification of statistical mixtures l Hierarchical representation of statistical mixtures l High-performance algorithms and data structures l Multi-platform Java library l l
n
Description
Mixture models (e.g. Gaussian mixture models) are valuable tools and are widely used to estimate statistical measurements. jMEF is a Java library used to create and manage mixtures of exponential families (Gaussian, Poisson, Laplace, binomial, etc.). More specifically, jMEF enables rapid simplification of such mixtures and generates a hierarchical representation of them.
• 62
// Technology Offer //
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact Frank Nielsen nielsen@lix.polytechnique.fr Phone: + 33 1 69 33 40 89 www.informationgeometry.org/MEF/ www.lix.polytechnique.fr/~nielsen/MEF
// Technology Offer //
63 •
MIXMOD
Software implementing mixture models for data classification
n
Targeted applications/markets
All sectors using data classification, including: Finance l Biology l Shape recognition l Epidemiology
Data classification software (and computational library)
l
n
Innovation benefits
Quantitative and qualitative data processing Robust classification and class characterisation l Processing of complex situations (large size, large data sets, etc.) l High-speed computation l GNU GPL licence for research and open source projects, and owner licence for library integration l l
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact n
Description
MIXMOD is a non-supervised (clustering) and supervised (discriminant analysis) computational library and classification software package using mixture models recognised for their adaptability and power.
Gilles Celeux Gilles.celeux@inria.fr Phone: + 33 1 69 15 57 77 www.mixmod.org
MIXMOD offers a broad palette of models, algorithms and selection criteria for processing qualitative and quantitative data, even in complex situations. • 64
// Technology Offer //
// Technology Offer //
65 •
MONOLIX
Population pharmacology modelling n
MONOLIX PKPD (pharmacokinetic/pharmacodynamic) modelling software
Targeted applications/markets
Pharmaceutical industry Academic users l Regulatory authorities (FDA, EMEA, AFSSAPS, etc.) l l
n
Innovation benefits
High-performance, flexible, user-friendly PKPD modelling A graphic interface acclaimed by users l MONOLIX sets the benchmark for population pharmacology modelling l
A mathematical model of of HIV dynamics under treatment
l
HIV infection and the action of antiretrovirals
Modeling of the viral load and CD4 count in three patients with MONOLIX
n
Description
MONOLIX is a PKPD (pharmacokinetic/pharmacodynamic) modelling software package using very advanced statistical methodologies. This software uses recently developed stochastic algorithms. These are the most effective algorithms for pharmacometric modelling in terms not only of speed and quality of results, but also in terms of the broad range of models they can handle. The originality of our project and our lead over competitors are the result of the multiplicity of skills offered by our team in areas such as statistics, pharmacometrics, algorithmic and informatics technology. • 66
// Technology Offer //
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact Marc Lavielle marc.lavielle@inria.fr Phone: + 33 1 69 15 57 43
France Mentré france.mentre@inserm.fr
Elisabeth Gassiat elisabeth.gassiat@math.u-psud.fr
// Technology Offer //
67 •
SemanticVox Video search
n
Public and private research network Digital asset management l Surveillance and intelligence
Cross-lingual video search engine
l l
English
Search results
Targeted applications/markets
n
Innovation benefits
The ability to process the multimedia information contained in videos (speech, images and structure) l The ability to search for multilingual videos l The ability to view the video content identified (speech transcription, key images, etc.) l The ability to navigate within the video structure (e.g. in TV reportbased magazine programming) l
Arabic
n
French
Description
SemanticVox is designed to provide a linking standard between the multilingual speech transcription technologies marketed by VECSYS (Limsi/ CNRS - Vecsys Research licences) and the multilingual text and video indexing and search technologies of CEA/LIST. The demonstrator enables the most relevant videos from a multilingual body of recordings to be searched on the basis of a plain speech request in multiple languages (English, Arabic and French). The search results are presented and structured in such a way as to deliver rapid comprehension of response content (in terms of text and images) and the ability to link directly to the videos identified.
• 68
// Technology Offer //
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact Bertrand Delezoide bertrand.delezoide@cea.fr Phone : + 33 1 46 54 86 53 Bernard Prouts bprouts@vecsys.fr Phone : + 33 1 69 29 87 90
// Technology Offer //
69 •
SESAM
n
Automatic exploration and simulation environment of MPSoCs
An MPSoC simulation environment
Targeted applications/markets
Exploration and sizing of multiprocessor architectures l Virtual platform for embedded software design and validation l Co-simulation environment and design of MPSoC architectures l
n
Innovation benefits
The opportunity to model different multiprocessor architectures on the basis of a comprehensive component library (models of processors, memory structures, networks, etc.). l Automation of exploratory phases by the use of configuration scripts and distributed multi-cluster simulation. l Rapid simulation (1-10 million simulated instructions per second) at a functional level thanks to the use of a time approximation method. The simulation time is between 10 and 100 times faster than with standard solutions (Timed TLM or RTL). l Application debugging in a highly dynamic execution environment (based on GNU Gdb). l Software/hardware co-simulation as a result of compatibility with commercially-available tools like Modelsim (Mentor Graphics). l
n
Description
SESAM is a complete MPSoC simulation framework that allows a rapid and accurate evaluation at the earliest possible stage in the development process. The CEA LIST has developed this framework to help the design of new MPSoCs, explore and size alternative architectural options. By offering a technology that enables precise evaluation of performance at the functional level, CEA LIST has created a high-performance resource for the exploration of innovative embedded architectures.
• 70
// Technology Offer //
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact Nicolas Ventroux Nicolas.ventroux@cea.fr Phone: + 33 1 69 08 55 43
// Technology Offer //
71 •
TCICS
Improves Non destructive Control n
Targeted applications/markets
Aeronautics: Non destructive control of components like aeroengine blades l Automotive: All mechanical components control (exhaust collector,…) l Microstructural and mechanical characterization and modeling of biomaterials
Tomography, Image Correlation and Structural Calculation
l
n
Innovation benefits
This method does not require a priori description of position of the sought defects l It can work on arbitrary number of e.g. macro and micro cracks l It permits to describe crack tip positions at sub-voxel levels, and stress intensity factors, crack propagation laws, fracture parameters l It can also be used to detect constant or spatially varying mechanical properties (like parameters for a constitutive law, contrast of Young’s moduli…) l
n
Description
The technology permits to detect different kinds of defects (cracks, damage...) or mechanical properties inside physical components, using tomographies of pictures of the parts under different loading states. Thanks to the accuracy of this method, the results can be directly used in structural computation softwares to predict e.g. the residual lifetime.
• 72
// Technology Offer //
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact Hugo Leclerc leclerc@lmt.ens-cachan.fr Phone: + 33 1 47 40 23 40
// Technology Offer //
73 •
UNISIM Virtual Platforms Early Hardware/Software integration, debugging and testing
n
Automotive l Space and Avionic l Industrial Application l Consumer Electronic l Military Application l Silicon Founders l
HW/SW Modeling, Conception and Validation
n
Simulated targets: ARM, PowerPC, Star12X, and TMS320C3X.
n
Targeted applications/markets
Innovation benefits
Most UNISIM virtual platforms are sufficiently representative of the real hardware that whole operating systems (e.g. Linux, VxWorks), unmodified software stacks (e.g. an AUTOSAR software stack), and industrial applications can run on them. Typical use cases are: l Non-intrusive debugging and testing of software: software can be debugged and tested without affecting either its functional and/or temporal behaviour l Early hardware/software integration: software stack can be debugged and tested within a representative hardware environment before the availability of hardware/FPGA
Supported hosts: Linux, Windows, Mac OS X.
Description
UNISIM provides several virtual platforms and a framework to ease the development of new virtual platforms. A virtual platform is a software tool, often called simulator, that mimics the behavior of an electronic system so that software can run on it before silicon or FPGA implementation of that electronic system is available. The simulated electronic system can include lots of microprocessors and devices.
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact Gilles Mouchard gilles.mouchard@cea.fr Phone: + 33 1 69 08 17 87 www.unisim-vp.com Olivier Temam olivier.temam@inria.fr
• 74
// Technology Offer //
// Technology Offer //
75 •
Interaction between humans and machines is one of the areas in computer science that has evolved a lot these last years. Progresses and innovations are mainly due to increases in computer power and technology of sensor devices and interactive software. It is also the result of new ways of considering the interaction with computers and the role of computers in everyday life. It is indeed increasingly mandatory to understand how humans perceive these technological environments and interact with them but it is also necessary to validate the technological solutions mediating these interactions with end users, which is the objective reached by the technologies described inside the booklet.
• 76
// Technology Offer //
INTERACTIONS, VISUALISATION AND VIRTUAL REALITY
// Technology Offer //
77 •
3DLocalis
Vision systems for localisation applications n
Targeted applications/markets
3DLocalis is relevant for cross domain Augmented Reality application for localisation and navigation. Main domains are: l Transport l Security and defence l Industrial maintenance and training aids l Navigation aids and entertainment
Video Localisation
n
Innovation benefits
Real-time 3D localisation Precise indoor and outdoor localisation l A solution that delivers greater accuracy than existing systems l A solution that provides position and orientation l l
Localisation in urban environment using a vehicle-mounted camera. Augmented reality as an aid to navigation
n
Description
CEA LIST is developing vision-based localisation solutions for mobile systems. When that camera is carried by a user or mounted on a vehicle, this technology becomes enormously relevant to augmented reality and localisation applications in indoor and outdoor environments. The main disruptive advantages of the technology developed by CEA LIST are the strong reliability of the processing (which is a key factor of success for image processing application), the accuracy of the localisation and the real-time processing by using advanced embedded computing solutions.
• 78
// Technology Offer //
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact Sylvie Naudet-Collette Sylvie.naudet@cea.fr Phone: + 33 1 69 08 82 91
// Technology Offer //
79 •
ARcure
Embedded image processing and shape recognition
n
Pedestrian detection for off-road machinery
Targeted applications/markets
Civil engineering machinery Mining and forestry operations l Handling l Etc. l l
n
Innovation benefits
Recognition of pedestrians or other distinctive objects Reduction in the number and severity of collisions between machinery and pedestrians l Improved site productivity l Accident cause analysis support l l
n
Description
The obstacle detectors currently offered in the market cannot distinguish between a pedestrian and any other object, and are therefore of little effective value in preventing collisions between off-road machinery and pedestrians. The advances made by CEA LIST in embedded image processing and shape recognition now make it possible to detect any pedestrian in the vicinity of a piece of heavy site machinery and in potential danger of being struck by it. The algorithms developed by CEA specifically for industrial applications are capable of distinguishing very reliably between a pedestrian and any other object, even in chaotic surroundings like civil engineering sites and forestry operations. This innovation has formed the basis for the creation of a new company called ARcure. • 80
// Technology Offer //
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact François Gaspard francois.gaspard@cea.fr Phone: + 33 1 69 08 46 84 Patrick Mansuy patrick.mansuy@arcure.net www.arcure.net
// Technology Offer //
81 •
EURITRACK
n
Quickly and safely detects dangerous or fraudulent cargos
Targeted applications/markets
Port authorities and customs are the key markets for this technology. l Major applications are in customs check points (harbours or airports) l
Such technology has been developed in Europe within the EURITRACK project (IST-FP6) and is now ready to be transferred to an industrial partner.
Active neutronic inspection of cargos n
Innovation benefits
Standard X-ray systems can only give an idea of the shape and of the density of the objects but can not fully characterize the chemical elements present inside the container. Several threat materials such as explosives have indeed density very close to benign items and can be prepared in any shape. l The operational system, designed within the EURITRACK European project framework, is the first active neutron system for large items based on small transportable neutron generators with associated-particle trackers. The TNIS allows the chemical composition measurement of the transported goods, in particular light organic compounds constituting explosives and drugs. Customs authorities can use the system to save time during container checking l
n
Description
The Tagged Neutron Inspection System (TNIS) is an innovative tool to investigate the content of large-size closed containers, such as cargo, and to analyze the material composition in defined volumes. Neutron Tag inspection uses spectrum analysis to identify explosives, drugs and illicit goods witch are the mains target for customs, complementary to the classical X-ray imaging. The system is completely non-intrusive, requiring no opening of the container. The software interface is user-friendly for customs operators.
• 82
// Technology Offer //
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact Guillaume Sannie guillaume.sannie@cea.fr Phone: + 33 1 69 08 51 88 Mehdi Gmar mehdi.gmar@cea.fr Phone: + 33 1 69 08 39 45 www.euritrack.org
// Technology Offer //
83 •
ICI-TV
n
Interactive home care support service
Targeted applications/markets
Home care support ISPs (Internet Service Providers) l Consumer goods manufacturers l l
Broadcasting of interactive content for the elderly
n
Innovation benefits
Enables information and data to be shared between the target audience, their friends and family and the various points of contact and parties responsible for home care provision l Facilitates homecare by offering elderly people a personalised multimedia support system that allows them to play an active role in maintaining their own health l Delays the need for hospitalisation or specialist infrastructures through the use of innovative technologies to underpin the continuity of normal life for elderly people living in their own homes l
This product will be marketed directly to the general public.
n
Partnership agreements with ISPs and consumer goods manufacturers will enable the package to be distributed more widely by being included in their ranges.
Description
This project consists in broadcasting interactive home care support content to the domestic TVs of elderly viewers. This content is shared between the viewers themselves, their friends and family and professional home care providers. The ICI-TV project tests and validates the building blocks of the communication structure linking elderly viewers with their friends and families. A pilot deployment is now underway in 150 French homes.
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact Antoine Vialle antoine.vialle@avizen.fr Phone: + 33 6 80 32 22 51 www.avizen.fr
The service will be marketed commercially by the AVIZEN start-up company.
• 84
// Technology Offer //
// Technology Offer //
85 •
IRM-TR
Accelerating post-processing for faster diagnosis assistance
n
Real-time Magnetic Resonance Imaging
Targeted applications/markets
Neuroscience research Hospitals and clinics l Medical imaging device manufacturers l l
n
Innovation benefits
Faster clinical diagnosis Improved patient comfort l Reduction/optimisation of scan times l Improved imaging system availability, efficiency and profitability l l
n
Description
IRM-TR offers an on-site intensive computing architecture capable of processing MRI images in real time as the patient is scanned, and the ability to modify data acquisition parameters during the scan in response to computed outcomes. IRM-TR introduces the possibility of real-time exploration of brain scans through direct interaction with applied stimuli and acquisition parameters (brain/machine interactions). The technology developed for IRM-TR can easily be transposed to other imaging modalities (CT, PET, SPECT, etc).
• 86
// Technology Offer //
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact Fabrice Poupon fabrice.poupon@cea.fr Phone: +33 1 69 08 90 04
Ghislaine Dehaene-Lambertz ghislaine.dehaene-lambertz@cea.fr
Bertrand Thirion bertrand.thirion@inria.fr
// Technology Offer //
87 •
MIDWAY
Differential MRI analysis for tumors growth quantification
Diagnosis of dynamic growth of brain tumors Images without normalisation
n
l
n
Targeted applications/markets Quantification of slow brain tumors evolution (lowgrade glioma) by neurosurgeons and neuroradiologists
Innovation benefits
Automatic extraction of brain tumor growth Adaptation of the method to patient’s intrinsic data l Detecting millimetric growth of slow-evolving brain tumors l Unique solution l l
Normalisation of intensities MIDWAY
Possible comparison of images by calculating their difference map and extracting tumor regions of growth by statistical estimators. n
Description
The novelty of the invention is based on calculating a difference map between two “normalized” longitudinal (MRI Magnetic Resonance Imaging) exams followed by statistical estimators of significant difference locations to extract the area of tumoral growth in a reliable and robust manner. l The relevance of the scientific method relies on: 1. Non-linear normalization of grey levels between 2 longitudinal MRI exams for calibrating the values of their intensities – MIDWAY mapping 2. Difference map processing between MRI exams 3. Extraction of tumor region growth by statistical estimators of « significant » differences.
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
l
• 88
// Technology Offer //
Contact Elsa Angelini elsa.angelini@telecom-paristech.fr Phone: + 33 1 45 81 78 90
// Technology Offer //
89 •
TOMOX
n
X-ray tomography
Targeted applications/markets
Characterisation of the physical and morphological properties of samples in many different industry sectors: l Energy (electrolysers, fuel cells, materials of the future, etc.) l Transport (energy-absorbing foams, combustion, etc.) l Materials sciences (materials that are porous, fibrous, woven, etc.)
New techniques in tomography reconstruction
n
Innovation benefits
This innovation is being developed out of a combination of the latest advances in technology and algorithms. In terms of hardware, these advances are based on micro- and nano-focus sources delivering micron and sub-micron resolutions. The software component uses algebraic and iterative methods to link the segmentation phase with the 3-D image reconstruction phase.
n
The range of potential applications for X-ray imaging is huge. The outcomes of this project will include the development of a fully operational imaging system for the benefit of its scientific, academic and/or industrial partner.
Description
X-ray tomography has been used in industry for some years, but its usefulness is driving stronger and stronger demand. Traditional reconstruction techniques are limited to objects that are highly heterogeneous in nature (copper in plastic), have a high aspect ratio (electronic PCBs, etc.) or require high spatial resolution (porous and fibrous materials, etc.). The TOMOX project aims to move beyond these limitations. Distribution to initial users could take the form of a platform involving a range of industrial partners, followed by industrial technology transfer or the creation of a new company.
• 90
// Technology Offer //
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact Alexandre Vabre alexandre.vabre@cea.fr Phone: + 33 1 69 08 50 47 Ali Mohammad-Djafari ali.mohammad-djafari@lss.supelec.fr Phone: + 33 1 69 85 17 41
// Technology Offer //
91 •
VARNA
Easy visualisation of RNA secondary structures n
Cross-platform software for the visualisation and annotation of RNA secondary structures Four RNA secondary structure layouts offered by VARNA
Targeted applications/markets
Biotechnologies and bioinformatics Basic and applied research in structural biology l Education l l
n
Innovation benefits
VARNA is the only RNA secondary structure visualisation software to offer all the following functions: l Website integration or standalone operation l Editing and annotation of structures l Representation of pseudo nodes l Accommodates non-canonical interactions l A very broad range of input, output and export formats l Compatible with all operating systems (Java) n
Description
VARNA provides automatic drawing, visualisation and annotation of the secondary structure of an RNA molecule. Since it is written in Java, it is compatible with all operating systems. VARNA has been designed for extremely simple integration into websites and database managers, but can also be used as a standalone programme. VARNA uses four different drawing algorithms and supports all the standard RNA structure file formats. It enables structures to be annotated and edited either by using the mouse or at command line level. It supports exporting drawings in all the most commonly used image formats.
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact Yann Ponty yann.ponty@lix.polytechnique.fr Phone: + 33 1 69 33 41 12 Alain Denise alain.denise@lri.fr http://varna.lri.fr
• 92
// Technology Offer //
// Technology Offer //
93 •
Video Analysis
Vision system for ensuring security and safety in living spaces
n
Targeted applications/markets
Business premises and home security/safety Home care support for people at risk l Security and safety for businesses (retirement homes, hospitals, etc.) l Smart Home technology: analysis of activity in living spaces in order to minimise energy consumption and maximise comfort
Human activity understanding
l l
n
Innovation benefits
Automatic detection of events for security and safety in living spaces Security and safety of housebound people l Contribution to addressing the needs of an ageing population l Lower incidence and severity of domestic accidents l Lower building energy costs and improved personal comfort for occupants l l
n
Description
This video analysis system developed by the CEA LIST interprets human activity in living spaces. The images generated by the network of cameras installed in homes, multiple occupancy buildings or business premises are analysed automatically in real time to detect human presence and infer the posture of the person concerned (sitting, standing, lying, etc.) and his/her situation relative to the immediate environment (3-D localisation). Data can be used simultaneously to detect risk situations (falls, suspicious immobility, unsupervised child in an environment of risk, etc.), to locate the people present in a given environment and to recognise their activity. Apart from safety and security purposes, data are useful in smart home applications dedicated to building energy efficiency (control of lighting, air conditioning, etc.), while maximising comfort for occupants. • 94
// Technology Offer //
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact Patrick Sayd patrick.sayd@cea.fr Phone: + 33 1 69 08 89 96
// Technology Offer //
95 •
In the networking field, the main purposes of current researches and developments are to increase capacity in order notably to handle new traffics and new services, to improve quality of service in terms of both performance and reliability and to support the ubiquity of a global and generalized mobility (network mobility and multi-homing) while improving security.
• 96
// Technology Offer //
NETWORKS
// Technology Offer //
97 •
CRYPTONET
Make your network safer n
Proactive, self configurable, secure routing protocol for ad hoc networks
Targeted applications/markets
Security and defence Automotive l Industrial networks l l
n
Innovation benefits
CRYPTONET makes it possible to implement authentification mechanisms for ad hoc networks, for which a simple PKI is used. The use of up to date electronic signature algorithms derived from elliptical curves ensures that these encryption operations have a reduced impact on the network and its nodes.
n
CRYPTONET adds a number of security properties to network nodes, including sender authentication and authentication of transmitted message integrity.
Description
CRYPTONET uses the OLSRv2 (Optimized Link State Routing) proactive protocol, which is particularly well adapted for use with the ad hoc networks spontaneously generated by mobile devices communicating over wireless networks. There are already many applications for these ad hoc networks, and the number continues to multiply as processors become smaller, terminals become more diverse and wireless connection resources become allpervading. The introduction of authentification mechanisms is essential to ensure high levels of security at ad hoc network nodes.
• 98
// Technology Offer //
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact Thomas Clausen Thomas@thomasclausen.org Phone: + 33 1 69 33 41 01 Daniel Augot Daniel.Augot@inria.fr Phone: + 33 1 69 33 40 51
// Technology Offer //
99 •
GRAD
Green Connected People n
Targeted applications/markets
Connectivity in poor areas of energy Low cost Connectivity l Connectivity in hostile terrain and dynamic environment (Military, safety, gaming ...)
Disconnection-tolerant ad hoc routing middleware
l l
n
Innovation benefits
Ad hoc or mesh seamless connection Network Simulator for sizing and debug l Mapping of the network topology with link state l API for applications to optimize their resource management l Network Energy Management l Creative Network Gaming (integration of the player’s positioning) l l
n
Description
GRAD offers the possibility to create a mesh or ad hoc connection to a client wishing to join the Internet, a social network or a network game.
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
The client has at his disposal a network topology allowing him to approach his destination with the highest quality of service while consuming minimal energy. GRAD also offers the ability to shut down machines not in operation and this without disrupting the connectivity of the network.
Contact
This product will be marketed by the start-up Green Communications.
Aline Viana aline.viana@inria.fr
• 100
// Technology Offer //
Khaldoun Al Agha alagha@lri.fr Phone: + 33 1 69 15 66 17
// Technology Offer //
101 •
Monitoring Trees
An unambiguous failure localization in WDM networks
n
An innovative and cost-effective technique Demonstartion of the m-trees technology
l
n
Targeted applications/markets Optical telecommunication networks: long distance optical telecommunication
Innovation benefits
Unambiguous failure localization Reducing the total monitoring cost of optical networks l Reducing the power consumption (using a minimum of laser diodes and optical monitors) l Efficient use of network resources yielding a larger number of satisfied connection requests l Reducing the blocking probability due to the wavelength continuity constraint l l
n
l
Description The monitoring trees or m-trees allows to minimize the number of optical channels used for monitoring WDM (Wavelength-Division Multiplexing) networks while ensuring an unambiguous failure localization (failures such as fiber cut or optical amplifier failure). Compared to other solutions, the m-trees technique allows reducing the monitoring cost as well as optimizing the network capacity. For extremely large networks, this approach can be extended by considering multiple trees.
• 102
// Technology Offer //
Patented technology
Demonstrator available
Proof-of-concept established
Innovation deployed
Contact Maurice Gagnaire maurice.gagnaire@telecom-paristech.fr Phone: + 33 1 45 81 74 11
// Technology Offer //
103 •
Index
• 104
3DLocalis
P. 78-79
Kadeploy3
P. 36-37
ARcure
P. 80-81
MIDWAY
P. 88-89
ARTiMon
P. 12-13
MIMOptMPC
P. 38-39
AUTOTREC
P. 14-15
MIXMOD
P. 64-65
BioGuide
P. 16-17
MobiScope
P. 40-41
BWebdoc
P. 18-19
Monitoring Trees
Cell-MPI
P. 20-21
MONOLIX
P. 66-67
CRISTABLU
P. 22-23
NT2
P. 42-43
CRYPTONET
P. 98-99
OCamlPro
P. 44-45
DIAG & DIAGNO CHIP
P. 24-25
PEPS
P. 46-47
Easy MSI
P. 58-59
PharOS
P. 48-49
EOFAST
P. 26-27
SCILAB
P. 50-51
EURITRACK
P. 82-83
SDR4all
P. 52-53
FLUCTUAT
P. 28-29
SemanticVox
P. 68-69
FRAMA-C
P. 30-31
SESAM
P. 70-71
GATeL
P. 32-33
SHOOT
P. 54-55
GRAD
P. 100-101
TCICS
P. 72-73
P. 102-103
HOL-TestGen
P. 34-35
TOMOX
P. 90-91
HSIM
P. 60-61
UNISIM
P. 74-75
ICI-TV
P. 84-85
VARNA
P. 92-93
IRM-TR
P. 86-87
Video Analysis
P. 94-95
jMEF
P. 62-63
// Technology Offer //
// Technology Offer //
105 •
Digiteo: Les Algorithmes – Bâtiment Euripide Route de l’Orme des Merisiers – 91190 Saint Aubin Project management: Sophie Palès/ Kafui Médessou Photo credits: CEA LIST, Delphi, Ecole centrale Paris, Ecole Polytechnique, Digiteo, LRI, Scilab, CEA, NeuroSpin, INRIA, Nvidia, Sony, Supélec, Université Paris-Sud 11, Université de Versailles Saint-Quentin-en-Yvelines Graphic design: W « double v » – Writing Elisabeth Benoualid – February 2011 Digiteo thanks everyone who contributed to the preparation of this document
• 106
// Technology Offer //
W “double v” - Siret 404 209 181 00019 - Tél. 03 20 78 18 71 - Crédit photos Istockphoto - Digiteo - February 11.
Les Algorithmes - Bâtiment Euripide Route de l’Orme des Merisiers F-91190 Saint-Aubin
Phone: + 33 1 69 33 21 62 Fax: + 33 1 60 11 08 58 communication@digiteo.fr www.digiteo.fr