Lunedì 29 Febbraio 2016 si terrà lo SCRT DAY 2016, l'evento finale del corso di Sistemi Critici e Real-Time del Corso di Laurea Magistrale in Informatica.

Come nelle precedenti edizioni, gli studenti del corso terranno delle presentazioni su degli articoli di ricerca selezionati dalla letteratura, attinenti agli argomenti del corso. Oltre a costituire parte dell'esame, lo SCRT DAY è un'opportunità per chiunque sia interessato di avere una panoramica su lavori importanti nell'ambito dei sistemi critici e real-time.

L'evento si terrà a partire dalle 9.20 presso l'Aula Tricerri del Dipartimento di Matematica e Informatica "Ulisse Dini", Viale Morgagni 67/A. È aperta e benvenuta la partecipazione di esterni che vogliano assistire alle presentazioni, ma per motivi logistici è obbligatoria la prenotazione, da richiedere tramite e-mail a Paolo Lollini, This e-mail address is being protected from spambots. You need JavaScript enabled to view it , entro Lunedì 15 Febbraio.

Gli articoli che verranno approfonditi quest'anno sono:

1. C. M. Krishna. “Fault-Tolerant Scheduling in Homogeneous Real-Time Systems”, ACM Computing Surveys, Vol. 46, No. 4, Article 48, Pages 1-34, March 2014.
2. Robert I. Davis , Alan Burns. «A survey of hard real-time scheduling for multiprocessor systems». ACM Computing Surveys (CSUR), Volume 43 Issue 4, Pages 1-44, October 2011.
3. Aggeliki Sgora, Dimitrios J. Vergados, Dimitrios D. Vergados. «A Survey of TDMA Scheduling Schemes in Wireless Multihop Networks», ACM Computing Surveys, Vol. 47, No. 3, Article 53, Pages 1-39, April 2015.
4. Varun Chandola, Arindam Banerjee, Vipin Kumar. «Anomaly detection: A survey», ACM Computing Surveys (CSUR), Volume 41 Issue 3, Pages 1-58, July 2009.
5. Robert Mitchell, Ing-Ray Chen. «A survey of intrusion detection techniques for cyber-physical systems», ACM Computing Surveys (CSUR), Volume 46 Issue 4 , Pages 1-29, April 2014.
6. Felix C. Freiling, Rachid Guerraoui, Petr Kuznetsov. «The failure detector abstraction», ACM Computing Surveys (CSUR), Volume 43 Issue 2, Pages 1-40, January 2011.
7. Héctor Pérez, J. Javier Gutiérrez. «A Survey on Standards for Real-Time Distribution Middleware». ACM Computing Surveys (CSUR), Volume 46 Issue 4, Pages 1-39, April 2014.
8. Hermann Kopetz, G. Bauer. «The time-triggered architecture”, Proceedings of the IEEE, Volume:91, Issue: 1, Page(s): 112 – 126, 2003.
9. Rajshekar Kalayappan, Smruti R. Sarangi. «A survey of checker architectures», ACM Computing Surveys (CSUR), Volume 45 Issue 4, Pages 1-34, August 2013.

Si allega il programma della giornata.