Top Banner
Some of Digiteo’s innovative technologies
55
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: Digiteo technology offer

Some of Digiteo’sinnovative technologies

Page 2: Digiteo technology offer

3 •// Technology Offer //

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

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

HOL-TestGen P. 34-35

Kadeploy3 P. 36-37

MIMOptMPC P. 38-39

MobiScope P. 40-41

NT2 P. 42-43

OCamlPro P. 44-45

PEPS P. 46-47

PharOS P. 48-49

SCILAB P. 50-51

SDR4all P. 52-53

SHOOT P. 54-55

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

CHAPTER III: INTERACTIONS, VISUALISATION AND VIRTUAL REALITY P. 76-77

3DLocalis P. 78-79

ARcure P. 80-81

EURITRACK P. 82-83

ICI-TV P. 84-85

IRM-TR P. 86-87

MIDWAY P. 88-89

TOMOX P. 90-91

VARNA P. 92-93

Video Analysis P. 94-95

CHAPTER IV: NETWORKS P. 96-97

CRYPTONET P. 98-99

GRAD P. 100-101

Monitoring Trees P. 102-103

INDEX P. 104-105

Contents

Page 3: Digiteo technology offer

• 4 // Technology Offer // 5 •// Technology Offer //

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

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.

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

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.

Three questions for Digiteo’s director Maurice Robin

Three questions for Françoise Fabre, chair of the Technology Transfer committee

Page 4: Digiteo technology offer

• 6 // Technology Offer // 7 •// Technology Offer //

INRIAAgnès Guerraz+ 33 1 72 92 59 [email protected]://www.inria.fr

SUPELECJean-Michel Le Roux+ 33 1 69 85 12 [email protected]://www.supelec.fr

INSTITUT TELECOMNunzio Santoro+ 33 1 60 76 41 [email protected]://www.telecom-paristech.fr

UNIVERSITE PARIS SUD XITania Di Gioia+ 33 1 69 15 37 [email protected]://www.u-psud.fr

UNIVERSITé DE VERSAILLES SAINT-QUENTINMélanie Guitard+ 33 1 39 25 78 [email protected]://www.uvsq.fr

Technology transfer services:the interface between research and industry

CEA Françoise Fabre+ 33 1 69 08 10 [email protected]://www.cea.fr

CNRSLoïc Bordais+ 33 1 69 82 32 [email protected]://www.cnrs.fr

ECOLE CENTRALE DE PARISCharlotte Engrand+ 33 1 41 13 16 [email protected]://www.ecp.fr

ECOLE POLYTECHNIQUESylvie Tonda-Goldstein+ 33 1 69 33 40 [email protected]://www.polytechnique.fr

ENS CACHANChristian Hamon+ 33 1 47 40 27 [email protected]://www.ens-cachan.fr

Each establishment in the cluster has its own technology transfer department, responsible for negotiat-ing partnership research contracts between laboratories and industrial companies, as well as managing pa-tent 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.

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.

Page 5: Digiteo technology offer

• 8 // Technology Offer // 9 •// Technology Offer //

Bio-health Energy Security- defense Transport Internet &

Communication Others

Conception/ Development/Control

ARTiMon l l l Robotics

AUTOTREC l l l l

BioGuide l

BWebdoc l

Cell-MPI l l l

CRISTABLU l l

DIAG & DIAGNO CHIP l l l l

EOFAST l l l

FLUCTUAT l l

FRAMA-C l l l l

GATeL l l l

HOL-TestGen l

Kadeploy3 l

MIMOptMPC l l l l Robotics

MobiScope l

NT2 l l l

OcamlPro l l l l

PEPS l

PharOS l

SCILAB l l l Education and research

SDR4all l l l Education and research

SHOOT l

Modelling Easy MSI l l Semiconductors, chemistry

HSIM l Education and research

jMEF l l

MIXMOD l Finance

MONOLIX l Education and research

SEMANTICVOX l l

SESAM l l l

TCICS l l l l

UNISIM l l l Consumer electronic

Interactions/ Visualisation/Virtual reality

3DLocalis l l l l

ARcure l Civil engineering machinery

EURITRACK l l

ICI-TV l

IRM-TR l

MIDWAY l

TOMOX l l

VARNA l

Video Analysis l

Networks CRYPTONET l l l

GRAD l l l l

Monitoring Trees l

Technology applicability matrix

Page 6: Digiteo technology offer

• 10 // Technology Offer // 11 •// Technology Offer //

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.

CONCEPTION, DEVELOPMENT, CONTROL

Page 7: Digiteo technology offer

// Technology Offer //

n Description

• 12

Contact

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

13 •// Technology Offer //

Nicolas [email protected]: + 33 1 69 08 57 68

n Targeted applications/markets

n Innovation benefits

l 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 Model analysis and debugging for complex systems (Simulink, Mode-lica)

l Test of real-time critical systemsl Controller synthesis for transport applications, domotics, roboticsl Embedded diagnostic

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 tem-porised logic). A flow may stem from the instrumentation of a natural ob-ject, 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.

Monitoring of temporised logic specification

ARTiMonMonitor your Specification

rgeted appli

Page 8: Digiteo technology offer

// Technology Offer //

n Description

• 14

Contact

n Targeted applications/markets

15 •// Technology Offer //

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

Andrea Cozza [email protected]: + 33 1 69 85 15 77

l Speed-up factor greater than 10 for antenna characterization with res-pect 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-effi cient high-intensity fi eld generation

n Innovation benefi ts

l 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

