Spécification des systèmes distribués

Spécification des systèmes distribués

  • Ajouter à la sélection
  • Systèmes concurrents et distribués
  • Spécification
  • Automates
  • Réseaux de Petri

  • ECTS

    6 crédits

  • Composante

    Collège Sciences et Technologies pour l’Energie et l’Environnement (STEE)

  • Volume horaire

    48h

Description

● Introduction et motivations à la spécification formelle et semi-formelle
● Le formalisme des réseaux de Petri
● Présentation des propriétés
● Vérification de propriétés par graphe des marquages
● Réseaux de Petri de Haut niveau

Lire moins

Heures d'enseignement

  • Spécification des systèmes distribuésCours Magistral24h
  • Spécification des systèmes distribuésTravaux Dirigés18h
  • Spécification des systèmes distribuésTravaux Pratique6h

Contrôle des connaissances

100% contrôle continu écrit

Lire moins

Compétences visées

Bloc Usages avancés et spécialisés des outils numériques

Identifier les usages numériques et les impacts de leur évolution sur le ou les domaines concernés par la mention  

N/A

Se servir de façon autonome des outils numériques avancés pour un ou plusieurs métiers ou secteurs de recherche du domaine

N/A

Bloc Développement et intégration de savoirs hautement spécialisés

Maîtriser plusieurs paradigmes de modélisation et de programmation et être capable de s'adapter à de nouveaux langages 

Compétent

Proposer une architecture matérielle et logicielle permettant d’intégrer les données du problème et le résoudre

Compétent

Connaître et mettre en œuvre les principes de gestion des bases de données structurées ou non

N/A

Développer des applications informatiques sur des infrastructures variées (machines parallèles, environnement distribué, programmation Web…)

N/A

Mettre en relation une catégorie de problèmes avec les algorithmes de résolution, en évaluer la pertinence : limites d’utilisation et efficacité

Compétent

Déployer des applications informatiques, gérer les phases de test et les évolutions

N/A

Développer des interfaces homme-machines à destination des usagers

N/A

Bloc Communication spécialisée pour le transfert de connaissances

Identifier, sélectionner et analyser avec esprit critique diverses ressources spécialisées pour documenter un sujet et synthétiser ces données en vue de leur exploitation

N/A

Communiquer à des fins de formation ou de transfert de connaissances, par oral et par écrit, en français et dans au moins une langue étrangère

N/A

Bloc Appui à la transformation en contexte professionnel

Analyser et modéliser du point de vue informatique un problème dans toute son étendue et dans des champs d’applications variés en lien avec les usagers

N/A

Maîtriser les grands enjeux de la sécurité des systèmes informatiques et de la protection des données, analyser un système du point de vue de la sécurité et mettre en œuvre des solutions sécurisées

N/A

Prendre en compte les enjeux industriels, économiques et professionnels : compétitivité et productivité, innovation, propriété intellectuelle et industrielle, respect des procédures qualité, sécurité

N/A

Respecter les principes d’éthique, de déontologie et de responsabilité environnementale

N/A

Conduire un projet (conception, pilotage, coordination d’équipe, mise en œuvre et gestion, évaluation, diffusion) pouvant mobiliser des compétences pluridisciplinaires dans un cadre collaboratif

N/A

Lire moins