AUTOSAR compliant multi-core RTOS formal modeling and verification
La vérification formelle est une solution pour augmenter la fiabilité de l implémentation du système. Dans notre travail de thèse, nous nous intéressons à l utilisation de ces méthodes pour la vérification des systèmes d exploitation multi-coeurs temps réel. Nous proposons une approche de model-chec...
Enregistré dans:
Auteurs principaux : | , , , , , |
---|---|
Collectivités auteurs : | , , |
Format : | Thèse ou mémoire |
Langue : | anglais |
Titre complet : | AUTOSAR compliant multi-core RTOS formal modeling and verification / Imane Haur; sous la direction de Olivier Henri Roux et de Jean-Luc Béchennec |
Publié : |
2022 |
Accès en ligne : |
Accès Nantes Université
|
Note sur l'URL : | Accès au texte intégral |
Note de thèse : | Thèse de doctorat : Automatique, productique et robotique : Ecole centrale de Nantes : 2022 |
Sujets : |