IL2202 System Modelling 7.5 credits

Systemmodellering

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

Offering and execution

Course offering missing for current semester as well as for previous and coming semesters

Course information

Content and learning outcomes

Course contents *

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.

Intended learning outcomes *

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

Course Disposition

No information inserted

Literature and preparations

Specific prerequisites *

No information inserted

Recommended prerequisites

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

Equipment

No information inserted

Literature

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

Examination and completion

Grading scale *

A, B, C, D, E, FX, F

Examination *

  • 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.

Other requirements for final grade *

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.

Opportunity to complete the requirements via supplementary examination

No information inserted

Opportunity to raise an approved grade via renewed examination

No information inserted

Examiner

No information inserted

Further information

Course web

No information inserted

Offered by

ICT/Electronic Systems

Main field of study *

Electrical Engineering

Education cycle *

Second cycle

Add-on studies

No information inserted

Contact

Jantsch, Axel

Ethical approach *

  • 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.