Network configuration simulation and experimentation
TTool is a platform for the design and verification of embedded systems. Via three open-source modeling environments, the tool offers the possibility of testing both the safety and security of systems, as well as their performance. Easy to use, the platform enables the properties of a modeled system to be verified at the touch of a button. It thus contributes to the development of safer systems, which do not endanger the user, and are less vulnerable to cyber-attacks.
Areas of expertise 
- Embedded systems modeling
- Formal verification of safety, security and performance properties
- Embedded systems partitioning
- Embedded software design
- Simulation and experimentation of network configurations
Application sectors 
Cybersecurity Telecommunications
Networks and communicating objects Defense
Smart City Transportation and mobility
Our services 
Design | Education/Training | Experimentation/Technology | Modeling/Design | Numerics/Software | R&D Services | Prototyping/Innovation | Research | Simulation/Optimization
Location 

Télécom Paris
Available resources 

Full-time support engineer

Open source modeling environments














