Transfer of technology
INRIA’s software assets
INRIA is the source of many software. Below our Key software by sector.
Aeronautics, defence, space, security
AXEL
Axel is a software enabling design and modelling of algebraic geometric shapes.
CORESE
Corese is a semantic Web search engine implementing basic languages such as RDF, RDFS and SPARQL.
DIASUITE
DiaSuite is a software suite enabling coordination of a set of intercommunicating devices. DiaSuite can be used at all stages of a project, from design through to implementation.
DIET
Diet is a toolbox for the use and porting of intensive computing applications on heterogeneous architectures.
FRAMA-C
FRAMA-C is an analytical platform of C programs. Frama-C assists in development and verification activities as well as in reverse source code engineering.
GASPARD2
Gaspard 2 is an integrated development environment to co-model, simulate, test and generate hardware and software code for intensive SoC (System-on-Chip) applications.
GRAPHITE
Graphite is a dedicated digital geometry software platform enabling among other things 3D modelling and texture labelling.
HIPS
Hips is a hybrid “à la carte” software enabling resolution of sparse linear equation systems with the degree of precision and the required time/memory commitment desired by the user.
JADE
Jade is a distributed system capable of self-observation and self-reconfiguration.
JITS
JITS –Java In The Small – is a software platform that allows Java applications to be migrated automatically to various embedded hardware systems such as smart cards, networked sensors or minimalist game consoles.
KADEPLOY
Kadeploy is a full rewrite of the Kadeploy 2 tool initially developed at IMAG.
KERRIGHED
Kerrighed is a single image operating system that extends Linux functionalities and interface to a computer network level.
OAR
Oar is a task and resource management tool for computing infrastructures.
OPENMASK
OpenMask is a development and execution platform for modular, heterogeneous and distributed applications in the fields of animation, simulation and virtual reality.
POLYCHRONY
Polychrony is a toolbox for the integrated development of embedded applications built around the polychronic Signal language.
PROLAND
Proland is a realistic representation software for the real time animation and publication of very large nature scenes (terrain, clouds, atmosphere, oceans, etc.) covering up to an entire planet.
SCOTCH
Scotch is a graph partitioner. It enables optimisation of problem breakdowns, modelled by means of a graph, into a set of sub-problems that are kept as independent as possible and within equivalent sizes.
SHOOT
Shoot is an optimum command problem resolution software for dynamic systems. - Indirect approach, shooting method.
SICONOS
Siconos is a dedicated platform for modelling, simulation and non-linear and non-regular dynamic systems.
SOFA
Sofa is a research and development platform dedicated to interactive physical simulations, particularly medical simulation.
SYNDEX
Syndex is a scientific software environment for engineering and scientific applications.
TIMESQUARE
TimeSquare is an Eclipse plug-in enabling implementation of logical time (specification) and simulation of a scheduling arrangement of the modelled system. It is based on the CCSL language (closely related to the UML MARTE profile), which specifies temporal relationships between events.
TOM
Tom is a pattern-matching oriented programming language software, based on the use of rules and strategies and adapted in particular to the manipulation of tree structures.
ViSP
Visp is a modular software platform enabling development of robotics applications by employing visual servoing techniques.
Software publishing, embedded system
ALT-ERGO
Alt-Ergo combines logical reasoning with specialised quantifiers and decision-making procedures for certain theories such as arithmetic and equations. This prover was specially developed for program verification and can be used on Frama-C, Why and CAVEAT platforms.
CGAL
CGAL is a geometric data structures and algorithms library: 120 modular, reliable and generic components.
CORESE
Corese is a semantic Web search engine implementing basic languages such as RDF, RDFS and SPARQL.
FlOPOCO
FloPoCo is a non-standard arithmetic core generator for reconfigurable computing.
FRAMA-C
Frama-C is an analytical platform of C programs. Frama-C assists in development and verification activities as well as in reverse source code engineering.
GAPARD2
Gaspard 2 is an integrated development environment to co-model, simulate, test and generate hardware and software code for intensive SoC (System-on-Chip) applications.
KERMETA
Kermeta is a meta-modelling language for describing the structure and the behaviour of meta-models.
MOOSE
Moose is an open and expandable software analysis platform, incorporating language models, metrics, algorithms, viewing and navigation engines.
MPFR
MPFR is a computing library based on arbitrary precision floating point numbers, with accurate rounding, based on the GMP library.
PARADISEO
Paradiseo is a software platform that facilitates the use, development and comparison of classic, multi-objective, parallel or hybrid metaheuristics (optimisation algorithms aimed at solving difficult optimisation problems).
PHARO
Pharo is a Smalltalk programming environment and language. It is dynamic, clean, innovative, free and open-source and can be used to develop professional applications.
POLYCHRONY
Polychrony is a toolbox for the integrated development of embedded applications built around the polychronic Signal language.
SCOTCH
Scotch is a graph partitioner. It enables optimisation of problem breakdowns, modelled by means of a graph, into a set of sub-problems that are kept as independent as possible and within equivalent sizes.
SOLLYA
Sollya is a numerical routine toolbox for the development of safe numerical codes.
SYNDEX
Syndex is a scientific software environment for engineering and scientific applications.
TIMESQUARE
TimeSquare is an Eclipse plug-in enabling implementation of logical time (specification) and simulation of a scheduling arrangement of the modelled system. It is based on the CCSL language (closely related to the UML MARTE profile), which specifies temporal relationships between events.
TOM
Tom is a pattern-matching oriented programming language software, based on the use of rules and strategies and adapted in particular to the manipulation of tree structures.
Energy, transport, sustainable development
AXEL
Axel is a software enabling design and modelling of algebraic geometric shapes.
GRAPHITE
Graphite is a dedicated digital geometry software platform enabling among other things 3D modelling and texture labelling.
HIPS
Hips is a hybrid “à la carte” software enabling resolution of sparse linear equation systems with the degree of precision and the required time/memory commitment desired by the user.
MUMPS
MUMPS, Multifrontal Massively Parallel Solver – solves sparse linear systems of the form A x = b.
OPENMASK
OpenMask is a development and execution platform for modular, heterogeneous and distributed applications in the fields of animation, simulation and virtual reality.
PASTIX
PaStiX is a direct Solver used to solve numerically difficult systems in parallel. While maintaining the intrinsic qualities of a direct method (robustness), it uses up less memory, which enables it to solve large scale problems.
TAPENADE
Tapenade is an automatic differentiation engine that makes it possible to obtain the exact derivatives of a function represented in a computer program.
Health, life sciences, biotechnology
DROP
Drop is an image correspondence software for images originating from one or more modes that quickly and efficiently calculates a non-rigid / deformable field of deformation.
HANDNAVIGATOR
HandNavigator is an immersive peripheral to control a virtual hand in virtual worlds.
LIBQGLViEWER
LibQGLViewer is a QT based C++ library that facilitates creation of 3D Open GL viewers.
LOCUS
Locus analyses, in just a few minutes, a 3D MRI image of a brain and automatically identifies the tissues and a large number of structures.
ND-SAFIR
ND-SAFIR is a 2D and 3D image and 2D or 3D image sequence restoration (or denoising) software.
OPENViBE
OpenVIBE is a platform for creating, testing and using brain-computer interfaces (control of computers by brain activity) and real time neuroscience applications.
SAMSON
SAMSON is a software platform for modelling and simulating natural and artificial nanosystems.
SOFA
Sofa is a research and development platform dedicated to interactive physical simulations, particularly medical simulation.
Telecoms, networks, multimedia
AMAYA
Amaya is a Web page editor that takes advantage of the latest Web technologies and enables creation and updating of documents directly on the Web.
DIASUITE
DiaSuite is a software suite enabling coordination of a set of intercommunicating devices. DiaSuite can be used at all stages of a project, from design through to implementation.
DYNAMIC SOLID TEXTURES
Shaders for animation stylisation.
FRASCATI
FraSCAti is a middleware platform for service-oriented architectures (SOA) compliant with the OASIS/OpenSOA Service Component Architecture (SCA) standard.
FREESTYLE
Freestyle is a software for the creative rendering of 3D scenes with an artistic drawing style.
HOP
Hop is a development language software and a platform for the execution of Diffuse Web applications.
JITS
JITS, Java In The Small est une plateforme logicielle qui permet de migrer automatiquement des applicatifs Java vers divers matériels embarqués tel que des cartes à puce, des capteurs en réseau ou encore une console de jeu minimaliste.
LIMSEE3
LimSee3 is a template guided authoring tool for the creation of multimedia documents. It is particularly suited for Web applications.
MILLEFEUILLE
Millefeuillle is a platform used for publication of a historical document within the scope of a project in collaboration with the National Archives. Documents are presented on the left, and the indices on the right.
NS-3
NS-3 is a network simulator enabling validation and optimisation of network protocols (WiFi, WiMAX, TCP/IP, LTE, etc).
OPEN-MX
Open-MX is an implementation of a protocol stack targeting high performance computing (HPC) Ethernet network architectures and enabling optimisation of MPI communications.
See also
Your contacts at the Technology Transfert and Innovation department :
