WCET Analyse. Florian Franzmann Tobias Klaus Peter Wägemann

Größe: px
Ab Seite anzeigen:

Download "WCET Analyse. Florian Franzmann Tobias Klaus Peter Wägemann"

Transkript

1 WCET Analyse Florian Franzmann Tobias Klaus Peter Wägemann Friedrich-Alexander-Universität Erlangen-Nürnberg Lehrstuhl Informatik 4 (Verteilte Systeme und Betriebssysteme) November 2015 FF, TK, PW WCET Analyse (11. November 2015) 1

2 1 Rekapitulation: Worst-Case Execution-Time 2 Werkzeuge GPIOs ait FF, TK, PW WCET Analyse (11. November 2015) 2

3 Worst-Case Execution-Time T 1 T 3 T 2 T 1 T 4 T 2 T 1 T 2 T 1 T 1 T 2 T Statische Ablaufplanung Planbarkeitsanalyse Später: Übernahmeprüfung Worst-Case Obere Schranke für alle Fälle FF, TK, PW WCET Analyse (11. November 2015) Rekapitulation: Worst-Case Execution-Time 3

4 Übersicht 1 Rekapitulation: Worst-Case Execution-Time 2 Werkzeuge GPIOs ait FF, TK, PW WCET Analyse (11. November 2015) Werkzeuge 4

5 1 Rekapitulation: Worst-Case Execution-Time 2 Werkzeuge GPIOs ait FF, TK, PW WCET Analyse (11. November 2015) Werkzeuge 5

6 GPIO General Purpose Input/Output Pins eines Mikrochips zur freien Verwendung Konfigurierbar als Ein-/Ausgang Teilweise pegelfest bis 5 V Mikrocontroller-Handbuch lesen Zugriff über spezielle Speicheradressen Spezialanweisungen Ansteuerung Beim Tricore Ansteuerung per GPTA oder von Hand möglich void ezs_gpio_set(bool) Auswertung Oszilloskop FF, TK, PW WCET Analyse (11. November 2015) Werkzeuge GPIOs 6

7 Übersicht AbsInt ait FF, TK, PW WCET Analyse (11. November 2015) Werkzeuge ait 7

8 Projektdateien AbsInt ait FF, TK, PW WCET Analyse (11. November 2015) Werkzeuge ait 8

9 Projektdateien bearbeiten AbsInt ait FF, TK, PW WCET Analyse (11. November 2015) Werkzeuge ait 9

10 Neue Analyse anlegen AbsInt ait FF, TK, PW WCET Analyse (11. November 2015) Werkzeuge ait 10

11 Neue Analyse anlegen AbsInt ait FF, TK, PW WCET Analyse (11. November 2015) Werkzeuge ait 11

12 Neue Analyse anlegen AbsInt ait FF, TK, PW WCET Analyse (11. November 2015) Werkzeuge ait 12

13 Analyseparameter AbsInt ait FF, TK, PW WCET Analyse (11. November 2015) Werkzeuge ait 13

14 Analyse starten AbsInt ait FF, TK, PW WCET Analyse (11. November 2015) Werkzeuge ait 14

15 Analyse untersuchen AbsInt ait FF, TK, PW WCET Analyse (11. November 2015) Werkzeuge ait 15

16 Annotationen CPU-Takt ait gibt Zeitmessungen zunächst nur in Takten aus Taktrate angeben tatsächliche Zeit Beispiele: CLOCK EXACTLY 75 MHz ; CLOCK MIN 74 MHz MAX 76 MHz ; FF, TK, PW WCET Analyse (11. November 2015) Werkzeuge ait 16

17 Annotationen Zeit annotieren manche Codestücke sind nicht analysierbar Ausführungszeit annotieren natürlich nur sinnvoll, wenn WCET bereits bekannt Beispiel: SNIPPET " even " IS NOT ANALYZED AND TAKES 288 CYCLES ; FF, TK, PW WCET Analyse (11. November 2015) Werkzeuge ait 17

18 Annotationen Schleifen ait ist oft nicht in der Lage die genaue Anzahl von Schleifendurchläufen zu bestimmen ait mehr Freiheiten für die Analyse geben Beispiel: LOOP " sort " +1 loop default - unroll = 100; Grenzen von Hand spezifizieren Beispiele: LOOP " sort " +2 loop end MAX 100; LOOP " sort " +2 loop end MIN 100; LOOP " sort " +2 loop end EXACTLY 100; FF, TK, PW WCET Analyse (11. November 2015) Werkzeuge ait 18

19 Annotationen Rekursion ait ist nicht in der Lage Rekursionen zu analysieren Grenzen von Hand spezifizieren Beispiele: RECURSION " fac " MAX 10; RECURSION " fac " EXACTLY 10; RECURSION " fac " MIN 5 MAX 10; Weitere Annotationen im Hilfe-Menü des ait AIS Quick Reference Guide for Tricore FF, TK, PW WCET Analyse (11. November 2015) Werkzeuge ait 19

20 Besprechung der Übungsaufgabe Ausführungszeit FF, TK, PW WCET Analyse (11. November 2015) Werkzeuge ait 20

21 Fragen? 0 FF, TK, PW WCET Analyse (11. November 2015) Werkzeuge ait 21

Ausführungszeiten. Worst-Case Execution-Time. Übung zur Vorlesung EZS. Zeitgeber Oszilloskop Diskussion

Ausführungszeiten. Worst-Case Execution-Time. Übung zur Vorlesung EZS. Zeitgeber Oszilloskop Diskussion 1 Überblick Ausführungszeiten Übung zur Vorlesung EZS Florian Franzmann Martin Hoffmann Tobias Klaus Peter Wägemann Friedrich-Alexander-Universität Erlangen-Nürnberg Lehrstuhl Informatik 4 (Verteilte Systeme

Mehr

Echtzeitsysteme. Übungen zur Vorlesung. Analyse von Ausführungszeiten

Echtzeitsysteme. Übungen zur Vorlesung. Analyse von Ausführungszeiten Echtzeitsysteme Übungen zur Vorlesung Analyse von Ausführungszeiten Florian Schmaus Peter Wägemann Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU) Lehrstuhl für Informatik 4 (Verteilte Systeme

Mehr

Tobias Klaus Florian Schmaus Peter Wägemann

Tobias Klaus Florian Schmaus Peter Wägemann Wiederholung Nicht-periodische Aufgaben Tobias Klaus Florian Schmaus Peter Wägemann Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU) Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme)

