Reference



Here are a few companies, academic partners and projects who used or are currently using TTool

  1. Thales Alenia Space: Modeling and verification of telecommunication protocols, and proof on the dynamic reconfiguration of those protocols, with TURTLE. Thales Alenia Space actively participated in the definition of TURTLE.

  2. UDcast: Modeling and verification of protocols, in the scope of a european project (Maestro). Use of the TURTLE profile.

  3. Texas Instruments: Partitioning of video functions on the OMAP platform. Use of the DIPLODOCUS profile.

  4. Freescale: Partitioning of telecommunication protocols, in particular, LTE layers. Use the DIPLODOCUS profile. Freescale also participated to the definition of DIPLODOCUS, and also to the code of TTool.

  5. The EVITA project: Modeling and proof of automtive embedded systems. More precisely, capture of security requirements (AVATAR), capture of attack trees (AVATAR). Partioning of the system, and performance evaluation (DIPLODOCUS). Proof of security properties (AVATAR).

  6. The SACRA project: Partitioning of Systems-on-Chip implementing several telecommunication protocols (e.g., LTE, WiMAX). Use of the DIPLODOCUS profile.

  7. ISAE: Use of TTool for modeling various embedded systems (TURTLE, DIPLODOCUS, AVATAR, NC), and also for teaching activities.

  8. ISAE, LAAS-CNRS and Tesa: Modeling and verification of temporal constraints in secure group communications, for the Safecast national research project (Use of TURTLE).

  9. INRIA: Use of TTool for modeling grid applications with CTTool. Development of the CTTool profile in TTool.

  10. DOCEA Power: Use of TTool for modeling and verifying power managers with TURTLE.

  11. NOKIA: Use of TTool for modeling, verifying, and generating the code for communication protocols. Use of DIPLODOCUS.