AUTOTREC is the fi rst automatically operated Time-Reversal Electroma-gnetic Chamber (TREC) facility. This novel technique has been demons-trated 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 effi ciency for testing purposes.

Fast and automated arbitrary wavefront generation for susceptibility tests

AUTOTRECSpeeds up EMC and antenna tests

A directive pulsed wavefront generated by means of a Time-Reversal Electromagnetic Chamber (TREC) focusing energy over a device under test.

Page 9: Digiteo technology offer

// Technology Offer //• 16

Contact

n Targeted applications/markets

17 •// Technology Offer //

n Description

Sarah [email protected]: + 33 1 69 15 32 16http://www.bioguide-project.net

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

l Complex queries expressed easilyl No need to know the data source structures to pose queriesl 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 strate-

gies, preferences and sources/entities to be searched)

l Medical and biological researchl Biotechnologiesl Pharmaceutical companies

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 strate-gies, and fully exploits the complement aspect of biological data.

BioGuide Making the most of the data available in biological public sources

A guide to obtain data from biological resources

(A) The user query is provided in a graphical manner(B) Alternative paths to fi nd data are generated automatically (C) Results obtained when following each path are displayed

n Innovation benefi ts

Page 10: Digiteo technology offer

// Technology Offer //

n Description

• 18

Contact

n Targeted applications/markets

19 •// Technology Offer //

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

n Innovation benefi ts

Bich-Liên [email protected] Phone: + 33 1 69 85 12 56

l Web page segmentation l Indexing of web page content, links and structurel 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 Search engines, libraries and company intranetsl Knowledge managementl Mobile applications

The software is designed to index and search for documents held in stan-dard 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.

A software for analysing and evaluating the segmentation of Web documents

BWebdocComparing search algorithms

Page 11: Digiteo technology offer

// Technology Offer //• 20

Contact

n Targeted applications/markets

21 •// Technology Offer //

n Description

Joel [email protected]: +33 1 69 15 66 35

Lionel [email protected]: + 33 1 69 08 14 52

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

n Innovation benefi ts

l Makes Cell B.E. architecture specifi cities transparent to reduce appli-cation development time and time-to-market, while maintaining archi-tecture benefi ts

l Simplifi es 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

All industries involved in high-performance computingl Embedded and/or real-time applications like defense and homeland

securityl Multimedia: gaming, motion detection, image analysisl Medical applications: imaging, simulation

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 interfacel Domain-specifi c signal and image processing support (including 2D

DMA)Cell-MPI makes Cell processor application development as simple as development for conventional parallel systems.

Message passing development framework for the Cell processor

Cell-MPIThe library that accelerates applicationdevelopment for the Cell B.E.

High Speed Harris Feature Detection Motion Detection on the Cell B.E.

Page 12: Digiteo technology offer

// Technology Offer //

n Description

• 22

Contact

n Targeted applications/markets

23 •// Technology Offer //

n Innovation benefi ts

Sylvain [email protected]: +33 1 69 15 35 76

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

This technology enables the production of:l High aspect ratio vertical patternsl Complex patterns of differing shapes and widths without obvious limi-

tation of hole width reduction l Membrane structures

l LEDsl Blue and UV lasersl Membrane structuresl MicroEMS and NanoEMS

The standard etching processes are not capable of achieving vertical etching with high aspect (depth/width) ratios in Group III nitride photo-nic 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 optoelectro-nic applications.

Achieving complex patterns in Group III nitride photonic semiconductor crystals

CRISTABLUAdvanced production methods for semiconductor crystals

Page 13: Digiteo technology offer

// Technology Offer //

n Description

• 24

Contact

n Targeted applications/markets

25 •// Technology Offer //

Fabrice [email protected]: + 33 1 69 08 90 70

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

n Innovation benefi ts

l Reduced maintenance and immobilization time and costsl Improved safety for critical electronic functionsl Real time monitoring of wire’s health, complete separation of diagnostic

and network under testl Complete integration of diagnostic in the electrical architecture

l 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.

Wired networks are subject to harsh environmental constraints. Refl ectometry 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.

Embedded diagnosis system to track wire defects

DIAG & DIAGNO CHIPTracking wire defects within the network

Embedded distributed network diagnostic for automotive applications

Page 14: Digiteo technology offer

// Technology Offer //• 26

Contact

27 •// Technology Offer //

Juliette [email protected] Phone: + 33 1 69 15 75 50

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

l Frequency range from 50 GHz to 2 THz l 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 determi-

ned by comparing the system response time using two different electro-optical 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 fi eld mapping with a spatial resolution of 30 µm. The electro-optical measurement sensor can be moved in all three dimensions with micrometric precision

n Innovation benefi ts

n Targeted applications/markets

l Telecommunications: rapid characterisation of electronic and opto-electronics circuits

l Safety and materials: high-frequency (THz) characterisation of com-plex stratifi ed media

l Biology: characterisation of biomaterials using THz frequencies with a spatial resolution far below the limit of diffraction

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 frequen-cies of many hundreds of GHz, and therefore require the use of equip-ment 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 fi elds in the THz fre-quency range, the electro-optical measurement system also has appli-cations in a broad range of materials and biomaterials research.

Electro-optical sampling system for measuring ultrafast electrical signals

EOFASTUltrashort and teraherz electrical signal measurement

Page 15: Digiteo technology offer

// Technology Offer //

n Description

• 28

Contact

n Targeted applications/markets

29 •// Technology Offer //

Sylvie [email protected]: + 33 1 69 08 65 01

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

n Innovation benefi ts

l Software bugs occurring in critical industrial systems can cause life-threatening 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.

