Go4IT - ein Pilotprojekt, mit einem Informatik-Bachelor-Universitäts-Studium bereits parallel zur AHS-Oberstufe zu beginnen
Weitere Information auf der Go4IT Web Site und in den Medienberichten.
From Model-Based Development research towards cutting-edge industry products
Chrona Validator and Chrona Creation Suite
autoBAHN - autonomously driving trains on open tracks
The goal of the autoBAHN project is to come up with a rail-bound transport system of autonomously driving vehicles.
sub auspiciis praesidentis rei publicae for Patricia Derler
November 2011: sub auspiciis praesidentis rei publicae for Patricia Derler
VO Echtzeitsysteme
Lehrveranstaltungsleiter
O.Univ.-Prof. Dipl.-Ing. Dr. Wolfgang Pree
Termine
Sommersemester 2004, Universität Salzburg
Donnerstag, 14:30 – 16:00 h, Jakob-Haringer-Str. 2
Beginn: 4. März 2004
Inhalt
Die Vorlesung zeigt auf, welche Konzepte, Methoden und Werkzeuge für die Entwicklung von sicherheitskritischen, 'harten' Echtzeitsystemen verwendet werden. Insbesondere werden Modell-basierte Methoden und Werkzeuge präsentiert, die es erlauben, von der spezifischen Plattform (HW/OS) zu abstrahieren. Programmiermethodik, systematischer Entwurf und adäquate Modularisierung von Echtzeitsystemen werden anhand von Fallstudien vermittelt und im zugehörigen Proseminar geübt.
Hinweis: Die Vorlesung Embedded Systems von Prof. Pohlmann ergänzt diese Vorlesung. Es wird daher empfohlen, beide Lehrveranstaltungen innerhalb eines Semesters zu absolvieren.
Literatur
H. Kopetz: Real-time systems: design principles for distributed embedded applications, Kluwer, 1997
EmSoft Conference Proceedings
Unterlagen
- Giotto-Introduction
- TDL Language report
- TDL Component Architecture
- Giotto-Simulink integration, part I
- Giotto-Simulink integration, part II
- StateChart-Modellierung
- Papier zur TDl-Simulink-Integration
- Esterel introduction