Modellazione ed Analisi di Sistemi complessi

Egon Börger        Tel. 0502212799

Corsi dei primi tre anni

Insegnare il concetto di macchina virtuale ed un metodo per le sue applicazioni per il disegno e l'analisi di sistemi complessi, partendo da livelli astratti e portando per via di raffinamenti successivi a codice eseguibile.

Definizione di macchine virtuali (Abstract State Machines, ASM).

Applicazioni

1. alla semantica di linguaggi di programmazione e la loro implementazione (compilazione dimostrata corretta),
   
2. alla specifica e verifica di protocolli (protocolli di rete, protocolli di trasferimento dati, membership protocol, etc.),
   
3. alla modellazione e verifica di architetture (pipelining di architetture RISC),
   
4. a embedded systems

Definition of virtual machines (Abstract State Machines) and their applications for design and analysis of programming language platforms (semantics and implementation), protocols, architectures, embedded systems.

Definizione di macchine virtuali (Abstract State Machines, ASM).

Applicazioni

1. alla semantica di linguaggi di programmazione e la loro implementazione (compilazione dimostrata corretta),
   
2. alla specifica e verifica di protocolli (protocolli di rete, protocolli di trasferimento dati, membership protocol, etc.),
   
3. alla modellazione e verifica di architetture (pipelining di architetture RISC),
   
4. a embedded systems. Lavoro individulae da parte degli studenti per specificare ed analizzare un sistema di loro scelta.

Abstract State Machines. A Method for High-Level System Design and Analysis by Egon Boerger and Robert Staerk Springer-Verlag 2003 (vedi http://www.di.unipi.it/AsmBook/) Java and the Java Virtual Machine - Definition, Verification, Validation by R.Staerk, J. Schmid, Egon Boerger Springer-Verlag 2003 (vedi http://www.inf.ethz.ch/~jbook/) Materiale sulla pagina web del corso, vedi sezione Teaching in http://www.di.unipi.it/~boerger/

Scritto e orale