l FLUCTUAT analyses programs written in C or Ada. It provides proof of correction at system certifi cation, or early stage detection of bugs du-ring application development.

FLUCTUAT is particularly relevant for the analysis of safety-critical sys-tems:l Aerospace.l Nuclear.l Automotive.

FLUCTUAT is a static analyzer for numerical programs. It proves the good behaviour of programmes using fi nite precision numbers, compared to their behaviour in real numbers. It identifi es the source of rounding errors in the program, and analyses sensitivity to uncertainties on input data.

Static Analysis of fi nite precision computations

FLUCTUATVerifying numerical programs

CEA / Stroppa

Page 16: Digiteo technology offer

// Technology Offer //

n Description

• 30

Contact

n Targeted applications/markets

31 •// Technology Offer //

Loïc [email protected]://frama-c.com

Claude Marché[email protected]

n Innovation benefi ts

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

l Frama-C is offered as an open source programme to maximise distri-bution. It provides a set of standards for eliminating ambiguities in the C programming language, as well as programme representation and ACSL.

l Already adopted by several academic and industrial research labora-tories, 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.

l Validation and certifi cation of critical embedded codel Aerospace: the existing DO-178B and future DO-178C standardsl Transport & Energy: smart grid safety and securityl Security and defence: confi dentiality and integrity analysis

Frama-C is an open software platform for analysing the source code of programmes written in the C programming language. Its modular archi-tecture 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 distri-bution 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.

Formal verifi cation of critical software

FRAMA-CC code analysers

Page 17: Digiteo technology offer

// Technology Offer //

n Description

• 32

Contact

33 •// Technology Offer //

Bruno [email protected]: + 33 1 69 08 45 43

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

n Targeted applications/markets

l Critical systems must meet very strict operating safety standards, and for complex software systems, the cost of qualifi cation represents the largest proportion of the total development cost.

l GATeL automates some validation/verifi cation tasks to deliver impro-ved control of cost and complexity. GATeL is used in the design phase to support detailed specifi cation animation/debugging, and in the valida-tion 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.

n Innovation benefi ts

l Aerospacel Automotive and transportl Nuclear

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 verifi cations:l Random or step-by-step simulation compliant with an environmentl Support for the defi nition of structural and functional test goalsl Generation of test sequences to achieve these test goalsl Conformance checking with respect to a safety property

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.

Validation environnment for critical reactive programmes

GATeLCritical software validation and verifi cation

Page 18: Digiteo technology offer

// Technology Offer //

n Description

• 34

Contact

n Targeted applications/markets

35 •// Technology Offer //

n Innovation benefi ts

Burkhart Wolff wolff @lri.frPhone: + 33 1 72 92 59 78

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

Offered in conjunction with our expertise, this tool offers:l Lower test phase costsl Improved system reliability

l Any industry concerned with mission-critical or safety-critical systemsl Any application for which for more formal verifi cation techniques would

be too costly or non-applicable (e.g. legacy systems for which code is no longer available)

l Automated model-based (black box) test generating tool

l Software developed essentially in SML based on Isabelle/HOL. HOL is the language used for test modelling and specifi cation

l However, the test subsystem may be written in any language whatsoever

Test modelling and generation environment

HOL-TestGenMake your system test easier and faster

Page 19: Digiteo technology offer

// Technology Offer //• 36

Contact

37 •// Technology Offer //

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

Janet [email protected]

Emmanuel [email protected]

l Large-scale and multi-site deployment (several thousands of nodes that belong to a grid)

l Effi cient, reliable and extremely fl exible deployment processl 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 Simplifi ed software distribution in packaged form

n Innovation benefi ts

l The Grid’5000 platforml Academic and industrial data centers using clusters

n Targeted applications/markets

n Description

Kadeploy 3 is a complete rewrite of the Kadeploy 2 system initially deve-loped 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 to-ols. Since the deployment process operates at low level, particular atten-tion 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 fl exibility required to personalise de-ployments and therefore address all their reconfi guration needs in full.

Custer deployment system

Kadeploy3Large-scale and multi-site deployment tools

Page 20: Digiteo technology offer

// Technology Offer //

n Description

• 38

Contact

n Targeted applications/markets

39 •// Technology Offer //

Didier [email protected]: + 33 1 69 85 13 75

Pedro [email protected]: + 33 1 69 85 13 74

Cristina [email protected]: + 33 1 69 85 13 78

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

l Improves the robustness of existing MPC controllers towards unstruc-tured uncertainties, while satisfying the performance criteria for the dis-turbances rejection

l Enables time-domain and frequency domain simulations even on mis-matched 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

n Innovation benefi ts

All possible areas of trajectory tracking:l Control of trajectory tracking applications including aspects of robus-

tness and disturbances rejection (in particular Robust MPC)

MIMOptMPC is a MATLABTM toolbox that enables design of multivariable Model Predictive Control (MPC) laws, and robustifi cation of MPC control-lers under unstructured uncertainties while respecting time-domain templates for disturbances rejection. The software includes time-do-main and frequency domain analysis of the results. MIMOptMPC pro-vides user support through a graphical interface enabling a simplifi ed selection of tuning parameters.

Robust multivariable MPC Computer Aided Control System Design

MIMOptMPCAn effi cient MATLABTM toolbox for robustifi cation of multivariable predictive control

Page 21: Digiteo technology offer

// Technology Offer //• 40

Contact

41 •// Technology Offer //

Karine [email protected]: + 33 1 39 25 40 46

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

l The fi rst system allowing an effective support of data collected by mo-bile objects

l Productivity gain thanks to a high abstraction level and numerous built-in functions

