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 and video 1/19, video 1/21
Liu Chapters 1-3, Wolf Chapter 1
On the State of Autonomous Driving slides and video 1/26
Clock-Driven Scheduling slides and video 1/28
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 and video 2/2
Modeling Synchronous Systems slides and video 2/4
Alur Chapter 2
Lustre: A Synchronous Language slides and video 2/11
- 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 and video 2/16
Dynamic Priority Scheduling PPT and video 2/18
Liu book Chapter 6
- Luca Abena SCHED DEADLINE: A real-time CPU scheduler for Linux, TuToR'17 tutorial slides.
Static Priority Scheduling PPT and video 2/23
Liu book Chapter 6 (cont.)
Feedback Systems slides and video 2/4
Alur Chapter 6
On the State of Autonomous Driving (cont.) slides and video 3/2 and video 3/4
- Tesla AutoPilot: Andrej Karpathy - AI for Full-Self Driving, keynote at Scaled Machine Learning'20
Introduction to Machine Learning slides, Neural Networks slides and video 3/9
Convolutional Neural Networks slides and video 3/16
- Examples (see HW4 for how to run jupyter-notebook on ARC):
```
	   git clone https://github.com/csc-training/intro-to-dl
	   jupyter-netbook intro-to-dl/day1
	 
```
Recurrent Neural Networks slides, ML and GPU Parallelism slides and video 3/18
Resouces & Access Control PPT and video 3/23, video 3/25
Liu book Chapter 6 (cont.)
Asynchronous Systems slides and video 3/30, video 4/1
Alur Chapter 4
Timed Systems slides and video 4/6
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, video 4/8 and video 4/13
Liu book Chapter 7
Automotive Standards PPT and video 4/20
Multiprocessor/Distributed Systems PPT and video 4/22
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 and video 4/27
- 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 and video 4/29
- "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

TBA