Completed
Sufficient Conditions
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Mind the Gap - Between Real-Time Linux and Real-Time Theory
Automatically move to the next video in the Classroom when playback concludes
- 1 Introduction
- 2 Logical correctness
- 3 Realtime systems
- 4 Fixed priority scheduler
- 5 Scheduling formula
- 6 Scheduling in theory
- 7 Reality is not reality
- 8 Preemptive scheduling
- 9 Math side
- 10 Mind the gap
- 11 Abstract the code
- 12 Trace and States
- 13 Discrete Event Systems
- 14 Graph format
- 15 Drawing automatons
- 16 Modeling approach
- 17 Example of models
- 18 Complexity of Linux
- 19 Sufficient Conditions
- 20 Model
- 21 In practice
- 22 What can we do
- 23 Julia time
- 24 Prime Clarity Model
- 25 Drivers
- 26 Tasks
