MI (1380) - INGEGNERIA DELL'INFORMAZIONE / INFORMATION TECHNOLOGY
093548 - MODELING TIME IN COMPUTING
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.