l An effi cient spatio-temporal query enginel Scalability for large size databases thanks to effi cient fi ltersl Strong integration with legacy DBMSs and SQL Languagel Additional services for data integration and dynamic map visualisation

l Road safety (naturalistic driving, ADAS evaluation)l Urban sensing (pollution/noise/traffi c)l Goods tracking (vibration/temperature)l Infrastructure maintenance (road/rail state)

n Targeted applications/markets

MobiScope is a data server specially designed for the emerging applica-tions 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.

n Description

Spatio-Temporal Data Server for Mobile Sensor Traces

MobiScopeEffective Analysis of Mobility and Sensor Data

n Innovation benefi ts

Page 22: Digiteo technology offer

// Technology Offer //• 42

Contact

43 •// Technology Offer //

Joel [email protected]: + 33 1 69 15 66 35

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

l Semi-automatic conversion between MATLAB prototype software and optimized multi-processor C++ run-time code

l Performance optimization through parallel implementation specifi -cally 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 Simulation, high-volume scientifi c computationl Industrial automation, embedded controll Multimedia, computer graphics

n Targeted applications/markets

NT2 is a C++ library focusing on the development of high-performance scientifi c 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 effi cient manner.

n Description

Multi-platform high-performance C++ library

NT2Numerical Template Toolbox

n Innovation benefi ts

AbstractSystemLayer

Abstract Meta-programming

Layer

Page 23: Digiteo technology offer

// Technology Offer //• 44

Contact

n Targeted applications/markets

45 •// Technology Offer //

n Description

Fabrice Le [email protected]: + 33 1 74 85 42 14www.ocamlpro.com

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

l Optimized implementation geared towards demanding industrial appli-cations.

l Ideal for the design of development/test tools for the embedded market.l Meets the stringent requirements of critical industrial applications (fi -

nance, web transactions, verifi cation tools, mathematical analysis, etc.)

n Innovation benefi ts

l Software test/verifi cation toolsl Domain Specifi c Languages (DSL)l Critical industrial markets (aerospace, nuclear, automotive)l Fast prototyping of complex software

OcamlPro is a development suite for the Objective-Caml (Ocaml) pro-gramming language, one of the most powerful statically typed functional languages, already used in numerous industrial environments, in parti-cular critical software and software verifi cation tools.

Programmes developed with OcamlPro benefi t 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 ef-fi cient executables. Many libraries are also provided for most common programming needs.

A Development Suite for the Objective-Caml Programming Language

OCamlProOCaml Development Environment

Page 24: Digiteo technology offer

// Technology Offer //

n Description

• 46

Contact

n Targeted applications/markets

47 •// Technology Offer //

n Innovation benefi ts

Stéphane [email protected]: + 33 1 69 08 93 72

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

l Minimum silicon cost for high resolution video processingl Low power consumption (typically less than 1 Watt)l Rapid specialisation for specifi c application requirementsl Programmable for easy application development

l Mobile telephony and mobile devicesl Autonomous intelligent camerasl Embedded vision systems in robotics and space applications

The PEPS platform enables the quick design of embedded computingarchitectures for signal processing applications subject to very tight si-licon budget and energy consumption constraints. The resulting archi-tectures combine the performance delivered by massive parallelism with the fl exibility made possible by programming: unscheduled algorithm developments do not require the costly circuit redesigns typical of dedi-cated ASICs.

PEPS therefore addresses highly competitive applications like mobile phones, and those subject to the very strict embeddability constraints, typically seen in the space industry.

An optimized parallel architecture plaform for signal processing

PEPSAccelerated embedded signal processing

Page 25: Digiteo technology offer

// Technology Offer //

n Description

• 48

Contact

49 •// Technology Offer //

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

Christophe Aussaguè[email protected]: + 33 1 69 08 90 60

l Development lead time: real time behaviour control, system-level ap-proach integrated in the tools, degraded mode tests

l Operational safety: compliance with safety needs, error confi nement, ability to manage degraded modes and availability

l Performance: more functions integrated per CPU, optimized manage-ment 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”

n Innovation benefi ts

n Targeted applications/markets

l Real-time I&C embedded systemsl Systems where software integration/implementation and safety are

key issuesl Automotive industry l Incubation of a new CEA LIST start-up, targeting the software tool suite

development and commercialization, allowing PharOS technology inte-gration in the industrial process.

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 appli-cations in terms of real-time tasks (including degraded modes). The tool suite ensures their accurate, safe implementation and execution using innovative protection and error confi nement mechanisms.

Safety oriented development environment

PharOSConciliating operational safety with performances

Page 26: Digiteo technology offer

// Technology Offer //• 50

Contact

51 •// Technology Offer //

[email protected]: + 33 1 39 63 55 11www.scilab.org

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

n Targeted applications/markets

n Innovation benefi ts

l An open-source platforml Professional qualityl Includes the very latest research spin-offs

Coming from INRIA research, Scilab responds to the need for a profes-sional-quality open source software package with applications in an area essential for future expertise, industrial and economic development.It is distributed under CeCILL license.

l Automotivel Aerospacel Energyl Researchl EducationAll industries involved in numerical computation and simulation.

Scilab is free open-source software for numerical computation and simu lation.

It provides a powerful environment for developing scientifi c and engineering applications.

Scilab implements more than 1,700 functions as well as substantial (2-D and 3-D) graphic functionality.

It comes with a large number of “industry-specifi c” extensions and the Xcos dynamic systems graphic simulator.

n Description

A powerful computing tool for engineersand scientists

SCILABFree software for numerical computation and simulation

