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.
Financed By
Our Location
Address
655 Av. de l'Europe, 38330 Montbonnot-Saint-Martin
Grenoble
France