corso

Modellazione ed Analisi di Sistemi complessi

Codice:	AA244	Crediti:	6	Semestre:	1	Sigla:	MAS

Settore disciplinare:		INF/01 - Informatica

Docente

Egon Börger

Tel. 0502212799

Prerequisiti

Corsi dei primi tre anni.

NB. Il corso iniziera LA PRIMA SETTIMANA DI OTTOBRE.

Obiettivi di apprendimento

Far acquisire la padronanza di un metodo per modellazione ed analisi rigorose di requisiti per sistemi software complessi e della trasformazione di questi modelli a codice eseguibile via raffinamenti successivi.

Descrizione

Per il 2007/2008 il corso sara tenuto in stile seminariale con l’ intenzione di

coinvolgere gli studenti in maniera attiva e continuativa nel apprendimento della materia durante lo svolgimento del corso, concordando con ognuno un compito concreto preciso da svolgere, individualmente o in gruppi di due, durante il semestre,
stimolare l'interesse con la possibilità offerta di pubblicare le soluzioni migliori sul sito del AsmCenter asmcenter.org
offrire agli studenti la possibilità di imparare come presentare un lavoro ad un pubblico di esperti, come ognuno dovra fare per la sua tesi e poi nella sua vita professionale.

Contenuto del corso:

esame di vari casi di studio, tipici per contesti diversi di campi di applicazione come: control programs (traffic control, access control, mechanical device control, etc.), transmission and synchronisation protocols, routing algorithms for mobile agents, etc.

Testo di base:

J-R Abrial: EventB-Book (di prossima pubblicazione con Oxford University Press). Il testo viene messo a disposizione dei partecipanti da parte del docente

Strumento: sistema CoreAsm (open source), basato su Eclipse e scaricabile da http://www.coreasm.org

seminar presentations of themes chosen by the students, typically taken from chapters of the forthcoming Event-B book by J-R Abrial (draft manuscript will be provided, courtesy of the author)

Indicazioni metodologiche

Svolgimento: dopo una introduzione al metodo da parte del docente, ogni partecipante, o due partecipanti che lavorano insieme ma con responsabilità ben identificata della parte di ciascuno, per un caso di studio di loro scelta, che può essere preso dal EventB-Book, sviluppano (dove necessario con l'aiuto del docente) un modello di requisiti, raffinandolo dove possibile ad un modello eseguibile in CoreAsm, e lo presentano in un seminario per tutti i partecipanti del corso. Le soluzioni migliori saranno documentate al sito del AsmCenter e le soluzioni in CoreAsm rese disponibili ai responsabili di CoreAsm per l'eventuale documentazione sul sito di CoreAsm (se gli studenti sono d'accordo)

Programma

vedi sopra

E’necessaria la registrazione dei partecipanti con il docente (anche via posta elettronica a boerger@di.unipi.it) entro l’inizio del corso. A partire da giugno e' possibile di registrarsi e di concordare un tema per l'attività seminariale, per chi vuole sfruttare il periodo estivo per la preparazione del suo lavoro.

Bibliografia