Lectures ISS Bologna 2025-26

• Demo Send-Receive-Emit.

1. definere un modello qak di un sistema firefly che simula il comportamento di una lucciola.
2. estendere il modello per la simulazione di 3 lucciole
3. estendere il modello per la simulazione di 100 lucciole

• fireflyModel0.qak: prima formalizzazione di una lucciola come risultato della analisi
• Evoluzione del modello della analisi: uso di attori External e della primitiva create

Costruire un sistema software che comanda un Differential Drive Robot (DDR) in modo che, 
partendo dalla posizione iniziale HOME, il robot si sposti lungo il perimetro di una stanza rettangolare vuota. 
Il DDR si deve fermare quando tornato in HOME.

Il DDR è anche sensibile ai dati rilevati da un Radar.
Quando il Radar rileva un 'intruso' a una distanza minore di una distanza prefissata ``DMIN``:
  
  - se il DDR si sta muovendo , il DDR si ferma fino a che il Radar non rileva più un 'intruso' così vicino 
  - se il DDR è fermo in HOME, il DDR ruota su sè stesso fino a che un 'intruso' così vicino scompare
	

• Un modello a comportamento orchestrato
• Un modello a comportamento coreografato. Il meccansimo qak per lo stream processing: emitlocalstream e subscribeTo

• Specifica di Un modello dei requisiti
• Indivduazione del Core Business applicativo
• Verso un Piano per testing automtizzabile del Core Business
• Confronto con quanto elaborato dagli studenti in merito alla analisi dei requsiti