Monthly Subscription Starting at AED 99 + VAT

System Validation (2): Model process behaviour
  • Level Professional
  • المدة 5 ساعات hours
  • الطبع بواسطة EIT Digital
  • Offered by

عن

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 validation 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. Reading material. J.F. Groote and M.R. Mousavi. Modeling and analysis of communicating systems. The MIT Press, 2014. This course is part 2 of the set of courses for System Validation. System Validation, as a set of courses, is part of a larger EIT Digital online programme called 'Internet of Things through Embedded Systems'.

الوحدات

The elementary process operators

    • 3 Videos
Show info about module content

3 Videos

  • Introduction MOOC model process behaviour
  • Actions, multi-actions, alternative and sequential composition
  • Process axioms

Recursion and the interaction with data

    • 3 Videos
Show info about module content

3 Videos

  • Recursive process specifications
  • Processes and actions with data; the conditional operator
  • The sum operator

An example

    • 1 Videos
    • 1 Assignment
Show info about module content

1 Assignment

  • Sequential behaviour

1 Videos

  • The alarm clock revisited

Basic data types and numbers

    • 3 Videos
Show info about module content

3 Videos

  • The construction of data types
  • Specification of Peano numbers
  • Specification of efficient numbers

The construction of advanced data types

    • 5 Videos
    • 1 Assignment
Show info about module content

1 Assignment

  • Data Types

5 Videos

  • Specification of lists
  • Functions, sets and bags
  • Structured types
  • Quantifiers
  • Knuth's dancing links

Process operators for parallel behaviour

    • 2 Videos
Show info about module content

2 Videos

  • The parallel, communication and allow operators
  • The hiding operator

An example

    • 1 Videos
    • 1 Assignment
Show info about module content

1 Assignment

  • Parallel Behaviour

1 Videos

  • Peterson's mutual exclusion algorithm

Auto Summary

Discover the fundamentals of system validation with "Model Process Behaviour," an advanced IT & Computer Science course by Coursera. Led by experts, this course dives into modeling process behavior, protocols, and distributed algorithms to ensure systems work correctly and are easy to maintain. Part of the EIT Digital 'Internet of Things through Embedded Systems' program, it spans 300 hours and offers both Starter and Professional subscription options, ideal for professionals seeking to enhance their skills in system validation.

Jan Friso Groote
Instructor

Jan Friso Groote