SOFTWARE AND KNOWLEDGE-BASED SYSTEMS (SaKS)
DIRS - Device Infomobility Reference Station
Activity time range: 2014
Project leader: Mauro Mazzei
Source of funding: Ministry of Reserach

Obiettivo del progetto è la realizzazione di un dispositivo DIRS (Device Infomobility Reference Station) a mezzo di rete infrastrutturale GPS/GNSS in grado di geolocalizzare dispositivi mobili con estrema precisione ed integrare servizi di infomobilità per la sicurezza e la salvaguardia individuale.

Project home page
Health @ Home
Activity time range: 2014
Project leader: Ricci F
Source of funding: Ministry of Reserach

Il Progetto Health at Home si propone di sviluppare prodotti e processi innovativi per creare un’assistenza al cittadino basata su una rete di servizi sanitari e sociali integrati e dispositivi/sistemi interoperabili. L'attività del CNR, svolta dallo IASI in collaborazione con l'IRPPS, consisterà nello studiare ed individuare indicatori che sintetizzino e permettano una corretta correlazione dei modelli che rappresentino scenari e/o identifichino le nuove specifiche da integrare/collegare ai modelli basati su RIM (Reference Information Model)-HL7. L’attività è incentrata sull’integrazione del FSE (EHR) del Fascicolo Sanitario Personale (FSP) nell’infrastruttura Cloud, la quale necessita del modello di business appropriato seguendo una logica di infrastruttura SOA affinché i diversi dispositivi implementino le informazioni relative alla salute del cittadino e che saranno in grado di monitorare la qualità della vita, i comportamenti e gli ambienti circostanti. L’obiettivo è quello di elaborare un modello più completo che copra tutte le fasi del processo di terapia di reparto e che si basi su un flusso informatico per la formalizzazione del percorso di cura e dei rischi collegati, in modo da identificare i possibili/eventuali miglioramenti rispetto ai potenziali errori che possono verificarsi. L’attività di ricerca verrà, in particolare, focalizzata alllo studio di interfacce utenti flessibili e idonee ad astrarre le complessità funzionali dei moduli componenti e su metodologie di decisione di tipo “bio-inspired”. Per procedere su queste linee occorrerà attuare la costruzione di specifici tesauri multilingua e multiregistro per la rappresentazione strutturata e l’accesso alla conoscenza di dominio.


Sp6
Activity time range: 2002
Project leader: Missikoff M.
Source of funding: Ministry of Reserach

Web Learning per la qualità del capitale umano


Trans-ICT
Activity time range: 2002
Project leader: Missikoff M.
Source of funding: Public Administration

The Trans-ICT Project, aimed at providing the managers of small and medium enterprises (SME) operating in the Regione Lazio, with a reference framework for supporting them in the transition towards the Net Economy. 


MUS&O MUltiSensoriale & Olografico
Activity time range: 2017 - 2019
Project leader: Mauro Mazzei
Source of funding: European Community

Bando Horizon 2020 - PON I&C 2014-20

CUP N. B89J17000380008

Il progetto trasferisce all’industria ICT tecnologie e sistemi creativi ad alto tasso di innovazione, finalizzati a facilitare l’apprendimento in rete nel campo dei beni culturali e promuove l’accesso e la fruizione del patrimonio artistico, culturale e turistico mediante un prototipo dimostrativo. Con questo progetto si vuole mettere a punto una metodologia che pur non rinunciando al rigore della ricerca storiografica consenta di realizzare prodotti multimediali basati sulle tecnologie dell’informazione e della comunicazione anche in ambienti di realtà aumentate e sistemi interattivi di proiezioni olografiche per facilitare l’apprendimento culturale l’accesso e la fruizione di beni culturali, artistici e turistici.Si vuole realizzare un progetto dimostrativo idoneo a trasferire all’industria ICT tecnologie e sistemi creativi secondo nuovi paradigmi per i mezzi di comunicazione e nuove forme di contenuto, includendo servizi per l'intrattenimento, la creazione di contenuti digitali interattivi e accesso agli stessi tramite la tecnologia mobile e la fruizione di contenuti multimediali, multisensoriali e di sistemi di interazione di proiezione olografica. L’obiettivo da raggiungere serve per migliorare l’arricchimento delle esperienze degli utilizzatori e visitatori, favorendo anche l’apprendimento adattivo e contestualizzato di risorse e mezzi culturali e scientifici digitali in un ambiente multilingue e multiculturale in particolar modo nel settore che riguarda il patrimonio culturale.

