- Introduction
Quantitative Formal Modeling and Worst-Case Performance Analysis
Enroll in the Quantitative Formal Modeling and Worst-Case Performance Analysis programme by Coursera to learn about performance problem solving and modelling.
Online
4 Weeks
Free
Quick facts
particular | details | |
---|---|---|
Medium of instructions
English
|
Mode of learning
Self study
|
Mode of Delivery
Video and Text Based
|
Course overview
The Quantitative Formal Modeling and Worst-Case Performance Analysis online course by Coursera is curated by EIT Digital. This self-paced course is designed to teach you about solving performance problems and modelling in a theoretical Computer Science method.
During the Quantitative Formal Modeling and Worst-Case Performance Analysis certification course, you will sharpen your abstract thinking skills. Also, you will become proficient in performing a worst-case analysis of fundamental metrics such as buffering, latency and throughput.
The Quantitative Formal Modeling and Worst-Case Performance Analysis syllabus comprises 17-hours’ worth of extensive content, including video lectures, quizzes, reading material and practice exercises. You will study all this high-quality content over four weeks.
With the help of Coursera’s Quantitative Formal Modeling and Worst-Case Performance Analysis programme, you will explore concepts such as scheduling of token production/consumption systems, timing, Petri-nets, etc. You will become trained in thinking about systems in the context of token consumption and production.
The highlights
- Online course
- 16-hours of content
- Video lectures in English
- E-certificate
- Software Development programme
- Offered by EIT Digital
Program offerings
- Flexible learning
- Free programme access
- Readings
- Video lectures
- Financial aid
- Extensive curriculum
- Industry expert instructors
- 17-hours content
- Subtitles in multiple languages
- Digital learning platform
- Quizzes
- An offering of eit digital
Course and certificate fees
Type of course
- It is free to join and access the Quantitative Formal Modeling and Worst-Case Performance Analysis course.
- If you want the certificate, you need to pay Rs.2,378.
Quantitative Formal Modeling and Worst-Case Performance Analysis fee structure
Course option | Fee in INR |
Quantitative Formal Modeling and Worst-Case Performance Analysis (course materials) | Free |
Quantitative Formal Modeling and Worst-Case Performance Analysis (with certification) | Rs.2,378 |
certificate availability
certificate providing authority
certificate fees
Eligibility criteria
Once you complete all the material given in this online course, you will become eligible for the Quantitative Formal Modeling and Worst-Case Performance Analysis certification.
What you will learn
You will become adept at the following concepts after you complete the Quantitative Formal Modeling and Worst-Case Performance Analysis programme:
- Worst-case performance analysis
- Counting functions and prefix orders
- Quantitative formal modelling
- Scheduling, timing and Petri-nets
- Performance metrics, including latency, throughput and buffering
Admission details
Step 1 – Go to the Quantitative Formal Modeling and Worst-Case Performance Analysis course page.
Step 2 – Click or tap the 'Enroll for free’ button. You will reach the signup page.
Step 3 – Generate a new Coursera account with your email address or link a social ID (Facebook or Google) to sign in instantly.
Step 4 – A new pop-up window will appear with two choices – ‘Purchase Course’ and ‘Full Course, No Certificate’. You can choose the latter option and hit ‘Continue’ to enroll in the Quantitative Formal Modeling and Worst-Case Performance Analysis programme for free. In case you choose the other option, you first have to make a payment to join.
The syllabus
Week 1: Introduction
Video
Reading
- Some suggested reading material
Week 1: Modeling systems as token consumption/production systems
Videos
- A single picture tells more than a thousand words
- Consumption and production of tokens
- Modeling an intensive care unit
- Modeling a wireless LAN radio
- Modeling and refining an industrial robot
- Pick your own system
- Classes of Petri-nets
- Causality, choice and concurrency (modeling patterns)
- Refinement of consumption/production systems
- Interpreting pictures for performance analysis
- Draw your own model
Readings
- Always ask yourself
- The refinement of the robot
- Tooling
Practice Exercises
- Basic modeling ideas
- Modeling features
- Which is a refinement of which?
- Modeling Warehouse 13
- Definition of refinement
Week 2: Syntax and semantics
Videos
- Warning: prepare for some set theory!
- Syntax and semantics
- The basics
- Extensions
- Prefix orders
- Exercise on prefix orders
- Proof that flows form a prefix order
- Formalizing interpretations as functions
- Counting is order preserving
- Formalizing the Petri-net interpretation
- Proof that the number of tokens in a single-rate dataflow cycle is constant
- Formalizing timing
- Formalizing eager scheduling
- Formalizing periodic scheduling
Readings
- Flags and Fitch style proofs
- Slides of the proof
- Slides of the proof
- Exercise: Formalize best-case response times
- About the next quiz.
Practice Exercises
- Bipartite graphs
- Thinking about observation functions
- Isomorphism
- Summarize!
- Formalizing performance properties
Week 3: Performance analysis
Videos
- Running example
- Throughput is bounded by 1/MCM
- Proof - a
- Proof - b
- Proof - c
- Proof - d
- Proof - e
- Proof - f
- Proof - g
- Proof - h
- Proof - i
- Proof - j
- The throughput bound is tight
- Periodic scheduling of a dataflow graph
- Latency analysis of a periodic schedule
- Latency analysis of an eager schedule
- The formal definition of latency
- The boot-up time of a dataflow graph
- Optimizing latency estimates w.r.t. boot-up time
- Buffering and backpressure
Readings
- Slides of the proof
- Alternative proof in synchronization and linearity
Practice Exercises
- Calculating the MCM and worst-case throughput
- Calculate some periodic schedules
- Calculating optimal periodic schedules and their latencies
- Calculating suitable buffer sizes
- Summarize!
Week 4: One final example
Video
- One final example
Readings
- 2015 Assignment on dataflow modeling.
- Additional dataflow exercises
- Example of an exam at masters level (without solutions)
- Another example of an exam (with solutions)
- Material created by fellow students
Scholarship Details
Financial aid is available if you want some support for enjoying the premium benefits of Coursera’s Quantitative Formal Modeling and Worst-Case Performance Analysis course. To apply for the scholarship, locate the ‘Financial aid available’ link and click on it.
Continue along with the subsequent screens until you reach the application form. You have to provide info in several required fields such as educational background, annual income, how much you can pay as the Quantitative Formal Modeling and Worst-Case Performance Analysis fee and employment status.
Then, you have to tell why you are applying for the financial aid and how the Quantitative Formal Modeling and Worst-Case Performance Analysis programme will be helpful for your goals. Lastly, click Yes/No if you want to avail of a low-interest loan and submit your application. It takes at least 15 days for review.
How it helps
The Quantitative Formal Modeling and Worst-Case Performance Analysis online training follow a self-directed approach to learning. Thus, you can study at a time that suits you. With flexible deadlines, you can complete the course on your terms.
Moreover, you have the option to receive the certification at the end of the course. This easily shareable certificate will act as a solid addition to your CV or resume.
Instructors
Dr Ir Pieter Cuijpers
Assistant Professor
Eindhoven University...
Dr Anne Remke
Associate Professor
EIT Digital
Other Bachelors, Ph.D
FAQs
No, you can access and learn from the course without paying anything.
EIT Digital offers and accredits this online programme.
Anne Remke, Professor of Computer Science and Dr Pieter Cuijpers, an Assistant Professor of Mathematics and Computer Science will be your instructors for the Quantitative Formal Modeling and Worst-Case Performance Analysis course.
The Quantitative Formal Modeling and Worst-Case Performance Analysis programme by Coursera is approximately 16-hour-long.