Sprungmarken

Servicenavigation

Hauptnavigation


Sie sind hier:

Home Lehre Lehrveranstaltungen WS 2018/19 Eingebettete Systeme (Englisch/Deutsch)

Bereichsnavigation

Hauptinhalt

Homepage des Kurses "Eingebettete Systeme" im WS 18/19

Hinweis: Diese Seite enthält noch veraltete Informationen aus dem vergangenen Wintersemester.


 Zeit und Ort

RhythmusTagUhrzeitOrt
Wöchentlich Dienstag 10.15 - 11.45 Uhr OH14, E23
Wöchentlich Mittwoch 10.15 - 11.45 Uhr OH14, E23


Die erste Vorlesung findet am Dienstag, den 09.10.2018, statt.

Hinweis: Diese Vorlesung sowie die theoretischen Übungen werden auf Englisch angeboten. Die praktischen Übungen und die Klausur finden in deutscher Sprache statt.


Kommentar

Eingebettete Systeme sind Systeme, bei denen eine Informationsverarbeitung in eine Umgebung eingebettet ist, und bei denen die Informationsverarbeitung vielfach überhaupt nicht wahrgenommen wird. Beispiele hierfür sind informationsverbeitende Systeme in Fahrzeugen (Autos, Flugzeugen, Eisenbahnen), in der Mobilkommunikation und in der Fertigungstechnik. Die Informationsverbeitung in diesen Systemen hat eine Reihe von weitgehend ähnlichen Anforderungen zu erfüllen: dazu gehören insbesondere die Verlässlichkeit, die Berücksichtigung von Zeitschranken und die Effizienz der Realisierung. Gemäß einer Vielzahl von Vorhersagen werden eingebettete Systeme in der Zukunft einen Großteil der Anwendungen der Informationsverarbeitung ausmachen. In der Vorlesung werden die Grundzüge solcher Systeme vermittelt. Die Vorlesung behandelt insbesondere: Spezifikationssprachen für eingebettete Systeme, Hardware eingebetteter Systeme, Realzeit-Betriebssysteme, Abbildung von Applikationen auf Multiprozessorsysteme, Bewertung, Optimierungen, Validierung und Test.

Diese Vorlesung ist für die Bachelor-Studiengänge Informatik der TU Dortmund in dem Modul INF-BSc-232 beschrieben.


Folien

Folien zur Vorlesung werden im Laufe des Semesters hinzugefügt. (Termine mit "A,B,C,D,E,F,G" kennzeichnen theoretische Übungen.) 

Die Folien des letzten Jahres finden Sie hier.

Datum              Session ID    Book Sections     Topics                                         Slides            videos, tools, reference solutions
10.10.2017 1 Preface, 1.1-2 Introduction, definitions, area, characteristics

11.10.2017 2 1.3-2.2 Design flows, MoC



17.10.2017 3 2.1-2.4.2

Early phases, state charts



18.10.2017 4 2.4.4-2.5.3 SDL, data flow, SDF, KPN


24.10.2017 A (Sessions 1-3) Exercise



25.10.2017 5 2.6-2.7 Petri nets, Discrete event model



31.10.2017 no lecture
Reformationstag



01.11.2017 no lecture
Allerheiligen



07.11.2017 6 2.4.3, 2.8, 2.10 Synchronous languagesImperative model, comparisons of MoCs

08.11.2017 7 3.1-3.2, 3.3 Sensors and sampling

14.11.2017 B (Sessions 4-6) Exercise



15.11.2017 8 3.3 Execution Platforms

21.11.2017 9 3.4, 3.5
Execution Platforms

22.11.2017 10 3.4, 3.5 Memory, Sampling Theorem
29.11.2017 11 4.1 System SW, RTOS

30.11.2017  12 6.1-6.3 Aperiodic Scheduling



05.12.2017 C

(Session 7-8, and first part of es-chen-3.3.pdf)

Exercise



06.12.2017 no lecture



12.12.2017 13
4.1 Periodic Scheduling 

13.12.2017 14 4.2-4.5 Priority Inheritance



19.12.2017 D (Sessions 9-11) Exercise



20.12.2017 E (Sessions 12-13) Exercise  (Explained on 19.12.2017, lecture time is canceled)



25.12.2017 - 05.01.2018 no lecture
Merry Xmas and new year 

09.01.2018 15 5.1-5.2.3 Evaluation, Pareto optimality, ILP, WCET



10.01.2018 16 5.3-5.8 WCET, Real-Time Calculus

16.01.2018 F (Sessions 14-15) Exercise



17.01.2018 17 5.3-5.8 Dependability

23.01.2018 18 6.3.2,6.4,7 HW/SW partitioning, mapping, overview of optimization chapter


24.01.2018 19
Real-Time Communication, Internet of Things

30.01.2018 G (Sessions 16-18) Exercise



31.01.2016




Dry run (Probeklausur)

 

 

Übungen

Hinweis: Wenn Sie Ihre Übungsgruppe wechseln möchten, schreiben Sie bitte eine Mail. Bitte besuchen Sie nicht unangekündigt eine andere Übungsgruppe, da die zur Verfügung stehenden Ressourcen begrenzt sind.

Die Übungen finden zu den folgenden Terminen im CI-Lab (OH 16, U08) statt:

Termin
Mittwoch, 12-14 Uhr
Mittwoch, 14-16 Uhr
Mittwoch, 16-18 Uhr
Donnerstag, 14-16 Uhr
Donnerstag, 16-18 Uhr
Freitag, 10-12 Uhr
Freitag, 12-14 Uhr
Freitag, 14-16 Uhr


