Laboratorio di Ingegneria Informatica
Mini-progetti ("tesine") relativi a Sistemi Embedded e Real-Time
Si richiede di individuare un sistema (già esistente o meno) classificabile come Real-time (Hard o Soft RT) e/o Embedded distribuito con nodi che comunicano con modalità event-triggered.
Possono fare parte del sistema anche sottosistemi time triggered, che vengono però visti come black-box. Il sistema deve essere anche classificabile come Safety critical secondo un grado che deve venire stimato dagli estensori dell’elaborato.
Nella fase di analisi del sistema si richiede di individuare in primo luogo la topologia del sistema, ovvero dove si trovano i nodi del sistema distribuito e in quale maniera sono connessi e comunicano. Si richiede di individuare funzionalità e vincoli RT, ovvero cosa deve essere fatto e in quali tempi e cosa avviene nel caso tali vincoli non vengano rispettati.
Il progetto deve essere corredato da una relativa modellazione del sistema, o di una parte di esso, attraverso automi a stati finiti Sttecharts Parte-Intero:
Si richiede inoltre di evidenziare l’implementazione di una strategia di fault-management e di modellare una semplice proprietà di sicurezza che riguardi possibilmente anche aspetti temporali e mostrare che viene soddisfatta dal sistema modellato a stati.
Saranno inoltre disponibili kit quali Arduino (http://arduino.cc/) per implementare parti di sistema su schede dedicate e svolgere simulazioni di funzionamento (opzionale).
