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
Instructors:
English
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
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
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.
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
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.
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.
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.