Costi previsti dal progetto = € 463.680,00

Contributo diretto alla spesa = € 278.208,00

 


INSPIRE - Innovative Services for Fragile People in Rome
Activity time range: 2015 - 2017
Project leader: Elaheh Pourabbas
Source of funding: European Community

Il Progetto Innovative Services for Fragile People in Rome-INSPIRE è il primo progetto co-finanziato dalla Commissione Europea (DG. Employment and Social Inclusion) a Roma Capitale e risponde alla forte esigenza di sostenere il percorso di riforma dei servizi per la fragilità sociale, avviato dall'Amministrazione Capitolina con la Memoria di Giunta n. 34 del 27 giugno 2014 e con la Deliberazione di Giunta Capitolina del 18 giugno 2015. 

Il progetto intende realizzare un sistema integrato di servizi ed interventi in grado di rispondere ai bisogni della popolazione fragile a partire anche dalle risorse degli stessi beneficiari e delle reti di prossimità creando così un circolo virtuoso di promozione dell'imprenditorialità sociale in linea con il recente processo di riforma del Terzo Settore avviato dal nostro Paese.

INSPIRE è un progetto presentato dal Comune di Roma in collaborazione con vari partner, tra cui il CNR-IASI, il cui obiettivo principale è quello di creare una smart community che ruoti intorno al cittadino fragile. Le azioni di sistema previste sono:

- Individuazione di un nuovo sistema di valutazione dei bisogni, al fine di identificare meglio le diverse necessità e dare risposte tempestive e appropriate;

- Proposta di nuove procedure amministrative per la definizione dei criteri di accesso e di compartecipazione alla spesa dei servizi, introducendo contratti di prestazione individualizzati

Mappatura di edifici dismessi o sottoutilizzati da destinare ad uso sociale;

- Implementazione di una centrale operativa a livello di quartiere per il monitoraggio dei casi socio sanitari complessi sperimentando il collegamento con le Porte Uniche di Accesso di ASL/Municipi

- Realizzazione di un sistema digitale condiviso di controllo e monitoraggio della popolazione fragile, collegando professionisti del sistema di assistenza sanitaria locale e i servizi di assistenza domiciliare;

- Sperimentazione in 5 Municipi di servizi innovativi come il Tutoring, Laboratori socio-occupazionali e Condomini Sociali

Project home page
INDAM-GNCS: Generazione automatica delle asserzioni per la verifica di programmi da semantiche formali
Activity time range: 2015 - 2016
Project leader: Maurizio Proietti
Source of funding: Ministry of Reserach

 

Questo progetto ha sviluppato varie metodologie e tecniche per la verifica automatica del software mediante metodi formali basati sulla logica matematica. L'aspetto principale affrontato è consistito nella generazione di formule logiche, chiamate in letteratura condizioni di verifica, la cui soddisfacibilità implica la correttezza del programma. È stato proposto un metodo per generare automaticamente tali formule a partire dalla specifica formale della semantica del linguaggio di programmazione e della logica in cui è espressa la proprietà da verificare. Le condizioni di verifica generate sono espresse nel linguaggio delle clausole di Horn con vincoli. Le clausole sono poi fornite in input a sistemi (dimostratori automatici di teoremi) che provano, in modo parzialmente automatizzato, la loro soddisfacibilità e, quindi, la correttezza del programma.

Il metodo proposto è basato su trasformazioni delle formule che rappresentano la semantica e la proprietà da verificare. Un vantaggio essenziale del metodo trasformazionale è che esso permette di generare condizioni di verifica in modo parametrico rispetto alla semantica, senza richiedere dimostrazioni ad-hoc di correttezza, che invece è assicurata dall'uso di opportune regole di trasformazione.

