System Validation (2): Model process behaviour (Coursera)

System Validation (2): Model process behaviour (Coursera)

Añade tu reseña
Añadir a Mis FavoritosAñadido a tus favoritosEliminado de tus favoritos 0
Añadir para comparar

Descripción de “System Validation (2): Model process behaviour (Coursera)”

System Validation is the field that studies the fundamentals of system communication and information processing. It is the next logical step in computer science and improving software development in general. It allows automated analysis based on behavioural models of a system to see if a system works correctly. We want to guarantee that the systems does exactly what it is supposed to do.

The techniques put forward in system validaton allow to prove the absence of errors. It allows to design embedded system behaviour that is structurally sound and as a side effect enforces you to make the behaviour simple and insightful. This means that the systems are not only behaving correctly, but are also much easier to maintain and adapt. ’Model process behaviour’ is the follow up MOOC to ‘Automata and behavioural equivalences’. This MOOC shows you how to model process behaviour, in particular protocols and distributed algorithms, dive deeper in the properties of system behaviour, and keep things simple to avoid a state space explosion.

Suggested Readings:
J.F. Groote and M.R. Mousavi. Modeling and analysis of communicating systems. The MIT Press, 2014.

Syllabus

WEEK 1

Sequential behaviour

Graded: Sequential behaviour

WEEK 2

Data types

Graded: Data Types

WEEK 3

Parallel behaviour

Graded: Parallel Behaviour

Especificaciones: System Validation (2): Model process behaviour (Coursera)

Curso ofrecido por
Disponibilidad

✔ Disponible

Plataforma

Universidad

Impartido por

Jan Friso Groote

País

Belgium

Nivel, duración y fechas
Nivel

Intermedio

Fecha

04/05/2020

Duración

3 semanas

Tiempo necesario

3-5 horas/semana

Idioma del curso
Idioma vehicular

Inglés

Subtítulos

No informado

Exámenes y Certificados
Certificados

Certificado de Pago

Exámenes/Proyectos

Sin información de Examen/Proyecto Final

User Reviews

0.0 fuera de 5
0
0
0
0
0
Write a review

Aún no hay reseñas.

Se el primero en opinar sobre “System Validation (2): Model process behaviour (Coursera)”

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

Antes de enviar tu opinión, has de aceptar nuestra política de cookies y privacidad

System Validation (2): Model process behaviour (Coursera)
System Validation (2): Model process behaviour (Coursera)

Este sitio web utiliza cookies para un correcto funcionamiento. Si continúas navegando estás dando tu consentimiento para estas cookies y aceptas nuestra política de cookies, clic para más información.

ACEPTAR
Aviso de cookies
Comparar artículos
  • Total (0)
Comparar
0