INFORMATICA INDUSTRIALE - Corso di Laurea in INGEGNERIA INFORMATICA
Prof. A. Fantechi

Questo corso si propone di illustrare allo studente di Ingegneria Informatica 
alcuni aspetti, non approfonditi in altri corsi, dello sviluppo di sistemi 
(software ma anche hardware) in ambiente industriale, in modo da poter entrare
in contatto con il mondo del lavoro gia` nell'ambito del corso di laurea.
In particolare, il corso si rivolge verso quelle realta` industriali di 
specifici settori (avionico, spaziale, ferroviario, telecomunicazioni,...) dove 
il software non e' l'oggetto primario della produzione, ovvero il 
software e` una componente (sempre piu` importante, anche in termini di 
costi di produzione) dei sistemi prodotti, sistemi spesso molto 
complessi, in cui le componenti hardware e software vengono spesso 
progettate di pari passo, con elevati requisiti di affidabilita` e disponibilita`.
A questo scopo vengono previsti interventi specifici di esperti provenienti
dall'ambito industriale e, se possibile, visite a sedi produttive di alcune 
industrie.
Il corso si suddivide in quattro moduli, elencati in ordine (decrescente) di tempo
dedicato:
Tecniche di progetto di sistemi affidabili (tecniche di tolleranza ai guasti,
hardware e software, e tecniche di valutazione dell'affidabilita`)
Linguaggio di programmazione Ada, sua evoluzione e suo utilizzo industriale.
Applicazioni industriali dei metodi formali di specifica e verifica.
Microcontrollori e loro applicazioni industriali.

This course wants to illustrate to the Information Engineering student
some aspects, which have not been dealt with in other courses, that have a
specific interest inside the industrial process for (software as well as 
hardware) system development.
In particular, the course addresses those industrial sectors (avionic, 
space, railway, telecommunications,...) where software is not the primary 
product, but is a component (more and more important, also in terms of 
production costs) of the produced systems, which are often very complex, 
in which the hardware and software components are often developed in 
parallel, with high reliability and availability requirements.
For this purpose some specific lectures held by invited industrial experts will
be included, as well as, if possible, visits to industrial sites.
The course includes as four main topics (from the most developed to the 
least one):
Reliable systems design techniques (fault-tolerance, both hardware and software, 
reliability evaluation).
Ada programming language, its evolution and its industrial usage.
Industrial applications of formal specification and verification methods.
Microcontrollers and their industrial applications.