Il progetto ha sviluppato un sistema prototipale, chiamato VeriMAP, che permette di applicare automaticamente molte delle tecniche sviluppate. VeriMAP ha varie funzionalità: (1) la generazione automatica delle condizioni di verifica basata sul metodo di trasformazione (varie semantiche del linguaggio di programmazione possono essere fornite in input per questo task), (2) la linearizzazione automatica delle condizioni di verifica in opportune classi di programmi, (3) la traduzione delle condizioni di verifica nel formato SMT-lib, che è lo standard per molti tool per la verifica automatica di soddisfacibilità di clausole di Horn con vincoli. L’efficacia di VeriMAP è stata mostrata per mezzo di un’estensiva valutazione sperimentale.

Il progetto è stato finanziato dal Gruppo Nazionale Calcolo Scientifico (GNCS) dell INdAM.

 

 


TECA, TECNOLOGIA E CULTURA
Activity time range: 2015 - 2016
Project leader: Mauro Mazzei
Source of funding: Public Administration

Il Progetto TECA offre tre tipologie di servizi che sintetizziamo di seguito:

  • Servizi in Micro Locazione. Il Visitatore che all’interno di un Museo  o nel parco (all’aperto dunque) di una dimora storica si avvicini ad un’opera d’arte, un quadro, un vaso, una statua, ecc. può essere localizzato da TECA che immediatamente notifica allo smartphone del visitatore i servizi disponibili, adatti al suo profilo, ad esempio, scaricare la guida informativa dell’opera o il prezzo di un volume dedicato all’opera, ecc.
  • Servizi in Macro Locazione. Il Visitatore, nei pressi del Museo o del parco dell’esempio precedente, ha a disposizione, sul suo smartphone, dei servizi di condivisione e scambio con gli atri visitatori nella stessa locazione (es: chat), oppure servizi informativi come il costo delle guide al Museo, il menù del ristorante interno, ecc. Anche questi servizi vengono erogati tra quelli adatti al suo profilo.
  • Servizi di monitoraggio in Micro Localizzazione. Un meccanismo di gestione di sensori può attivare delle risposte automatiche al superamento di alcune soglie di temperatura, umidità, rumore, ecc. Il dispositivo BLED può servire alla direzione del museo per monitorare l’avanzamento dei gruppi lungo il percorso. In questo modo è possibile coordinare le visite guidate in ambienti in cui il numero di persone non può superare certe soglie per stanza.

BIVEE: Business Innovation and Virtual Enterprise Environment
Activity time range: 2011 - 2014
Project leader: Francesco Taglino
Source of funding: European Community

The objective of the project was to develop a rich framework and platform to promote innovation in virtual enterprise environments. The role of the IASI was the design and develop a semantics-based infrastructure for supporting: (i) collaborative open innovation through knowledge building, management and sharing; (ii) enterprise systems interoperability within a Virtual Enterprise.

Project home page
SENTINEL: Semantic ENTerprIse NEtcentric Layer
Activity time range: 2011 - 2013
Project leader: Francesco Taglino
Source of funding: Public Administration

The SENTINEL project was funded under the POR FESR Lazio programme. The main objective of the project was to develop a semantics-based platform for supporting software reuse in an enterprise context.


CNR-SOGEI: Ristrutturazione Ontologica del Dizionario Fiscale Integrato, strumenti e processi
Activity time range: 2011 - 2012
Project leader: Maurizio Proietti
Source of funding: Other sources

Il progetto ha l’obiettivo di studiare e sperimentare l’utilizzo delle tecnologie semantiche come strumento per la rappresentazione e l’integrazione di dati, servizi e processi nel contesto del patrimonio informativo di SOGEI.



ENSEMBLE - Envisioning, Supporting and Promoting Future Internet Enterprise Systems Research through Scientific Collaboration
Activity time range: 2010 - 2012
Project leader: Missikoff M.
Source of funding: European Community

