Contribution à la vérification du comportement temporel d'applications Temps Réel

Contribution à la vérification du comportement temporel d'applications Temps Réel

Le travail présenté dans cette thèse porte sur la définition d'outils d'analyse comportementale. Le but de ces outils est d'analyser hors ligne des systèmes temps réel dont les contraintes temporelles peuvent être critiques afin de vérifier, a priori que les caractéristiques temporell...

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal : Mesnard Emmanuel (Auteur)
Collectivités auteurs : Université de Nantes 1962-2021 (Organisme de soutenance), Centrale Nantes 1991-.... (Autre partenaire associé à la thèse)
Autres auteurs : Elloy Jean-Pierre (Directeur de thèse)
Format : Thèse ou mémoire
Langue : français
Titre complet : Contribution à la vérification du comportement temporel d'applications Temps Réel / Emmanuel Mesnard; directeur de thèse J.-P. Elloy
Publié : [S.l.] : [s.n.] , 1994
Description matérielle : 1 vol. (V-212 p.)
Note de thèse : Thèse de doctorat : Automatique, informatique appliquée : Nantes : 1994
Sujets :
Temps réel (informatique) > Thèses et écrits académiques
SCIENCES APPLIQUEES : INFORMATIQUE, AUTOMATIQUE THEORIQUE, SYSTEMES
ANALYSE SYSTEME/SYSTEME TEMPS REEL/CONTRAINTE/CARACTERISTIQUE TEMPORELLE/VERIFICATION/SPECIFICATION/ORDONNANCEMENT/BORNE INFERIEURE/BORNE SUPERIEURE/ANALYSE TEMPORELLE/ANALYSE HORS LIGNE/VERIFICATION COMPORTEMENTALE/CONTRAINTE TEMPORELLE/CD
SYSTEM ANALYSIS/REAL TIME SYSTEM/CONSTRAINT/TIME CURVE/VERIFICATION/SPECIFICATION/SCHEDULING/LOWER BOUND/UPPER BOUND/TEMPORAL CONSTRAINT/CD

BU Sciences

Informations d'exemplaires de BU Sciences
‌ Cote Prêt Statut
Magasin aérotherme 94 NANT 2105 Empruntable Disponible
Magasin aérotherme 94 NANT 2105 Exclu du prêt Disponible

Bib. Centrale Nantes

Informations d'exemplaires de Bib. Centrale Nantes
‌ Cote Prêt Statut
Magasin 3 TH 1508 bis Empruntable Disponible
Magasin 3 TH 1508 Exclu du prêt Disponible