System theory - METODI DI SPECIFICA (2009/2010)

Course code
4S02785
Name of lecturer
Tiziano Villa
Number of ECTS credits allocated
4
Academic sector
ING-INF/05 - INFORMATION PROCESSING SYSTEMS
Language of instruction
Italian
Location
VERONA
Period
1st Semester dal Oct 1, 2009 al Jan 31, 2010.

To show the organization of the course that includes this module, follow this link * Course organization

Lesson timetable

1st Semester
Day Time Type Place Note
Monday 9:30 AM - 11:30 AM lesson Lecture Hall I from Nov 23, 2009  to Jan 31, 2010
Tuesday 8:30 AM - 10:30 AM lesson Lecture Hall I from Nov 23, 2009  to Jan 31, 2010
Thursday 4:30 PM - 6:30 PM lesson Lecture Hall I from Nov 23, 2009  to Jan 31, 2010

Learning outcomes

An introduction to advanced methodologies for the specification
and design of hardware and software systems.
Such systems include heterogeneous and concurrent components defined at different levels of abstraction, to be implemented in hardware and software;
they must satisfy functional and real time constraints, and may interact with physical systems (cyperphysical systems).
This class discusses the most important specification languages for hardware, software and networked systems.

Syllabus

Introduction to system theory.
Discrete systems and state machines (finite and infinite state machines).
Deterministic, observable and nondeterministic finite state machines.
Composition of finite state machines.
Minimization, determinization, equivalence and containment of finite state
machines.
Simulation and bisimulation relations for finite state machines.
Sinthesis of finite state controllers for safety and liveness properties.
Petri nets.
Supervisory control for regular automata and languages.
Hybrid automata.
Languages for hardware specification.

Assessment methods and criteria

Written exam (see the information in the module of Theory of Systems).

Teaching aids

Documents