Real-Time Systems (2IMN20) winter 2018 (for BIS, CSE, and ES)

 

Last update: May 3rd, 2018.

 

News:

·         2018-05-03: Added exam of April 13th with draft answers.

·         2018-03-29: Final update of “Expected reading” and “Reading Guide” .

·         2018-03-16: Minor changes to the schedule.

·         2018-02-02: Name of guest-lecturer from MDH changed.

·         2018-01-25: Creation

 

Examinations

 

The examinations (including draft answers) of (previous years of) 2IN20 (!):

Examinations (including draft answers) of 2IN25 (!):

Examinations (including draft answers) of 2IN26:

·         2010/2011: November 3rd, 2010 (2XN26), January 20th, 2011 (reprise 2XN26), January 20th, 2011 (2YN26), April 11th, 2011 (reprise 2YN26).

·         2011/2012: November 1st, 2011 (2XN26), January 23rd, 2012 (reprise 2XN26), January 23rd, 2012 (2YN26), April 16th, 2012 (reprise 2YN26).

·         2012/2013: October 29th, 2012, January 23rd, 2013.

·         2013/2014: November 4th, 2013 (2XN26), January 27th, 2014 (reprise 2XN26).

·         2014/2015: April 16th, 2015 (2XN26), July 3rd, 2015 (reprise 2XN26).

Examinations (including draft answers) of 2IMN20:

·         2015/2016: April 8th, 2016, June 29th, 2016.

·         2016/2017: April 18th, 2017, July 5th, 2017.

·         2017/2018: April 13th, 2018.

 

Notes:

·         2IN20 is a 4 ECTS credits BaMa predecessor of 2IMN20.

·         2IN25 and 2IN26 are 5 ECTS credits BaMa predecessors of 2IMN20.

 

Introduction

 

The course addresses basic concepts of real-time systems, presents examples of real-time systems, covers real-time systems analysis and design, and gives an in-depth treatment of timing analysis and scheduling. The course is organized around the issue of real-time requirements and their impact on the architecture of a system. The considered system domain will be networked embedded systems. Applications are drawn from automotive domain (e.g. real-time control) and multi-media applications, such as video streaming.

The course is completed by passing an examination and doing either an assignment or a practical training. The assignment involves studying one or more articles and writing a report. The assignment can be done with groups of 4 or 5 students. These groups must hand in their own, original work, reported by themselves. The practical training involves performing weekly experiments with a set of simple real-time kernels using a simple application. The practical work can be done with groups of 3 students.

This year, there are 8 weeks of regular lectures. There will be two regular lectures per week and a tutorial session. The tutorial session consists of one hour, and will be used to discuss the practical training.

On this site the current status of the course will be maintained in terms of the contents, and expected reading. Slides and other material will mostly be available from CANVAS only.

Course objectives (high-level):

The objective of this course is to bring students into the position to analyze and (partially) design real-time systems, and conduct research in the area of real-time systems.

Course objectives (lower-level):

The student can:

(i)                   explain and apply the fundamental concepts and terminology of real-time systems;

(ii)                  explain and address the fundamental problems of real-time systems;

(iii)                 analyze real-time systems designs;

(iv)                 design a real-time system (at least partially); and

(v)                  identify and assess the relevant literature and research trends of real-time systems.

Preliminary course program

Classes Quartile 3 (February 5th, 2017 – April 6th, 2017):

Week 1 (02-06): slides: RTS.A1-Overview, RTS.A1-Introduction;
                       book: chapter 1.
           (02-09): slides: RTS.B3-Specification-concepts, RTS.D0-Water-Vessel,
                                   RTS.B3-Reference Model;
                        book: chapter 2.
           (02-09): discussion (practical training).

Week 2 (02-13): No classes (Carnaval)
            (03-16):
No classes (Carnaval)

Week 3 (02-20): slides: RTS.B3-Reference Model (cnt’d), RTS.B4-Policies-1;
                       book: chapter 2;
                       expected reading: [4].
           (02-23): slides: RTS.B3-Cyclic Executives, RTS.B5-Analysis-1;
                         book: section 3.3, chapter 4, sections 4.1 till 4.4;
                         expected reading: “A Note on Cyclic Executives” and
                                                    “Patriot Missile Defense”.
           (02-23): discussion (practical training).

