Test de systèmes temps réel à l'aide du forçage en ligne

Test de systèmes temps réel à l'aide du forçage en ligne

Les systèmes temps réel doivent répondre à des contraintes d exactitude et de sureté de fonctionnement, ce qui nécessite de pouvoir les tester. Dans ces travaux de thèse, nous proposons une méthode permettant de forcer une exécution d un système temps réel de manière à atteindre un état choisi. Cett...

Description complète

Détails bibliographiques
Auteurs principaux : Givel Louis-Marie (Auteur), Roux Olivier-Henri (Directeur de thèse, Membre du jury), Brun Matthias (Directeur de thèse, Membre du jury), Boimond Jean-Louis (Président du jury de soutenance, Membre du jury), Dhaussy Philippe (Rapporteur de la thèse, Membre du jury), Fouchal Hacène (Rapporteur de la thèse, Membre du jury), Godary Karen (Membre du jury), Faucou Sébastien (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 : Test de systèmes temps réel à l'aide du forçage en ligne / Louis-Marie Givel; sous la direction de Olivier Henri Roux et de Matthias Brun
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 :
Temps réel (informatique)
Petri, Réseaux de
Analyse des systèmes
Systèmes embarqués (informatique)
Systèmes temps réel
Forçage en ligne
Réseaux de Petri
Test
Thèses et écrits académiques

Internet

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