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

Full description

Saved in:
Bibliographic Details
Main Authors : 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)
Corporate Authors : 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 : Thesis
Language : français
Title statement : 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
Published : 2016
Online Access : Via Nantes Université network
Online Access note : Accès au texte intégral
Note de thèse : Thèse de doctorat : Informatique et applications : Ecole centrale de Nantes : 2016
Subjects :
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