Risorse bibliografiche
Risorsa bibliografica obbligatoria
Risorsa bibliografica facoltativa
Scheda Riassuntiva
Anno Accademico 2014/2015
Tipo incarico Dottorato
Insegnamento 093548 - MODELING TIME IN COMPUTING
Docente Mandrioli Dino
Cfu 5.00 Tipo insegnamento Monodisciplinare

Corso di Dottorato Da (compreso) A (escluso) Insegnamento

Programma dettagliato e risultati di apprendimento attesi

Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This course offers a systematic, thorough presentation of the results of several decades of research on developing, analyzing, and applying time models to computing and engineering. It is based on the homonymous book authored by the teachers of the course: Furia, C.A., Mandrioli, D., Morzenti, A., Rossi, M.

The course aims at developing the ability to critically evaluate models to represent and analyze the time behavior of complex, heterogeneous systems and possibly to adapt existing ones to the specific needs of particular applications.

The topics covered by the course are the following ones:

General remarks on the models to represent time and on the languages to describe them and their properties.

"Dimensions" for their evaluation and comparison.

Traditional models revisited at the light of the above dimensions: dynamical systems, electronic devices, automata and their complexity.

Synchronous abstract machines: transition systems; timed, hybrid, stochastic automata.

Asynchronous abstract machines: Petri nets, timed Petri nets, Petri nets with inhibitor arcs; stochastic Petri nets.

Algebraic formalisms: communicating sequential processes; process algebras and their probabilistic version.

Logic-based formalisms: linear and branching time temporal logic; TRIO; interval-based temporal logic; probabilistic temporal logic.

Verification and the dual language approach: model checking; axiomatic verification of timed Petri nets.

Note Sulla Modalità di valutazione

During the lectures the teachers will propose a few exercises related to the presented topics.

At the end of the course, and, in any case within the end of May, each student will deliver at his/her own choice at least two among the proposed exercises which will be evaluated by the teachers.

Intervallo di svolgimento dell'attività didattica
Data inizio
Data termine

Calendario testuale dell'attività didattica

Risorsa bibliografica obbligatoriaFuria, C.A., Mandrioli, D., Morzenti, A., Rossi, M., Modeling Time in Computing Modeling Time in Computing, Editore: Springer, Anno edizione: 2012, ISBN: 978-3-642-32331-7 http://www.springerlink.com/content/978-3-642-32332-4

Mix Forme Didattiche
Tipo Forma Didattica Ore didattiche
laboratorio informatico
laboratorio sperimentale
laboratorio di progetto

Informazioni in lingua inglese a supporto dell'internazionalizzazione
Insegnamento erogato in lingua Inglese

Note Docente
The course will be held during the period April 13th - April 23rd. The first lecture will be Monday 13th, 9.00 -11.30 in room "Sala Seminari", building 20, ground floor.
schedaincarico v. 1.6.1 / 1.6.1
Area Servizi ICT