System Validation (4): Modelling Software, Protocols, and other behaviour
Completed by Nafees Mansoor
May 7, 2018
3 hours (approximately)
Nafees Mansoor's account is verified. Coursera certifies their successful completion of System Validation (4): Modelling Software, Protocols, and other behaviour
What you will learn
Use formal methods to improve the correctness, reliability, and maintainability of embedded and communication systems.
Apply techniques to avoid state-space explosion through compositional and modular system design.
Analyze real communication protocols such as the Alternating Bit Protocol and Sliding Window Protocol
Understand linear process equations and how complex system behaviour can be reduced to analyzable normal forms.
Skills you will gain
- Category: Network Protocols
- Category: System Design and Implementation
- Category: Process Modeling
- Category: Software Design
- Category: Systems Analysis
- Category: Verification And Validation
- Category: Data Modeling
- Category: Computational Logic
- Category: Systems Design
- Category: Communication Systems
