Course Catalog 2008-2009 Basic Basic Pori International Postgraduate Open University |Degrees|     |Study blocks|     |Courses|

Implementation 1

Lecture times and places:

Per 2 :
Wednesday 9 - 11, K3114
Per 3 :
Friday 9 - 11, K3114

Description:

The course addresses the modelling, verification and validation of factory automation systems. At the end of the course the student should be able to model a factory automation system using any of the modelling languages presented during the course (i.e. Petri Nets, timed automata, process algebras). Additionally, the student should have good knowledge of how choices made at modelling stage can influence the verification steps.

Persons in charge:

Andrei Lobov
Jose Martinez Lastra
Corina Popescu

Assessment scale:

Numerical evaluation scale (1-5) will be used on the course