About this Course

1,809 recent views
Shareable Certificate
Earn a Certificate upon completion
100% online
Start instantly and learn at your own schedule.
Flexible deadlines
Reset deadlines in accordance to your schedule.
Advanced Level
Approx. 4 hours to complete
English
Shareable Certificate
Earn a Certificate upon completion
100% online
Start instantly and learn at your own schedule.
Flexible deadlines
Reset deadlines in accordance to your schedule.
Advanced Level
Approx. 4 hours to complete
English

Offered by

Placeholder

EIT Digital

Syllabus - What you will learn from this course

Week
1

Week 1

3 hours to complete

Advanced modelling

3 hours to complete
8 videos (Total 95 min), 1 reading, 1 quiz
8 videos
Modelling a parallel algorithm to calculate the GCD13m
Linear process equations and linearisation14m
Manipulating linear processes10m
Parameterised boolean equation systems6m
The alternating bit protocol revisited14m
The sliding window protocol, or Tanenbaum’s bug20m
Philips remote control standard 6, or the bounded retransmission protocol13m
1 reading
Book exercises45m
1 practice exercise
Advanced modelling30m
Week
2

Week 2

1 hour to complete

Modelling guidelines

1 hour to complete
5 videos (Total 50 min)
5 videos
Push versus poll4m
Restrict the use of data10m
Avoid parallelism among components5m
Compositional design; specify external behaviour17m
1 practice exercise
Modelling guidelines30m

Frequently Asked Questions

More questions? Visit the Learner Help Center.