Mehr

Extended Scope. Events und Mailboxen. Florian Franzmann Tobias Klaus Florian Korschin Florian Schmaus Peter Wägemann

Extended Scope. Events und Mailboxen. Florian Franzmann Tobias Klaus Florian Korschin Florian Schmaus Peter Wägemann Extended Scope Events und Mailboxen Florian Franzmann Tobias Klaus Florian Korschin Florian Schmaus Peter Wägemann Friedrich-Alexander-Universität Erlangen-Nürnberg Lehrstuhl Informatik 4 (Verteilte Systeme

Mehr

Nicht-periodische Aufgaben: Extended Scope (Teil 1)

Nicht-periodische Aufgaben: Extended Scope (Teil 1) Echtzeitsysteme Übungen zur Vorlesung Nicht-periodische Aufgaben: Extended Scope (Teil 1) Florian Schmaus Peter Wägemann Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU) Lehrstuhl für Informatik

Mehr

Nicht-periodische Aufgaben: Extended Scope (Teil 1)

Nicht-periodische Aufgaben: Extended Scope (Teil 1) Echtzeitsysteme Übungen zur Vorlesung Nicht-periodische Aufgaben: Extended Scope (Teil 1) Florian Schmaus Peter Wägemann Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU) Lehrstuhl für Informatik

Mehr

Übungsunterlagen zur Übung Softwareeinwicklungswerkzeuge Übungseinheit ait

Übungsunterlagen zur Übung Softwareeinwicklungswerkzeuge Übungseinheit ait Übungsunterlagen zur Übung Softwareeinwicklungswerkzeuge Übungseinheit ait Inhaltsverzeichnis 1. Zielstellung der Übung... 2 2. Die Aufgabenstellungen... 3 2.1. 1. Aufgabe... 3 2.2. 2. Aufgabe... 3 3.

Mehr

Übungsunterlagen zur Übung Softwareeinwicklungswerkzeuge Übungseinheit ait

Übungsunterlagen zur Übung Softwareeinwicklungswerkzeuge Übungseinheit ait Übungsunterlagen zur Übung Softwareeinwicklungswerkzeuge Übungseinheit ait 1 Inhaltsverzeichnis 1. Zielstellung der Übung... 3 2. Die Aufgabenstellungen... 4 2.1. 1. Aufgabe... 4 2.2. 2. Aufgabe... 4 3.

Mehr

54. Analysewerkzeuge für Worst-Case Execution Time (Attributanalyse) 54.1 AiT - Worst-Case Execution Time Analyzer. Obligatorische Literatur

54. Analysewerkzeuge für Worst-Case Execution Time (Attributanalyse) 54.1 AiT - Worst-Case Execution Time Analyzer. Obligatorische Literatur 54. Analysewerkzeuge für Worst-Case Execution Time (Attributanalyse) 2 Obligatorische Literatur Reinhold Heckmann, Christian Ferdinand. Worst-Case Execution Time Prediction by Static Program Analysis.

Mehr

Echtzeitsysteme. Übungen zur Vorlesung. Florian Franzmann, Martin Hoffmann, Tobias Klaus

Echtzeitsysteme. Übungen zur Vorlesung. Florian Franzmann, Martin Hoffmann, Tobias Klaus Echtzeitsysteme Übungen zur Vorlesung Florian Franzmann, Martin Hoffmann, Tobias Klaus Friedrich-Alexander-Universität Erlangen-Nürnberg Lehrstuhl Informatik 4 (Verteilte Systeme und Betriebssysteme) www4.informatik.uni-erlangen.de

Mehr

EZS Handwerkszeug. Übung zur Vorlesung EZS. Florian Franzmann Martin Hoffmann Tobias Klaus Peter Wägemann

EZS Handwerkszeug. Übung zur Vorlesung EZS. Florian Franzmann Martin Hoffmann Tobias Klaus Peter Wägemann EZS Handwerkszeug Übung zur Vorlesung EZS Florian Franzmann Martin Hoffmann Tobias Klaus Peter Wägemann Friedrich-Alexander-Universität Erlangen-Nürnberg Lehrstuhl Informatik 4 (Verteilte Systeme und Betriebssysteme)

Mehr

Simple Scope. ecos-vertiefung. Florian Franzmann Tobias Klaus Peter Wägemann

Simple Scope. ecos-vertiefung. Florian Franzmann Tobias Klaus Peter Wägemann Simple Scope ecos-vertiefung Florian Franzmann Tobias Klaus Peter Wägemann Friedrich-Alexander-Universität Erlangen-Nürnberg Lehrstuhl Informatik 4 (Verteilte Systeme und Betriebssysteme) http://www4.cs.fau.de

Mehr

Ein Benchmarkgenerator zur Bewertung von WCET-Analysatoren

Ein Benchmarkgenerator zur Bewertung von WCET-Analysatoren Ein Benchmarkgenerator zur Bewertung von WCET-Analysatoren 16. November 2017 Christian Eichler eichler@cs.fau.de Lehrstuhl für Verteilte Systeme und Betriebssysteme Motivation Motivation: WCET-Analysatoren

Mehr

Übung Algorithmen und Datenstrukturen

Übung Algorithmen und Datenstrukturen Übung Algorithmen und Datenstrukturen Sommersemester 2016 Patrick Schäfer, Humboldt-Universität zu Berlin Organisation Vorlesung: Montag 11 13 Uhr Marius Kloft RUD 26, 0 115 Mittwoch 11 13 Uhr Marius Kloft

Mehr

Immediate Priority Ceiling

Immediate Priority Ceiling Vereinfachtes Protokoll: Immediate priority ceiling: Prozesse, die ein Betriebsmittel s belegen, bekommen sofort die Priorität ceil(s) zugewiesen. Anwendungsgebiet: Immediate Priority Ceiling Verwendung

Mehr

Verlässliche Echtzeitsysteme

Verlässliche Echtzeitsysteme Verlässliche Echtzeitsysteme Übungen zur Vorlesung Analyse Florian Schmaus, Simon Schuster Friedrich-Alexander-Universität Erlangen-Nürnberg Lehrstuhl Informatik 4 (Verteilte Systeme und Betriebssysteme)

