AUTOSAR compliant multi-core RTOS formal modeling and verification

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...

Description complète

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Haur Imane (Auteur), Roux Olivier Henri professeur des universités IRCCyN (Directeur de thèse, Membre du jury), Béchennec Jean-Luc (Directeur de thèse, Membre du jury), Grolleau Emmanuel (Président du jury de soutenance, Rapporteur de la thèse, Membre du jury), Martineau Patrick (Rapporteur de la thèse, Membre du jury), Hains Gaétan (Membre du jury)
Collectivités auteurs : Centrale Nantes 1991-.... (Organisme de soutenance), École doctorale Mathématiques et sciences et technologies de l'information et de la communication Rennes (Ecole doctorale associée à la thèse), Laboratoire des Sciences du Numérique de Nantes (Laboratoire associé à la thèse)
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 :
Systèmes d'exploitation (ordinateurs)
Vérification de modèles (informatique)
Petri, Réseaux de
Temps réel (informatique)
Vérification formelle
Model-checking
Réseaux de Petri colorés de haut niveau
Systèmes d exploitation temps réel
Exécution multi-coeurs
Vérification d OS AUTOSAR
Thèses et écrits académiques

Internet

http://www.theses.fr/2022ECDN0057/document