ENSEMBLE combines systemic approaches, scientific multi‐disciplinary, innovative Web 2.0 collaboration tools with a community‐driven mentality, to significantly increase the impact of the future internet enterprise systems domain


Bilateral Project CNR-CNRS: Verification of Infinite State and Real Time Systems
Activity time range: 2010 - 2011
Project leader: Maurizio Proietti
Source of funding: CNR

One of the most relevant challenges of the current research in the field of software verification consists in designing techniques that are able to analyse the correctness properties of systems with an unbounded number of states, the so-called infinite state systems. 

The overall objective of this project is to develop techniques and tools for the verification of infinite state systems by making use of: (i) constraint logic programming and (ii) program transformation. The researchers of the CNRS and CNR teams participating in this proposal  have been among the first to advocate the use of constraint logic programming and program transformation for the verification of infinite state systems.

The transformational verification method works as follows: given an infinite state system and a correctness property we want to prove, the first step consists in the construction of a constraint logic program that encodes that system and that  property. Constraints allow us to easily represent in a symbolic way infinite sets of states and the transition relation between states. The temporal property of interest is encoded by means of a suitable query to the constraint logic program. However, since in general the set of states which are reachable by the system can be infinite, it may happen that the model of this constraint logic program is infinite and the standard techniques for query evaluation do not converge.

The transformational verification method applies to the program that encodes the system and the property to be verified, a sequence of transformations that preserve the validity of that property, with the objective of obtaining a final program where the property is defined by a finite set of constraints that can be solved by a special purpose constraint solver.


COIN - COllaboration and INteroperability for networked enterprises (IP, Integrated Project - FP7-IST216256)
Activity time range: 2008 - 2011
Project leader: Missikoff M.
Source of funding: European Community

The project aims to integrate, compose and mash-up in a secure and adaptive way existing and innovative to-be developed Enterprise Interoperability and Enterprise Collaboration services.

Project home page
FIRB TOCAI.IT - Tecnologie Orientate alla Conoscenza per Aggregazioni di Imprese in InterneT
Activity time range: 2006 - 2010
Project leader: Anna Formica
Source of funding: Ministry of Reserach

The project aims at developing an integrated group of methodologies, techniques, and software systems based on the most advanced knowledge technologies and suitable to perform on-the-field analysis, specification, implementation, and evaluation of new enterprise organization models in the “internetworked enterprise” perspective. Funds MIUR.


SINERGIA - Sistema INnovativo di Evoluzione delle tecnologie di Rete per la Gestione Industriale dell'Azienda
Activity time range: 2008 - 2009
Project leader: Missikoff M.
Source of funding: Domestic private companies

Development of an ontology-based prototype model for supporting the planning and control of a software project, organized in accordance with the RUP methodology.


LD-CAST - Local Development Cooperation Actions enabled by Semantic Technology (FP6-2004-IST-4 No. 26919)
Activity time range: 2006 - 2008
Project leader: Missikoff M.
Source of funding: Domestic private companies

The project aims at enabling cross border cooperation between European chambers of commerce, in order to support the development of private company initiatives.


LEMAIA - Learning Educational Methodologies: An Innovative Approach (eLearning Programme EACEA, 2007-2008)
Activity time range: 2007 - 2008
Project leader: Missikoff M.
Source of funding: Other sources

The project’s objective is to provide information and digital literacy on eLearning in collaboration with subject specialists. To this end, it aims at creating a community of teachers developing and exchanging learning objects across Europe by using advanced tools as knowledge management systems and ontology-based tools.


ONTOMAN - Metodologia per la costruzione di bridge sulla base di ONTologie di dominio della MANutenzione impianti industriali
Activity time range: 2007 - 2008
Project leader: Missikoff M.
Source of funding: Ministry of Reserach

Development of a an ontology-based platform for business documents reconciliation.


Q@-KIT
Activity time range: 2006 - 2008
Project leader: Carlo Gaibisso
Source of funding: European Community

Dissemination of Quality in Education and Training in a More Competitive and Dynamic Europe.