Page 27: Digiteo technology offer

// Technology Offer //

n Description

• 52

Contact

n Targeted applications/markets

53 •// Technology Offer //

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

Mérouane [email protected]

n Innovation benefi ts

l Physical layer wireless transmissions between laptopsl Plug-and-play operation with USB radio sticksl The ability to test algorithms under conditions very similar to actual

product constraintsl High-level programming languagel Software-driven reconfi guration

l Engineering graduate schools and universitiesl Telecoms companies and all companies using proprietary protocols l Research institutes

SDR4all (Software Defi ned Radio for All) is based on the concept of software defi ned radio (SDR), which consists in applying reconfi gurable digital processing as closely as possible to the radio antenna.

SDR4all enables to build smart wireless devices through the implemen-tation 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 re-duce the gap between theory and simulation, and get as close as pos-sible to real product constraints.

Software Defi ned Radio for research, education and industrial applications

SDR4allEnables easier wireless communication protocols development

Page 28: Digiteo technology offer

// Technology Offer //

n Description

• 54

Contact

n Targeted applications/markets

55 •// Technology Offer //

Pierre [email protected]

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

l 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 PCl Includes a continuation approach for an easier initializationl Can handle approximate models (tables)

n Innovation benefi ts

l Optimal control for dynamical systemsl Trajectory optimization for rockets, satellites, etc.

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).

The software has been used to optimize trajectories for space launchers (Ariane 5).

Shooting method for optimal control

SHOOTFast optimization for control problems

Page 29: Digiteo technology offer

• 56 // Technology Offer // 57 •// Technology Offer //

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.

MODELLING

Page 30: Digiteo technology offer

// Technology Offer //

n Description

• 58

Contact

59 •// Technology Offer //

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

Marie-France [email protected]: + 33 1 69 08 87 49www.computis.orgwww.maldi-msi.org

