WP2: casi d’uso e specifiche

  • Linguaggi e strumenti di modellazione e specifica 

WP3:Sperimentazione e sviluppo

  • Analisi di conformità dei requisiti 
  • Automatizzazione di analisi e sviluppo di piattaforme eterogenee 
  • Generazione automatica di test 
  • Introduzione al Model Checking *
  • KeYmaeraX: tutorial * 
  • Modellazione di CPSs con Ptolemy * 
  • Progettazione e modellazione di sistemi basata su contratti *

WP4: Formazione, trasferimento e diffusione dei risultati

  • Primo comunicato semestrale 
  • Secondo comunicato semestrale 
  • Videosorveglianza: introduzione e aspetti tecnologici *

*Riservato alle aziende del cluster