Project home page
ATHENA - Advanced technologies for interoperability of heterogeneous enterprise networks and their applications (FP6-IST-2002-2.3.1.9)
Activity time range: 2004 - 2007
Project leader: Missikoff M.
Source of funding: European Community

ATHENA aims to be the most comprehensive and systematic European research initiative in IT to remove barriers to interoperability, to transfer and apply the research results in industrial sectors, and to foster a new- networked business culture.

Project home page
INTEROP - Interoperability Research for Networked Enterprises Applications and Software - (IST-2003-508011)
Activity time range: 2003 - 2007
Project leader: Missikoff M.
Source of funding: European Community

Network of Excellence on the ESA interoperability; an instrument for strengthening excellence of European research in interoperability of enterprise applications, by bringing together the complementary competences needed to develop interoperability in a more global and innovative way.

Project home page
Metodi trasformazionali per la dimostrazione automatica di teoremi
Activity time range: 2005 - 2007
Project leader: Maurizio Proietti
Source of funding: CNR

I metodi di dimostrazione automatica dei teoremi hanno l'obiettivo di provare in maniera meccanica che una formula e' una conseguenza logica di un insieme di assiomi. Una delle applicazioni piu' rilevanti della dimostrazione automatica dei teoremi consiste nella prova automatica di proprieta' di correttezza di sistemi software.

In questa ricerca si propone lo studio di metodi trasformazionali di prova, cioe' di metodi basati su trasformazioni degli assiomi che conservano l'insieme delle conseguenze logiche. Tali metodi consentono di utilizzare le tecniche sviluppate negli ultimi anni nel campo della trasformazione dei programmi (in particolare, programmi logici con vincoli), che hanno raggiunto un notevole livello di automazione.


NOE INTEROP: Interoperability Research for Networked Enterprises Applications and Software
Activity time range: 2003 - 2007
Project leader: Missikoff M.
Source of funding: European Community
The project was focussed on enterprise software applications interoperability by integrating three key thematic components: (i) Ontology to identify interoperability semantics in the enterprise; (ii) Enterprise Modelling to define interoperability requirements; (iii) Architectures and Enabling Technologies to provide implementation frameworks.


ONTODEV
Activity time range: 2006 - 2007
Project leader: Missikoff M.
Source of funding: Ministry of Reserach

Realization of an ontology-based knowledge management platform for supporting territorial development projects.


HARMONISE - Tourism Harmonisation Network (IST- 2000-29329)
Activity time range: 2003 - 2005
Project leader: Missikoff M.
Source of funding: European Community

The project concerns the definition and development of an ontology-based platform for the semantic interoperability of tourism organisation.

Project home page
WEB LEARNING - Web Learning per la qualita' del capitale umano
Activity time range: 2003 - 2004
Project leader: Missikoff M.
Source of funding: Ministry of Reserach

Study, design and development of methods and tools for web learning, aimed at facilitating the information literacy.


eGOV, Progetto Nazionale di Ricerca con oggetto e-government e enti locali.
Activity time range: 2002 - 2003
Project leader: Missikoff M.
Source of funding: Ministry of Reserach

The project’s aims are about the definition of a methodology and the realization of a prototype able to support semantic interoperability among administrative processes.


IDEAS - Interoperability Developments for Enterprise Application and Software roadmaps (IST-2001-37368)
Activity time range: 2002 - 2003
Project leader: Missikoff M.
Source of funding: European Community

The main objectives of the project was to create and to manage a Working Group for the definition of a strategic roadmap in the domain of enterprise application and software interoperability for the next ten year.

Project home page
FETISH: Federated European Tourism Information System Harmonization
Activity time range: 2000 - 2002
Project leader: Missikoff M.
Source of funding: European Community
The project was focused on the development of ontology-based platforms for supporting SMEs interoperability in the tourism sector.

Progetto Strategico "Museo Virtuale della Storia dell'Informatica in Italia"
Activity time range: 1998 - 2001
Project leader: Maurizio Proietti
Source of funding: CNR