Easy MSI is the user friendly software to view and interpret mass spec-trometry (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 identifi cation.

Assistance for the interpretation of mass spectrometry images

Easy MSIComputerized analysis of Mass Spectrometry Images

n Description

l Time effi cient solution compared to manual interpretationl Quality and accuracy of the automated treatment compared to basic

visualisation toolsl Compatible with any MSI-TOF equipment because it handles the imzML

data format standardl Several clustering methods included to bring out the different zones of

the imagel Diagnosis assistance: registration of images from complementary

imaging technologies, interrogation of biological databases

n Targeted applications/markets

l Health/biology research and pharmaceutics industry for biomarker disco-very, disease diagnosis, clinical tests

l Semiconductor and material industryl Chemistry: paints, coatings, polymers, museums, environment, food

n Innovation benefi ts

Page 31: Digiteo technology offer

// Technology Offer //• 60

Contact

n Targeted applications/markets

61 •// Technology Offer //

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

Patrick [email protected]: + 33 1 69 15 66 22

n Description

n Innovation benefi ts

l 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 emer-gence of properties resulting from local concentrations

l Extensive diversity of models addressedl Highly effi cient system through parallelisation

l Biological research and teachingl Biotechnology

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 mole-cules (proteins, metabolites, etc.) interact according to the biochemical reaction rules contained in the model, which represents molecule/mole-cule or molecule/membrane interactions.

Objects handled by the simulator are membrane and cytosolic mole-cules, as well as linear, helicoidal and random assemblies.

Modelling and simulation system for the dynamics of large molecular assemblies

HSIMVirtual bacterium simulator

Page 32: Digiteo technology offer

// Technology Offer //

n Description

• 62

Contact

n Targeted applications/markets

63 •// Technology Offer //

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

Frank [email protected]: + 33 1 69 33 40 89www.informationgeometry.org/MEF/www.lix.polytechnique.fr/~nielsen/MEF

l Creation and management of exponential family mixturesl Simplifi cation of statistical mixturesl Hierarchical representation of statistical mixturesl High-performance algorithms and data structuresl Multi-platform Java library

n Innovation benefi ts

l Statistical processing of signals and imagesl Medical imagingl Scientifi c calculationl Monte Carlo Simulation

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 specifi cally, jMEF enables rapid simplifi cation of such mixtures and generates a hierarchical representation of them.

Management of statistical mixture models

jMEFLibrary of mixture models

Page 33: Digiteo technology offer

// Technology Offer //• 64

Contact

n Targeted applications/markets

n Innovation benefi ts

65 •// Technology Offer //

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

n Description Gilles [email protected]: + 33 1 69 15 57 77www.mixmod.org

l Quantitative and qualitative data processingl Robust classifi cation and class characterisationl Processing of complex situations (large size, large data sets, etc.)l High-speed computationl GNU GPL licence for research and open source projects, and owner

licence for library integration

All sectors using data classifi cation, including:l Financel Biologyl Shape recognitionl Epidemiology

MIXMOD is a non-supervised (clustering) and supervised (discriminant analysis) computational library and classifi cation software package using mixture models recognised for their adaptability and power.

MIXMOD offers a broad palette of models, algorithms and selection criteria for processing qualitative and quantitative data, even in complex situations.

Data classifi cation software (and computational library)

MIXMODSoftware implementing mixture models for data classifi cation

Page 34: Digiteo technology offer

// Technology Offer //• 66

Contact

n Targeted applications/markets

67 •// Technology Offer //

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

Marc Lavielle [email protected]: + 33 1 69 15 57 43

Elisabeth [email protected]

France Mentré [email protected]

l High-performance, fl exible, user-friendly PKPD modellingl A graphic interface acclaimed by usersl MONOLIX sets the benchmark for population pharmacology modelling

n Innovation benefi ts

l Pharmaceutical industryl Academic usersl Regulatory authorities (FDA, EMEA, AFSSAPS, etc.)

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.

n Description

MONOLIX PKPD (pharmacokinetic/pharmacodynamic) modelling software

MONOLIXPopulation pharmacology modelling

HIV infection and the action of antiretrovirals

A mathematical model of of HIV dynamics under treatment

Modeling of the viral load and CD4 count in three patients with MONOLIX

Page 35: Digiteo technology offer

// Technology Offer //

n Description

• 68

Contact

n Targeted applications/markets

69 •// Technology Offer //

n Innovation benefi ts

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

l The ability to process the multimedia information contained in videos (speech, images and structure)

l The ability to search for multilingual videosl The ability to view the video content identifi ed (speech transcription,

key images, etc.) l The ability to navigate within the video structure (e.g. in TV report-

based magazine programming)

l Public and private research networkl Digital asset managementl Surveillance and intelligence

Bertrand [email protected] : + 33 1 46 54 86 53

Bernard [email protected] : + 33 1 69 29 87 90

SemanticVox is designed to provide a linking standard between the mul-tilingual 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 compre-hension of response content (in terms of text and images) and the ability to link directly to the videos identifi ed.

Cross-lingual video search engine

SemanticVoxVideo search

Search resultsEnglish

Arabic French

Page 36: Digiteo technology offer

// Technology Offer //• 70

Contact

71 •// Technology Offer //

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

Nicolas [email protected] Phone: + 33 1 69 08 55 43

n Targeted applications/markets

l 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 confi guration 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 com-mercially-available tools like Modelsim (Mentor Graphics).

n Innovation benefi ts

l Exploration and sizing of multiprocessor architecturesl Virtual platform for embedded software design and validationl Co-simulation environment and design of MPSoC architectures

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 perfor-mance at the functional level, CEA LIST has created a high-performance resource for the exploration of innovative embedded architectures.

An MPSoC simulation environment

SESAMAutomatic exploration and simulation environment of MPSoCs

Page 37: Digiteo technology offer

// Technology Offer //

TCICSImproves Non destructive Control

n Description

• 72

Contact

n Targeted applications/markets

n Innovation benefi ts

73 •// Technology Offer //

Tomography, Image Correlation and Structural Calculation

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

Hugo Leclerc [email protected]: + 33 1 47 40 23 40

l 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 cracksl It permits to describe crack tip positions at sub-voxel levels, and stress

intensity factors, crack propagation laws, fracture parametersl 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 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 bio-

materials

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.

Page 38: Digiteo technology offer

// Technology Offer //

n Description

• 74

Contact

75 •// Technology Offer //

Gilles [email protected]: + 33 1 69 08 17 87www.unisim-vp.com

Olivier [email protected]

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

n Targeted applications/markets

l Automotivel Space and Avionicl Industrial Applicationl Consumer Electronicl Military Applicationl Silicon Founders

n Innovation benefi ts

Most UNISIM virtual platforms are suffi ciently representative of the real hardware that whole operating systems (e.g. Linux, VxWorks), unmodi-fi ed 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 de-

bugged and tested without affecting either its functional and/or tem-poral behaviour

l Early hardware/software integration: software stack can be debugged and tested within a representative hardware environment before the availability of hardware/FPGA

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 implemen-tation of that electronic system is available. The simulated electronic system can include lots of microprocessors and devices.

HW/SW Modeling, Conception and Validation

UNISIM Virtual PlatformsEarly Hardware/Software integration, debugging and testing

Simulated targets: ARM, PowerPC, Star12X, and TMS320C3X.

Supported hosts: Linux, Windows, Mac OS X.

Page 39: Digiteo technology offer

• 76 // Technology Offer // 77 •// Technology Offer //

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.

INTERACTIONS, VISUALISATION AND VIRTUAL REALITY

Page 40: Digiteo technology offer

// Technology Offer //

n Description

• 78

Contact

n Targeted applications/markets

79 •// Technology Offer //

n Innovation benefi ts

Sylvie [email protected] Phone: + 33 1 69 08 82 91

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

l Real-time 3D localisationl Precise indoor and outdoor localisation l A solution that delivers greater accuracy than existing systemsl A solution that provides position and orientation

3DLocalis is relevant for cross domain Augmented Reality application for localisation and navigation. Main domains are:l Transportl Security and defencel Industrial maintenance and training aidsl Navigation aids and entertainment

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.

Video Localisation

3DLocalis Vision systems for localisation applications

Localisation in urban environment using a vehicle-mounted camera.Augmented reality as an aid to navigation

Page 41: Digiteo technology offer

// Technology Offer //

n Description

• 80

Contact

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

n Targeted applications/markets

81 •// Technology Offer //

François [email protected]: + 33 1 69 08 46 84

Patrick [email protected]

n Innovation benefi ts

l Recognition of pedestrians or other distinctive objectsl Reduction in the number and severity of collisions between machinery

and pedestriansl Improved site productivityl Accident cause analysis support

l Civil engineering machineryl Mining and forestry operationsl Handling l Etc.

The obstacle detectors currently offered in the market cannot distin-guish 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 specifi cally for industrial applications are capable of distinguishing very reliably between a pedes-trian and any other object, even in chaotic surroundings like civil engi-neering sites and forestry operations.This innovation has formed the basis for the creation of a new company called ARcure.

Pedestrian detection for off-road machinery

ARcureEmbedded image processing and shape recognition

Page 42: Digiteo technology offer

// Technology Offer //

n Description

• 82

Contact

83 •// Technology Offer //

Guillaume [email protected]: + 33 1 69 08 51 88

Mehdi Gmar [email protected]: + 33 1 69 08 39 45www.euritrack.org

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

n Targeted applications/markets

n Innovation benefi ts

l 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 in-deed 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 fi rst 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 Port authorities and customs are the key markets for this technology.l Major applications are in customs check points (harbours or airports)

Such technology has been developed in Europe within the EURITRACK project (IST-FP6) and is now ready to be transferred to an industrial partner.

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 defi ned volumes. Neutron Tag inspection uses spectrum analysis to identify explosives, drugs and illi-cit 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.

Active neutronic inspection of cargos

EURITRACKQuickly and safely detects dangerous or fraudulent cargos

Page 43: Digiteo technology offer

// Technology Offer //• 84

Contact

85 •// Technology Offer //

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

Antoine [email protected]: + 33 6 80 32 22 51www.avizen.fr

l Enables information and data to be shared between the target au-dience, 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 multi-media support system that allows them to play an active role in main-taining 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

This product will be marketed directly to the general public.

Partnership agreements with ISPs and consumer goods manufacturers will enable the package to be distributed more widely by being included in their ranges.

n Innovation benefi ts

l Home care supportl ISPs (Internet Service Providers)l Consumer goods manufacturers

n Targeted applications/markets

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.

The service will be marketed commercially by the AVIZEN start-up com-pany.

n Description

Broadcasting of interactive content for the elderly

ICI-TVInteractive home care support service

Page 44: Digiteo technology offer

// Technology Offer //• 86

Contact

n Targeted applications/markets

87 •// Technology Offer //

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

n Innovation benefi ts

l Faster clinical diagnosisl Improved patient comfortl Reduction/optimisation of scan timesl Improved imaging system availability, effi ciency and profi tability

l Neuroscience researchl Hospitals and clinicsl Medical imaging device manufacturers

Fabrice Poupon [email protected]: +33 1 69 08 90 04

Bertrand Thirion [email protected]

Ghislaine [email protected]

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 parame-ters (brain/machine interactions).

The technology developed for IRM-TR can easily be transposed to other imaging modalities (CT, PET, SPECT, etc).

n Description

Real-time Magnetic Resonance Imaging

IRM-TRAccelerating post-processing for faster diagnosis assistance

Page 45: Digiteo technology offer

// Technology Offer //• 88

Contact

n Targeted applications/markets

89 •// Technology Offer //

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

n Description

Elsa [email protected]: + 33 1 45 81 78 90

n Innovation benefi ts

l Automatic extraction of brain tumor growthl Adaptation of the method to patient’s intrinsic datal Detecting millimetric growth of slow-evolving brain tumorsl Unique solution

l Quantifi cation of slow brain tumors evolution (lowgrade glioma) by neurosurgeons and neuroradiologists

l The novelty of the invention is based on calculating a difference map between two “normalized” longitudinal (MRI Magnetic Resonance Ima-ging) exams followed by statistical estimators of signifi cant difference locations to extract the area of tumoral growth in a reliable and robust manner.

l The relevance of the scientifi c 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

« signifi cant » differences.

Possible comparison of images by calculating their difference map and extracting tumor regions of growth by statistical estimators.

Diagnosis of dynamic growth of brain tumors

MIDWAYDifferential MRI analysis for tumors growth quantifi cation

Images without normalisation

Normalisation of intensities MIDWAY

Page 46: Digiteo technology offer

// Technology Offer //

n Description

• 90

Contact

91 •// Technology Offer //

Alexandre [email protected]: + 33 1 69 08 50 47

Ali [email protected]: + 33 1 69 85 17 41

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

n Targeted applications/markets

This innovation is being developed out of a combination of the latest ad-vances in technology and algorithms. In terms of hardware, these ad-vances 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.

The range of potential applications for X-ray imaging is huge. The outcomes of this project will include the development of a fully ope-rational imaging system for the benefi t of its scientifi c, academic and/or industrial partner.

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, fi brous, woven, etc.)

