| | | corso | | | |
Modellazione ed Analisi di Sistemi complessi
Codice: | AA244 | Crediti: | 6 | Semestre: | 1 | Sigla: | MAS | |
|
Settore disciplinare: | INF/01 - Informatica |
Docente
Prerequisiti
Corsi dei primi tre anni
Obiettivi di apprendimento
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.
Descrizione
Definizione di macchine virtuali (Abstract State Machines, ASM).
Applicazioni
- alla semantica di linguaggi di programmazione e la loro implementazione (compilazione dimostrata corretta),
- alla specifica e verifica di protocolli (protocolli di rete, protocolli di trasferimento dati, membership protocol, etc.),
- alla modellazione e verifica di architetture (pipelining di architetture RISC),
- a embedded systems
- a servizi web
English Description
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,web services.
Programma
Definizione di macchine virtuali (Abstract State Machines, ASM).
Applicazioni
- alla semantica di linguaggi di programmazione e la loro implementazione (compilazione dimostrata corretta),
- alla specifica e verifica di protocolli (protocolli di rete, protocolli di trasferimento dati, membership protocol, etc.),
- alla modellazione e verifica di architetture (pipelining di architetture RISC),
- a embedded systems e servizi web. Lavoro individuale da parte degli studenti per specificare ed analizzare un sistema di loro scelta.
Bibliografia
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/
Modalità di esame
Scritto e orale.
Alternativa (numero di studenti interesati permettendo): seminario su un tema scelto da parte dello studente.