News

UTRC Embedded Technologies Group - Master Thesis Proposal The Lab Advanced Laboratory on Embedded Systems (ALES) is a United Technologies Research Center (www.utrc.utc.com) company with offices in Rome and Trento, Italy, specialized in model based technologies and methodologies for the design and verification of distributed safety critical embedded systems. ALES competences cross several application domains, such as avionics, refrigeration and building automation, and several disciplines, such as formal and run-time methods for verification of hybrid and discrete systems, requirement, safety and security analyses, design flow integrations, and software-data-knowledge engineering. ALES provides services and innovation to an international network of UTC customers and offers a...

Il linguaggio DALI è una estensione del linguaggio Prolog per lo sviluppo di sistemi intelligenti multi-agente.

Il lavoro di tesi proposto può coprire una delle seguenti esigenze:

. progettazione ed implementazione dell'interfaccia utente per lo sviluppatore

. progettazione ed implementazione dell'interfaccia utente per l'utilizzatore

. ottimizzazione dell'interprete

. porting su Qu-Prolog

Gli interessati possono contattare il prof. GIovanni De Gasperis via email o all'interno 4457.

Dear All,

please find here:

http://www.pomante.net/sito_gg/Thesis.htm

an updated list of topics for possible Thesis/Projects.

A thesis on the following topic is available “Collaborative Model Driven Engineering: a study on collaborative model-driven engineering tools”  Description: Context: Collaborative software engineering (CoSE) deals with methods, processes and tools for enhancing collaboration, communication, and co-ordination (3C) among team members. CoSE can be applied to different artifacts towards the engineering of software systems. When focusing on software design, considered to be one of the key aspects of software engineering [7] , multiple stakeholders with different technical knowledge and background collaborate on the system design. In the context of CoSE, our definition of collaborative MDSE approach is a method or technique in which multiple stakeholders manage,...

E’ disponibile una tesi su tematiche di “Digital Twin: Analisi di Ambienti per la Modellazione Digitale di spazi 2D e 3D”  Descrizione: Il termine Digital Twin viene utilizzato per rappresentare la relazione esistente tra lo spazio fisico e la sua rappresentazione digitale. Le entità dello spazio fisico da prendere in considerazione nel contesto di questo lavoro di tesi sono gli ambienti in cui sono collocate le opere (es. sale di musei associate a piani di edifici, aree in spazi aperti, ecc.). In tale spazio possono essere collocati i beni culturali. Informazioni sugli spazi e sulle opere vanno quindi digitalizzate e mappate le une sulle altre. Si pensi ad un planner di visita guidata in cui si voglia digitalizzare sul web o su applicazioni mobile le...

Argomento 1: Asset digitali - Custodia e gestione di chiavi private  La diffusione degli asset digitali e' in continua crescita: iniziata con le cryptocurrencies (e.g., Bitcoin), si e' estesa in ambito finanziario con le ICO/STO (e.g., azioni societarie) e ultimamente nel ridefinire le monete tradizionali nel mondo digitale (i.e., progetti stablecoin come JP Morgan e Facebook). Mentre tutto cio' apre nuovi scenari, porta allo stesso tempo nuove problematiche, specialmente legate alla custodia delle chiavi private (necessarie per accedere agli asset digitali) e loro gestione. Smarrimenti, furti, e eredita' sono situazioni della vita reale che vanno risolte per poter miglioreare l'adozione degli asset digitali. Questa tesi mira ad analizzare sistemi di...