Mehr

VHDL - Synthese. Dr.-Ing. Matthias Sand. Lehrstuhl für Informatik 3 (Rechnerarchitektur) Friedrich-Alexander-Universität Erlangen-Nürnberg

VHDL - Synthese. Dr.-Ing. Matthias Sand. Lehrstuhl für Informatik 3 (Rechnerarchitektur) Friedrich-Alexander-Universität Erlangen-Nürnberg VHDL - Synthese Dr.-Ing. Matthias Sand Lehrstuhl für Informatik 3 (Rechnerarchitektur) Friedrich-Alexander-Universität Erlangen-Nürnberg WS 2007/2008 VHDL - Synthese 1/19 2007-10-27 Inhalt Begriff Arten

Mehr

Sichere Zukunftsvorhersagen durch Modellierung und Approximation

Sichere Zukunftsvorhersagen durch Modellierung und Approximation Sichere Zukunftsvorhersagen durch Modellierung und Approximation Jan Reineke @ saarland university computer science Forschungstage Informatik 24. Juni 2016 Der Kontext: Harte Echtzeitsysteme Sicherheitskritische

Mehr

Überblick. Verlässliche Echtzeitsysteme. Überblick. Annahmen. Übungen zur Vorlesung. 6. Juli 2015

Überblick. Verlässliche Echtzeitsysteme. Überblick. Annahmen. Übungen zur Vorlesung. 6. Juli 2015 Verlässliche Echtzeitsysteme Übungen zur Vorlesung Florian Franzmann Tobias Klaus Friedrich-Alexander-Universität Erlangen-Nürnberg Lehrstuhl Informatik 4 (Verteilte Systeme und Betriebssysteme) https://www4.cs.fau.de

Mehr

Wiederholung: Übernahmeprüfung bei terminbasierter Einplanung

Wiederholung: Übernahmeprüfung bei terminbasierter Einplanung Echtzeitsysteme Übungen zur Vorlesung Evaluation Evaluation der Veranstaltung Eure Meinung (Lob/Kritik) ist uns wichtig! Eure Rückmeldung hat Konsequenzen A Bitte evaluiert Vorlesung und Übungen Betriebsmittelprotokolle

Mehr

Ausgewählte Kapitel eingebetteter Systeme

Ausgewählte Kapitel eingebetteter Systeme Ausgewählte Kapitel eingebetteter Systeme Echtzeitfähige Ereignisgetriebene Scheduling-Strategien Friedrich-Alexander-Universität Erlangen-Nürnberg 08.06.2005 Übersicht Problemdefinition Scheduling-Strategien

Mehr

Bitte verwenden Sie nur dokumentenechtes Schreibmaterial!

Bitte verwenden Sie nur dokumentenechtes Schreibmaterial! VO 182.713 Prüfung Echtzeitsysteme 27. März 2015 KNr. MNr. Zuname, Vorname Ges.)(100) 1.)(35) 2.)(25) 3.)(15) 4.)(25) Zusatzblätter: Bitte verwenden Sie nur dokumentenechtes Schreibmaterial! 1 Grundlagen

Mehr

Übungen zu Grundlagen der systemnahen Programmierung in C (GSPiC) im Sommersemester 2018

Übungen zu Grundlagen der systemnahen Programmierung in C (GSPiC) im Sommersemester 2018 Übungen zu Grundlagen der systemnahen Programmierung in C (GSPiC) im Sommersemester 2018 2018-05-29 Bernhard Heinloth Lehrstuhl für Informatik 4 Friedrich-Alexander-Universität Erlangen-Nürnberg Lehrstuhl

Mehr

Übungen zu Systemnahe Programmierung in C (SPiC) Wintersemester 2017/18

Übungen zu Systemnahe Programmierung in C (SPiC) Wintersemester 2017/18 Übungen zu Systemnahe Programmierung in C (SPiC) Wintersemester 2017/18 Übung 4 Benedict Herzog Sebastian Maier Lehrstuhl für Informatik 4 Friedrich-Alexander-Universität Erlangen-Nürnberg Lehrstuhl für

Mehr

Bibliotheks-basierte Virtualisierung

Bibliotheks-basierte Virtualisierung Dr.-Ing. Volkmar Sieh Department Informatik 4 Verteilte Systeme und Betriebssysteme Friedrich-Alexander-Universität Erlangen-Nürnberg WS 2015/2016 V. Sieh Bibliotheks-basierte Virtualisierung (WS15/16)

Mehr

Hau den Lukas Echtzeitsysteme II

Hau den Lukas Echtzeitsysteme II Hau den Lukas Echtzeitsysteme II Wilhelm Haas Wilhelm.Haas@informatik.stud.uni-erlangen.de Friedrich-Alexander-Universität Erlangen-Nürnberg Institut für Informatik Lehrstuhl 4 9. Juni 2006 1 / 21 Überblick

Mehr

Überblick. Verlässliche Echtzeitsysteme. Annahmen. Table of Contents. Übungen zur Vorlesung. Florian Franzmann Martin Hoffmann Tobias Klaus

