Karstens B.lick-Punkte - Google Maps Business View

Contact

Laurent Disdier

+33 1 69 08 15 82

Papyrus : software and system design

Papyrus 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 web site: http://www.eclipse.org/papyrus/

Frama-C : Source-code static analysis

Frama-C is an Open Source platform for software safety and security analysis by formal methods in order to verify the absence of bugs and vulnerabilities. Co-developed by CEA LIST and INRIA, it has been initially designed for nuclear applications before enlarging its scope of applications to embedded systems and lately to cybersecurity.
Frama-C has been used by Airbus, among others, for A380 critical software verification and certification. Frama-C is TrustInSoft start-up technological foundation.

Frama-C web site: http://frama-c.com/

TAO: robotics control-command

TAO 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 CEA LIST under license.

XDE : virtual reality crash engine

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

CIVA : Non-destructive testing simulation

CIVA 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 CEA LIST research teams.

Retrouvez CIVA sur : http://www-civa.cea.fr/

LIMA : semantic analisis

LIMA 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 CEA LIST expert.

Codenvy, S.A.

Codenvy provides high performance software developer environments.

Google Inc.

Google's mission is to organize the world's information and make it universally accessible and useful.

+49 30 303986300

+49 89 839309000

Karstens B.lick-Punkte - Google Maps Business View

+49 6452 9310193

Fabian Rucker3^rd

Director - Sales Operations Germany, Austria, Switzerland atGoogle

John Gerosa3^rd

Sales Director - Technology, M&E, B2B Markets at Google

IBM

Rational software from IBM helps organizations create business value by improving their software development capability.

Date: 2016-03-03; view: 695