X-ray tomography has been used in industry for some years, but its use-fulness is driving stronger and stronger demand. Traditional recons-truction 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 fi brous 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.

New techniques in tomography reconstruction

TOMOXX-ray tomography

n Innovation benefi ts

Page 47: Digiteo technology offer

// Technology Offer //

n Description

• 92

Contact

n Targeted applications/markets

93 •// Technology Offer //

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

Yann [email protected]: + 33 1 69 33 41 12

Alain [email protected]

http://varna.lri.fr

n Innovation benefi ts

l Biotechnologies and bioinformaticsl Basic and applied research in structural biologyl Education

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 stan-dard RNA structure fi le formats. It enables structures to be annotated and edited either by using the mouse or at command line level. It sup-ports exporting drawings in all the most commonly used image formats.

VARNAEasy visualisation of RNA secondary structures

VARNA is the only RNA secondary structure visualisation software to offer all the following functions:l Website integration or standalone operationl Editing and annotation of structuresl Representation of pseudo nodesl Accommodates non-canonical interactionsl A very broad range of input, output and export formatsl Compatible with all operating systems (Java)

Cross-platform software for the visualisation and annotation of RNA secondary structures

Four RNA secondary structure layouts offered by VARNA

Page 48: Digiteo technology offer

// Technology Offer //

n Description

• 94

Contact

n Targeted applications/markets

95 •// Technology Offer //

n Innovation benefi ts

Patrick [email protected]: + 33 1 69 08 89 96

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

