Course - Modelling Theory for System on Chip and Embedded Systems - FE8119
Modelling Theory for System on Chip and Embedded Systems
Lessons are not given in the academic year 2010/2011
About
About the course
Course content
Design methodology and system models, models for behaviour, finite state machines (FSM) and concurrency, models of time, process models, synchronous model assumption, models for communication, event based models, model domain interfaces, process networks, non-determinism and probability.
Learning outcome
Studying and understanding the theoretical models which are the logical and computational basis for descriptions of systems on chip (SoC) and embedded systems. The models are also studied in terms of relevant applications within areas such as specification, simulation, verification, and synthesis. The objective is to enable the students in analysing and developing models for system level descriptions and the necessary abstractions and principles therein.
Learning methods and activities
Colloquium, self study, term assignment
Recommended previous knowledge
TFE4175 Realization and test of digital components, TFE4170 System on chip, or equivalent competencies.
Course materials
Axel Jantsch: "Modeling Embedded Systems and SOC's" (Morgan Kaufmann/Elsevier Science, 2004, 351 pages)
Selected articles.
Subject areas
- Electronics
- Electrical Power Engineering
- Technological subjects