System Validation (4): Modelling Software, Protocols, and other behaviour
- Offered byCoursera
System Validation (4): Modelling Software, Protocols, and other behaviour at Coursera Overview
Duration | 4 hours |
Start from | Start Now |
Total fee | Free |
Mode of learning | Online |
Difficulty level | Advanced |
Official Website | Explore Free Course  |
Credential | Certificate |
System Validation (4): Modelling Software, Protocols, and other behaviour at Coursera Highlights
- 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 Subtitles: English
System Validation (4): Modelling Software, Protocols, and other behaviour at Coursera Course details
- System Validation is the field that studies the fundamentals of system communication and information processing. 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. ?Modeling Software Protocols, and other behaviour' demonstrates the power of formal methods in software modelling, communication protocols, and other examples. Reading material. J.F. Groote and M.R. Mousavi. Modeling and analysis of communicating systems. The MIT Press, 2014.
System Validation (4): Modelling Software, Protocols, and other behaviour at Coursera Curriculum
Advanced modelling
Introduction to MOOC modelling software, protocols and other behaviour
Modelling a parallel algorithm to calculate the GCD
Linear process equations and linearisation
Manipulating linear processes
Parameterised boolean equation systems
The alternating bit protocol revisited
The sliding window protocol, or Tanenbaum?s bug
Philips remote control standard 6, or the bounded retransmission protocol
Book exercises
Advanced modelling
Modelling guidelines
Guidelines to avoid the state space explosion problem
Push versus poll
Restrict the use of data
Avoid parallelism among components
Compositional design; specify external behaviour
Modelling guidelines
System Validation (4): Modelling Software, Protocols, and other behaviour at Coursera Admission Process
Important Dates
Other courses offered by Coursera
Student Forum
Anything you would want to ask experts?
ManagementProject ManagementBusiness AnalysisSystem Validation (4): Modelling Software, Protocols, and other behaviour