Real-Time Architectures (2IN60) autumn 2010 (for Automotive Technology)

 

Last update: January 31st, 2011.

 

News:

-      January 31st, 2011: Exam with draft answers of Thursday, January 20th, 2011 made available.

-      November 4th, 2010: Exam with draft answers of Wednesday, November 3rd, 2010 made available.

-      October 20th, 2010: “Reading Guide” updated.

-      October 11th, 2010: [Stanovich et al 10] added to the “Expected reading” list.

-      September 15th, 2010: Errata extended.

-      September 15th, 2010: [Stankovic 92] made available via StudyWeb and added to list of expected reading.

-      September 14th, 2010: Dr. Damir Isovic will give guest-lectures on Thursday, October 21st and Friday, October 22nd.

-      September 7th, 2010: Location change on Thursdays; from Pav. M23 to Bldg. Helx, HEC 0.01.

 

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).

 

Examinations (including draft answers) of 2IN60:

 

 

Note: 2IN20 is a 4 ECTS credits BaMa predecessor of 2IN25. 2IN25 is a 5 ECTS credits BaMa course within TU/e, WIN.

 

Introduction

 

This course is organized around the issue of real-time requirements and their impact on the hardware-software architecture of a system. This includes:

·         examples of applications with real-time requirements;

·         the techniques used to enforce real-time properties in a verifiable manner (e.g., real-time scheduling, Quality of Service management);

·         examples of particular problems and solutions.

The considered system domain will the hardware software interface of most notably, (networked) embedded systems and (multi)processing architectures. Examples are drawn from the automotive domain, amongst others.

This year, there are 8 weeks of regular lectures. Some parts of the lectures will be used for small exercises which will be given as homework assignments. The course is completed by passing the final examination.

On this site the current status of the course will be maintained in terms of the contents and expected reading. Presented slides will only be available from StudyWeb.

Course program (see last year’s course for a preliminary course program)

Quartile 1 (August 30th – November 7th):

Week 1 (02-09): RTS.A1-Overview, RTS.A1-Introduction;
           (03-09): Recap for 2IN60: 2IN60.prior-knowledge-I, OS-Processes & Threads;

Week 2 (09-09): RTS.B3-Specification-concepts, RTA.D0-Water-Vessel, RTS.B3-Reference Model;
           (10-09): Recap for 2IN60: 2IN60.prior-knowledge-II, OS-Atomicity;

Week 3 (16-09): RTS.B3-Reference Model (cntd), RTS.B4-Policies-1;
           (17-09): RTS.Exercises-1;

Week 4 (23-09): RTS.B4-Policies-1 (ctnd), RTS.B4-Analysis-1-Basics;
           (24-09): RTS.Exercises-2;

Week 5 (30-09): RTS.B4-Analysis-2-FPPS;
           (01-10):
RTS.Exercises-3;

Week 6 (07-10): RTS.B5-Analysis-2-FPPS-overview, RTS.B4-Policies-2-FP-servers;
           (08-10): RTS.B4-Policies-3-RAP;

Week 7 (14-10): RTS-Exercises-3 (cntd), RTS-Exercises-5, RTS.B5-Analysis-5-FPPS-extensions;
           (15-10): RTS-Exercises-8;

Week 8 (21-10): Guest-lecture by Dr. Damir Isovic from the Mälardalen University of Västerås, Sweden.
           (22-10): Guest-lecture by Dr. Damir Isovic from the Mälardalen University of Västerås, Sweden.

Week 9 (28-10): No lectures (examination week)!
           (29-10): No lectures (examination week)!

Week 10 (04-11): No lectures (examination week)!
             (05-11): No lectures (examination week)!

RTA Reading guide: reading guide of 2010/2011.

RTA binder: All slides and exercises are available via StudyWeb.

Time & Location:

Quartine \ Day

Thursday: 13.45 – 15.30

Friday: 13.45 – 15.30

1

HEC 0.01

Pav. B1

Examination: You are not allowed to take any information with you to the examination!

Visualization tools

·         Realtime

Lecturers:

R.J.Bril (main lecturer)

          HG 5.09, tel.: 5412

 

Guest lecturers:

  • Dr. D. Isovic, Mälardalen University of Västerås (S).

 

Book: G.C. Buttazzo, “Hard real-time computing systems, predictable scheduling – algorithms and applications”, Springer, 2005, ISBN 0-387-23137-4 (2nd edition).

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

Errata: http://feanor.sssup.it/~giorgio/errata-HRT2.pdf.

Additional errata: Errata.

Expected reading:

[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.

Further reading:

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

[7]  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.

[8]  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.

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

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

[11]       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