Progettazione di un componente software PLC di una macchina automatica per la lavorazione del legno con approccio Model-Based Design

La tesi consiste nell’applicazione del Model-Based Design alla progettazione di un software volto al controllo di una macchina automatica per la lavorazione del legno. Gli obbiettivi di questo lavoro sono: - progettare attraverso uno standard: si vuole verificare l’efficacia di un metodo di progettazione con delle fasi ben definite; - concentrare il più possibile la progettazione del software sul modello: si vuole progettare la logica di controllo interamente per via grafica e lasciare a un software il compito di tradurre i diagrammi in codice; - diminuire il tempo di test in macchina: si vuole ridurre il tempo di test del software di controllo in macchina grazie a una verifica efficace del codice in ambiente simulato. L’oggetto che si è scelto di modellare è un dispositivo binario con doppia retroazione: esso descrive il comportamento di molti aspetti della macchina ma in particolare si è scelto di concentrarsi sull’attuatore di una pneumatica bistabile con sensori di attivo e disattivo. I tool utilizzati nella progettazione sono Mechatronic UML e TITAN. Si è fatto estensivo uso del linguaggio Statechart di David Harel e della semantica di modellazione di MechatronicUML. Le fasi del Model-Based Design sono: analisi dei requisiti del prodotto, stesura degli scenari di utilizzo, stesura del modello, generazione del codice a partire dal modello, test del codice generato in ambiente simulato, adattamento del codice al sistema PLC esistente e implementazione e test in macchina.