La validation des systèmes est un domaine qui étudie les principes fondamentaux de la communication des systèmes et du traitement de l'information. Elle permet une analyse automatisée basée sur des modèles comportementaux d'un système afin de déterminer si ce dernier fonctionne correctement. Nous voulons garantir que les systèmes font exactement ce qu'ils sont censés faire.
Validation du système (4) : Modélisation des logiciels, des protocoles et d'autres comportements
Validation du système (4) : Modélisation des logiciels, des protocoles et d'autres comportements
Instructeur : Jan Friso Groote
4 822 déjà inscrits
Inclus avec En savoir plus
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
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 : Logique informatique
- Catégorie : Systèmes de communication
- Catégorie : Vérification et validation
- Catégorie : Analyse des systèmes
- Catégorie : Conception de logiciels
- Catégorie : Modélisation des processus
- Catégorie : Conception des systèmes
- Catégorie : Conception et mise en œuvre du système
- Catégorie : Modélisation des données
- Catégorie : Protocoles de réseau
Détails à connaître
Certificat partageable
Ajouter à votre profil LinkedIn
Évaluations
2 devoirs
Enseigné en Anglais
Planning flexible
Apprenez à votre propre rythme
Découvrez comment les employés des entreprises prestigieuses maîtrisent des compétences recherchées
Il y a 2 modules dans ce cours
Instructeur
Offert par
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.’
Faites progresser votre carrière avec un diplôme en ligne
Obtenez un diplôme auprès d’universités de renommée mondiale - 100 % en ligne
Foire Aux Questions
Plus de questions
Aide financière disponible,