CertiSen Logo

Certification for Time-Sensitive Networking

TSN Networks for Safety-Critical Systems.

AI (generation/optimization) + formal methods (certification)

From design to deployment, CertiSen ensures lifecycle integrity for ASIL-D–level TSN networks

Unifying deterministic performance and built-in cybersecurity protection.

Formal Certification
Specify TSN protocols, prove TSN configuration correctness.
Visual TSN Network Design
Drag-and-drop interface to build TSN network topologies with their configurations & Real-time pre-certificattion analysis
OTA Continuous certification
Enabling continuous certification after each over-the-air (OTA) update.
A strong foundation for the ecosystem
CertiSen complements existing tools by adding formal verification in the TSN design process.
AI Optimisation
enabling AI-driven TSN configuration generation, backed by a light-weighted certifier for formal verification
CyberSecurity
Cyber security compliance for TSN networks.

Pre-Deployment Network Verification at ASIL-D Confidence Level

Loading editor...

Get in Touch
Have a question about CertiSen? We'd love to hear from you.

Your data is collected to respond to your request. To learn more about how your data is managed and your rights, see our privacy policy.

Financed By

INRIA Logo - CertiSen Research Partner and Founder
ISS Logo - CertiSen Research Partner and Founder

Our Location

Address

655 Av. de l'Europe, 38330 Montbonnot-Saint-Martin
Grenoble
France