Version accessible
  • fr
  • en
Recherche rapide
  • Aide
  • Recherche avancée
  • Nouveautés
Naviguer par :
  • Accueil
  • Mémoires
    • Nouveautés
      Recherche de nouveautés dans les ressources documentaires
    • Par master
      Recherche par master
    • Recherche avancée
      Recherche de ressources documentaires
    • Tous les mémoires
  • Thèses
    • Nouveautés
      Recherche de nouveautés dans les thèses
    • Recherche avancée
      Recherche de ressources
    • Par auteur
      Recherche par auteur
    • Par année
      Recherche par année de soutenance
    • Par laboratoire
      Recherche par laboratoire
    • Par thème
      Recherche thématique
    • Par école doctorale
      Recherche par école doctorale
    • Toutes les thèses
  • Publications de recherche
    • Nouveautés
      Recherche de nouveautés dans les ressources documentaires
    • Par laboratoire de recherche
      Recherche par laboratoire
    • Recherche avancée
      Recherche de publication de recherche
    • Toutes les publications de recherche
  • Tous les documents
    • Nouveautés
      Recherche des nouveautés
    • Recherche avancée
      Recherche avancée sur plusieurs formats
    • Toutes les ressources

Fiche descriptive

  • Vous êtes ici :
  • Accueil
  • »
  • Fiche descriptive
???menu.description..???
  • Imprimer
  • Version PDF
  • Version XML
  • Ajouter à ma sélection
  • Partager
  • Courriel
  • Twitter
  • Facebook
  • del.icio.us
  • BlogMarks
  • Viadeo
  • LinkedIn
Une approche intégrée de validation des systèmes ferroviaires basée sur les modèles (Document en Anglais)
Accès au(x) document(s)
Accéder au(x) document(s) :
  • https://theses.hal.science/tel-03012187Lien brisé : nonDroits d'accès : non autorisé
Ce document est protégé en vertu du Code de la Propriété Intellectuelle.

Version :
  • Thèse avec 2 versions : seule la version intégrale est proposée ; sur authentification (communication intranet).
 
Informations sur les contributeurs
Auteur : Baduel Ronan
Baduel, Ronan
Nom
Baduel
Prénom
Ronan
Nationalité
Français

Date de soutenance : 30-09-2019

Directeur(s) de thèse : Bruel Jean-Michel
Bruel, Jean-Michel
Nom
Bruel
Prénom
Jean-Michel
- Ober Iulian
Ober, Iulian
Nom
Ober
Prénom
Iulian


Etablissement de soutenance : Toulouse 2
Toulouse 2
Nom
Toulouse 2

Laboratoire : Institut de Recherche en Informatique de Toulouse (1995-....)
Institut de Recherche en Informatique de Toulouse (1995-....)
Nom
Institut de Recherche en Informatique de Toulouse (1995-....)

Ecole doctorale : École doctorale Mathématiques, informatique et télécommunications (Toulouse)
École doctorale Mathématiques, informatique et télécommunications (Toulouse)
Nom
École doctorale Mathématiques, informatique et télécommunications (Toulouse)

  
Informations générales
Discipline : Informatique
Classification : Informatique

Mots-clés libres : Ingénierie système à base de modèles (MBSE), Modélisation, Validation, Prototypage virtuel, Intégration, Analyse
Mots-clés :
  • Ingénierie des systèmes
  • Ingénierie des exigences
  • Conception de systèmes informatiques
Résumé : L’ingénierie système est un domaine où l’on étudie la conception de systèmes complexes. Un système est une solution que l’on veut développer, par exemple un train ou un réseau de satellites. Un système complexe est composé de différents éléments indépendants. Les ingénieurs travaillent à partir de listes d’attentes vis à vis du système, chacune caractérisant ce qu’il doit être ou doit faire. Ils créent alors un système et vérifient qu’il répond aux attentes. Afin de gagner du temps et de l’argent, on souhaite vérifier que le système correspond aux attentes avant même de le réaliser. Cela demande d’intégrer les différentes attentes et spécifier comment elles doivent être mises ensembles, générant ainsi un système attendu que l’on peut valider. Le but de la thèse est de fournir une méthode permettant d'intégrer les informations caractérisant un système de train au cours de sa conception, permettant ainsi la spécification, la représentation et la validation de son comportement.
  
Informations techniques
Type de contenu : Text
Format : PDF
  
Informations complémentaires
Entrepôt d'origine : STAR : dépôt national des thèses électroniques françaises
Identifiant : 2019TOU20083
Type de ressource : Thèse
À propos Aide
ORI-OAI-search 2.0.7 - © 2006-2014 ORI-OAI