L’obiettivo del progetto è stato quello di realizzare una base di dati multimediale contenente informazioni sulla storia dell'Informatica in Italia e di sviluppare una applicazione multimediale interattiva che sia in grado di presentare in forma ipertestuale tali informazioni. L'attività dell’unità operativa dello IASI è consistita nell'acquisizione, l'organizzazione e l'archiviazione del materiale documentale disponibile relativo alla prima macchina elettronica romana, la FINAC e la relativa integrazione con documenti tecnici e storici, immagini, rapporti scientifici ed interviste dei personaggi che hanno operato con tale macchina sia a livello tecnico che di ricerca. I materiali raccolti sono stati classificati in base a differenti categorie individuate nell'ambito del progetto, cioè personaggi, eventi, curiosità, ecc. in modo da realizzare un'omogeneità dei diversi argomenti e soggetti. Sono state descritte anche le principali caratteristiche della macchina CINAC usata come emulatore delle FINAC. Successivamente, le informazioni sono state inserite e memorizzate mediante un interfaccia del prototipo multimediale realizzato utilizzando l'ambiente di sviluppo del Macromedia Director6 - Multimedia Studio. Il prototipo realizzato permette la fruizione degli elementi così ottenuti da parte di utenti anche non specializzati.


"Sistemi di Intelligenza Artificiale di supporto alla rappresentazione e alla gestione di conoscenze Distribuite " (SIAD)
Activity time range: 1998 - 2000
Project leader: Anna Formica
Source of funding: CNR

La rappresentazione e la gestione dell'informazione assumono sempre piuù un ruolo centrale sia nelle attività produttive che in quelle di gestione e fornitura di servizi di una società moderna. Sempre più gli operatori e gli utenti di tali attività si trovano di fronte al problema della gestione di grosse quantità di dati frequentemente rappresentati in formati differenti, disponibili su media eterogenei spesso distribuiti sia geograficamente che all'interno di una stessa struttura.

Obiettivo del Progetto SIAD è quello dello studio di metodologie e strumenti di Intelligenza Artificiale che possano servire come supporto allo sviluppo di sitemi per la rappresentazione e gestione di informazioni multimediali distribuite.

In particolare si sviluppreranno metodologie e tecniche per la caratterizzazione, archiviazione e recupero di conoscenza grafico/pittorica distribuita, per il modellamento di conoscenza logica, disgiuntivo/causale distribuita e per l'integrazione di conoscenze eterogenee.

Verranno infine studiati i sistemi e le architetture per la cooperazione ed il coordinamento di agenti dedicati alla gestione di conoscenza distribuita e le metodologie e tecniche per l'accesso intelligente a conoscenze distribuite su rete.


Progetto Nazionale Telemedicina del MURST "Sistema di ausilio per la comunicazione dei disabili - Accesso a mini libere a terminali e servizi telematici"
Activity time range: 1996 - 1998
Project leader: Rafanelli M.
Source of funding: Ministry of Reserach

Nell'ambito del Progetto Nazionale Telemedicina del MURST (oggi MIUR), relativamente al Tema "Sistemi di Ausilio per la Comunicazione dei Disabili", lo IASI, in collaborazione con piccole e medie imprese, ha progettato e realizzato un sistema, guidato dalla voce, di supporto a persone con disabilità motoria (senza o con ridotto uso delle mani) per accedere a calcolatori e servizi telematici.
Il sistema fu realizzato per permettere alle suddette persone un'attività lavorativa, di apprendimento e di comunicazione con altre persone.

Le interfacce vocali in commercio non avevano alcune funzionalità, ad esempio, scrivere simboli grafici matematici (come l'integrale), o usare tools che non prevedono il loro uso mediante comandi vocali o, infine, navigare in rete, usare internet, accedere a databases in linea, ecc.
Con questo sistema è stato possibile, mediante l'uso di una piccola telecamera, far svolgere al disabile telelavoro e teledidattica.

Il sistema è in funzione a Bologna, presso un centro disabili ed ha ricevuto nel 1998 dalla Comunità Europea il Primo Premio Europeo dell'European Telework Award per "The Most Innovative Use of Technology".


- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -