RiseUpp Logo
Educator Logo

Formal Modeling & Performance Analysis

Master formal modeling techniques: Learn to analyze and optimize system performance using mathematical approaches.

Master formal modeling techniques: Learn to analyze and optimize system performance using mathematical approaches.

This course provides a comprehensive introduction to quantitative formal modeling and worst-case performance analysis, focusing on token production and consumption systems. Students will learn to mathematically formalize system behavior using prefix orders and counting functions, work with Petri-nets, and conduct worst-case performance analysis on single-rate dataflow graphs. The curriculum covers key concepts such as throughput, latency, and buffering in system performance. Through a combination of theoretical foundations and practical applications, the course aims to develop students' abstract thinking skills and their ability to apply formal methods to real-world systems analysis.

4.4

(44 ratings)

8,486 already enrolled

English

Powered by

Provider Logo
Formal Modeling & Performance Analysis

This course includes

16 Hours

Of Self-paced video lessons

Intermediate Level

Completion Certificate

awarded on course completion

2,435

What you'll learn

  • Model systems as token consumption/production systems using Petri-nets

  • Formalize system behavior using prefix orders and counting functions

  • Understand and apply Petri-net interpretations and restrictions

  • Perform worst-case performance analysis on single-rate dataflow graphs

  • Calculate and optimize throughput, latency, and buffer sizes in system models

  • Construct and analyze periodic schedules for dataflow graphs

Skills you'll gain

Formal Modeling
Petri-nets
Dataflow Graphs
Performance Analysis
Throughput Analysis
Latency Analysis
Buffer Sizing
Worst-Case Analysis

This course includes:

5 Hours PreRecorded video

15 assignments

Access on Mobile, Tablet, Desktop

FullTime access

Shareable certificate

Get a Completion Certificate

Share your certificate with prospective employers and your professional network on LinkedIn.

Created by

Provided by

Certificate

Top companies offer this course to their employees

Top companies provide this course to enhance their employees' skills, ensuring they excel in handling complex projects and drive organizational success.

icon-0icon-1icon-2icon-3icon-4

There are 5 modules in this course

This course offers an in-depth exploration of quantitative formal modeling and worst-case performance analysis techniques. It is structured into five modules, covering the fundamentals of token consumption/production systems, formal syntax and semantics, performance analysis methods, and practical applications. Students will learn to model systems using Petri-nets, formalize system behavior with prefix orders and counting functions, and conduct worst-case analysis on single-rate dataflow graphs. The course emphasizes both theoretical understanding and practical skills, teaching students to calculate metrics such as maximum cycle mean, construct periodic schedules, and optimize for latency and buffering. Throughout the course, students will develop their abstract thinking abilities and learn to apply formal methods to real-world system analysis problems.

Introduction

Module 1 · 15 Minutes to complete

Modeling systems as token consumption/production systems

Module 2 · 5 Hours to complete

Syntax and semantics

Module 3 · 5 Hours to complete

Performance analysis

Module 4 · 4 Hours to complete

One final example

Module 5 · 1 Hours to complete

Fee Structure

Payment options

Financial Aid

Instructors

Anne Remke
Anne Remke

13,046 Students

2 Courses

Expert in Safety-Critical Systems and Cyber-Physical Infrastructures

Since October 2014, I have served as a professor in the Safety-Critical Systems group within the Faculty of Mathematics and Computer Science at Westfälische Wilhelms-Universität Münster. I am also affiliated with the Design and Analysis of Communication Systems group at the University of Twente, where I transitioned from assistant professor (2010-2016) to associate professor in March 2016. I earned my Ph.D. in Computer Science from the University of Twente in 2008 and my M.Sc. from RWTH Aachen in 2004. My research primarily focuses on the dependability and security of critical 24/7 infrastructures, including electrical power systems and telecommunications. I am particularly interested in evaluating charging and discharging strategies for local energy storage in smart homes and ensuring the security of control networks, such as SCADA, within the context of smart grids.

Dr.ir. Pieter Cuijpers
Dr.ir. Pieter Cuijpers

8,461 Students

1 Course

Advancing Quantitative Formal Modeling at Eindhoven University of Technology

Dr. ir. Pieter Cuijpers is an Assistant Professor at Eindhoven University of Technology and is also affiliated with EIT Digital. He specializes in quantitative formal modeling and worst-case performance analysis, areas that are critical for understanding and improving system performance in various applications. His research focuses on developing methodologies and tools that enhance the reliability and efficiency of systems through rigorous quantitative analysis. Dr. Cuijpers is dedicated to teaching, offering courses that equip students with the skills needed to apply formal modeling techniques to real-world problems. His contributions to both academia and industry highlight his commitment to advancing knowledge in performance analysis and system optimization.

Formal Modeling & Performance Analysis

This course includes

16 Hours

Of Self-paced video lessons

Intermediate Level

Completion Certificate

awarded on course completion

2,435

Testimonials

Testimonials and success stories are a testament to the quality of this program and its impact on your career and learning journey. Be the first to help others make an informed decision by sharing your review of the course.

4.4 course rating

44 ratings

Frequently asked questions

Below are some of the most commonly asked questions about this course. We aim to provide clear and concise answers to help you better understand the course content, structure, and any other relevant information. If you have any additional questions or if your question is not listed here, please don't hesitate to reach out to our support team for further assistance.