<Développe une technologie simplifiant le développement et la vérification dapplications embarquées qui souhaitent un haut niveau de sécurité
Prove & Run développe une technologie simplifiant le développement et la vérification d'applications embarquées, qui souhaitent un haut niveau de sécurité. La technologie repose sur : • un nouveau langage voir plus
Prove & Run développe une technologie simplifiant le développement et la vérification d'applications embarquées, qui souhaitent un haut niveau de sécurité. La technologie repose sur : • un nouveau langage de conception • un outillage complet de preuve et de génération de code basé sur les méthodes formelles • La preuve semi?automatique du respect des contraintes de sureté et de sécurité placées sur l'application. L'ensemble de ces outils permet de simplifier et d'accélérer la programmation d'applications, elle permet de plus de faciliter les portages sur plusieurs architectures logicielles et matérielles. Les applications visées par les outils de Prove & Run concernent les domaines: • des systèmes embarqués des moyens de transport (avionique, automobile, ferroviaire) • de l'électronique grand public • de la téléphonie mobile • des systèmes de confiance • etc voir moins
| Startup | Création |
|---|---|
| ORIDAO | Nov. 2008 |
| SECUVAD | Jui. 2009 |
| CYBERWATCH | Jan. 2015 |
| SECUNEO | Sep. 2010 |
| IDECSI | Juil. 2011 |
| PRIM X TECHNOLO | Mai 2003 |
| TRUSTINSOFT | Mai 2013 |
| I-TRACING | Oct. 2005 |
| NEPTING | Sep. 2012 |
| ADENTS INTERNAT | Sep. 2007 |
| Fondateur | Âge | École | Diplôme | Compétences |
|---|---|---|---|---|
|
Fondateur
|
65 | Ecole centrale de Lyon | Master's degree | Mobile Payments, Mobile Devices, Security, Mobile Applications, Software Development, |
| Évol. | Départements | Startups |
|---|---|---|
| Paris | 18 | |
| Hauts-de-Seine | 11 | |
| Hérault | 5 | |
| Bouches-du-Rhône | 5 | |
| Rhône | 4 | |
| Essonne | 3 | |
| Nord | 3 | |
| Alpes-Maritimes | 3 | |
| Ille-et-Vilaine | 2 | |
| Loire-Atlantique | 2 |
Juil. 2023