Die Übungen beginnen am Montag, den 15.10.2018, in der zweiten Vorlesungswoche. 


ÜbungsblattBearbeitungzeitraumHilfsmaterial
Blatt 1:



Blatt 2:



Blatt 3:



Blatt 4:



Blatt 5:



Blatt 6:



Blatt 7:



Blatt 8:



Blatt 9:



Blatt 10: 



Blatt 11:



Blatt 12:



Besprechung der Probeklausur




Klausurtermine

  • tba


  • tba

Diese Termine dienen lediglich als Referenz, da kurzfristige Änderungen nicht zwangsläufig direkt eingepflegt werden können. Bitte informieren Sie sich anhand der offiziellen Terminübersicht der Fakultät.

Termine für mündliche Prüfungen

  • tba

Bitte wenden Sie sich zur Terminvereinbarung an unser Sekretariat.


Literatur

Die Vorlesung richtet sich nach dem Buch "Peter Marwedel: Embedded System Design - Embedded Systems Foundations of Cyber-Physical Systems, 2. Auflage, 2010". Hiervon gibt es  Exemplare in der Lehrbuchsammlung der UB. Aus dem Uni-Netz heraus kann online bei Springer auf dieses Buch zugegriffen werden

Notfalls kann auch die 1. Auflage benutzt werden, von der es unter dem Titel "Eingebettete Systeme" auch eine deutsche Übersetzung gibt. Von diesen Büchern gibt es eine größere Anzahl von Exemplaren in der Lehrbuchsammlung der Bibliothek sowie elektronischen Zugriff (hier, "Literatursuche", "Unsere EBooks", nach "Marwedel" suchen).

Weitere Informationen zu dem Buch gibt es hier.

Typ der Lehrveranstaltung

  • Für Studierende in den Bachelorstudiengängen: Die Veranstaltung ist eine Wahlpflichtveranstaltung.
  • Für Studierende nach den Prüfungsordnungen 2000/2001:

    Studierende können zu dieser Lehrveranstaltung einen Leistungsnachweis erwerben oder eine Fachprüfung ablegen. Leistungsnachweise über den erfolgreichen Besuch von Vorlesung und Übungen werden erteilt, sofern die Studierenden die von den Veranstaltern festgelegten Kriterien für eine erfolgreiche Bearbeitung der Übungsaufgaben erfüllen.

    Eine Fachprüfung kann in Form einer Klausur am Ende des Semesters abgelegt werden. Für die Klausur wird in Absprache mit den Studierenden ein Wiederholungstermin festgelegt werden. Vorlesung und Übung werden insgesamt 9 Leistungspunkte zugeordnet.

Für rechtlich verbindliche Auskünfte ist das Prüfungsamt zuständig.

Prüfungsvorraussetzungen

Voraussetzung zur Teilnahme an der Klausur ist das Erbringen einer Studienleistung. Dazu ist es nötig, 50% der insgesamt zu erzielenden Übungspunkte in den praktischen Übungen zu erreichen. Um den üblichen "Studentenschwund" zum Semesterende zu vermeiden, werden die zu erreichenden Punkte in zwei Blöcken gewertet, in denen jeweils 50% der Punkte zu erreichen sind. Der erste Block umfasst die Übungsblätter 1-7, der zweite Block die Übungsblätter 8-12.
Zum Erhalt eines Leistungsnachweises ist das Erreichen von mindestens 50% der Gesamtpunktzahl zwingend erforderlich (aktive Teilnahme genügt also nicht).

Etwaige zusätzliche Anforderungen zur Prüfungszulassung, die durch die jeweiligen Prüfungsordnungen oder Modulhandbücher vorgegeben werden, müssen selbstverständlich ebenfalls erfüllt sein. Dies bedeutet z.B. für Informatik-Bachelor-Studenten gemäss ihrem Modulhandbuch ein maximal zweimaliges unentschuldigtes Fehlen.

Prüfung

Für Studierende gemäß DPO 2000/2001 sowie Studierende in einem Bachelorstudiengang erfolgt die Prüfung in Form einer Klausur.

Informationen des ZfS zu den Anmeldungen finden Sie hier.

Für alle anderen Studierenden wird eine mündliche Prüfung angeboten.

Anmeldung zur Prüfung für Lehramtsstudierende

Laut Beschluss des Prüfungsausschusses: Die BaMaLA-Studierenden können sich bis spätestens 14 Tage vor dem Prüfungstermin zur Prüfung anmelden.

  • Die Meldung erfolgt durch Listeneintrag (mit Unterschrift) bei den jeweiligen Prüfern (nicht im Dekanat).
  • Die Prüfer senden die Liste so an das ZfS (z. Hd. Team 5), dass die Anmeldungen dort 14 Tage vor dem Prüfungstermin eingehen.
  • Nach diesem Termin sind ohne ärztliches Attest keine Abmeldungen mehr möglich.

Diese An- und Abmeldefristen sind durch die universitätsweite Rahmen-Studienordnung vorgegeben.

Lehramtsstudierende gemäß LPO2003 melden sich beim Prüfer an.

Die entsprechenden Termine werden im Laufe des Semesters bekannt gegeben.

Veranstalter


NachnameVornameE-mailFakultät
Vorlesung Prof. Dr. Chen Jian-Jia jian-jia.chen (at) tu-dortmund.de Informatik (04)
Übung Schönberger Lea lea.schoenberger (at) tu-dortmund.de Informatik (04)