CSE 522 Real-Time Embedded Systems

Textbooks:

·         Edward A. Lee and Sanjit A. Seshia, Introduction to Embedded Systems, A Cyber-Physical Systems Approach, ISBN 978-0-557-70857-4, 2011.

·         Jane Liu, Real-time Systems, Prentice Hall; ISBN: 0130996513, 2000

Reference material:

Giorgio C. Buttazzo, Hard Real-Time Computing Systems, Springer, ISBN: 978-0387231372, 2004

Course Goals:

The course provides the opportunities for students to learn major issues in Real-time Computing. The main subjects to be discussed in the course are scheduling and model-base development. The goals are:

1.      To understand and be skillful in the analysis of scheduling algorithms for real-time computing, including the techniques to evaluate worst-case delays and utilization bounds.

2.      To be able to apply model-driven development approaches to construct target execution environment for simulation analysis and rapid prototyping, and to verify real-time requirements.

Prerequisites 

1.      CSE 230 Computer Organization

2.      CSE 420 Computer Architecture I

3.      CSE 430 Operating Systems

Course Content: (75minutes/lecture)

·        Introduction: characteristics of embedded applications, concurrency and timing constraints, embedded system development environment. (1 lecture) [Slide_Introduction]

·        Embedded software and thread programming: task model and specification, event loop, never-ending tasks, periodic and aperiodic tasks, thread synchronization, inter-task communication. (2 lectures) [Slide_Scheduling_basic]

·        Scheduling algorithms and schedulability analysis: rate-monotonic scheduling, EDF, resource sharing, priority inheritance, sporadic servers, multiprocessor scheduling, and emerging issues in scheduling for real-time computing. (12 lectures) [Slide_Scheduling Analysis] [Slide_Resource_control] [Slide_Aperiodic]

·        Model-driven development: Simulink model construction, code generation, embedded target platform, synchronous execution model, and RTOS support. (3 lectures) [Slide_Simulink_model_development]

·        Model of computation including finite state machine, timed automata, temporal logic, model checking, and reachability analysis (7 lectures) [Slide_Model_construction] [Slide_Model_checking] [Slide_UPPAAL_models]

·        WCET analysis (1 lectures) [Slide_WCET]

Project Assignments:

·        Assignment 1 --  Real-time Tasks Models in Linux (Program real-time tasks on Linux environment, including periodic and aporadic tasks, event handling, priority inheritance, etc, and use Linux trace tools to view and analyze real-time scheduling.) [Instructions]

·        Assignment 2 --  Schedulability Analysis (implement schedulability testing approaches for EDF and fixed priority scheduling algorithms and conduct a comparative analysis using synthetic tasks sets.)

·        Assignment 3 --  Software-In-The-Loop Simulation and Code Generation (build Simulink models for a 6-degree robot and a robot controller and use a mouse in Linux target to control the position of robot end-effector.) [Instructions]

Survey Reports:

To develop a survey report individually on the selected subjects of real-time embedded systems. [Project_outline]

·         Toyota’s Unintended Acceleration

·         RTOS for Automotive Systems

·         Real-time Communication and Schedulability of CAN Bus

·         AFDX Avionics Network

·         Real-time Hypervisor and Virtualization

·         RTSJ (Real-time Specification for Java) and SCJ (Safety Critical Java)

·         Scheduling in Multi-core Real-time Embedded Systems