l Automatic detection of events for security and safety in living spacesl Security and safety of housebound peoplel Contribution to addressing the needs of an ageing populationl Lower incidence and severity of domestic accidentsl Lower building energy costs and improved personal comfort

for occupants

l Business premises and home security/safetyl Home care support for people at riskl 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

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 in-fer 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 effi ciency (control of lighting, air conditioning, etc.), while maximising comfort for occupants.

Human activity understanding

Video AnalysisVision system for ensuring security and safety in living spaces

Page 49: Digiteo technology offer

• 96 // Technology Offer // 97 •// Technology Offer //

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.

NETWORKS

Page 50: Digiteo technology offer

// Technology Offer //

n Description

• 98

Contact

n Targeted applications/markets

99 •// Technology Offer //

Thomas [email protected]: + 33 1 69 33 41 01

Daniel [email protected]: + 33 1 69 33 40 51

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

n Innovation benefi ts

CRYPTONET makes it possible to implement authentifi cation mechanisms for ad hoc networks, for which a simple PKI is used.

The use of up to date electronic signature algorithms derived from el-liptical curves ensures that these encryption operations have a reduced impact on the network and its nodes.

CRYPTONET adds a number of security properties to network nodes, in-cluding sender authentication and authentication of transmitted mes-sage integrity.

l Security and defencel Automotivel Industrial networks

CRYPTONET uses the OLSRv2 (Optimized Link State Routing) proac-tive 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 all-pervading.

The introduction of authentifi cation mechanisms is essential to ensure high levels of security at ad hoc network nodes.

Proactive, self confi gurable, secure routing protocol for ad hoc networks

CRYPTONETMake your network safer

Page 51: Digiteo technology offer

// Technology Offer //

n Description

• 100

Contact

n Targeted applications/markets

101 •// Technology Offer //

n Innovation benefi ts

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

l Ad hoc or mesh seamless connectionl Network Simulator for sizing and debugl Mapping of the network topology with link statel API for applications to optimize their resource managementl Network Energy Management l Creative Network Gaming (integration of the player’s positioning)

l Connectivity in poor areas of energyl Low cost Connectivity l Connectivity in hostile terrain and dynamic environment (Military,

safety, gaming ...)

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.

The client has at his disposal a network topology allowing him to approach his destination with the highest quality of service while consu-ming minimal energy. GRAD also offers the ability to shut down ma-chines not in operation and this without disrupting the connectivity of the network.

This product will be marketed by the start-up Green Communications.

Disconnection-tolerant ad hoc routing middleware

GRADGreen Connected People

Khaldoun Al [email protected]: + 33 1 69 15 66 17

Aline [email protected]

Page 52: Digiteo technology offer

// Technology Offer //

n Description

• 102

Contact

n Targeted applications/markets

103 •// Technology Offer //

Patented technology

Proof-of-concept established

Demonstrator available

Innovation deployed

Maurice [email protected]: + 33 1 45 81 74 11

n Innovation benefi ts

l Unambiguous failure localizationl Reducing the total monitoring cost of optical networksl Reducing the power consumption (using a minimum of laser diodes

and optical monitors)l Effi cient use of network resources yielding a larger number of satisfi ed

connection requestsl Reducing the blocking probability due to the wavelength continuity

constraint

l Optical telecommunication networks: long distance optical telecom-munication

l 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 lo-calization (failures such as fi ber cut or optical amplifi er failure). Compared to other solutions, the m-trees technique allows redu-cing the monitoring cost as well as optimizing the network capacity.

For extremely large networks, this approach can be extended by consi-dering multiple trees.

An innovative and cost-effective technique

Monitoring TreesAn unambiguous failure localization in WDM networks

Demonstartion of the m-trees technology

Page 53: Digiteo technology offer

• 104 // Technology Offer // 105 •// Technology Offer //

Index

3DLocalis P. 78-79

ARcure P. 80-81

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

CRYPTONET P. 98-99

DIAG & DIAGNO CHIP P. 24-25

Easy MSI P. 58-59

EOFAST P. 26-27

EURITRACK P. 82-83

FLUCTUAT P. 28-29

FRAMA-C P. 30-31

GATeL P. 32-33

GRAD P. 100-101

HOL-TestGen P. 34-35

HSIM P. 60-61

ICI-TV P. 84-85

IRM-TR P. 86-87

jMEF P. 62-63

Kadeploy3 P. 36-37

MIDWAY P. 88-89

MIMOptMPC P. 38-39

MIXMOD P. 64-65

MobiScope P. 40-41

Monitoring Trees P. 102-103

MONOLIX P. 66-67

NT2 P. 42-43

OCamlPro P. 44-45

PEPS P. 46-47

PharOS P. 48-49

SCILAB P. 50-51

SDR4all P. 52-53

SemanticVox P. 68-69

SESAM P. 70-71

SHOOT P. 54-55

TCICS P. 72-73

TOMOX P. 90-91

UNISIM P. 74-75

VARNA P. 92-93

Video Analysis P. 94-95

Page 54: Digiteo technology offer

• 106 // Technology Offer //

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

Page 55: Digiteo technology offer

Les Algorithmes - Bâtiment EuripideRoute de l’Orme des Merisiers

F-91190 Saint-Aubin

Phone: + 33 1 69 33 21 62Fax: + 33 1 60 11 08 58

[email protected] W

“do

uble

v”

- Sir

et 4

04 2

09 1

81 0

0019

- Té

l. 03

20

78 1

8 71

- C

rédi

t pho

tos

Isto

ckph

oto

- Dig

iteo

- Fe

brua

ry 1

1.