Welcome to "Quantitative Formal Modeling and Worst-Case Performance Analysis," an intellectually stimulating course designed to hone your abstract thinking skills in the realm of theoretical computer science. This course invites you to dive deep into the world of token production and consumption, a foundational approach to system behavior. Master the art of mathematically formalizing these concepts through prefix orders and counting functions. Get hands-on with Petri-nets, explore the nuances of timing, and delve into the scheduling intricacies of token systems. You'll even learn to conduct worst-case performance analysis on single-rate dataflow graphs, examining key metrics like throughput, latency, and buffering.
Why the focus on small examples rather than industrial-size systems? The aim here is twofold: First, we strive to cultivate your ability to think abstractly and mathematically about modeling and performance—a vital skill for tackling any future challenges in this field. Second, while dataflow techniques are indeed industry-applicable, this course serves as an essential primer that focuses on single-rate dataflow, the cornerstone of more advanced dataflow techniques. And here's a bonus: this course forms part of the esteemed Quantitative Evaluation of Embedded Systems (QEES) curriculum offered under the aegis of the EIT-Digital University and the Dutch 3TU consortium. While the examination for QEES is more advanced, this course perfectly mirrors its initial three-week content, offering you a robust academic experience online. Ready to sharpen your abstract thinking and delve into the fascinating world of formal modeling? Enroll now to secure your spot.
Certificate Available ✔
Get Started / More Info
Dive deep into the world of token production and consumption, formal modeling, and worst-case performance analysis through a series of intellectually stimulating modules.
Introduction to the course content, providing a brief overview and suggested reading material.
Explore the modeling of systems as token consumption/production systems, including Petri-nets, causality, choice, concurrency, and refinement of systems through various examples and exercises.
Delve into the syntax and semantics of formal modeling, including prefix orders, counting functions, timing, and performance properties, with exercises to solidify understanding.
Learn about performance analysis, including throughput, latency, buffering, periodic scheduling, and worst-case throughput, with a focus on running examples and detailed proofs.
Engage with a final example, additional exercises, and examples of exams at the master's level to reinforce learning and understanding of the course material.
Meta Spark Creator AR Certification Prep equips you with AR fundamentals and Meta Spark skills. Gain knowledge in AR marketing, content creation, and certification...
Learn how to implement concurrent programming in Go, exploring the roles of channels and goroutines in implementing concurrency.
Learn to install and configure Visual Studio Code for Python programming. Perfect for beginners, this guided project covers setting up the environment, installing...
Programming for a Networked World offers a hands-on introduction to computer programming using NetsBlox, emphasizing modern concepts like networking and distributed...