SlideShare una empresa de Scribd logo
1 de 25
Descargar para leer sin conexión
Inria - Software assets - Aerospace
Inria, a public research institute established in 1967, produces excellent research in
mathematics and computational sciences. The institute covers the entire spectrum of
research at the heart of these areas of activity, and works also on issues asked by other
sciences and by economic and societal actors.
Inria can be considered as a software provider. Indeed, approximately 1000 software are
currently developed of which a large part is distributed with an open source license. Inria is

convinced that this production deserves to be more widely known among academic and
economical actors as it is a source of value creation, which is one of Inria's missions.
The India France Technology Summit is an opportunity to raise awareness of this software
production. Thus, this catalog offers an extract from software assets, as part of the Summit

themes such as health, smart cities, smart grid, critical embedded software, etc. .
You can find all these software files, and many others on
Icommunity: https://www.icommunity.fr/patrimoine-technologique-inria
Alt-Ergo
is an automatic solver of
formulas based on SMT technology. It is
especially designed to prove mathematical
formulas generated by program verification
tools, such as Frama-C for C programs, or
SPARK for Ada code. Initially developed in
Toccata research team, Alt-Ergo's distribution
and support are provided by OCamlPro since
September 2013.

Contact: Sylvain.Conchon@inria.fr
http://alt-ergo.lri.fr

Innovative aspects :
- Polymorphic language input
- Interactive graphical interface
- Qualification DO-178 B/C (avionic)

Main fielfs of applications :
- Program verification
- Formal tests generation
- Model checking
- Cryptographic protocols verification

