IL2202 System Modelling 7.5 credits

Introduction to system modelling concepts, in particular concepts to model computation, data, communication, and time at different abstraction levels which are independent from implementation technology such as hardware or software.

Introduction to the main system modelling applications performance analysis, functional specification, design and synthesis, and validation.

Practical exercises to elaborate on specific important modelling aspects.

The main objectives are

- to convey the main concepts of modelling, which are state and state space, models of computation and concurrency, communication, modelling of data and time;

- to relate these concepts to four applications and show the impact of the fundamental concepts on the potential and limitations of application techniques and tools, such as sysnthesis, performance analysis, formal verification, etc.

Goals to be checked:

- modeling and design of automata
- modeling and design of Petri nets
- modeling and design of process networks (untimed, synchronous, timed)
- design of schedules for process networks
- Aplly assertions and monitors for verification
- Understanding of computational models
- Understanding of time abstractions, communication abstractions, computation abstractions and data abstractions
- Understanding of stochastic models, determinism and non-determinism

Digital Design with HDL IL2217 or comparable
Embedded Systems 1L2206 or comparable

Modeling Embedded Systems and SoCs, Axel Jantsch

Upplaga: 1 Förlag: Morgan Kaufman Publishers År: 2004

ISBN: 1-55860-925-3

Övrig litteratur

Lecture slides

Exercise material

lab material

Supplementary papers

If the course is discontinued, students may request to be examined during the following two academic years.

• LAB1 - Laboratory Work, 3.0 credits, grading scale: P, F
• TEN1 - Examination, 4.5 credits, grading scale: A, B, C, D, E, FX, F

Based on recommendation from KTH’s coordinator for disabilities, the examiner will decide how to adapt an examination for students with documented disability.

The examiner may apply another examination format when re-examining individual students.

Attend the exercise hourse and complete 75% of the assignments in each of the 5 groups before they are elaborated in the exercise hours. Must be completed to be admitted to the exam.

Complete all labs. Must be completed to be admitted to the exam.

Pass the final exam. The grade for the exam will be the main criteria for the grade of the course.

Attend the exercise hourse and complete 75% of the assignments in each of the 5 groups before they are elaborated in the exercise hours. Must be completed to be admitted to the exam.

Complete all labs. Must be completed to be admitted to the exam.

Pass the final exam. The grade for the exam will be the main criteria for the grade of the course.

• All members of a group are responsible for the group's work.
• In any assessment, every student shall honestly disclose any help received and sources used.
• In an oral assessment, every student shall be able to present and answer questions about the entire assignment and solution.