28DIGITAL

Validation du système (4) : Modélisation des logiciels, des protocoles et d'autres comportements

Obtenez l'une de nos meilleures offres avec Coursera Plus pour 199 $ (habituellement 399 $). Économisez maintenant.

28DIGITAL

Validation du système (4) : Modélisation des logiciels, des protocoles et d'autres comportements

Jan Friso Groote

Instructeur : Jan Friso Groote

4 810 déjà inscrits

Inclus avec Coursera Plus

Demander à Coursera

Obtenez un aperçu d'un sujet et apprenez les principes fondamentaux.

13 avis

niveau Avancées
Conçu pour les professionnels de ce secteur
4 heures à compléter
Planning flexible
Apprenez à votre propre rythme
Obtenez un aperçu d'un sujet et apprenez les principes fondamentaux.

13 avis

niveau Avancées
Conçu pour les professionnels de ce secteur
4 heures à compléter
Planning flexible
Apprenez à votre propre rythme

Ce que vous apprendrez

  • Utiliser des méthodes formelles pour améliorer la correction, la fiabilité et la maintenabilité des systèmes intégrés et de communication.

  • Appliquer des techniques permettant d'éviter l'explosion de l'espace d'état grâce à la conception de systèmes composites et modulaires.

  • Analyser des protocoles de communication réels tels que le protocole à bits alternés et le protocole à fenêtre coulissante

  • Comprendre les équations de processus linéaires et comment le comportement d'un système complexe peut être réduit à des formes normales analysables.

Compétences que vous acquerrez

  • Catégorie : Analyse des systèmes
  • Catégorie : Conception des systèmes
  • Catégorie : Modélisation des processus
  • Catégorie : Vérification et validation
  • Catégorie : Systèmes de communication
  • Catégorie : Modélisation des données
  • Catégorie : Protocoles de réseau
  • Catégorie : Conception de logiciels
  • Catégorie : Logique informatique
  • Catégorie : Informatique théorique

Détails à connaître

Certificat partageable

Ajouter à votre profil LinkedIn

Évaluations

2 devoirs

Enseigné en Anglais

Découvrez comment les employés des entreprises prestigieuses maîtrisent des compétences recherchées

 logos de Petrobras, TATA, Danone, Capgemini, P&G et L'Oreal

Il y a 2 modules dans ce cours

Nous montrons comment le comportement de programmes simples et de protocoles de communication peut être modélisé et analysé. En outre, nous introduisons la notion de processus linéaire : une forme normale simple à laquelle tout comportement peut être réduit. Cette forme normale est le cheval de bataille de l'analyse du comportement.

Inclus

8 vidéos1 lecture1 devoir

Dans ce cours, vous verrez différentes techniques de modélisation qui peuvent être utilisées pour réduire l'espace d'état de vos modèles.

Inclus

5 vidéos1 devoir

Instructeur

Jan Friso Groote
28DIGITAL
4 Cours16 273 apprenants

Offert par

28DIGITAL

Pour quelles raisons les étudiants sur Coursera nous choisissent-ils pour leur carrière ?

Felipe M.

Étudiant(e) depuis 2018
’Pouvoir suivre des cours à mon rythme à été une expérience extraordinaire. Je peux apprendre chaque fois que mon emploi du temps me le permet et en fonction de mon humeur.’

Jennifer J.

Étudiant(e) depuis 2020
’J'ai directement appliqué les concepts et les compétences que j'ai appris de mes cours à un nouveau projet passionnant au travail.’

Larry W.

Étudiant(e) depuis 2021
’Lorsque j'ai besoin de cours sur des sujets que mon université ne propose pas, Coursera est l'un des meilleurs endroits où se rendre.’

Chaitanya A.

’Apprendre, ce n'est pas seulement s'améliorer dans son travail : c'est bien plus que cela. Coursera me permet d'apprendre sans limites.’

Foire Aux Questions