Überblick. Verlässliche Echtzeitsysteme. Annahmen. Table of Contents. Übungen zur Vorlesung. Florian Franzmann Martin Hoffmann Tobias Klaus Überblick Verlässliche Echtzeitsysteme Übungen zur Vorlesung Florian Franzmann Martin Hoffmann Tobias Klaus Friedrich-Alexander-Universität Erlangen-Nürnberg Lehrstuhl Informatik 4 (Verteilte Systeme und

Mehr

EZS Handwerkszeug. Interaktion mit dem System Beobachtung. Interaktion mit dem System Beeinflussung. Hardware. Hardware. Simulator.

EZS Handwerkszeug. Interaktion mit dem System Beobachtung. Interaktion mit dem System Beeinflussung. Hardware. Hardware. Simulator. 1 Überblick EZS Handwerkszeug Übung zur Vorlesung EZS Martin Hoffmann, Florian Franzmann, Tobias Klaus 1 Handwerkszeug Zeitmessungen libezs ecos Unterbrechungsbehandlung Friedrich-Alexander-Universität

Mehr

11. Rekursion. 1, falls n 1. n (n 1)!, andernfalls. Mathematische Rekursion. Rekursion in Java: Genauso! Unendliche Rekursion. n!

11. Rekursion. 1, falls n 1. n (n 1)!, andernfalls. Mathematische Rekursion. Rekursion in Java: Genauso! Unendliche Rekursion. n! Mathematische Rekursion 11. Rekursion Mathematische Rekursion, Terminierung, der Aufrufstapel, Beispiele, Rekursion vs. Iteration, Lindenmayer Systeme Viele mathematische Funktionen sind sehr natürlich

Mehr

Software Engineering in der Praxis

Software Engineering in der Praxis Software Engineering in der Praxis Matthias Meitner Marc Spisländer Lehrstuhl für Software Engineering Friedrich-Alexander-Universität Erlangen-Nürnberg Meitner, Spisländer FAU Erlangen-Nürnberg Software

Mehr

Hardware PCI-Bus. Dr.-Ing. Matthias Sand. Lehrstuhl für Informatik 3 (Rechnerarchitektur) Friedrich-Alexander-Universität Erlangen-Nürnberg

Hardware PCI-Bus. Dr.-Ing. Matthias Sand. Lehrstuhl für Informatik 3 (Rechnerarchitektur) Friedrich-Alexander-Universität Erlangen-Nürnberg Hardware PCI-Bus Dr.-Ing. Matthias Sand Lehrstuhl für Informatik 3 (Rechnerarchitektur) Friedrich-Alexander-Universität Erlangen-Nürnberg WS 2008/2009 Hardware PCI-Bus 1/23 2008-08-06 Übersicht Inhalt:

Mehr

Hardware PCI-Bus. Dr.-Ing. Matthias Sand. Lehrstuhl für Informatik 3 (Rechnerarchitektur) Friedrich-Alexander-Universität Erlangen-Nürnberg

Hardware PCI-Bus. Dr.-Ing. Matthias Sand. Lehrstuhl für Informatik 3 (Rechnerarchitektur) Friedrich-Alexander-Universität Erlangen-Nürnberg Hardware PCI-Bus Dr.-Ing. Matthias Sand Lehrstuhl für Informatik 3 (Rechnerarchitektur) Friedrich-Alexander-Universität Erlangen-Nürnberg WS 2007/2008 Hardware PCI-Bus 1/23 2007-10-26 Übersicht Inhalt:

Mehr

12. Rekursion. 1, falls n 1. n (n 1)!, andernfalls. Lernziele. Mathematische Rekursion. Rekursion in Java: Genauso! n! =

12. Rekursion. 1, falls n 1. n (n 1)!, andernfalls. Lernziele. Mathematische Rekursion. Rekursion in Java: Genauso! n! = Lernziele Sie verstehen, wie eine Lösung eines rekursives Problems in Java umgesetzt werden kann. Sie wissen, wie Methoden in einem Aufrufstapel abgearbeitet werden. 12. Rekursion Mathematische Rekursion,

Mehr

Ü B U N G E N Z U E C H T Z E I T S Y S T E M E

Ü B U N G E N Z U E C H T Z E I T S Y S T E M E AU F G A B E 3 : S I M P L E S C O P E In den vorangegangenen Übungsaufgaben haben Sie bereits periodische Aufgaben kennengelernt. Bislang erfolgte ihre Implementierung durch relative Verzögerung der Fäden.

Mehr

Just-In-Time-Compiler (2)

Just-In-Time-Compiler (2) Just-In-Time-Compiler (2) Dr.-Ing. Volkmar Sieh Department Informatik 4 Verteilte Systeme und Betriebssysteme Friedrich-Alexander-Universität Erlangen-Nürnberg WS 2015/2016 V. Sieh Just-In-Time-Compiler

Mehr

Übung zu Algorithmen und Datenstrukturen (für ET/IT)

Übung zu Algorithmen und Datenstrukturen (für ET/IT) Übung zu Algorithmen und Datenstrukturen (für ET/IT) Sommersemester 2017 Rüdiger Göbl, Mai Bui Computer Aided Medical Procedures Technische Universität München Fibonacci Zahlen Fibonacci Folge Die Fibonacci

Mehr

Requirements Engineering

Requirements Engineering Requirements Engineering Josef Adersberger Marc Spisländer Lehrstuhl für Software Engineering Friedrich-Alexander-Universität Erlangen-Nürnberg 10. Dezember 2008 Adersberger, Spisländer FAU Erlangen-Nürnberg

Mehr

Fachbereich Medienproduktion

Fachbereich Medienproduktion Fachbereich Medienproduktion Herzlich willkommen zur Vorlesung im Studienfach: Grundlagen der Informatik Themenübersicht Rechnertechnik und IT Sicherheit Grundlagen der Rechnertechnik Prozessorarchitekturen

Mehr

C++ Templates - eine kleine Einführung. Funktionstemplates. Fabian Scheler, Peter Ulbrich, Niko Böhm. 20. Oktober 2008

C++ Templates - eine kleine Einführung. Funktionstemplates. Fabian Scheler, Peter Ulbrich, Niko Böhm. 20. Oktober 2008 Überblick 1 Allgemein C++ Templates - eine kleine Einführung Fabian Scheler, Peter Ulbrich, Niko Böhm Friedrich-Alexander-Universität Erlangen-Nürnberg Lehrstuhl Informatik 4 (Verteilte Systeme und Betriebssysteme)

Mehr

Problemstellung. Anwendungsanalyse. Spezifikationstechniken. Analyse der Problemstellung. Wie komme ich vom Echtzeitproblem zum Echtzeitsystem?

Problemstellung. Anwendungsanalyse. Spezifikationstechniken. Analyse der Problemstellung. Wie komme ich vom Echtzeitproblem zum Echtzeitsystem? Problemstellung Anwendungsanalyse Florian Franzmann Tobias Klaus Peter Wägemann Friedrich-Alexander-Universität Erlangen-Nürnberg Lehrstuhl Informatik 4 (Verteilte Systeme und Betriebssysteme) http://www4.cs.fau.de

Mehr

C++ mit dem Arduino (Uno und Mega2560)

C++ mit dem Arduino (Uno und Mega2560) C++ mit dem Arduino (Uno und Mega2560) 1. Toolchain Als toolchain bezeichnet man die Reihe von Software, die nötig ist um den Prozessor zu programmieren, das Ergebnis draufzuladen und dann zu testen. Hier

Mehr

Betriebsmittelprotokolle

Betriebsmittelprotokolle Betriebsmittelprotokolle Florian Franzmann, Martin Hoffmann, Tobias Klaus Friedrich-Alexander-Universität Erlangen-Nürnberg Lehrstuhl Informatik 4 (Verteilte Systeme und Betriebssysteme) http://www4.cs.fau.de

Mehr

C++ Templates - eine kleine Einführung

C++ Templates - eine kleine Einführung C++ Templates - eine kleine Einführung Peter Ulbrich, Martin Hoffmann Friedrich-Alexander-Universität Erlangen-Nürnberg Lehrstuhl Informatik 4 (Verteilte Systeme und Betriebssysteme) www4.informatik.uni-erlangen.de

Mehr

WCET-Analyseverfahren in der automobilen Softwareentwicklung

WCET-Analyseverfahren in der automobilen Softwareentwicklung WCET-Analyseverfahren in der automobilen Softwareentwicklung Martin Däumler 1 Robert Baumgartl 2 Matthias Werner 1 1 Technische Universität Chemnitz 2 HTW Dresden 28. November 2008 M. Däumler et al (TUC,

Mehr

Erzeugen von PWM-Signalen mit dem Atmel AVR-Mikrocontroller

Erzeugen von PWM-Signalen mit dem Atmel AVR-Mikrocontroller Fachbereich Elektrotechnik und Informatik Labor für Angewandte Informatik und Datenbanken Praktikum Automatisierung/Echtzeitregelung (BAU/BER) Prof.Dr.-Ing. Coersmeier Erzeugen von PWM-Signalen mit dem

Mehr

Einführung. Übungen zur Vorlesung Virtuelle Maschinen. Stefan Potyra. SoSe 2009

Einführung. Übungen zur Vorlesung Virtuelle Maschinen. Stefan Potyra. SoSe 2009 Einführung Übungen zur Vorlesung Virtuelle Maschinen Stefan Potyra Lehrstuhl für Informatik 3 (Rechnerarchitektur) Friedrich-Alexander-Universität Erlangen-Nürnberg SoSe 2009 Übungsaufgaben 1 Entwickeln

Mehr

Hardware Logik-Analysatoren

Hardware Logik-Analysatoren Hardware Logik-Analysatoren Dr.-Ing. Matthias Sand Lehrstuhl für Informatik 3 (Rechnerarchitektur) Friedrich-Alexander-Universität Erlangen-Nürnberg WS 2010/2011 Hardware Logik-Analysatoren 1/24 2010-10-12

Mehr

Praktikum angewandte Systemsoftwaretechnik (PASST)

Praktikum angewandte Systemsoftwaretechnik (PASST) Praktikum angewandte Systemsoftwaretechnik (PASST) Dateisysteme / Aufgabe 6 21. Juni 2018 Stefan Reif, Peter Wägemann, Florian Schmaus, Michael Eischer, Andreas Ziegler, Bernhard Heinloth und Benedict

Mehr

Verlässliche Echtzeitsysteme

Verlässliche Echtzeitsysteme Verlässliche Echtzeitsysteme Übungen zur Vorlesung Florian Franzmann, Martin Hoffmann Friedrich-Alexander-Universität Erlangen-Nürnberg Lehrstuhl Informatik 4 (Verteilte Systeme und Betriebssysteme) www4.informatik.uni-erlangen.de

Mehr

Praktikum Programmieren in Eingebetteten Systemen

Praktikum Programmieren in Eingebetteten Systemen Praktikum Prgrammieren in Eingebetteten Systemen Versuch: Uhrzeit/Cuntdwn SW-Entwicklung mit der integrierten Entwicklungsumgebung HITOP Autren: Patrick Jäckle Firat Sahin Frank Weißer 1 Lernziele dieses

Mehr

Guten Tag. Holger Lindemann. -Selbstständiger Dienstleister im Bereich Linux. -Hauptentwickler openkonto ehemals Lx-Office

Guten Tag. Holger Lindemann. -Selbstständiger Dienstleister im Bereich Linux. -Hauptentwickler openkonto ehemals Lx-Office Guten Tag -Selbstständiger Dienstleister im Bereich Linux -Hauptentwickler openkonto ehemals Lx-Office -Seit den Anfängen der Lugulm dabei. Thema: Der Raspberry Pi Was ist ein Raspberry Pi? Günstiger Einplatinencomputer,

Mehr

Requirements Engineering

Requirements Engineering Lill, Meitner, Föhrweiser, Spisländer FAU Erlangen-Nürnberg Requirements Engineering 1 / 13 Requirements Engineering Raimar Lill Matthias Meitner David Föhrweiser Marc Spisländer Lehrstuhl für Software

Mehr

VHDL - Objekte und Typen

VHDL - Objekte und Typen VHDL - Objekte und Typen Dr.-Ing. Matthias Sand Lehrstuhl für Informatik 3 (Rechnerarchitektur) Friedrich-Alexander-Universität Erlangen-Nürnberg WS 2007/2008 VHDL - Objekte und Typen 1/23 2007-08-24 Inhalt

Mehr

33. Analysewerkzeuge. 1) Visualisierung von Graphen 1) VCG 2) AiSee 3) LogLin und CroCoCosmos 2) WCETA mit AiT Version ,

