Lectures
You can download the lectures here. We will try to upload lectures prior to their corresponding classes.
-
Ch1. Introduction
tl;dr: Embedded & Cyber Physical systems: Definition, importance and pervasiveness
[slides]
Suggested Readings:
-
Ch2. Continuous Dynamics
tl;dr: Modeling with an emphasis on Continuous Dynamics
[slides-Part1] [slides-Part2]
Suggested Readings:
-
-
-
Ch6. Concurrent Models of Computation
tl;dr: All of the different components and parts of the system operate simultaneously
[slides]
Suggested Readings:
-
Ch5. Composition of State Machines
tl;dr: How can compose state machines?
[slides]
Suggested Readings:
-
Extra Ch. Petri Nets and Their Timed Version
tl;dr: Popular formalism in many fields
[slides]
Suggested Readings:
-
Ch11. Multitasking
tl;dr: Concurrency motivation and their basic concepts
[slides]
Suggested Readings:
-
Ch12. Scheduling
tl;dr: A scheduling decision is a decision to execute a task
[slides-Part1] [slides-Part2]
Suggested Readings:
-
Ch13. Invariants and Temporal Logic
tl;dr: To verify correctness, simply running a few tests is not enough
[slides]
Suggested Readings:
-
Ch14. Equivalence and Refinement
tl;dr: Why do we need to compare models and systems?
[slides]
Suggested Readings:
-
Ch15. Reachability Analysis
tl;dr: the process of computing the set of reachable states for a system
[slides]
Suggested Readings:
-
Ch16. Quantitative Analysis
tl;dr: Will my brake-by-wire system actuate the brakes within one millisecond?
[slides]
Suggested Readings:
-
Extra. Worst-Case Execution Time Prediction by Static Program Analysis
tl;dr: Measuring the execution time seems to be a simple alternative to WCET determination by static analysis.
[slides]
Suggested Readings:
- [Another related paper]