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. Il s'agit de la prochaine étape logique de l'informatique et de l'amélioration du développement des logiciels en général. Elle permet une analyse automatisée basée sur des modèles comportementaux d'un système pour voir si celui-ci fonctionne correctement. Nous voulons garantir que les systèmes font exactement ce qu'ils sont censés faire. Les techniques mises en avant dans la validation des systèmes permettent de prouver l'absence d'erreurs. Elles permettent de concevoir un système intégré dont le comportement est structurellement sain et, accessoirement, vous obligent à rendre le comportement simple et intuitif. Cela signifie que les systèmes ne se comportent pas seulement correctement, mais qu'ils sont aussi beaucoup plus faciles à maintenir et à adapter. modéliser le comportement d'un processus" est le MOOC qui fait suite à "Automates et équivalences comportementales". Ce MOOC vous montre comment modéliser le comportement des processus, en particulier les protocoles et les algorithmes distribués, approfondir les propriétés du comportement des systèmes, et garder les choses simples pour éviter une explosion de l'espace d'état. Matériel de lecture. J.F. Groote et M.R. Mousavi. Modélisation et analyse des systèmes communicants. The MIT Press, 2014 Ce cours est la deuxième partie de l'ensemble des cours sur la validation des systèmes. Le Jeu de données de validation de système, en tant qu'ensemble de cours, fait partie d'un programme en ligne plus large de 28Digital appelé "Internet des objets à travers les systèmes embarqués".
Validation du système (2) : Modéliser le comportement du processus
Validation du système (2) : Modéliser le comportement du processus
Instructeur : Jan Friso Groote
4 029 déjà inscrits
Inclus avec
Obtenez un aperçu d'un sujet et apprenez les principes fondamentaux.
10 avis
niveau Intermédiaire
Certaines connaissances prérequises
4 heures à compléter
Planning flexible
Apprenez à votre propre rythme
Compétences que vous acquerrez
- Catégorie : Maintenabilité
- Catégorie : Analyse des systèmes
- Catégorie : Algorithmes
- Catégorie : Raisonnement logique
- Catégorie : Modélisation des données
- Catégorie : Informatique distribuée
- Catégorie : Modélisation des processus
- Catégorie : Vérification et validation
- Catégorie : Logique informatique
- Catégorie : Informatique théorique
Outils que vous découvrirez
- Catégorie : Logiciels embarqués
- Catégorie : Systèmes logiciels
Détails à connaître
Certificat partageable
Ajouter à votre profil LinkedIn
Évaluations
3 devoirs
Enseigné en Anglais
Découvrez comment les employés des entreprises prestigieuses maîtrisent des compétences recherchées
Il y a 3 modules dans ce cours
Instructeur
Offert par
En savoir plus sur Développement de logiciels
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.’
Ouvrez de nouvelles portes avec Coursera Plus
Accès illimité à 10,000+ cours de niveau international, projets pratiques et programmes de certification prêts à l'emploi - tous inclus dans votre abonnement.
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
Rejoignez plus de 3 400 entreprises mondiales qui ont choisi Coursera pour les affaires
Améliorez les compétences de vos employés pour exceller dans l’économie numérique
Foire Aux Questions
Plus de questions
Aide financière disponible,