33. Analysewerkzeuge. 1) Visualisierung von Graphen 1) VCG 2) AiSee 3) LogLin und CroCoCosmos 2) WCETA mit AiT Version , 33. Analysewerkzeuge Prof. Dr. rer. nat. Uwe Aßmann Institut für Software- und Multimediatechnik Lehrstuhl Softwaretechnologie Fakultät für Informatik TU Dresden http://st.inf.tu-dresden.de 1) Visualisierung

Mehr

Architektur/Chip/Komponente

Architektur/Chip/Komponente Architektur/Chip/Komponente Dr.-Ing. Volkmar Sieh Department Informatik 4 Verteilte Systeme und Betriebssysteme Friedrich-Alexander-Universität Erlangen-Nürnberg WS 2014/2015 V. Sieh Architektur/Chip/Komponente

Mehr

Echtzeitsysteme (EZS) 2 Integrierte Lehrveranstaltung, 4 SWS. Überblick. Entwicklungsumgebung. Experiment 1: Hau den Lukas

Echtzeitsysteme (EZS) 2 Integrierte Lehrveranstaltung, 4 SWS. Überblick. Entwicklungsumgebung. Experiment 1: Hau den Lukas Überblick 13 Ausblick Echtzeitsysteme (EZS) 2 Integrierte Lehrveranstaltung, 4 SWS Ausblick EZS2 Hiwi Studien- und Diplomarbeiten Inhalt ein kompletter Entwicklungszyklus für ein EZS 1. Anforderungsanalyse

