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

Full description

Saved in:
Bibliographic Details
Main Authors : 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)
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 : 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
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 :
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