Uusi opinto-opas (sisältäen myös opetusohjelmat) lukuvuodelle 2018-2019 sijaitsee osoitteessa https://opas.peppi.utu.fi . Tältä sivustolta löytyvät enää vanhat opinto-oppaat ja opetusohjelmat.

The new study guide (incl. teaching schedules) for academic year 2018-2019 can be found at https://studyguide.utu.fi. This site contains only previous years' guides.

x !
Archived Curricula Guide 2014–2016
Curricula Guide is archieved. Please refer to current Curricula Guides
453503.0 Modeling of Embedded Systems (ÅA) 5 ECTS

General description

The course is arranged by Åbo Akademi University.

Learning outcomes

The aim of the course is to convey the main concepts needed for apprehending modeling applied to embedded systems: state and state space, models of computation and concurrency, communication, modeling of data and time.


The main contents of the course are:
- Introduction to embedded system modeling 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
- Presentation of Petri Nets (fundamental formalisms for the expression of concurrency)
- Presentation of various modeling languages used in the design of embedded systems: (Untimed Models of Computation illustrated by Synchronous Data Flow, Synchronous Models of Computation illustrated by Synchronous Languages, Timed Models of Computation as a base for simulation)
- Presentation of the notion of heterogeneity in system design, and of solutions for dealing with this heterogeneity


Numeric 0-5.

Belongs to following study modules

Department of Future Technologies
Archived Teaching Schedule. Please refer to current Teaching Shedule.
Implementation details are unavailable.
Department of Future Technologies
DP in Computer Science
DP in Computer Science
DP Bachelor of Science in Techn.(Communication St)
DP in Information and Communication Technology
Finnish Study Modules