Mehr

IHS2 Seminar. Einführung Zusatzfolien A. Integrated HW/SW Systems Group. IHS2 Seminar 06 November 2009 Self-Organization 19 November 2009 1

IHS2 Seminar. Einführung Zusatzfolien A. Integrated HW/SW Systems Group. IHS2 Seminar 06 November 2009 Self-Organization 19 November 2009 1 Einführung Zusatzfolien A Prof. Dr.-Ing. habil. Andreas Mitschele-Thiel 06 November 2009 Self-Organization 19 November 2009 1 Empfehlungen für die Verzeichnisstruktur Unterverzeichnisse für Projekte doc

Mehr

Aufgabe 1 Entwicklung einer Virtuellen Maschine

Aufgabe 1 Entwicklung einer Virtuellen Maschine Aufgabe 1 Entwicklung einer Virtuellen Maschine Rainer Müller Department Informatik 4 Verteilte Systeme und Betriebssysteme Friedrich-Alexander-Universität Erlangen-Nürnberg WS 2014/2015 R. Müller Entwicklung

Mehr

Informatik II (D-ITET) Informatik II (D-ITET) Übungsstunde 1. Distributed Systems Group, ETH Zürich

Informatik II (D-ITET) Informatik II (D-ITET) Übungsstunde 1. Distributed Systems Group, ETH Zürich Informatik II (D-ITET) Informatik II (D-ITET) simon.mayer@inf.ethz.ch Distributed Systems Group, ETH Zürich Übungsstunde 1 Informatik II (D-ITET) 1 Ablauf Überblick + Administratives Besprechung der Vorlesung

Mehr

Kapitel 10. Komplexität von Algorithmen und Sortieralgorithmen

Kapitel 10. Komplexität von Algorithmen und Sortieralgorithmen Kapitel 10 Komplexität von Algorithmen und Sortieralgorithmen Arrays 1 Ziele Komplexität von Algorithmen bestimmen können (in Bezug auf Laufzeit und auf Speicherplatzbedarf) Sortieralgorithmen kennenlernen:

Mehr

Middleware Cloud Computing Übung

Middleware Cloud Computing Übung Middleware Cloud Computing Übung Tobias Distler, Klaus Stengel, Timo Hönig, Christopher Eibel Friedrich-Alexander-Universität Erlangen-Nürnberg Lehrstuhl Informatik 4 (Verteilte Systeme und Betriebssysteme)

Mehr

LavA OS: Ein Betriebssystem für konfigurierbare MPSoCs

LavA OS: Ein Betriebssystem für konfigurierbare MPSoCs LavA OS: Ein Betriebssystem für konfigurierbare MPSoCs Diplomarbeit Abschlussvortrag Stephan Vogt stephan.vogt@cs.uni-dortmund.de 1 Inhalt Einleitung Wiederverwendung von BS Arbeiten an CiAO Kommunikation

Mehr

Hardware Leitungscodierung

Hardware Leitungscodierung Hardware Leitungscodierung Dr.-Ing. Matthias Sand Lehrstuhl für Informatik 3 (Rechnerarchitektur) Friedrich-Alexander-Universität Erlangen-Nürnberg WS 2007/2008 Hardware Leitungscodierung 1/16 2007-11-05

Mehr

Anwendungsentwicklung mit Ecos

