Navigation To modulepage
Display language

Analysis and Optimization of Embedded Systems

6 LP

English

#40326 / #5

Seit SS 2019
(Deaktivierung beantragt zum SS 2020)

Fakultät IV

TEL 12-4

Institut für Softwaretechnik und Theoretische Informatik

34351800 FG Software and Embedded Systems Engineering

Glesner, Sabine

Pfeffer, Tobias Ferdinand

lehre@sese.tu-berlin.de

POS-Nummer PORD-Nummer Modultitel
70100 29925 Analysis and Optimization of Embedded Systems

Learning Outcomes

Graduates of this module have experience with methods and techniques for the analysis of embedded systems and how these systems can be optimized for special architectures. They have a general conceptual and formally well founded understanding of program analysis and are able to specify and implement different concrete program analyses. They are also able to apply their knowledge on new problems on different levels of abstraction (e.g. code vs. system architecture). Furthermore, they are able to analyze the range of optimization possibilities towards a given optimization goal and to construct suitable analyses and optimizations.

Content

The software part gains more and more importance in the development of embedded systems. Usually, the maschine code is not optimized by hand anymore but automized optimization techniques are used to increase the performance of the resulting software. Unlike in standard software, embedded software is not online optimized for runtime performance but also for code size and memory and energy consumption. In addition, embedded systems make often use of special hardware architectures like heterogeneous multicore processors. Optimizing code for the special architecture of the embedded systems is often crucial. This course first gives an overview over techniques for analysis and optimization software in general. Afterwards, several of these techniques, which are well suited for embedded systems, are discussed in detail (e.g., dependency analysis, loop transformation, slicing and scheduling).

Module Components

Pflichtgruppe:

All Courses are mandatory.

Course Name Type Number Cycle Language SWS
Analysis and Optimization for Embedded Systems VL 0434 L 171 SS No information 2
Analysis and Optimization for Embedded Systems UE 0434 L 171 SS No information 2

Workload and Credit Points

Analysis and Optimization for Embedded Systems (VL):

Workload description Multiplier Hours Total
Attendence 15.0 2.0h 30.0h
Exam preparation 1.0 30.0h 30.0h
Pre- and postprocessing 15.0 2.0h 30.0h
90.0h(~3 LP)

Analysis and Optimization for Embedded Systems (UE):

Workload description Multiplier Hours Total
Attendence 15.0 2.0h 30.0h
Homework 1.0 30.0h 30.0h
Pre- and postprocessing 15.0 2.0h 30.0h
90.0h(~3 LP)
The Workload of the module sums up to 180.0 Hours. Therefore the module contains 6 Credits.

Description of Teaching and Learning Methods

The module consists of lectures and exercises. Within the exercises, knowledge from the lectures is practiced with advanced examples.

Requirements for participation and examination

Desirable prerequisites for participation in the courses

Knowledge in the basics of software engineering for embedded Systems (e.g. SEES - Software Engineering Eingebetteter Systeme - bachelor course) are benefical.

Mandatory requirements for the module test application

1. Requirement:
Homework in training course Analysis and Optimization of Embedded Systems

Module completion

Grading:

graded

Type of exam:

Oral exam

Language:

English

Duration/Extent:

30 min

Duration of the Module

This module can be completed in one semester.

Maximum Number of Participants

The maximum capacity of students is 40.

Registration Procedures

A registration is necessary. Information about the enrolment procedure is published on our website (http://www.sese.tu-berlin.de) at the beginning of each semester.

Recommended reading, Lecture notes

Lecture notes

Availability:  unavailable

Electronical lecture notes

Availability:  available
Additional information:
Slides are usually available via the ISIS course of the module.

Literature

Recommended literature
Keith D. Cooper & Linda Torczon: Engineering a Compiler. Morgan Kaufmann, 2004.
Nielson, Flemming, Nielson, Hanne R., Hankin, Chris : Principles of Program Analysis. Springer, 1999.
Randy Allen & Ken Kennedy: Optimizing Compilers for Modern Architectures. Morgan Kaufmann, 2002.
Steven S. Muchnick: Advanced Compiler Design & Implementation. Morgan Kaufmann, 1997.

Module examiner

Prüfungsberechtigte Personen im WS 2019/20: 3

Name
Frau Sabine Glesner
Prof. Dr. Ben Juurlink
Herr Uwe Nestmann

Assigned Degree Programs

Zur Zeit wird die Datenstruktur umgestellt. Aus technischen Gründen wird die Verwendung des Moduls während des Umstellungsprozesses in zwei Listen angezeigt.

This module is used in the following modulelists:

Students of other degrees can participate in this module without capacity testing.

This module is used in the following Degree Programs (new System):

    Students of other degrees can participate in this module without capacity testing.

    Miscellaneous

    No information