Real-Time Embedded Systems Lab
School of Computing, Informatics, and Decision Systems Engineering
Ira A. Fulton School of Engineering, Arizona State University
Home Contact us Site Map
Faculty People

 

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

 


Our Research
Our Goal
We do research on  Real-time Java, Embedded Software and Systems, Smart homes, and so on...
To build reliable real-time embedded system, contribute computer engineering community and make our future better.

 Copyright [2011] [RTES, School of Computing, Informatics, and Decision Systems Engineering. Arizona State University]. All rights reserved