Anwendungsentwicklung mit Ecos Anwendungsentwicklung mit Ecos Übungen zur Vorlesung Florian Franzmann Martin Hoffmann Tobias Klaus Peter Wägemann Friedrich-Alexander-Universität Erlangen-Nürnberg Lehrstuhl Informatik 4 (Verteilte Systeme

Mehr

Programmieren des ESP8266 mit OLED

Programmieren des ESP8266 mit OLED Willkommen! Und herzlichen Dank für den Kauf unseres AZ-Delivery ESP8266 Mikrocontroller mit integrierten 0.91" OLED Display. Auf den folgenden Seiten gehen wir mit dir gemeinsam die ersten Programmierschritte

Mehr

Technische Informatik - Eine Einführung

Technische Informatik - Eine Einführung Martin-Luther-Universität Halle-Wittenberg Fachbereich Mathematik und Informatik Lehrstuhl für Technische Informatik Prof. P. Molitor Technische Informatik - Eine Einführung Rechnerarchitektur Aufgabe

Mehr

Kapitel 9. Komplexität von Algorithmen und Sortieralgorithmen

Kapitel 9. Komplexität von Algorithmen und Sortieralgorithmen 1 Kapitel 9 Komplexität von Algorithmen und Sortieralgorithmen Ziele 2 Komplexität von Algorithmen bestimmen können (in Bezug auf Laufzeit und auf Speicherplatzbedarf) Sortieralgorithmen kennenlernen:

Mehr

IT Standort Saarland. Others made history, we make the future! IT Standort Saarland

IT Standort Saarland. Others made history, we make the future! IT Standort Saarland Others made history, we make the future! 13.04.16 1 STARKE BRANCHEN AUF WACHSTUMSKURS Alle Zeichen stehen auf Erfolg: ob Lage, Infrastruktur, Preis-Leistungs- Verhältnis von Immobilien und Flächen, Verfügbarkeit

Mehr

Übung zu Algorithmen und Datenstrukturen (für ET/IT)

Übung zu Algorithmen und Datenstrukturen (für ET/IT) Übung zu Algorithmen und Datenstrukturen (für ET/IT) Wintersemester 2012/13 Jakob Vogel Computer-Aided Medical Procedures Technische Universität München Komplexität von Programmen Laufzeit kann näherungsweise

Mehr

Tag 4 Repetitorium Informatik (Java)

Tag 4 Repetitorium Informatik (Java) Tag 4 Repetitorium Informatik (Java) Dozent: Patrick Kreutzer Lehrstuhl für Informatik 2 (Programmiersysteme) Friedrich-Alexander-Universität Erlangen-Nürnberg Wintersemester 2016/2017 Willkommen zum Informatik-Repetitorium!

Mehr

Dynamisches Binden in Multics

Dynamisches Binden in Multics Dynamisches Binden in Multics AKSS Seminarvortrag Daniel Götz Friedrich-Alexander-Universität Erlangen-Nürnberg Lehrstuhl für Informatik 4 Verteilte Systeme und Betriebssysteme 14.12.15 Motivation Welche

Mehr

Technische Informatik 1 Übung 8 Instruktionsparallelität (Rechenübung) Andreas Tretter 8./9. Dezember Bitte immer eine Reihe freilassen

Technische Informatik 1 Übung 8 Instruktionsparallelität (Rechenübung) Andreas Tretter 8./9. Dezember Bitte immer eine Reihe freilassen Technische Informatik 1 Übung 8 Instruktionsparallelität (Rechenübung) Andreas Tretter 8./9. Dezember 2016 Bitte immer eine Reihe freilassen Ziele der Übung Verschiedene Arten von Instruktionsparallelität

Mehr

Übungsaufgabe 5. Verteilte Systeme - 6. Übung. Fehler & RPC (lokaler Fall) Transparenz beim Fernaufruf. RPC-Aufrufsemantiken Fehlermodell

Übungsaufgabe 5. Verteilte Systeme - 6. Übung. Fehler & RPC (lokaler Fall) Transparenz beim Fernaufruf. RPC-Aufrufsemantiken Fehlermodell Übungsaufgabe 5 Verteilte Systeme - 6. Übung Tobias Distler, Michael Gernoth, Reinhard Tartler Friedrich-Alexander-Universität Erlangen-Nürnberg Lehrstuhl Informatik 4 (Verteilte Systeme und Betriebssysteme)

Mehr

Abstrakte Interpretation (AbsInt)

Abstrakte Interpretation (AbsInt) Abstrakte Interpretation (AbsInt) Viktoria Pleintinger 24. Juni 2009 1 Inhaltsverzeichnis 1 Einleitung 3 2 Worst-Case Laufzeitanalyse aufgrund von Messung 4 3 WCET Analyse durch Static Programm Analysis

Mehr

Übung zu Betriebssysteme

Übung zu Betriebssysteme Übung zu Betriebssysteme Interruptsynchronisation 22. & 24. November 2017 Andreas Ziegler Bernhard Heinloth Lehrstuhl für Informatik 4 Friedrich-Alexander-Universität Erlangen-Nürnberg Lehrstuhl für Verteilte

Mehr

Übungen zu Grundlagen der Rechnerarchitektur und -organisation: Bonusaufgaben Übung 9 und Präsenzaufgaben Übung 10

Übungen zu Grundlagen der Rechnerarchitektur und -organisation: Bonusaufgaben Übung 9 und Präsenzaufgaben Übung 10 Übungen zu Grundlagen der Rechnerarchitektur und -organisation: Bonusaufgaben Übung 9 und Präsenzaufgaben Übung 10 Dominik Schoenwetter Lehrstuhl für Informatik 3 (Rechnerarchitektur) Friedrich-Alexander-Universität

Mehr

Strukturelemente in Echtzeitsystemen. Übersicht. Ausführungsmodell in tt-ecos. Vergleich mit ecos: Prozessorientiertes Ausführungsmodell

Strukturelemente in Echtzeitsystemen. Übersicht. Ausführungsmodell in tt-ecos. Vergleich mit ecos: Prozessorientiertes Ausführungsmodell 1 Überblick Strukturelemente in Echtzeitsystemen Florian Franzmann Martin Hoffmann Tobias Klaus Peter Wägemann Friedrich-lexander-Universität Erlangen-Nürnberg Lehrstuhl Informatik 4 (Verteilte Systeme

Mehr

Echtzeitsysteme. Übungen zur Vorlesung. Fabian Scheler, Peter Ulbrich, Niko Böhm

Echtzeitsysteme. Übungen zur Vorlesung. Fabian Scheler, Peter Ulbrich, Niko Böhm Echtzeitsysteme Übungen zur Vorlesung Fabian Scheler, Peter Ulbrich, Niko Böhm Friedrich-Alexander-Universität Erlangen-Nürnberg Lehrstuhl Informatik 4 (Verteilte Systeme und Betriebssysteme) www4.informatik.uni-erlangen.de

Mehr

Entwicklungsumgebung

Entwicklungsumgebung Entwicklungsumgebung Echtzeitsysteme 2 Vorlesung/Übung Peter Ulbrich Wolfgang Schröder-Preikschat Lehrstuhl für Informatik 4 Verteilte Systeme und Betriebssysteme Friedrich-Alexander Universität Erlangen-Nürnberg

Mehr

Orientierungsvorlesung Theoretische Informatik Algorithmen und Kombinatorik Auf der Suche nach schönen Strukturen

Orientierungsvorlesung Theoretische Informatik Algorithmen und Kombinatorik Auf der Suche nach schönen Strukturen Orientierungsvorlesung Theoretische Informatik Algorithmen und Kombinatorik Auf der Suche nach schönen Strukturen Rolf Wanka Universität Erlangen-Nürnberg 29. November 2017 Shearsort: 2-dimensionales Gitter

Mehr

Versuch 4 M_Dongle Servotester. Labor Mikrocontroller mit NUC130. Prof. Dr.-Ing. F. Kesel Dipl.-Ing. (FH) J. Hampel Dipl.-Ing. (FH) A.

Versuch 4 M_Dongle Servotester. Labor Mikrocontroller mit NUC130. Prof. Dr.-Ing. F. Kesel Dipl.-Ing. (FH) J. Hampel Dipl.-Ing. (FH) A. Versuch 4 M_Dongle Servotester Labor Mikrocontroller mit NUC130 Prof. Dr.-Ing. F. Kesel Dipl.-Ing. (FH) J. Hampel Dipl.-Ing. (FH) A. Reber 11.06.2016 Inhalt 1 Einführung... 2 1.1 Grundlagen Modellbau-Servo...

Mehr

Programmieren in C. Strukturen und Zeiger. Prof. Dr. Nikolaus Wulff

Programmieren in C. Strukturen und Zeiger. Prof. Dr. Nikolaus Wulff Programmieren in C Strukturen und Zeiger Prof. Dr. Nikolaus Wulff Sortieren Im Praktikum wurde ein Modul zum Sortieren entwickelt. Es enthält verschiedene Sortieralgorithmen, die ausgewählt und erweitert

Mehr

Informatik II - Übung 12

Informatik II - Übung 12 Informatik II - Übung 12 Katja Wolff katja.wolff@inf.ethz.ch Übungsblatt 11 1) Sortieren mit Suchbäumen 2) Zeitkomplexität 3) Ein neuer Rechner! 4) Ein Springer auf dem Schachbrett Informatik II Übung

