Domande d'esame VERIFICATO
LAB MAS 8 settembre 2022
70 visualizzazioni
Nessun voto ancora
Stai vedendo l'anteprima delle prime pagine. Il file completo è gratis: registrati per leggerlo tutto.
Di cosa parla
- Il semaforo pedonale si guasta con una probabilità del 20% e quello per la viabilità con una probabilità del 50%, entrambi lampeggiano in caso di guasto.
- Se i semafori non sono guasti, il semaforo delle macchine diventa rosso quando viene premuto il pulsante e il semaforo dei pedoni diventa verde; altrimenti, il semaforo delle macchine rimane verde e quello dei pedoni rosso.
- Specificare un invariante significativo per il sistema, esistenza di uno stato con entrambi i semafori lampeggianti, esistenza di uno stato a partire dal quale non sono mai lampeggianti, e che se il semaforo delle macchine è rosso quello dei pedoni deve essere verde.
Questo appunto è gratis. Registrati in 30 secondi per leggere tutte le pagine e scaricarlo.