Lehrveranstaltung: Modelling, Simulation and Specification (6607-651)

Personen:

• Prof. Dr.-Ing. Martin Radetzki (verantwortlich)

Lehrform:

Vorlesung mit Übung

SWS:

4

Inhalt:

Given the complexity and implementation cost of contemporary electronic systems, it is essential to specify their intended functionality before elaborating the implementation. This course focuses on the model-based and executable specification of embedded systems and covers the following topics:

- Hierarchical concurrent state machine models;
- Kahn process networks, synchronous data flow networks;
- Specification of timing, concurrency, and non-functional aspects;
- Object-oriented modelling of embedded systems;
-Event-driven simulation;
-Modelling levels with emphasis on transaction level modelling;
-Application to embedded systems specification;
-SystemC.

Literatur:

-Lecture Notes “Modelling, Simulation, and Specification.
-Jantsch: Modeling Embedded Systems and SoCs Concurrency andTime in Models of Computation. Morgan Kaufman Publishers, 2004.
-Black, D.; Donovan,D.: SystemC from the Ground Up. Kluwer AcademicPublishers, 2004.

Veranstaltungsort:

Stuttgart-Stadt

Modul:

• 6607-650 Modelling, Simulation and Specification (Wahl)