Week 4 (02-27): slides: RTS.B5-Analysis-2-FPPS;
                         book: section 4.5 (excluding 4.5.3);
                         expected reading: [2].
           (03-02): slides: RTS.B5-Analysis-2-FPPS (cnt’d), RTS.C7-Periodic Tasks,
                                   RTS.B4-Policies-2-FP-servers;
                         book: chapter 5 (except for sections 5.3.1, 5.3.2, 5.3.3, 5.4.1,
                                  5.4.3, 5.5, 5.6, and 5.7), section 10.5.4;
                         expected reading: [5].

           (03-02):
discussion (practical training).

Week 5 (03-06): slides: RTS.B5-Policies-3-RAP;
                         book: chapter 7 (except for implementation considerations of all
                                  protocols and multi-unit aspects of SRP);
                        expected reading: [1, 3].
           (03-09): slides: RTS.B5-Analysis-5-FPPS-extensions,
                                  
RTA.C6-Resource reservation;
                        book: section 4.5 (excluding 4.5.3);
           (03-09): discussion (practical training).

Week 6 (03-13): slides: RTS.B5-Analysis-6-FPPS-arbitrary deadlines;
           (03-16):  slides: RTS.B5-RT Communication;
                         expected reading: [6].
           (03-16):  discussion (practical training).

Week 7 (03-20): Guest lecture by Prof.Dr.-Ing.habil. C. Hentschel from the
                         Brandenburg University of Technology of Cottbus-Senftenberg,
                         Germany;
                         expected reading: [7].
           (03-23): Guest lecture by Prof.Dr.-Ing.habil. C. Hentschel from the
                        Brandenburg University of Technology of Cottbus-Senftenberg,
                        Germany;
           (03-23): discussion (practical training).

Week 8 (03-27): slides: RTS.B5-Analysis-9-practical factors;
           (03-30):
No classes (Good Friday)!

Week 9 (04-03): Guest lecture by Dr. S. Mubeen from the Mälardalen University of
                         Västerås, Sweden;
                         expected reading: [8, 9].
           (04-06): Guest lecture by Dr. S. Mubeen from the Mälardalen University of
                        Västerås, Sweden.
           (04-06):
No classes!

Week 10 (04-10): No classes (examination week)!
             (04-13): No classes (examination week)!

Week 11 (04-17): No classes (examination week)!
             (04-20):
No classes (examination week)!

RTA Reading guide:

·         Reading guide 2IMN20

Examination: There will be an exam at the end of the 3rd quartile and a reprise after the 4th quartile. You are not allowed to take any information with you to the examination and all math is just of a level of secondary school (so no calculator required either)! Next to the exam, there will be an assignment.

Visualization tools

·         Realtime

Assignments:

·         2013/2014 (A previous year!): 2IN26-assignments-2013/2014.

·         2014/2015 (Last year!): 2IN26-assignment-2014/2015 (only available within TU/e domain or via VPN).

·         2015/2016: See OASE.

·         2016/2017: See Canvas.

·         2017/2018: See Canvas.

Guidelines for the report can be found here and in CANVAS as well.

Not making this is failing. There will be no acceptance after the examination date of the reprise. You are expected to work in teams.

Practical training: information will be made available in due time via CANVAS.

Lecturers:

R.J.Bril (main lecturer)

          MF 6.068, tel.: 5412

E.J. Luit (practical training)

          MF 6.118, tel.: 4338

 

Guest lecturers:

 

Book: G.C. Buttazzo, “Hard real-time computing systems, predictable scheduling – algorithms and applications”, Springer, 2011, ISBN 978-1-4614-0676-1 (3nd edition).

Related slides: http://feanor.sssup.it/~giorgio/slides/realtime/;

Expected reading (final):

[1]  Risk Forum: What really happened on Mars Rover Pathfinder, December 1997.

[2]  R.J. Bril, E.F.M. Steffens, and W.F.J. Verhaegh, Best-case response times and jitter analysis of real-time tasks, Journal of Scheduling, 7(2): 133-147, 2004.

[3]  D. Polock and D. Zoebel, Conformance testing of priority inheritance protocols, In: Proc. 7th IEEE International Conference on Real-Time Computing Systems and Applications (RTCSA), pp. 404-408, December 2000.

