News

  Tweets by @rtsyschalmers

Staff

Examiner and lecturer: Jan Jonsson

Lecturer: Risat Pathan

Lab responsible: Jan Jonsson

Laboratory assistants: Muhammad Waqar Azhar, Petros Voudouris, Sanoal Machena, Santiago Mancheno

Detailed contact information can be found here.

Organization

The course encompasses lectures, exercise sessions, special sessions and a laboratory assignment.

The lectures aim at introducing fundamental theories and concepts as well as a programming paradigm, and demonstrating how theory and paradigm are applied.

The exercise sessions focus on the specific topics covered during the main lectures. At each session, selected parts of the course contents are highlighted, and solutions to relevant problems are demonstrated.

The special sessions are a complement to the lectures and exercises. Here, it is possible to get additional help with the laboratory assignment regarding, for example, software design methods, functionality of development tools or music theory. It also offers an opportunity to discuss solutions to exercise problems or old exam problems.

In the laboratory assignment each student group should implement the software for an embedded real-time application running on stand-alone hardware system, that should later be interconnected by a bus network and perform a collective task. The laboratory sessions start in study week 2. At the end of the course the students document their project in a written report.

A current, and detailed, schedule for the activities mentioned above can be found on the schedule page.

Aim and content

An embedded system is a computer system designed to perform one or a few dedicated functions. It is embedded in the sense that it is part of a complete device, often including electrical hardware and mechanical parts. For reasons of safety and usability, some embedded systems have strict constraints on non-functional behavior such as computational delay and periodicity. Such systems are referred to as real-time systems. Examples of real-time systems are control systems for cars, aircraft and space vehicles as well as computer games and multimedia applications. This course is intended to give basic knowledge about methods for the design and analysis of real-time systems.

After the course the students shall be able to:

• Formulate requirements for embedded systems with strict constraints on computational delay and periodicity.
• Categorize and describe the different layers in a system architecture for embedded real-time systems.
• Construct concurrently-executing tasks (software units) for real-time applications that interface to hardware devices (sensors/actuators).
• Describe the principles and mechanisms used for designing run-time systems and communication networks for real-time applications.
• Apply the basic analysis methods used for verifying the temporal correctness of a set of executing tasks.

Due to the extremely high costs associated with late discovery of problems in embedded systems, it is important to follow a good design methodology during the development of the software and hardware. One means for that is to use a system architecture that offers good component abstractions and facilitates simple interfacing of components.

The system architecture philosophy dictates that the software of an embedded system is organized into multiple concurrently-executing tasks, where each task (or group of tasks) implements a specific functionality in the system. This approach allows for an intuitive way of decomposing a complex system into smaller software units that are simple to comprehend, implement and maintain. The software environment used in the course is based on the C programming language, enhanced with a software library that provides support for programming of concurrent tasks with timing (delay and periodicity) constraints. To that end, a main objective of the course is to demonstrate how the enhanced C programming language is used for implementing communication/synchronization between tasks, resource management and mutual exclusion. Since other programming languages uses monitors or semaphores to implement these functions, the course also contains a presentation of such techniques. In addition, the course demonstrates how to use low-level programming in C to implement interrupt-driven interaction with hardware devices. To demonstrate the general principles in real-time programming, the course also gives examples of how these techniques are implemented in other programming languages, such as Ada and Java.

In order to execute a program containing concurrent tasks there is a run-time system (real-time kernel) that distributes the available capacity of the microprocessor(s) among the tasks. The course shows how a simple run-time system is organized. The run-time system determines the order of execution for the tasks by means of a scheduling algorithm. To that end, the course presents techniques based on cyclic time-table based scheduling as well as scheduling techniques using static or dynamic task priorities. In addition, protocols for the management of shared hardware and software resources are presented. Since many contemporary real-time applications are distributed over multiple computer nodes, the course also presents topologies and medium access mechanisms for some commonly-used communication networks.

In real-time systems, where tasks have strict timing constraints, it is necessary to make a pre-run-time analysis of the system schedulability. The course presents three different analysis methods for systems that schedule tasks using static or dynamic priorities: utilization-based analysis, response-time analysis, and processor-demand analysis. In conjunction with this, the course also gives an account on how to derive the maximum resource requirement (worst-case execution time) of a task.

Important Dates

Examination

The student is evaluated through a final written exam (4.5 hec) and a compulsory laboratory assignment (3.0 hec).

The final grade, according to the scale Fail (U) or Passed with grades 3 - 5, is given based on the grades for the written exam and the laboratory assignment.

Permitted aids at the written exam are the compendium J. Nordlander: Programming with the TinyTimber kernel and a Chalmers-approved calculator.

Additional information regarding the written exam can be found here.

Additional information regarding the laboratory assignment can be found here.

Your progress regarding the different examination objectives can be viewed in PingPong.

Course literature

 

(LEC)		Lecture notes. Department of Computer Science and Engineering, Chalmers, 2018. Can be downloaded from the lectures and exercises pages.
(TXT)		Selected texts from archival journals, conference proceedings and books. Can be downloaded from the lectures page.
(EXC)		Exercise compendium. Department of Computer Science and Engineering, Chalmers, 2012. Can be downloaded from the resource page.
(LAB)		Development tools and tutorials related to the laboratory assignment. Can be downloaded from the resource page.

Course Evaluation

One way that you can contribute to improving the quality and contents of your education is to participate in the course evaluation process. If you have comments or suggestions for improvements regarding the course please contact one of the student representatives listed below.

Minutes from mid-quarter course evaluation meeting can be found here.

Read more about the course evaluation process at Chalmers here.