References


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. DOCEA Power: Use of TTool for modeling and verifying power managers with TURTLE.

  10. INRIA: Use of TTool for modeling grid applications with CTTool. Development of the CTTool profile in TTool. Also, joint use opf Arcadia/Capella and TTool for the design of Cyber Physical Systems.

  11. EURECOM: Definition of SysML-Sec, with a focus on the relation between attack trees, requirements and the partitioning of embedded systems.

  12. VEDECOM: Use of TTool for modeling and verifying the architecture of the VEDECOM automotive systems, with a focus on security and safety.

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

  14. AQUAS H2020 project. Use of TTool for taking into account safety, security and performance during the design of embedded systems.