Attivitą di Ricerca

 

Interessi Principali

 

Sistemi Real-Time

L'attivitą di ricerca svolta riguarda principalmente le tecniche, gli strumenti e le metodologie di specifica
dei sistemi Real-Time. In particolare ha partecipato alla definizione e allo sviluppo di linguaggi di specifica basati sull'uso di logiche temporali del primo ordine quali TRIO/TC e ASTRAL.

 

Middleware

L'attivitą di ricerca riguarda principalmente l'uso della tecnologia CORBA sia da un punto vista della progettazione di sistemi distribuiti mediante la definizione di una metodologia di sviluppo per sistemi di Supervisione e Controllo, sia come tecnologia per federare ambienti di simulazione ad eventi discreti.

 

Verifica di Sistemi Safety Critical

L'attivitą di ricerca riguarda principalmente l'uso di tecniche di esecuzione simbolica per la verifica delle proprietą di sicurezza del software Safety Critical (avionico, controllo di processo etc.)

Partecipazione a Progetti di Ricerca Nazionali e Internazionali

 

Progetto UE ESPRIT I SEDOS

Progetto UE ESPRIT I DRAGON

Progetto UE ESPRIT II GOODSTEP

Progetto UE ESPRIT IV OpenDREAMS-I

Progetto UE ESPRIT IV LAW

Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo (CNR)

Progetto MPI 60% Strumenti per la specifica e la verifica di sistemi software in tempo reale

Progetto MURST Mosaico

Progetto ESPRIT IV OpenDREAMS-II (Responasabile scientifico per il Politecnico di Milano)

Progetto ESPRIT IV ASIA (Responsabile scientifico per il Politecnico di Milano)

Progetto MIUR-FIRB Tecnologie abilitanti per la Societą della conoscenza ICT (Responsabile Scientifico per l'Universitą dell'Insubria)