[4]  J.A. Stankovic, Real-Time Computing, Byte, pp. 155 – 160, August 1992.

[5]  M. Stanovich, T.P. Baker, A.I. Wang, and M. González Harbour, Defects of the POSIX Sporadic Server and How to Correct Them, In: Proc. 16th IEEE RTAS, pp. 35 – 45, April 2010.

[6]  R.I. Davis, A. Burns, R.J. Bril, and J.J. Lukkien, Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised, Real-Time Systems, ISSN 1573-1383 (online), http://www.springerlink.com/content/8n32720737877071/, January 30th, 2007, ISSN 0922-6443 (print), 35(3): 239-272, April 2007.

[7]   C. Hentschel, R.J. Bril, Y. Chen, R. Braspenning, and T.-H. Lan, Video Quality-of-Service for consumer terminals - a novel system for programmable components, In: IEEE Transactions on Consumer Electronics, 49(4): 1367-1377, November 2003.

[8]  N. Feiertag, K. Richter, J. Nordlander, J. Jonsson, A compositional framework for end-to-end path delay calculation of automotive systems under different path semantics, International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS), 2008, https://pdfs.semanticscholar.org/b7a2/3a98949c72d3c40b121dc77b907d1ab67dd2.pdf?_ga=2.80181726.851433582.1512941869-2091524364.1501450922.

[9]  A. Bucaioni, S. Mubeen, J. Lundbäck, K-L. Lundbäck, J. Mäki-Turja, M. Sjödin, From Modeling to Deployment of Component-Based Vehicular Distributed Real-Time Systems, 11th IEEE International Conference on Information Technology: New Generations (ITNG), 2014, http://www.es.mdh.se/pdf_publications/3468.pdf.

Further reading (final):

[10]       G.C. Buttazzo, Rate Monotonic vs. EDF: Judgment Day, Real-Time Systems, 29(1): 5 – 26, 2005.

[11]       J. Goossens and R. Devillers, The non-optimality of the monotonic priority assignments for hard real-time offset free systems, Real-Time Systems, 13(2): 107-126, September 1997.

[12]       A.M. Groba, A. Alonso, J.A. Rodriques, M. Garcia Valls, Response time of streaming chains: analysis and results, In: Proc. 14th IEEE Euromicro Conference on Real-Time Systems, pp. 182 – 189, 2002.

[13]       C. Hentschel, Scalable Video Algorithms for Resource Constrained Platforms, Workshop on Resource Management for Media Processing in Networked Embedded Systems, Ed. R.J. Bril and R. Verhoeven, pp. 43 – 50, March 2005.

[14]       M.H. Klein, T. Ralya, B. Pollak, R. Obenza, and M. González Harbour, A Practitioner’s Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems, Kluwer Academic Publishers (KAP), 1993.

[15]       J.W.S. Liu, Real-Time Systems, Prentice Hall, 2000.

[16]       C.W. Mercer and S. Savage and H. Tokuda, Processor Capability Reserves: Operating System Support for Multimedia Applications, In: Proc. International Conference on Multimedia Computing and Systems (ICMCS), pp. 90-99, May 1994.

[17]       R. Obenza, Guaranteeing real-time performance using RMA, Embedded Systems Programming, pp. 26-40, 1994.

[18]       R. Rajkumar and K. Juvva and A. Molano and S. Oikawa, Resource Kernels: A Resource-Centric Approach to Real-Time and Multimedia Systems, In: Proc. SPIE Vol. 3310, Conference on Multimedia Computing and Networking, pp. 150-164, January 1998.

[19]       L. Steffens, G. Fohler, G. Lipari, and G. Buttazzo, Resource Reservation in Real-Time Operating Systems – a joint industrial and academic position, In: Proc. International Workshop on Advanced Real-Time Operating System Services (ARTOSS), pp. 25 – 30, July 2003.

[20]       D. Zoebel and P. Polock and A. van Arkel, Testing for the Conformance of Real-time Protocols Implemented by Operating Systems, Electronic Notes in Theoretical Computer Science, Vol. 133, pp. 315- 332, May 2005. http://www.sciencedirect.com/science/journal/15710661