Quantitative Formal Modeling and Worst-Case Performance Analysis

BY
European Institute of Innovation and Technology via Coursera

Enroll in the Quantitative Formal Modeling and Worst-Case Performance Analysis programme by Coursera to learn about performance problem solving and modelling.

Mode

Online

Duration

3 Weeks

Fees

Free

Quick Facts

particular details
Medium of instructions English
Mode of learning Self study
Mode of Delivery Video and Text Based
Learning efforts 5 Hours Per Week

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 three 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

Free

The fees for the course Quantitative Formal Modeling and Worst-Case Performance Analysis is -

HeadAmount in INR
Certificate feesRs. 2435

 

certificate availability

Yes

certificate providing authority

Coursera

certificate fees

₹2,435

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

Software development skills

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

The syllabus

Module 1: Introduction

Video
  • Introduction
Reading
  • Some suggested reading material

Module 2: 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

Module 3: 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

Module 4: 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!

Module 5: 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

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.

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

Are there any charges to access the Quantitative Formal Modeling and Worst-Case Performance Analysis course?

No, you can access and learn from the course without paying anything.

Which organisation accredits the Quantitative Formal Modeling and Worst-Case Performance Analysis programme?

EIT Digital offers and accredits this online programme.

Who will be the instructors?

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.

How many hours does this course require to complete?

The Quantitative Formal Modeling and Worst-Case Performance Analysis programme by Coursera is approximately 16-hour-long.

Trending Courses

Popular Courses

Popular Platforms

Learn more about the Courses

Download the Careers360 App on your Android phone

Regular exam updates, QnA, Predictors, College Applications & E-books now on your Mobile

Careers360 App
150M+ Students
30,000+ Colleges
500+ Exams
1500+ E-books