Lo scopo principale del tirocinio sarà la partecipazione alla scrittura di una Systematic Literature Review (SLR) su sistemi di reasoning per Smart Home. Parte del lavoro sarà incentrata sull'estrazione e sull'analisi dei dati provenienti da una lista di articolì scientifici già selezionati.

Il lavoro avrà uno dei seguenti obiettivi:

Lachesis è una suite di test per sistemi in tempo reale basati sul kernel Linux, sviluppata dal gruppo di ricerca dell'AIRT Lab. Scopo di Lachesis è quello di fornire un set di test affidabili per la valutazione delle funzionalità e delle performance di sistemi come RTAI, Xenomai, PREEMPT_RT e, naturalmente, del kernel Linux stesso.

Al momento Lachesis è utilizzato solo su piattaforme di tipo x86. Tuttavia l'hardware tipicamente utilizzato nei sistemi embedded è del tutto differente. Da qui l'esigenza di portare Lachesis alle architetture tipiche delle piattaforme embedded.

"Oltre all'architettura hardware della macchina fisica, ai meccanismi di basso livello del kernel e alle primitive di sistema, vi sono altri fattori che possono determinare la prevedibilità di un sistema real-time. Quando si programma ad alto livello, l'espressività e la semantica del linguaggio di programmazione con cui si implementa l'applicazione gioca un ruolo essenziale sulla prevedibilità di risposta del sistema.

Obiettivo del presente lavoro è quello di studiare e realizzare un prototipo di applicazione distribuita per il riconoscimento e l'identificazione di volti, utilizzando la libreria OpenCV e confrontando le prestazioni del sistema in base alla particolare implementazione dello stack di rete usato. In particolare si prevede di utilizzare lo stack di rete standard di Linux e l'implementazione hard real-time RTnet per patch Xenomai.