Méthode de génération d'exécutif temps-réel

Méthode de génération d'exécutif temps-réel

Dans les systèmes embarqués, la spécialisation ou la configuration des systèmes d exploitation temps réel en fonction des besoins de l application consiste en la suppression des services inutiles du système d exploitation. Cela a non seulement pour but d optimiser l empreinte mémoire occupée par le...

Description complète

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Tigori Kabland Toussaint Gautier (Auteur), Roux Olivier Henri (Directeur de thèse, Membre du jury), Béchennec Jean-Luc (Directeur de thèse, Membre du jury), Muller Gilles (Président du jury de soutenance, Membre du jury), Pagetti Claire (Rapporteur de la thèse, Membre du jury), Grolleau Emmanuel (Rapporteur de la thèse, Membre du jury), Marchand Hervé (Membre du jury)
Collectivités auteurs : Centrale Nantes 1991-.... (Organisme de soutenance), École doctorale Sciences et technologies de l'information et mathématiques Nantes (Ecole doctorale associée à la thèse), Institut de recherche en communications et cybernétique Nantes 1958-2017 (Laboratoire associé à la thèse)
Format : Thèse ou mémoire
Langue : français
Titre complet : Méthode de génération d'exécutif temps-réel / Kabland Toussaint Gautier Tigori; sous la direction de Olivier Henri Roux et de Jean-Luc Béchennec
Publié : 2016
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 : Informatique et applications : Ecole centrale de Nantes : 2016
Sujets :
Systèmes embarqués (informatique)
Code source (informatique)
Temps réel (informatique)
Vérification de modèles (informatique)
Systèmes d exploitation temps-réel
Systèmes embarqués
Méthodes formelles
Modèles à états finis
Vérification formelle
Thèses et écrits académiques

Internet

http://www.theses.fr/2016ECDN0019/document