Lecture Notes and Reading Material

We have online access to IEEE and ACM publications (among others). Most articles below require that you find and download them, which means that you get some experience in literature search on the side. If you have problems with the download, please read about their access mechanisms and report problems to the library.

Introduction slides
Liu Chapters 1-3, Wolf Chapter 1
On the State of Autonomous Driving slides
Clock-Driven Scheduling slides
Liu Book Chapters 4-5
- T. Baker and A. Shaw The Cyclix Executive Model and Ada. Real-Time Systems Symposium, 1988, pp. 120-129.
On the State of Embedded Systems (focus: design) slides
Modeling Synchronous Systems slides
Alur Chapter 2
Lustre: A Synchronous Language slides
- N. Halbwachs; P. Caspi; P. Raymond; D. Pilaud, The Synchronous Data Flow Programming Language LUSTRE, in Proceedings of the IEEE, vol. 79, no. 9, pp. 1305-1320, Sept. 1991, doi: 10.1109/5.97300.
- Erwan Jahier, Pascal Raymond, Nicolas Halbwachs, The Lustre V6 Reference Manual, Software Version: 6.101.27 (17-08-20)
Luke: A Program Verifyer slides
Dynamic Priority Scheduling PPT
Liu book Chapter 6
- Luca Abena SCHED DEADLINE: A real-time CPU scheduler for Linux, TuToR'17 tutorial slides.
Static Priority Scheduling PPT
Liu book Chapter 6 (cont.)
Guest lecture: Reasoning About Emergent Behaviors at Runtime by Caio Batista de Melo
Feedback Systems slides
Alur Chapter 6
On the State of Autonomous Driving (cont.) slides
- Tesla AutoPilot: Andrej Karpathy - AI for Full-Self Driving, keynote at Scaled Machine Learning'20
Introduction to Machine Learning slides, Neural Networks slides
Convolutional Neural Networks slides
- Examples (see HW4/ARC web page for how to run jupyter-notebook on ARC):
```
	   git clone https://github.com/csc-training/intro-to-dl
	   jupyter-notebook intro-to-dl/day1
	 
```
Recurrent Neural Networks slides, ML and GPU Parallelism slides
Resources & Access Control PPT
Liu book Chapter 6 (cont.)
Asynchronous Systems slides
Alur Chapter 4
Timed Systems slides
Alur Chapter 7
- Uppaal
- Alexandre David1 Kim G. Larsen, Axel Legay, Marius Mikucionis, and Danny Bogsted Poulsen, Uppaal SMC Tutorial, International Journal on Software Tools for Technology Transfer (STTT), January 2015, Volume 17, Issue 4, pp 397-415. Springer Berlin Heidelberg. ISSN 1433-2787, 1433-2779. (revised Jan 2018)
- Insup Lee(?), Uppaal tutorial slides
Aperiodic and Sporadic Jobs in Prioritized Systems PPT, see video 4/8 and video 4/13
Liu book Chapter 7
Automotive Standards PPT
Multiprocessor/Distributed Systems PPT
Textbook Chapter 9
- Robert I. Davis, Alan Burns. A survey of hard real-time scheduling for multiprocessor systems, Journal ACM Computing Surveys (CSUR), Vol. 43, #4, Article 35 (October 2011)
Mixed-Criticality Systems PPT
- Mixed Criticality Systems - A Review, Alan Burns and Robert I. Davis, 9th ed., Jan 2017.
- Mixed-Criticality Federated Scheduling for Parallel Real-Time Tasks, Jing Li, David Ferry, Shaurya Ahuja, Kunal Agrawal, Christopher Gill and Chenyang Lu, RTAS'16
Timing Analysis PPT
- "The Worst-Case Execution Time Problem - Overview of Methods and Survey of Tools" by R. Wilhelm, J. Engblohm, A. Ermedahl, N. Holsti, S. Thesing, D. Whalley, G. Bernat, C. Ferdinand, R. Heckmann, T. Mitra, F. Mueller, I. Puaut, P. Puschner, J. Staschulat, P. Stenström in ACM Transactions on Embedded Computing Systems, Vol. 7, No. 3, Apr 2008, pages 1-53.
- Bounding Worst-Case Instruction Cache Performance, R. Arnold and F. Mueller and D. B. Whalley and M. Harmon, RTSS, 1994, dec, pp. 172-181.
- Bounding Pipeline and Instruction Cache Performance. C. A. Healy and R. D. Arnold and F. Mueller and D. Whalley and M. G. Harmon, IEEE Transactions on Computers, 1999, jan, V. 48, No. 1, pp. 53-70.
- Timing Analysis for Instruction Caches, F. Mueller, Real-Time Systems, 2000, may, V. 18, No. 2/3, pp. 209-239.
- "Real-Time Dynamic Voltage Scaling for Low-Power Embedded Operating Systems", P. Pillai and K. Shin, Symposium on Operating Systems Principles'01.
- "DVSleak: Combining Leakage Reduction and Voltage Scaling in Feedback EDF Scheduling", Yifan Zhu and Frank Mueller, LCTES'07

Paper presentations list

not covered: GPU Real-Time Scheduling PPT
- Olmedo, Ignacio Sanudo, et al. "Dissecting the CUDA scheduling hierarchy: a Performance and Predictability Perspective." 2020 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). IEEE, 2020.
- Amert, Tanya, et al. "GPU scheduling on the NVIDIA TX2: Hidden details revealed." 2017 IEEE Real-Time Systems Symposium (RTSS). IEEE, 2017.