NOTE! This site uses cookies and similar technologies.

If you not change browser settings, you agree to it. Learn more

I understand

Learn more about cookies at :


List, a CEA Tech institute, has been developing software capitalizing on its own expertise. They are largely distributed, regularly improved, and bring operational solutions to industry.

According to each case and situation, they are either available under license assignment in the frame of an expertise or via a start-up born in our labs.


Papyrus : software and system design

papyrusPapyrus is an UML standard Open Source modeling tool for embedded systems’ design and specification and especially real time critical systems. Papyrus will take the implementation process to industrialization and will accompany it through the whole process until a high quality level of software development. Distributed all around the world, Papyrus is Eclipse foundation UML2 graphic modeling tool (190 members in the world including IBM, Google, Oracle and SAP).

Papyrus Use Case Stories:

More Papyrus Use Case Stories:

Papyrus web site:

See also : List institute model driven engineering


Frama-C : Source-code static analysis

logo frama cFrama-C is a source code analysis platform that leverages approaches such as abstract interpretation, deductive verification, and constraint solving whose common characteristic is to rely on formal methods that ensure their results are rigorously correct. Rooted in an open-source community, this platform is not only a testing ground for various approaches at the service of a variety of users but also a tool that allows combining these different approaches to reach ambitious validation objectives. These analyses are particularly suited to software for which operating safety, or security in the face of malicious behaviours, is crucial.

Applications: Nuclear, avionics, railway, maritime, communication, health, finance sectors

Frama-C web site:

See also: List institute software safety and security analysis


TAO: robotics control-command

taoTAO is a library of generic reusable tools and technological bricks for collaborative robots control-command – “cobots” – in advanced manufacturing. This library will capitalize on software background and feedbacks (Rex) from a project to another emancipating itself from robots manufacturers’ proprietary programmes.
TAO is distributed by List under license.

See also: List institute collaborative robotics


XDE: virtual reality crash engine

xdeXDE is a virtual reality crash engine that simulates mounting, dismantling and assembling operations for mechanical units’ / power train design. From CAD data (Computer Assisted Design) that are automatically imported it will deal with rigid, flexible (cables) and deformable mechanical parts but also with shocks, kickbacks, slidings, elastic deformations phenomenons and so on. These codes can be integrated into a virtual and interactive environment to simulate the operator gesture.

See also: List institute virtual reality


CIVA : Non-destructive testing simulation

civa webCIVA is the most distributed simulation software for Non-destructive testing (NDT) in the world with about 200 licenses. It covers most of inspection technics – ultrasounds, eddy current, X-rays – and measurement instruments used in NDT. It can be used to prepare the control of existing mechanical parts or upstream, for their design.
CIVA gave birth to Extende Company, that commercializes the software, ensures its maintenance and collects evolution requests. The new modules – about one every 2 years – are developed by List research teams.

Extende company web site:

See also: List institute Non Destructive Testing


LIMA : semantic analysis

limaLIMA is a multilingual linguistic analysis tool (9 languages on record) that extracts main information from technical reports and opinion surveys, or follows in live an event being covered by social networks. Compared to usual research engines, its method is deepened by adding to the key-words a notion of time like: often, rarely or never but also the sources’ rating.
LIMA usage is tightly linked to the pursued objective and requires a List expert.

See also: List institute semantic analysis