Mais users :
- Airbus & Atos Origin (projet de l'A350)
- AdaCore & Altran (preuve de code Ada)
- CEA (preuve de programmes C)

Language, standard, environment :
OCaml (Linux, Windows, MacOS)

Keywords: software reliability, formal methods,
proof

Licence: CECILL-C

Partners :

Toccata

&
Contact: chantal.le_tonqueze@inria.fr
http://www.eclipse.org/m2m/atl/

ATL (AtlanMod Transformation Language) is a Innovative aspects:
Support for all model types (e.g., UML2),
tool dedicated to model transformation,
declarative (QVT-like) and imperative
complete, integrated into Eclipse and including
syntaxes.
its own development & execution environment,
Main fields of application:
concrete examples as well as the
Code generation preparing, reverse
corresponding associated documentation
engineering of legacy systems, tool
interoperability, etc. More generally, any
context implying model processing.
Keywords: MDA, MDE, ATL, QVT, model,
transformation

Language, standard, environment:
Eclipse, EMF, Java
License: Eclipse Public License (EPL)

Partners:
Contact: pierre.martinon@inria.fr
URL: www.bocop.org

controlled Innovative aspects: highly flexible toolbox,
with state-of-the-art algorithms, advanced and
user-friendly GUI
Features powerful solvers and user-friendly
GUI. Fit for both academic and industrial use. Main fields of application: transportation,
Toolbox for optimization
dynamical systems.

of

energy, process optimization, and biology

Language, environment:
C++, Linux / Mac / Windows
Keywords:
control, optimization, toolbox
License: EPL (core)
Possible proprietary modules
Academic partners :
Contact: Julia.Lawall@inria.fr
http://coccinelle.lip6.fr

Coccinelle
Coccinelle is a tool for code search and
transformation for C programs. It has been
extensively used for bug finding and
evolutions in Linux kernel code.

Innovative aspects: Ease of writing
specifications, in terms of C-code based
patterns. Scales to millions of lines of code.
Main fields of application: Large-scale
software development. Bug finding, software
evolution, code renovation, code metrics,
software understanding.

@@
expression E;
constant C;
@@
– !E & C
+ !(E & C)

Language, environment: Linux, Windows,
Mac. Distributed with Ubuntu, Debian,
Fedora, etc.
Keywords : code quality, evolution,
infrastructure software
License : GPLv2
Academic partners :
Contact: sriv-saclay@inria.fr
http://coco.gforge.inria.fr/doku.php

Choose your Optimizer!
COmparing Continuous Optimizers is a
platform for benchmarking numerical
optimization algorithms in order to determine
the best optimizer for a given class of
problem.

Innovative aspects: Tedious task of running
experiments, postprocessing and visualization
entirely automatized. Database of different
benchmarked algorithms with the platform
available.

Main fields of application: Any field where
one needs to solve numerical optimization
problem in black-box scenario, such as
biology, physics (for parameter calibration),
engineering design (launcher, airplane, car,
...).
Language, environment: C, Java, Matlab and
Octave, Python
Keywords: benchmarking, numerical
optimization, black-box optimization.
License: BSD
Academic partners:
Coq
Coq provides with both a dependently-typed
functional programming language and a logical
formalism, which, altogether, supports the
formalisation of mathematical theories and the
specification and certification of properties of
programs. Coq also provides with a large and
extensible set of automatic or semi-automatic
proof methods. Coq's programs are extractible
to OCaml, Haskell, Scheme, ...

Contact: coqdev@inria.fr
http://coq.inria.fr

Innovative aspects: Coq received the
ACM-SIGPLAN Programming Languages
Software 2013 award for its original mixed
programming/logic language and for its
high-level methods of proof and
specification (tactic language, systems of
abbreviation, ...)
Main fields of application: formalisation of
mathematics, certification of properties of
programs, university-level teaching of logic
and programming
Top applications: full formalisation of the
group order theorem, C compiler certification
Language, environment: multi-platforms,
written in OCaml, libraries themselves written
in Coq
Keywords: certification, formalisation, proofs
License: LGPL
Academic partners: CNRS, ENS Lyon, U.
Paris-Sud, U. Paris-Diderot
Contact: sriv-saclay@inria.fr
http://frama-c.com/

Frama-C is a platform dedicated to sourcecode analysis of C software.

Frama-C assists in development and
verification activities as well as in reverse
source-code engineering.

Innovative aspects:
Frama-C proposes a dedicated language for
writing specifications, ACSL. Different FramaC plug-ins use complementary techniques to
verify that the source code complies with
specifications written in this language.
Main fields of application: Transport,
energies, healthcare, security
Language, standard, environment: Ocaml
language
License: GNU LGPL v2
Keywords: Software verification, proving
software, trusted software.
Partners:
Contact: chantal.le_tonqueze@inria.fr
http://kermeta.org/

Innovative aspects:
programming environment based on an object- Kermeta allows to define and enrich new
programming languages by improving the way
oriented DSL (Domain Specific Language)
to specify, simulate and test operational
semantics of metamodels.
optimized for metamodel engineering.
The Kermeta workbench is a powerful meta-

.

Main fields of application: Agile software
developent, model engineering
Key words : MOF (Meta Object Facility),
OMG (Object Management Group),
Metamodelisation
Coding and Operating System: Java,
Kermeta
License: EPL
Academic Partners:
Contact: Brice.Goglin@inria.fr
http://www.open-mpi.org/projects/hwloc/

« Portable Hardware Locality »
hwloc discovers your computers’ topology and
exposes it as an abstracted and portable
hierarchical tree.

Main fields of application: hwloc’s main
goal consists in assisting applications for
retrieving easy-to-use information about
modern compute server architectures so as
to exploit their power in a more convenient
and efficient manner.
Language: C
Keywords: Topology, locality, affinities,
HPC, MPI, GPU
License: new BSD licence

Technological barrier: Users may now
visualize the topology within a graphical
interface and consult many architectural and
computing characteristics.

Academic partners:
Open MPI consortium, Argonne Nationa
Lab., etc.
Contact: sylvain.karpf@inria.fr
http://www.moosetechnology.org

Moose is an extensive platform for software
and data analysis. It offers multiple services
ranging from importing and parsing data, to
modeling, to measuring, querying, mining, and
to building interactive and visual analysis tools.

Innovative aspects:
Moose accelerates production of software
analyses by providing expandable models and
reusable libraries. Several models are offered
for static or dynamic analysis of programmes,
development logs, procedural code or aspect.
Smalltalk (open-source Pharo)
Windows, Linux, Mac
Main fields of application: Retroengineering, Meta-modelling, Software
visualisation
License: BSD licence
Academic partners:
Contact: rev@inrialpes.fr
http://graal.ens-lyon.fr/MUMPS

Multifrontal Massively Parallel Solver solves
sparse linear systems of the form A x = b.

Innovative aspects:
MUMPS is a direct solver, used worldwide in
many fields related to digital simulation, in
academic as well as industrial codes. Its main
characteristics are its numerical stability, large
number of functionalities and high
performance.
Language, standard, environment:
Fortran and C languages, available for Unix,
Windows or Mac OS, parallel calculators.
Keywords:
sparse matrices, direct solvers, highperformance calculation, finite element
modelling
Licence: Open source

Spinning wheel (courtesy of SAMTECH)

Academic partners:
Contact: regis.duvigneau@inria.fr
http://num3sis.inria.fr

-

Visual programming (dataflow)

-

Coupling via plugins

-

Interactive computation and
visualization

-

Distributed computing

Innovative aspects:
Plateform for the aggregation of software
components (plugins) dedicated to multidisciplinary numerical simulation in HPC
environment
Coupling of models (aerodynamics,
electromagnetics, structural mechanics),
coupling of numerical methods (finitevolume, finite-element, discontinuous
Galerkin, linear solver, mesh generation, etc)
Language, environment: C++, libraries Qt,
vtk, mpi
Keywords: simulation, plateform, HPC

License: free for academic usage
Contact: rev@inrialpes.fr
http://oar.imag.fr

A task and resource management tool for
computing infrastructures.

Innovative aspects:
Versatility, customisation, scaling up, control of
complexity, flexible scheduler.
Main fields of application:
Use of infrastructures for high-performance
computing.
Language: Perl, Ruby, Ocaml, Bash, SQL.
Available for UNIX: Debian, Centos,
RedHat.

Keywords: resource manager, clusters, light
grid, cloud, HPC.
License: GPL
Partners: Used by (among others) Grid’5000,
SensLAB, Mesocentre CIMENT, BRGM.
OCaml
The OCaml language is a functional programming
language that combines safety with expressiveness
through the use of a precise and flexible type system with
automatic type inference. The OCaml system is a
comprehensive implementation of this language, featuring
two compilers (a bytecode compiler, for fast prototyping
and interactive use, and a native-code compiler producing
efficient machine code for x86, ARM, PowerPC and
SPARC), a debugger, a documentation generator, a
compilation manager, a package manager, and many
libraries contributed by the user community.

Contact: Xavier.Leroy@inria.fr
http://caml.inria.fr/
http://ocaml.org/
Innovative aspects:
OCaml is one of the three most widely-used functional
programming languages, and the only one that
seamlessly combines functional, imperative and
object-oriented programming within a single type
system.
Main fields of application: Symbolic computation :
compilers, code generators, static analyzers, formal
verification tools, automated theorem provers, interactive
proof assistants. High-level systems, network and Web
programming. OCaml is also used in the financial
industry, notably for modeling and pricing complex
financial products.
Language, environment: Programmed in OCaml and in
C, the OCaml system supports Linux, BSD, MacOS X,
and Microsoft Windows.
Keywords: functional programming, static typing,
symbolic computation, compilation, static analysis.,
License: OCaml is free software, distributed under QPL
and LGPL licences. A specific BSD-like license is offered
to members of the Caml Consortium.
Contact: sylvain.karpf@inria.fr
http://paradiseo.gforge.inria.fr/

ParadisEO
Paradiseo is a software framework for
metaheuristics (optimisation algorithms aimed
at solving difficult optimisation problems). It
facilitates the use, development and
comparison of classic, multi-objective, parallel
or hybrid metaheuristics.

ParadisEO-PEO

ParadisEO-MO

Innovative aspects:
ParadisEO offers implementations of
numerous classic metaheuristics from
literature as well as innovative new
metaheuristics. This software can also be
used for parallelisation of metaheuristics.
Main fields of application: ParadisEO is
used to solve large-scale optimisation
problems in a wide variety of fields, such as
transport, logistics, telecommunication
systems and bioinformatics.

ParadisEO-MOEO

ParadisEO-EO
EO : Population-based metaheuristics

Language, environment: available for
Windows, Unix and Mac OS X, Language
C++, CMake
Keywords: Metaheuristics, parallelisation.

MO : Single solution-based metaheuristics
MOEO : Metaheuristics for multiobjective optimisation
PEO : Hybrid, parallel and distributed metaheuristics

License: freeware available
Academic partners:
Contact: marianne.lamour@inria.fr
http://www.labri.fr/~pelegrin/scotch/

(PT-)Scotch
Scotch is a graph partitioner. It helps optimise
the division of a problem, by means of a graph,
into a set of independent sub-problems of
equivalent sizes. These sub-problems can also
be solved at the same time.

Partitioning of edges into 8
parts.
Each part is allocated to a
different processor.

Partitioning vertices to reorder
blocks of a sparse matrix.

Innovative aspects:
Scotch calculates partitions on a sequential
machine and PT-Scotch on a parallel machine.
PT-Scotch can handle very large graphs (2
billion vertices or more) on several tens of
thousands of processors.
The quality of solutions provided by PT-Scotch
does not depend on the number of processors
on which it runs.

Main fields of application : distributing a
scientific problem's computing load across the
processors of a parallel machine, placement of
VLSI circuits, combinatorial optimisation, etc...
Language: C
Keywords: high-performance calculation,
graph algorithmics, domain decomposition,
mesh partitioning, sparse matrix ordering
License: CECILL C
proactive.inria.fr

ProActive
Portable Java middleware designed for
the distributed and parallel multi-core
calculation. It allows the progamming
and the execution of parallel
applications as well as ressources
management (workstations, servers,
clusters, grids or cloud)

Innovative aspects:

Distributed active objects, seamless
components migration, large scale
communicating software components

Main fields of application: Distributed

systems and services

Language, environment:
Java (Linux, MacOS, Windows)
Keywords: distributed computing, grids,
cloudcomputing
License :
- Open source (AGPL)
- Proprietary within
Contact: rev@inrialpes.fr
http://nano-d.inrialpes.fr/

SAMSON

A software platform for real-time modelling and Innovative aspects:
simulation of natural or artificial nanosystems. The specific interest of SAMSON lies in the
integration of simulation methods during the
modelling phase: adaptive and interactive
simulation algorithms immediately provide
information on the consequences of modelling
choices.

Language, standard, environment:
C++, available for Windows, Unix and Mac OS
X
Keywords: Modelling, Simulation,
Nanosystems, Structural Biology, Chemistry
Academic partners
Selalib
Selalib (SemiLagrangian Library) is a
collection of modules conceived to aid in the
development of plasma physics simulations,
particularly in the study of turbulence in
fusion plasmas. Selalib offers basic
capabilities from general and mathematical
utilities and modules to aid in parallelization,
up to pre-packaged simulations.

Contact: chacongolcher@math.unistra.fr
http://selalib.gforge.inria.fr/

Innovative aspects: unavailability of basic
software building blocks for simulations
using the semilagrangian method. Need to
include software engineering practices in an
academic research environment.
Main fields of application: high-level
modules in the library are specialized for
plasma physics. Low-levels are usable in
parallel computing applications.
Language, environment: Fortran 2003

Mettre une image
représentative
des fonctions du logiciel

Keywords: plasma physics, semilagrangian
method, parallel computing, plasma turbulence

License: open source (Cecill-B), not released
yet.
Academic partners: University of Strasbourg,
Max Planck Insitute - Garching.
Contact: catherine.lucquiaud@inria.fr
http://simgrid.gforge.inria.fr/

Scientific Instrument for the study of Large-Scale Distributed Systems
SimGrid is Easy-to-use
Users can quickly setup a controlled
simulation environment to develop and test
new ideas with minimal technical effort.

SimGrid is Versatile
It provides models of Network, CPU and Disks
adapted to (Data)Grids, P2P, Clouds, Clusters
and HPC, allowing multi-domain studies.

SimGrid

⇝

+
Idea or
MPI code

Models
Experimental
Setup

SimGrid is Trustworthy
The models are theoretically grounded and
experimentally validated. The results are
reproducible, enabling better scientific practices.

Scientific Results

SimGrid is Scalable
The simulation engine uses algorithmic and
implementation techniques toward the fast
simulation of large systems on a single machine.

SimGrid is Open
Due to its community-development philosophy,
SimGrid is Usable
it has been adopted by many researchers
around the globe. Several associated tools are Ported to all major platforms and programming
languages, it comes with an extensive tooling.
contributed by its large user community.
Keywords
Large-Scale Distributed Systems;
Reproducible Experiments;
Simulation, Emulation.

License: GNU LGPL
Academic Partners:
Contact: christine.morin@inria.fr
http://snooze.gforge.inria.fr/

Snooze : a Self-Organizing and Energy Aware Innovative aspects:
- Energy conservation in clouds
Cloud Management Framework.
- Generic scheduling engine supporting VM
placement, relocation and reconfiguration
algorithms
- Fault-tolerance
- Self-organizing self-healing hierarchical
architecture.
Main fields of application:
- Private cloud providers
- Testbed for evaluation of VM scheduling
algorithms in a real environment
Language, environment: Java
Keywords: Cloud computing, energy
management, consolidation, fault-tolerance,
self-organization, self-healing, virtualization
License: GPL v2
Raymond.namyst@inria.fr

StarPu

http://runtime.bordeaux.inria.fr/StarPU/

A runtime system for heterogeneous
parallel machines
Applications
Parallel
Compilers

Parallel
Libraries

Main fields of application:
•
Energy, Weather Forecast,
Aeronautics, Multimedia

StarPU
Drivers (CUDA, OpenCL)

CPU

GPU

Goals:
• Dynamically schedule tasks on all
processing units - CPU + GPU, Xeon Phi
• Minimize data transfers between
accelerators
Target for
•
Compilers: StarSs [UPC], HMPP
[CAPS entreprise]
•
Parallel Libraries: MAGMA [UTK, USA]

Xeon Phi

Language: C (C++, Fortran)

Keywords: GPU, multicore, scheduling,
performance
License: LGPL
Academic partners:
SUP

Contact: Francois.Bremond@inria.fr
https://team.inria.fr/stars/software

Scene Understanding Platform
SUP is a software platform for perceiving,
analyzing and interpreting a 3D dynamic scene
observed through a network of sensors. It
encompasses algorithms allowing for the
modeling of interesting activities for users to
enable their recognition in real-world
applications requiring high-throughput.

Innovative aspects:
Detection of human (and vehicle or other)
activities through video analysis and other
sensors in big databases.

Main fields of application:
Health-care, security, protection of people and
goods
Language, environment:
C++, cmake, multi-platform
Keywords: activity recognition
License: undetermined

Academic partners:
CHU Nice, CEA, USC California, Tainan
(Taiwan), Hamburg University, I2R Singapore

Más contenido relacionado

La actualidad más candente

The 2011 IEEE/WIC/ACM International Conference on Web Intelligence » industry...
The 2011 IEEE/WIC/ACM International Conference on Web Intelligence » industry...The 2011 IEEE/WIC/ACM International Conference on Web Intelligence » industry...
The 2011 IEEE/WIC/ACM International Conference on Web Intelligence » industry...Francois Pouilloux
 
Educon 2012- On the Design of Remote Laboratories
Educon 2012- On the Design of Remote LaboratoriesEducon 2012- On the Design of Remote Laboratories
Educon 2012- On the Design of Remote LaboratoriesMohamed Tawfik
 
I Lab2 I Lab Vision Ws 3 Oct 06 V2
I Lab2 I Lab Vision Ws 3 Oct 06 V2I Lab2 I Lab Vision Ws 3 Oct 06 V2
I Lab2 I Lab Vision Ws 3 Oct 06 V2imec.archive
 
Hillenius cebit2015-open-source-forum
Hillenius cebit2015-open-source-forumHillenius cebit2015-open-source-forum
Hillenius cebit2015-open-source-forumGijs Hillenius
 
PeterSels2016CV
PeterSels2016CVPeterSels2016CV
PeterSels2016CVPeter Sels
 
Department of Information and Communication Technologies. Univ. Pompeu Fabra,...
Department of Information and Communication Technologies. Univ. Pompeu Fabra,...Department of Information and Communication Technologies. Univ. Pompeu Fabra,...
Department of Information and Communication Technologies. Univ. Pompeu Fabra,...Aurelio Ruiz Garcia
 
Cineca HPC Annual Report 2020-2021
Cineca HPC Annual Report 2020-2021 Cineca HPC Annual Report 2020-2021
Cineca HPC Annual Report 2020-2021 Cineca
 

La actualidad más candente (11)

Ijsp
IjspIjsp
Ijsp
 
The 2011 IEEE/WIC/ACM International Conference on Web Intelligence » industry...
The 2011 IEEE/WIC/ACM International Conference on Web Intelligence » industry...The 2011 IEEE/WIC/ACM International Conference on Web Intelligence » industry...
The 2011 IEEE/WIC/ACM International Conference on Web Intelligence » industry...
 
Educon 2012- On the Design of Remote Laboratories
Educon 2012- On the Design of Remote LaboratoriesEducon 2012- On the Design of Remote Laboratories
Educon 2012- On the Design of Remote Laboratories
 
I Lab2 I Lab Vision Ws 3 Oct 06 V2
I Lab2 I Lab Vision Ws 3 Oct 06 V2I Lab2 I Lab Vision Ws 3 Oct 06 V2
I Lab2 I Lab Vision Ws 3 Oct 06 V2
 
Hillenius cebit2015-open-source-forum
Hillenius cebit2015-open-source-forumHillenius cebit2015-open-source-forum
Hillenius cebit2015-open-source-forum
 
Materials science, innovation and industry.
Materials science, innovation and industry.Materials science, innovation and industry.
Materials science, innovation and industry.
 
PeterSels2016CV
PeterSels2016CVPeterSels2016CV
PeterSels2016CV
 
Teaching about AR and Teaching with AR
Teaching about AR and Teaching with ARTeaching about AR and Teaching with AR
Teaching about AR and Teaching with AR
 
Department of Information and Communication Technologies. Univ. Pompeu Fabra,...
Department of Information and Communication Technologies. Univ. Pompeu Fabra,...Department of Information and Communication Technologies. Univ. Pompeu Fabra,...
Department of Information and Communication Technologies. Univ. Pompeu Fabra,...
 
Cv
CvCv
Cv
 
Cineca HPC Annual Report 2020-2021
Cineca HPC Annual Report 2020-2021 Cineca HPC Annual Report 2020-2021
Cineca HPC Annual Report 2020-2021
 

Destacado

Timeline Of David Min
Timeline Of David MinTimeline Of David Min
Timeline Of David MinDavid Min
 
Outstanding researchers in infocommunications
Outstanding researchers in infocommunicationsOutstanding researchers in infocommunications
Outstanding researchers in infocommunicationsPaul Serikov
 
Magen 2012
Magen 2012Magen 2012
Magen 2012rvas
 
Premium Inspection Report
Premium Inspection ReportPremium Inspection Report
Premium Inspection ReportTom Rosenberger
 
Inria - 2012 Annual Report: Digital Technology, the social dimension
Inria - 2012 Annual Report: Digital Technology, the social dimensionInria - 2012 Annual Report: Digital Technology, the social dimension
Inria - 2012 Annual Report: Digital Technology, the social dimensionInria
 
Inria - leaflet of research centre Nancy - Grand Est
Inria - leaflet of research centre Nancy - Grand EstInria - leaflet of research centre Nancy - Grand Est
Inria - leaflet of research centre Nancy - Grand EstInria
 
Lighting
LightingLighting
Lightingkellipt
 
Full Prism Solution Overview
Full Prism Solution OverviewFull Prism Solution Overview
Full Prism Solution OverviewAndrew Bain
 
Gee Ukase
Gee UkaseGee Ukase
Gee Ukaserix
 
Inria - 2011 annual report
Inria - 2011 annual reportInria - 2011 annual report
Inria - 2011 annual reportInria
 
Retaining Wall in Costa Rica
Retaining Wall in Costa RicaRetaining Wall in Costa Rica
Retaining Wall in Costa RicaTom Rosenberger
 
CLOUD COMPUTING
CLOUD COMPUTINGCLOUD COMPUTING
CLOUD COMPUTINGdasaa
 
Inria - Activity report 2010
Inria -  Activity report 2010Inria -  Activity report 2010
Inria - Activity report 2010Inria
 
Semih üStüN GöZtepe Kart Sunumu 04 02 10 V01
Semih üStüN  GöZtepe Kart Sunumu 04 02 10 V01Semih üStüN  GöZtepe Kart Sunumu 04 02 10 V01
Semih üStüN GöZtepe Kart Sunumu 04 02 10 V01asd
 
Geoconda muñoz beneficios web 2.0
Geoconda muñoz beneficios web 2.0Geoconda muñoz beneficios web 2.0
Geoconda muñoz beneficios web 2.0YOGISS Muñoz
 

Destacado (20)

Timeline Of David Min
Timeline Of David MinTimeline Of David Min
Timeline Of David Min
 
Outstanding researchers in infocommunications
Outstanding researchers in infocommunicationsOutstanding researchers in infocommunications
Outstanding researchers in infocommunications
 
Magen 2012
Magen 2012Magen 2012
Magen 2012
 
Vocabulary Body
Vocabulary BodyVocabulary Body
Vocabulary Body
 
Premium Inspection Report
Premium Inspection ReportPremium Inspection Report
Premium Inspection Report
 
Valens pres. Navàs
Valens pres. NavàsValens pres. Navàs
Valens pres. Navàs
 
Inria - 2012 Annual Report: Digital Technology, the social dimension
Inria - 2012 Annual Report: Digital Technology, the social dimensionInria - 2012 Annual Report: Digital Technology, the social dimension
Inria - 2012 Annual Report: Digital Technology, the social dimension
 
Inria - leaflet of research centre Nancy - Grand Est
Inria - leaflet of research centre Nancy - Grand EstInria - leaflet of research centre Nancy - Grand Est
Inria - leaflet of research centre Nancy - Grand Est
 
Lighting
LightingLighting
Lighting
 
Hfc g rf amplifiers
Hfc g rf amplifiersHfc g rf amplifiers
Hfc g rf amplifiers
 
Full Prism Solution Overview
Full Prism Solution OverviewFull Prism Solution Overview
Full Prism Solution Overview
 
Gee Ukase
Gee UkaseGee Ukase
Gee Ukase
 
Inria - 2011 annual report
Inria - 2011 annual reportInria - 2011 annual report
Inria - 2011 annual report
 
Retaining Wall in Costa Rica
Retaining Wall in Costa RicaRetaining Wall in Costa Rica
Retaining Wall in Costa Rica
 
Bct Terms 1 3
Bct Terms 1 3Bct Terms 1 3
Bct Terms 1 3
 
CLOUD COMPUTING
CLOUD COMPUTINGCLOUD COMPUTING
CLOUD COMPUTING
 
Hfc e passive equip
Hfc e passive equipHfc e passive equip
Hfc e passive equip
 
Inria - Activity report 2010
Inria -  Activity report 2010Inria -  Activity report 2010
Inria - Activity report 2010
 
Semih üStüN GöZtepe Kart Sunumu 04 02 10 V01
Semih üStüN  GöZtepe Kart Sunumu 04 02 10 V01Semih üStüN  GöZtepe Kart Sunumu 04 02 10 V01
Semih üStüN GöZtepe Kart Sunumu 04 02 10 V01
 
Geoconda muñoz beneficios web 2.0
Geoconda muñoz beneficios web 2.0Geoconda muñoz beneficios web 2.0
Geoconda muñoz beneficios web 2.0
 

Similar a Inria - Software assets - Aerospace

Qiang Yu CV
Qiang Yu CVQiang Yu CV
Qiang Yu CVQiang Yu
 
Power9 aihpc bigdataeducationserver
Power9 aihpc bigdataeducationserverPower9 aihpc bigdataeducationserver
Power9 aihpc bigdataeducationserverGanesan Narayanasamy
 
ICT, Importance of programming and programming languages
ICT, Importance of programming and programming languagesICT, Importance of programming and programming languages
ICT, Importance of programming and programming languagesEbin Robinson
 
Programming IoT Gateways with macchina.io
Programming IoT Gateways with macchina.ioProgramming IoT Gateways with macchina.io
Programming IoT Gateways with macchina.ioGünter Obiltschnig
 
Qiang Yu Resume
Qiang Yu Resume Qiang Yu Resume
Qiang Yu Resume Qiang Yu
 
Analysis of programming languages used in solving energy problems.pdf
Analysis of programming languages used in solving energy problems.pdfAnalysis of programming languages used in solving energy problems.pdf
Analysis of programming languages used in solving energy problems.pdfNatasha Grant
 
Rogue Wave Corporate Vision(P) 5.19.10
Rogue Wave Corporate Vision(P)   5.19.10Rogue Wave Corporate Vision(P)   5.19.10
Rogue Wave Corporate Vision(P) 5.19.10Chris O'Neal
 
Open Nordic 2008 NTNU
Open Nordic 2008 NTNUOpen Nordic 2008 NTNU
Open Nordic 2008 NTNUØyvind Hauge
 
Free/Open Source Software for Science & Engineering
Free/Open Source Software for Science & EngineeringFree/Open Source Software for Science & Engineering
Free/Open Source Software for Science & EngineeringKinshuk Sunil
 

Similar a Inria - Software assets - Aerospace (20)

Qiang Yu CV
Qiang Yu CVQiang Yu CV
Qiang Yu CV
 
SivaBorra
SivaBorraSivaBorra
SivaBorra
 
Power9 aihpc bigdataeducationserver
Power9 aihpc bigdataeducationserverPower9 aihpc bigdataeducationserver
Power9 aihpc bigdataeducationserver
 
ICT, Importance of programming and programming languages
ICT, Importance of programming and programming languagesICT, Importance of programming and programming languages
ICT, Importance of programming and programming languages
 
robocity2013-jderobot
robocity2013-jderobotrobocity2013-jderobot
robocity2013-jderobot
 
Programming IoT Gateways with macchina.io
Programming IoT Gateways with macchina.ioProgramming IoT Gateways with macchina.io
Programming IoT Gateways with macchina.io
 
Badusha_Profile
Badusha_ProfileBadusha_Profile
Badusha_Profile
 
Raushan_Resume1
Raushan_Resume1Raushan_Resume1
Raushan_Resume1
 
Qiang Yu Resume
Qiang Yu Resume Qiang Yu Resume
Qiang Yu Resume
 
Analysis of programming languages used in solving energy problems.pdf
Analysis of programming languages used in solving energy problems.pdfAnalysis of programming languages used in solving energy problems.pdf
Analysis of programming languages used in solving energy problems.pdf
 
Ankit sarin
Ankit sarinAnkit sarin
Ankit sarin
 
Rogue Wave Corporate Vision(P) 5.19.10
Rogue Wave Corporate Vision(P)   5.19.10Rogue Wave Corporate Vision(P)   5.19.10
Rogue Wave Corporate Vision(P) 5.19.10
 
cv_francisco.ruiz_en
cv_francisco.ruiz_encv_francisco.ruiz_en
cv_francisco.ruiz_en
 
Open Nordic 2008 NTNU
Open Nordic 2008 NTNUOpen Nordic 2008 NTNU
Open Nordic 2008 NTNU
 
My report ppt
My report pptMy report ppt
My report ppt
 
Resume-Nov2019
Resume-Nov2019Resume-Nov2019
Resume-Nov2019
 
Scilab-by-dr-gomez-june2014
Scilab-by-dr-gomez-june2014Scilab-by-dr-gomez-june2014
Scilab-by-dr-gomez-june2014
 
Free/Open Source Software for Science & Engineering
Free/Open Source Software for Science & EngineeringFree/Open Source Software for Science & Engineering
Free/Open Source Software for Science & Engineering
 
AUK - CV WO Ref
AUK - CV WO RefAUK - CV WO Ref
AUK - CV WO Ref
 
CV - Resume
CV - ResumeCV - Resume
CV - Resume
 

Más de Inria

Inria | Annual report 2022
Inria | Annual report 2022Inria | Annual report 2022
Inria | Annual report 2022Inria
 
Inria | Rapport d'activités 2022
Inria |  Rapport d'activités 2022Inria |  Rapport d'activités 2022
Inria | Rapport d'activités 2022Inria
 
Rapport d'auto-évaluation Hcérès | L'essentiel
Rapport d'auto-évaluation Hcérès | L'essentielRapport d'auto-évaluation Hcérès | L'essentiel
Rapport d'auto-évaluation Hcérès | L'essentielInria
 
Le numérique est-il un progrès durable
Le numérique est-il un progrès durableLe numérique est-il un progrès durable
Le numérique est-il un progrès durableInria
 
Extrait Pour la science n°538 - Quand une photo sort de l’ombre
Extrait Pour la science n°538 - Quand une photo sort de l’ombreExtrait Pour la science n°538 - Quand une photo sort de l’ombre
Extrait Pour la science n°538 - Quand une photo sort de l’ombreInria
 
Extrait CHUT n°10 - sciences moins polluantes
Extrait CHUT n°10 - sciences moins polluantesExtrait CHUT n°10 - sciences moins polluantes
Extrait CHUT n°10 - sciences moins polluantesInria
 
Inria | Activity report 2021
Inria | Activity report 2021Inria | Activity report 2021
Inria | Activity report 2021Inria
 
Inria | Rapport d'activités 2021
Inria |  Rapport d'activités 2021Inria |  Rapport d'activités 2021
Inria | Rapport d'activités 2021Inria
 
Inria | White paper Agriculture and Digital Technology (January 2022)
Inria | White paper Agriculture and Digital Technology  (January 2022)Inria | White paper Agriculture and Digital Technology  (January 2022)
Inria | White paper Agriculture and Digital Technology (January 2022)Inria
 
Inria | Livre blanc Agriculture et numérique (janvier 2022)
Inria | Livre blanc Agriculture et numérique (janvier 2022)Inria | Livre blanc Agriculture et numérique (janvier 2022)
Inria | Livre blanc Agriculture et numérique (janvier 2022)Inria
 
Inria | White paper Internet of Things (November 2021)
Inria | White paper Internet of Things (November 2021)Inria | White paper Internet of Things (November 2021)
Inria | White paper Internet of Things (November 2021)Inria
 
Inria | Livre blanc Internet des objets (novembre 2021)
Inria | Livre blanc Internet des objets (novembre 2021)Inria | Livre blanc Internet des objets (novembre 2021)
Inria | Livre blanc Internet des objets (novembre 2021)Inria
 
Inria - Livre blanc intelligence artificielle (seconde édition 2021)
Inria - Livre blanc intelligence artificielle (seconde édition 2021)Inria - Livre blanc intelligence artificielle (seconde édition 2021)
Inria - Livre blanc intelligence artificielle (seconde édition 2021)Inria
 
Inria - White paper Artificial Intelligence (second edition 2021)
Inria - White paper Artificial Intelligence  (second edition 2021)Inria - White paper Artificial Intelligence  (second edition 2021)
Inria - White paper Artificial Intelligence (second edition 2021)Inria
 
Inria - Activity report 2020
Inria - Activity report 2020Inria - Activity report 2020
Inria - Activity report 2020Inria
 
Inria - Rapport d'activités 2020
Inria - Rapport d'activités 2020Inria - Rapport d'activités 2020
Inria - Rapport d'activités 2020Inria
 
Inria - Livre blanc éducation et numérique
Inria - Livre blanc éducation et numériqueInria - Livre blanc éducation et numérique
Inria - Livre blanc éducation et numériqueInria
 
Inria - Plug'in #7
Inria - Plug'in #7Inria - Plug'in #7
Inria - Plug'in #7Inria
 
Inria - 2019 activity report
Inria - 2019 activity reportInria - 2019 activity report
Inria - 2019 activity reportInria
 
Inria - Rapport d'activités 2019
Inria - Rapport d'activités 2019Inria - Rapport d'activités 2019
Inria - Rapport d'activités 2019Inria
 

Más de Inria (20)

Inria | Annual report 2022
Inria | Annual report 2022Inria | Annual report 2022
Inria | Annual report 2022
 
Inria | Rapport d'activités 2022
Inria |  Rapport d'activités 2022Inria |  Rapport d'activités 2022
Inria | Rapport d'activités 2022
 
Rapport d'auto-évaluation Hcérès | L'essentiel
Rapport d'auto-évaluation Hcérès | L'essentielRapport d'auto-évaluation Hcérès | L'essentiel
Rapport d'auto-évaluation Hcérès | L'essentiel
 
Le numérique est-il un progrès durable
Le numérique est-il un progrès durableLe numérique est-il un progrès durable
Le numérique est-il un progrès durable
 
Extrait Pour la science n°538 - Quand une photo sort de l’ombre
Extrait Pour la science n°538 - Quand une photo sort de l’ombreExtrait Pour la science n°538 - Quand une photo sort de l’ombre
Extrait Pour la science n°538 - Quand une photo sort de l’ombre
 
Extrait CHUT n°10 - sciences moins polluantes
Extrait CHUT n°10 - sciences moins polluantesExtrait CHUT n°10 - sciences moins polluantes
Extrait CHUT n°10 - sciences moins polluantes
 
Inria | Activity report 2021
Inria | Activity report 2021Inria | Activity report 2021
Inria | Activity report 2021
 
Inria | Rapport d'activités 2021
Inria |  Rapport d'activités 2021Inria |  Rapport d'activités 2021
Inria | Rapport d'activités 2021
 
Inria | White paper Agriculture and Digital Technology (January 2022)
Inria | White paper Agriculture and Digital Technology  (January 2022)Inria | White paper Agriculture and Digital Technology  (January 2022)
Inria | White paper Agriculture and Digital Technology (January 2022)
 
Inria | Livre blanc Agriculture et numérique (janvier 2022)
Inria | Livre blanc Agriculture et numérique (janvier 2022)Inria | Livre blanc Agriculture et numérique (janvier 2022)
Inria | Livre blanc Agriculture et numérique (janvier 2022)
 
Inria | White paper Internet of Things (November 2021)
Inria | White paper Internet of Things (November 2021)Inria | White paper Internet of Things (November 2021)
Inria | White paper Internet of Things (November 2021)
 
Inria | Livre blanc Internet des objets (novembre 2021)
Inria | Livre blanc Internet des objets (novembre 2021)Inria | Livre blanc Internet des objets (novembre 2021)
Inria | Livre blanc Internet des objets (novembre 2021)
 
Inria - Livre blanc intelligence artificielle (seconde édition 2021)
Inria - Livre blanc intelligence artificielle (seconde édition 2021)Inria - Livre blanc intelligence artificielle (seconde édition 2021)
Inria - Livre blanc intelligence artificielle (seconde édition 2021)
 
Inria - White paper Artificial Intelligence (second edition 2021)
Inria - White paper Artificial Intelligence  (second edition 2021)Inria - White paper Artificial Intelligence  (second edition 2021)
Inria - White paper Artificial Intelligence (second edition 2021)
 
Inria - Activity report 2020
Inria - Activity report 2020Inria - Activity report 2020
Inria - Activity report 2020
 
Inria - Rapport d'activités 2020
Inria - Rapport d'activités 2020Inria - Rapport d'activités 2020
Inria - Rapport d'activités 2020
 
Inria - Livre blanc éducation et numérique
Inria - Livre blanc éducation et numériqueInria - Livre blanc éducation et numérique
Inria - Livre blanc éducation et numérique
 
Inria - Plug'in #7
Inria - Plug'in #7Inria - Plug'in #7
Inria - Plug'in #7
 
Inria - 2019 activity report
Inria - 2019 activity reportInria - 2019 activity report
Inria - 2019 activity report
 
Inria - Rapport d'activités 2019
Inria - Rapport d'activités 2019Inria - Rapport d'activités 2019
Inria - Rapport d'activités 2019
 

Último

Computer 10: Lesson 10 - Online Crimes and Hazards
Computer 10: Lesson 10 - Online Crimes and HazardsComputer 10: Lesson 10 - Online Crimes and Hazards
Computer 10: Lesson 10 - Online Crimes and HazardsSeth Reyes
 
UiPath Community: AI for UiPath Automation Developers
UiPath Community: AI for UiPath Automation DevelopersUiPath Community: AI for UiPath Automation Developers
UiPath Community: AI for UiPath Automation DevelopersUiPathCommunity
 
VoIP Service and Marketing using Odoo and Asterisk PBX
VoIP Service and Marketing using Odoo and Asterisk PBXVoIP Service and Marketing using Odoo and Asterisk PBX
VoIP Service and Marketing using Odoo and Asterisk PBXTarek Kalaji
 
Meet the new FSP 3000 M-Flex800™
Meet the new FSP 3000 M-Flex800™Meet the new FSP 3000 M-Flex800™
Meet the new FSP 3000 M-Flex800™Adtran
 
Building Your Own AI Instance (TBLC AI )
Building Your Own AI Instance (TBLC AI )Building Your Own AI Instance (TBLC AI )
Building Your Own AI Instance (TBLC AI )Brian Pichman
 
9 Steps For Building Winning Founding Team
9 Steps For Building Winning Founding Team9 Steps For Building Winning Founding Team
9 Steps For Building Winning Founding TeamAdam Moalla
 
IESVE Software for Florida Code Compliance Using ASHRAE 90.1-2019
IESVE Software for Florida Code Compliance Using ASHRAE 90.1-2019IESVE Software for Florida Code Compliance Using ASHRAE 90.1-2019
IESVE Software for Florida Code Compliance Using ASHRAE 90.1-2019IES VE
 
UiPath Studio Web workshop series - Day 7
UiPath Studio Web workshop series - Day 7UiPath Studio Web workshop series - Day 7
UiPath Studio Web workshop series - Day 7DianaGray10
 
KubeConEU24-Monitoring Kubernetes and Cloud Spend with OpenCost
KubeConEU24-Monitoring Kubernetes and Cloud Spend with OpenCostKubeConEU24-Monitoring Kubernetes and Cloud Spend with OpenCost
KubeConEU24-Monitoring Kubernetes and Cloud Spend with OpenCostMatt Ray
 
Designing A Time bound resource download URL
Designing A Time bound resource download URLDesigning A Time bound resource download URL
Designing A Time bound resource download URLRuncy Oommen
 
Apres-Cyber - The Data Dilemma: Bridging Offensive Operations and Machine Lea...
Apres-Cyber - The Data Dilemma: Bridging Offensive Operations and Machine Lea...Apres-Cyber - The Data Dilemma: Bridging Offensive Operations and Machine Lea...
Apres-Cyber - The Data Dilemma: Bridging Offensive Operations and Machine Lea...Will Schroeder
 
Introduction to Matsuo Laboratory (ENG).pptx
Introduction to Matsuo Laboratory (ENG).pptxIntroduction to Matsuo Laboratory (ENG).pptx
Introduction to Matsuo Laboratory (ENG).pptxMatsuo Lab
 
COMPUTER 10: Lesson 7 - File Storage and Online Collaboration
COMPUTER 10: Lesson 7 - File Storage and Online CollaborationCOMPUTER 10: Lesson 7 - File Storage and Online Collaboration
COMPUTER 10: Lesson 7 - File Storage and Online Collaborationbruanjhuli
 
Videogame localization & technology_ how to enhance the power of translation.pdf
Videogame localization & technology_ how to enhance the power of translation.pdfVideogame localization & technology_ how to enhance the power of translation.pdf
Videogame localization & technology_ how to enhance the power of translation.pdfinfogdgmi
 
activity_diagram_combine_v4_20190827.pdfactivity_diagram_combine_v4_20190827.pdf
activity_diagram_combine_v4_20190827.pdfactivity_diagram_combine_v4_20190827.pdfactivity_diagram_combine_v4_20190827.pdfactivity_diagram_combine_v4_20190827.pdf
activity_diagram_combine_v4_20190827.pdfactivity_diagram_combine_v4_20190827.pdfJamie (Taka) Wang
 
Machine Learning Model Validation (Aijun Zhang 2024).pdf
Machine Learning Model Validation (Aijun Zhang 2024).pdfMachine Learning Model Validation (Aijun Zhang 2024).pdf
Machine Learning Model Validation (Aijun Zhang 2024).pdfAijun Zhang
 
Bird eye's view on Camunda open source ecosystem
Bird eye's view on Camunda open source ecosystemBird eye's view on Camunda open source ecosystem
Bird eye's view on Camunda open source ecosystemAsko Soukka
 
NIST Cybersecurity Framework (CSF) 2.0 Workshop
NIST Cybersecurity Framework (CSF) 2.0 WorkshopNIST Cybersecurity Framework (CSF) 2.0 Workshop
NIST Cybersecurity Framework (CSF) 2.0 WorkshopBachir Benyammi
 
AI Fame Rush Review – Virtual Influencer Creation In Just Minutes
AI Fame Rush Review – Virtual Influencer Creation In Just MinutesAI Fame Rush Review – Virtual Influencer Creation In Just Minutes
AI Fame Rush Review – Virtual Influencer Creation In Just MinutesMd Hossain Ali
 
UiPath Solutions Management Preview - Northern CA Chapter - March 22.pdf
UiPath Solutions Management Preview - Northern CA Chapter - March 22.pdfUiPath Solutions Management Preview - Northern CA Chapter - March 22.pdf
UiPath Solutions Management Preview - Northern CA Chapter - March 22.pdfDianaGray10
 

Último (20)

Computer 10: Lesson 10 - Online Crimes and Hazards
Computer 10: Lesson 10 - Online Crimes and HazardsComputer 10: Lesson 10 - Online Crimes and Hazards
Computer 10: Lesson 10 - Online Crimes and Hazards
 
UiPath Community: AI for UiPath Automation Developers
UiPath Community: AI for UiPath Automation DevelopersUiPath Community: AI for UiPath Automation Developers
UiPath Community: AI for UiPath Automation Developers
 
VoIP Service and Marketing using Odoo and Asterisk PBX
VoIP Service and Marketing using Odoo and Asterisk PBXVoIP Service and Marketing using Odoo and Asterisk PBX
VoIP Service and Marketing using Odoo and Asterisk PBX
 
Meet the new FSP 3000 M-Flex800™
Meet the new FSP 3000 M-Flex800™Meet the new FSP 3000 M-Flex800™
Meet the new FSP 3000 M-Flex800™
 
Building Your Own AI Instance (TBLC AI )
Building Your Own AI Instance (TBLC AI )Building Your Own AI Instance (TBLC AI )
Building Your Own AI Instance (TBLC AI )
 
9 Steps For Building Winning Founding Team
9 Steps For Building Winning Founding Team9 Steps For Building Winning Founding Team
9 Steps For Building Winning Founding Team
 
IESVE Software for Florida Code Compliance Using ASHRAE 90.1-2019
IESVE Software for Florida Code Compliance Using ASHRAE 90.1-2019IESVE Software for Florida Code Compliance Using ASHRAE 90.1-2019
IESVE Software for Florida Code Compliance Using ASHRAE 90.1-2019
 
UiPath Studio Web workshop series - Day 7
UiPath Studio Web workshop series - Day 7UiPath Studio Web workshop series - Day 7
UiPath Studio Web workshop series - Day 7
 
KubeConEU24-Monitoring Kubernetes and Cloud Spend with OpenCost
KubeConEU24-Monitoring Kubernetes and Cloud Spend with OpenCostKubeConEU24-Monitoring Kubernetes and Cloud Spend with OpenCost
KubeConEU24-Monitoring Kubernetes and Cloud Spend with OpenCost
 
Designing A Time bound resource download URL
Designing A Time bound resource download URLDesigning A Time bound resource download URL
Designing A Time bound resource download URL
 
Apres-Cyber - The Data Dilemma: Bridging Offensive Operations and Machine Lea...
Apres-Cyber - The Data Dilemma: Bridging Offensive Operations and Machine Lea...Apres-Cyber - The Data Dilemma: Bridging Offensive Operations and Machine Lea...
Apres-Cyber - The Data Dilemma: Bridging Offensive Operations and Machine Lea...
 
Introduction to Matsuo Laboratory (ENG).pptx
Introduction to Matsuo Laboratory (ENG).pptxIntroduction to Matsuo Laboratory (ENG).pptx
Introduction to Matsuo Laboratory (ENG).pptx
 
COMPUTER 10: Lesson 7 - File Storage and Online Collaboration
COMPUTER 10: Lesson 7 - File Storage and Online CollaborationCOMPUTER 10: Lesson 7 - File Storage and Online Collaboration
COMPUTER 10: Lesson 7 - File Storage and Online Collaboration
 
Videogame localization & technology_ how to enhance the power of translation.pdf
Videogame localization & technology_ how to enhance the power of translation.pdfVideogame localization & technology_ how to enhance the power of translation.pdf
Videogame localization & technology_ how to enhance the power of translation.pdf
 
activity_diagram_combine_v4_20190827.pdfactivity_diagram_combine_v4_20190827.pdf
activity_diagram_combine_v4_20190827.pdfactivity_diagram_combine_v4_20190827.pdfactivity_diagram_combine_v4_20190827.pdfactivity_diagram_combine_v4_20190827.pdf
activity_diagram_combine_v4_20190827.pdfactivity_diagram_combine_v4_20190827.pdf
 
Machine Learning Model Validation (Aijun Zhang 2024).pdf
Machine Learning Model Validation (Aijun Zhang 2024).pdfMachine Learning Model Validation (Aijun Zhang 2024).pdf
Machine Learning Model Validation (Aijun Zhang 2024).pdf
 
Bird eye's view on Camunda open source ecosystem
Bird eye's view on Camunda open source ecosystemBird eye's view on Camunda open source ecosystem
Bird eye's view on Camunda open source ecosystem
 
NIST Cybersecurity Framework (CSF) 2.0 Workshop
NIST Cybersecurity Framework (CSF) 2.0 WorkshopNIST Cybersecurity Framework (CSF) 2.0 Workshop
NIST Cybersecurity Framework (CSF) 2.0 Workshop
 
AI Fame Rush Review – Virtual Influencer Creation In Just Minutes
AI Fame Rush Review – Virtual Influencer Creation In Just MinutesAI Fame Rush Review – Virtual Influencer Creation In Just Minutes
AI Fame Rush Review – Virtual Influencer Creation In Just Minutes
 
UiPath Solutions Management Preview - Northern CA Chapter - March 22.pdf
UiPath Solutions Management Preview - Northern CA Chapter - March 22.pdfUiPath Solutions Management Preview - Northern CA Chapter - March 22.pdf
UiPath Solutions Management Preview - Northern CA Chapter - March 22.pdf
 

Inria - Software assets - Aerospace

  • 2. Inria, a public research institute established in 1967, produces excellent research in mathematics and computational sciences. The institute covers the entire spectrum of research at the heart of these areas of activity, and works also on issues asked by other sciences and by economic and societal actors. Inria can be considered as a software provider. Indeed, approximately 1000 software are currently developed of which a large part is distributed with an open source license. Inria is convinced that this production deserves to be more widely known among academic and economical actors as it is a source of value creation, which is one of Inria's missions. The India France Technology Summit is an opportunity to raise awareness of this software production. Thus, this catalog offers an extract from software assets, as part of the Summit themes such as health, smart cities, smart grid, critical embedded software, etc. . You can find all these software files, and many others on Icommunity: https://www.icommunity.fr/patrimoine-technologique-inria
  • 3. Alt-Ergo is an automatic solver of formulas based on SMT technology. It is especially designed to prove mathematical formulas generated by program verification tools, such as Frama-C for C programs, or SPARK for Ada code. Initially developed in Toccata research team, Alt-Ergo's distribution and support are provided by OCamlPro since September 2013. Contact: Sylvain.Conchon@inria.fr http://alt-ergo.lri.fr Innovative aspects : - Polymorphic language input - Interactive graphical interface - Qualification DO-178 B/C (avionic) Main fielfs of applications : - Program verification - Formal tests generation - Model checking - Cryptographic protocols verification Mais users : - Airbus & Atos Origin (projet de l'A350) - AdaCore & Altran (preuve de code Ada) - CEA (preuve de programmes C) Language, standard, environment : OCaml (Linux, Windows, MacOS) Keywords: software reliability, formal methods, proof Licence: CECILL-C Partners : Toccata &
  • 4. Contact: chantal.le_tonqueze@inria.fr http://www.eclipse.org/m2m/atl/ ATL (AtlanMod Transformation Language) is a Innovative aspects: Support for all model types (e.g., UML2), tool dedicated to model transformation, declarative (QVT-like) and imperative complete, integrated into Eclipse and including syntaxes. its own development & execution environment, Main fields of application: concrete examples as well as the Code generation preparing, reverse corresponding associated documentation engineering of legacy systems, tool interoperability, etc. More generally, any context implying model processing. Keywords: MDA, MDE, ATL, QVT, model, transformation Language, standard, environment: Eclipse, EMF, Java License: Eclipse Public License (EPL) Partners:
  • 5. Contact: pierre.martinon@inria.fr URL: www.bocop.org controlled Innovative aspects: highly flexible toolbox, with state-of-the-art algorithms, advanced and user-friendly GUI Features powerful solvers and user-friendly GUI. Fit for both academic and industrial use. Main fields of application: transportation, Toolbox for optimization dynamical systems. of energy, process optimization, and biology Language, environment: C++, Linux / Mac / Windows Keywords: control, optimization, toolbox License: EPL (core) Possible proprietary modules Academic partners :
  • 6. Contact: Julia.Lawall@inria.fr http://coccinelle.lip6.fr Coccinelle Coccinelle is a tool for code search and transformation for C programs. It has been extensively used for bug finding and evolutions in Linux kernel code. Innovative aspects: Ease of writing specifications, in terms of C-code based patterns. Scales to millions of lines of code. Main fields of application: Large-scale software development. Bug finding, software evolution, code renovation, code metrics, software understanding. @@ expression E; constant C; @@ – !E & C + !(E & C) Language, environment: Linux, Windows, Mac. Distributed with Ubuntu, Debian, Fedora, etc. Keywords : code quality, evolution, infrastructure software License : GPLv2 Academic partners :
  • 7. Contact: sriv-saclay@inria.fr http://coco.gforge.inria.fr/doku.php Choose your Optimizer! COmparing Continuous Optimizers is a platform for benchmarking numerical optimization algorithms in order to determine the best optimizer for a given class of problem. Innovative aspects: Tedious task of running experiments, postprocessing and visualization entirely automatized. Database of different benchmarked algorithms with the platform available. Main fields of application: Any field where one needs to solve numerical optimization problem in black-box scenario, such as biology, physics (for parameter calibration), engineering design (launcher, airplane, car, ...). Language, environment: C, Java, Matlab and Octave, Python Keywords: benchmarking, numerical optimization, black-box optimization. License: BSD Academic partners:
  • 8. Coq Coq provides with both a dependently-typed functional programming language and a logical formalism, which, altogether, supports the formalisation of mathematical theories and the specification and certification of properties of programs. Coq also provides with a large and extensible set of automatic or semi-automatic proof methods. Coq's programs are extractible to OCaml, Haskell, Scheme, ... Contact: coqdev@inria.fr http://coq.inria.fr Innovative aspects: Coq received the ACM-SIGPLAN Programming Languages Software 2013 award for its original mixed programming/logic language and for its high-level methods of proof and specification (tactic language, systems of abbreviation, ...) Main fields of application: formalisation of mathematics, certification of properties of programs, university-level teaching of logic and programming Top applications: full formalisation of the group order theorem, C compiler certification Language, environment: multi-platforms, written in OCaml, libraries themselves written in Coq Keywords: certification, formalisation, proofs License: LGPL Academic partners: CNRS, ENS Lyon, U. Paris-Sud, U. Paris-Diderot
  • 9. Contact: sriv-saclay@inria.fr http://frama-c.com/ Frama-C is a platform dedicated to sourcecode analysis of C software. Frama-C assists in development and verification activities as well as in reverse source-code engineering. Innovative aspects: Frama-C proposes a dedicated language for writing specifications, ACSL. Different FramaC plug-ins use complementary techniques to verify that the source code complies with specifications written in this language. Main fields of application: Transport, energies, healthcare, security Language, standard, environment: Ocaml language License: GNU LGPL v2 Keywords: Software verification, proving software, trusted software. Partners:
  • 10. Contact: chantal.le_tonqueze@inria.fr http://kermeta.org/ Innovative aspects: programming environment based on an object- Kermeta allows to define and enrich new programming languages by improving the way oriented DSL (Domain Specific Language) to specify, simulate and test operational semantics of metamodels. optimized for metamodel engineering. The Kermeta workbench is a powerful meta- . Main fields of application: Agile software developent, model engineering Key words : MOF (Meta Object Facility), OMG (Object Management Group), Metamodelisation Coding and Operating System: Java, Kermeta License: EPL Academic Partners:
  • 11. Contact: Brice.Goglin@inria.fr http://www.open-mpi.org/projects/hwloc/ « Portable Hardware Locality » hwloc discovers your computers’ topology and exposes it as an abstracted and portable hierarchical tree. Main fields of application: hwloc’s main goal consists in assisting applications for retrieving easy-to-use information about modern compute server architectures so as to exploit their power in a more convenient and efficient manner. Language: C Keywords: Topology, locality, affinities, HPC, MPI, GPU License: new BSD licence Technological barrier: Users may now visualize the topology within a graphical interface and consult many architectural and computing characteristics. Academic partners: Open MPI consortium, Argonne Nationa Lab., etc.
  • 12. Contact: sylvain.karpf@inria.fr http://www.moosetechnology.org Moose is an extensive platform for software and data analysis. It offers multiple services ranging from importing and parsing data, to modeling, to measuring, querying, mining, and to building interactive and visual analysis tools. Innovative aspects: Moose accelerates production of software analyses by providing expandable models and reusable libraries. Several models are offered for static or dynamic analysis of programmes, development logs, procedural code or aspect. Smalltalk (open-source Pharo) Windows, Linux, Mac Main fields of application: Retroengineering, Meta-modelling, Software visualisation License: BSD licence Academic partners:
  • 13. Contact: rev@inrialpes.fr http://graal.ens-lyon.fr/MUMPS Multifrontal Massively Parallel Solver solves sparse linear systems of the form A x = b. Innovative aspects: MUMPS is a direct solver, used worldwide in many fields related to digital simulation, in academic as well as industrial codes. Its main characteristics are its numerical stability, large number of functionalities and high performance. Language, standard, environment: Fortran and C languages, available for Unix, Windows or Mac OS, parallel calculators. Keywords: sparse matrices, direct solvers, highperformance calculation, finite element modelling Licence: Open source Spinning wheel (courtesy of SAMTECH) Academic partners:
  • 14. Contact: regis.duvigneau@inria.fr http://num3sis.inria.fr - Visual programming (dataflow) - Coupling via plugins - Interactive computation and visualization - Distributed computing Innovative aspects: Plateform for the aggregation of software components (plugins) dedicated to multidisciplinary numerical simulation in HPC environment Coupling of models (aerodynamics, electromagnetics, structural mechanics), coupling of numerical methods (finitevolume, finite-element, discontinuous Galerkin, linear solver, mesh generation, etc) Language, environment: C++, libraries Qt, vtk, mpi Keywords: simulation, plateform, HPC License: free for academic usage
  • 15. Contact: rev@inrialpes.fr http://oar.imag.fr A task and resource management tool for computing infrastructures. Innovative aspects: Versatility, customisation, scaling up, control of complexity, flexible scheduler. Main fields of application: Use of infrastructures for high-performance computing. Language: Perl, Ruby, Ocaml, Bash, SQL. Available for UNIX: Debian, Centos, RedHat. Keywords: resource manager, clusters, light grid, cloud, HPC. License: GPL Partners: Used by (among others) Grid’5000, SensLAB, Mesocentre CIMENT, BRGM.
  • 16. OCaml The OCaml language is a functional programming language that combines safety with expressiveness through the use of a precise and flexible type system with automatic type inference. The OCaml system is a comprehensive implementation of this language, featuring two compilers (a bytecode compiler, for fast prototyping and interactive use, and a native-code compiler producing efficient machine code for x86, ARM, PowerPC and SPARC), a debugger, a documentation generator, a compilation manager, a package manager, and many libraries contributed by the user community. Contact: Xavier.Leroy@inria.fr http://caml.inria.fr/ http://ocaml.org/ Innovative aspects: OCaml is one of the three most widely-used functional programming languages, and the only one that seamlessly combines functional, imperative and object-oriented programming within a single type system. Main fields of application: Symbolic computation : compilers, code generators, static analyzers, formal verification tools, automated theorem provers, interactive proof assistants. High-level systems, network and Web programming. OCaml is also used in the financial industry, notably for modeling and pricing complex financial products. Language, environment: Programmed in OCaml and in C, the OCaml system supports Linux, BSD, MacOS X, and Microsoft Windows. Keywords: functional programming, static typing, symbolic computation, compilation, static analysis., License: OCaml is free software, distributed under QPL and LGPL licences. A specific BSD-like license is offered to members of the Caml Consortium.
  • 17. Contact: sylvain.karpf@inria.fr http://paradiseo.gforge.inria.fr/ ParadisEO Paradiseo is a software framework for metaheuristics (optimisation algorithms aimed at solving difficult optimisation problems). It facilitates the use, development and comparison of classic, multi-objective, parallel or hybrid metaheuristics. ParadisEO-PEO ParadisEO-MO Innovative aspects: ParadisEO offers implementations of numerous classic metaheuristics from literature as well as innovative new metaheuristics. This software can also be used for parallelisation of metaheuristics. Main fields of application: ParadisEO is used to solve large-scale optimisation problems in a wide variety of fields, such as transport, logistics, telecommunication systems and bioinformatics. ParadisEO-MOEO ParadisEO-EO EO : Population-based metaheuristics Language, environment: available for Windows, Unix and Mac OS X, Language C++, CMake Keywords: Metaheuristics, parallelisation. MO : Single solution-based metaheuristics MOEO : Metaheuristics for multiobjective optimisation PEO : Hybrid, parallel and distributed metaheuristics License: freeware available Academic partners:
  • 18. Contact: marianne.lamour@inria.fr http://www.labri.fr/~pelegrin/scotch/ (PT-)Scotch Scotch is a graph partitioner. It helps optimise the division of a problem, by means of a graph, into a set of independent sub-problems of equivalent sizes. These sub-problems can also be solved at the same time. Partitioning of edges into 8 parts. Each part is allocated to a different processor. Partitioning vertices to reorder blocks of a sparse matrix. Innovative aspects: Scotch calculates partitions on a sequential machine and PT-Scotch on a parallel machine. PT-Scotch can handle very large graphs (2 billion vertices or more) on several tens of thousands of processors. The quality of solutions provided by PT-Scotch does not depend on the number of processors on which it runs. Main fields of application : distributing a scientific problem's computing load across the processors of a parallel machine, placement of VLSI circuits, combinatorial optimisation, etc... Language: C Keywords: high-performance calculation, graph algorithmics, domain decomposition, mesh partitioning, sparse matrix ordering License: CECILL C
  • 19. proactive.inria.fr ProActive Portable Java middleware designed for the distributed and parallel multi-core calculation. It allows the progamming and the execution of parallel applications as well as ressources management (workstations, servers, clusters, grids or cloud) Innovative aspects: Distributed active objects, seamless components migration, large scale communicating software components Main fields of application: Distributed systems and services Language, environment: Java (Linux, MacOS, Windows) Keywords: distributed computing, grids, cloudcomputing License : - Open source (AGPL) - Proprietary within
  • 20. Contact: rev@inrialpes.fr http://nano-d.inrialpes.fr/ SAMSON A software platform for real-time modelling and Innovative aspects: simulation of natural or artificial nanosystems. The specific interest of SAMSON lies in the integration of simulation methods during the modelling phase: adaptive and interactive simulation algorithms immediately provide information on the consequences of modelling choices. Language, standard, environment: C++, available for Windows, Unix and Mac OS X Keywords: Modelling, Simulation, Nanosystems, Structural Biology, Chemistry Academic partners
  • 21. Selalib Selalib (SemiLagrangian Library) is a collection of modules conceived to aid in the development of plasma physics simulations, particularly in the study of turbulence in fusion plasmas. Selalib offers basic capabilities from general and mathematical utilities and modules to aid in parallelization, up to pre-packaged simulations. Contact: chacongolcher@math.unistra.fr http://selalib.gforge.inria.fr/ Innovative aspects: unavailability of basic software building blocks for simulations using the semilagrangian method. Need to include software engineering practices in an academic research environment. Main fields of application: high-level modules in the library are specialized for plasma physics. Low-levels are usable in parallel computing applications. Language, environment: Fortran 2003 Mettre une image représentative des fonctions du logiciel Keywords: plasma physics, semilagrangian method, parallel computing, plasma turbulence License: open source (Cecill-B), not released yet. Academic partners: University of Strasbourg, Max Planck Insitute - Garching.
  • 22. Contact: catherine.lucquiaud@inria.fr http://simgrid.gforge.inria.fr/ Scientific Instrument for the study of Large-Scale Distributed Systems SimGrid is Easy-to-use Users can quickly setup a controlled simulation environment to develop and test new ideas with minimal technical effort. SimGrid is Versatile It provides models of Network, CPU and Disks adapted to (Data)Grids, P2P, Clouds, Clusters and HPC, allowing multi-domain studies. SimGrid ⇝ + Idea or MPI code Models Experimental Setup SimGrid is Trustworthy The models are theoretically grounded and experimentally validated. The results are reproducible, enabling better scientific practices. Scientific Results SimGrid is Scalable The simulation engine uses algorithmic and implementation techniques toward the fast simulation of large systems on a single machine. SimGrid is Open Due to its community-development philosophy, SimGrid is Usable it has been adopted by many researchers around the globe. Several associated tools are Ported to all major platforms and programming languages, it comes with an extensive tooling. contributed by its large user community. Keywords Large-Scale Distributed Systems; Reproducible Experiments; Simulation, Emulation. License: GNU LGPL Academic Partners:
  • 23. Contact: christine.morin@inria.fr http://snooze.gforge.inria.fr/ Snooze : a Self-Organizing and Energy Aware Innovative aspects: - Energy conservation in clouds Cloud Management Framework. - Generic scheduling engine supporting VM placement, relocation and reconfiguration algorithms - Fault-tolerance - Self-organizing self-healing hierarchical architecture. Main fields of application: - Private cloud providers - Testbed for evaluation of VM scheduling algorithms in a real environment Language, environment: Java Keywords: Cloud computing, energy management, consolidation, fault-tolerance, self-organization, self-healing, virtualization License: GPL v2
  • 24. Raymond.namyst@inria.fr StarPu http://runtime.bordeaux.inria.fr/StarPU/ A runtime system for heterogeneous parallel machines Applications Parallel Compilers Parallel Libraries Main fields of application: • Energy, Weather Forecast, Aeronautics, Multimedia StarPU Drivers (CUDA, OpenCL) CPU GPU Goals: • Dynamically schedule tasks on all processing units - CPU + GPU, Xeon Phi • Minimize data transfers between accelerators Target for • Compilers: StarSs [UPC], HMPP [CAPS entreprise] • Parallel Libraries: MAGMA [UTK, USA] Xeon Phi Language: C (C++, Fortran) Keywords: GPU, multicore, scheduling, performance License: LGPL Academic partners:
  • 25. SUP Contact: Francois.Bremond@inria.fr https://team.inria.fr/stars/software Scene Understanding Platform SUP is a software platform for perceiving, analyzing and interpreting a 3D dynamic scene observed through a network of sensors. It encompasses algorithms allowing for the modeling of interesting activities for users to enable their recognition in real-world applications requiring high-throughput. Innovative aspects: Detection of human (and vehicle or other) activities through video analysis and other sensors in big databases. Main fields of application: Health-care, security, protection of people and goods Language, environment: C++, cmake, multi-platform Keywords: activity recognition License: undetermined Academic partners: CHU Nice, CEA, USC California, Tainan (Taiwan), Hamburg University, I2R Singapore