Mehr

Echtzeitsysteme. Evaluation und Ausblick. Peter Ulbrich Lehrstuhl für Verteilte Systeme und Betriebssysteme 27. Januar

Echtzeitsysteme. Evaluation und Ausblick. Peter Ulbrich Lehrstuhl für Verteilte Systeme und Betriebssysteme 27. Januar Echtzeitsysteme Evaluation und Ausblick Peter Ulbrich Lehrstuhl für Verteilte Systeme und Betriebssysteme 27. Januar 2015 http://www4.cs.fau.de Agenda Evaluation! Ausblick: Verlässliche Echtzeitsysteme!

Mehr

Eingebettete Systeme 2. Übungsblatt Lösungsvorschlag

Eingebettete Systeme 2. Übungsblatt Lösungsvorschlag Institut für Informatik Lehrstuhl für Eingebettete Systeme Prof. Dr. Uwe Brinkschulte Mathias Pacher Eingebettete Systeme 2. Übungsblatt Lösungsvorschlag 1. Aufgabe (Mikrocontroller) Ein Mikrocontroller

Mehr

Plazierung von unterschiedlich großen Komponenten in gleich große rekonfigurierbare Flächen unter Berücksichtigung der Signallaufzeiten

Plazierung von unterschiedlich großen Komponenten in gleich große rekonfigurierbare Flächen unter Berücksichtigung der Signallaufzeiten Fakultät für Elektrotechnik Professur für Technische Informatik Helmut Schmidt Universität/ Universität der Bundeswehr Hamburg Plazierung von unterschiedlich großen Komponenten in gleich große rekonfigurierbare

Mehr

Entwicklungsumgebung

Entwicklungsumgebung Entwicklungsumgebung Echtzeitsysteme 2 Vorlesung/Übung Fabian Scheler Peter Ulbrich Wolfgang Schröder-Preikschat Lehrstuhl für Informatik 4 Verteilte Systeme und Betriebssysteme Friedrich-Alexander Universität

Mehr

Überblick. Verlässliche Echtzeitsysteme. Annahmen. Frage 4. Zu was wird -1L > 1U auf x86-64 ausgewertet? Auf x86? Erklärung

Überblick. Verlässliche Echtzeitsysteme. Annahmen. Frage 4. Zu was wird -1L > 1U auf x86-64 ausgewertet? Auf x86? Erklärung Überblick Verlässliche Echtzeitsysteme Übungen zur Vorlesung Filter Tobias Klaus, Florian Schmaus, Peter Wägemann Friedrich-Alexander-Universität Erlangen-Nürnberg Lehrstuhl Informatik 4 (Verteilte Systeme

Mehr

Systemnahe Programmierung in C (SPiC)

Systemnahe Programmierung in C (SPiC) Systemnahe Programmierung in C (SPiC) 9 Funktionen Jürgen Kleinöder, Daniel Lohmann, Volkmar Sieh Lehrstuhl für Informatik 4 Verteilte Systeme und Betriebssysteme Friedrich-Alexander-Universität Erlangen-Nürnberg

Mehr

OOSE_02E Testen mit BlueJ/JUnit 4

OOSE_02E Testen mit BlueJ/JUnit 4 OOSE_02E Testen mit BlueJ/JUnit 4 Lehrstuhl Softwaretechnologie, Dr. Birgit Demuth Sommersemester 2018 Vorgehen beim Unit-Test allgemein 1. Testfälle ausdenken / Testfalltabellen erstellen 2. Testfälle

Mehr

Mikrocontroller Grundlagen. Markus Koch April 2011

Mikrocontroller Grundlagen. Markus Koch April 2011 Mikrocontroller Grundlagen Markus Koch April 2011 Übersicht Was ist ein Mikrocontroller Aufbau (CPU/RAM/ROM/Takt/Peripherie) Unterschied zum Mikroprozessor Unterschiede der Controllerarten Unterschiede

Mehr

CiAO (CiAO is Aspect-Oriented)

CiAO (CiAO is Aspect-Oriented) CiAO (CiAO is Aspect-Oriented) Eine aspektorientiert entworfene Betriebssystemfamilie Daniel Lohmann Olaf Spinczyk Wolfgang Schröder-Preikschat Lehrstuhl für Informatik IV Verteilte Systeme und Betriebssysteme

Mehr

Technische Informatik 1 Übung 7 Pipelining (Rechenübung) Balz Maag 22./23. November 2018

Technische Informatik 1 Übung 7 Pipelining (Rechenübung) Balz Maag 22./23. November 2018 Technische Informatik 1 Übung 7 Pipelining (Rechenübung) Balz Maag 22./23. November 2018 Aufgabe 1: Taktrate / Latenz Einzeltakt-Architektur Pipelining-Architektur Pipelining-Architektur 15 15 120 ps 15

Mehr

Flüsse und Schnitte von Graphen

Flüsse und Schnitte von Graphen Flüsse und Schnitte von Graphen Christian Koch Friedrich-Alexander-Universität Erlangen-Nürnberg 2. Juni 27 Christian Koch Flüsse und Schnitte 2. Juni 27 / 29 Gliederung Flüsse Allgemeines Maximaler Fluss

Mehr

VHDL Objekte und Typen

VHDL Objekte und Typen VHDL Objekte und Typen Dr.-Ing. Matthias Sand Lehrstuhl für Informatik 3 (Rechnerarchitektur) Friedrich-Alexander-Universität Erlangen-Nürnberg WS 2009/2010 VHDL Objekte und Typen 1/27 2009-07-31 Inhalt

Mehr