Here some of the projects in which I'm currently
involved:
EU-H2020-RIA: PACAS:
Participatory Architectural Change
MAnagement in ATM Systems. Two years
project (2016- 2018) - H2020 project
within
the framework of the SESAR Research and
Innovation Action. The main objective of PACAS is
to better understand, model and analyse
changes at different layers of the Air
Traffic Management (ATM) system to support
change management, while capturing how
architectural and design choices influence
the overall system. The project aims at
developing an innovative participatory
change management process wherein
heterogeneous stakeholders actively
participate in the architectural evolution
of the ATM system. The novelty and expected
impact of PACAS relies on three main
pillars: 1. Impact propagation
techniques, 2. Gamified platform,
3. Domain-specific modelling languages.
These are key components of the
participatory design process wherein
multiple, heterogeneous ATM domain
stakeholders participate, each having a
different view of the system, bi-directional
relationships are in place between the
strategic layers and the architecture layer,
and the PACAS platform is crucial to
establish and maintain consistency among the
different layers and views.
EU-H2020-IA: VISION
- Visual Privacy Management in User
Centric Open Environments - Two years
project (2015- 2017) - H2020 Innovation
Action - DIGITAL SECURITY: CYBERSECURITY,
PRIVACY AND TRUST (H2020-DS-2014-1) The VisiOn objective it to deliver a
high Technology Readiness Level (TRL) Visual
Privacy Management Platform, which empowers
any citizen to achieve desired levels of
privacy by creating and monitoring a
personal Privacy Level Agreement. The
platform will provide clear visualisation of
privacy preferences, relevant threats and
trust issues along with an insight into the
economic value of user data. The platform
will equip PAs with the right tools to
improve the transparency and accountability
of their operations, by supporting visual
analysis of (i) privacy issues at different
levels (e.g. design, run-time) and
perspectives (i.e. citizen, PA); (ii)
regulation compliance; and (iii)
business/operational processes. I'm
the UNITN
coordinator of the project.
IT-MIUR: SmartGATEpluS - Smart
Solution for a Transparent, Efficient, and
more Sustainable Administrative Justice -
Three years project funded by the Ministry
of Education, Universities and Research
(MIUR) - ”Smart
Cities and Communities and Social
Innovation" - Decreto Direttoriale n.
391/Ric del 5 luglio 2012. SmartGATEpluS aims
at improving the effectiveness and
efficiency of the system of Administrative
Justice (AJ) in Italy. It proposes the
development of new ICT technologies, the
overhaul of its organizational model and
management and optimization of the services
to the public, designed to fully satisfy the
user, in order to enhance transparency and
costs’ containment in compliance with the
protection of the buildings of the
Administrative Justice which are subject to
the constraints imposed by the Italian
Ministry of Cultural Heritage, and in which
the services are processed and
provided. I'm the UNITN coordinator
of the project.
ERC (Advanced Investigator Grant: Lucretius:
Foundations
for Software Evolution. Aim of the
project is to develop techniques for designing
software systems that evolve in response to
changes in their requirements and operational
environment. Principal Investigator: John
Mylopolos. I'm co-investigator of the
project. (2011-1016)
... and here some of my
old projects
(very incomplete list :(
FP7-IP: ANIKETOS:
Secure and
Trustworthy Composite Services. An
IFP7-ICT IP project aiming at
estabilishing and maintaining
trustworthiness and secure behaviour in a
constantly changing service environment. The
project aligns existing and develops new
technology, methods, tools and security
services that support the design-time creation
and run-time dynamic behaviour of composite
services, addressing service developers,
service providers and service end users. The
project started the 1st of August, 2010. I'm
the UNITN
coordinator of the project.
FP7-NoE: NESSOS: Network of
Excellence on Engineering Secure Future
Internet Software Services and
Systems. The aim of NESSoS is
to establish Europe as the scientific leader
in engineering secure software services and
systems for the Future Internet (FI). The
network aims at achieving this by addressing
the current fragmentation of activities across
Europe through the establishment of the
European joint virtual research lab on
Engineering Secure Software Services, thus
integrating the research, dissemination and
technology transfer activities of the leading
researchers and practitioners in the area. The
project started in October, 2010. I'm member of the
UNITN team
of the project.
FP7-STREP: COMPAS:
Compliance-driven
Models, Languages, and Architectures for
Services. The COMPAS project will
design and implement novel models, languages,
and an architectural framework to ensure
dynamic and on-going compliance of software
services to business regulations and stated
user service-requirements. COMPAS will use
model-driven techniques, domain-specific
languages, and service-oriented infrastructure
software to enable organizations developing
business compliance solutions easier and
faster. More details in the SERENITY web site:
http://www.compas-ict.eu/.
I'm member
of the UNITN team of the project.
FP6-IP: SERENITY:
System
Engineering for Security & Dependability.
Launched in January 2006, SERENITY (System
Engineering for Security and Dependability) is
a R&D project funded by the European
Union. SERENITY aims to provide security and
dependability in Ambient Intelligence systems
(AmI). Over 3 years, 15 R&D organisations
- software companies, research institutions
and leading-edge industrials - have developed
specifications, methods and a suite of tools
ensuring dependability and security for future
AmI solutions. More details in the
SERENITY web site: http://www.serenity-project.org/
I'm member
of the UNITN team of the project.
PRIN - IT: MEnSA:
Methodologies
for the Engineering of Complex software
Systems: the agent-based approach. MEnSA
is a (PRIN) research project financed by the
Italian Ministery for Education, University,
and Research (Ministero dell'Università e
della Ricerca). The main objective is the
creation of agent-oriented software
engineering methodologies that support the
development of complex software systems. The
methodologies will assist the whole
development processs, from the requirements
analysis to the actual implementation of the
systems, using a metamodel-based approach. The
expected result is a contribute in filling the
existing gap between agent-oriented
methodologies and multi-agent systems. More
details in the MENSA web
site: http://www.mensa-project.org.
I'm the UNITN
coordinator of the project.
PAT-IT: TasLab: Trentino as Lab.
The vision of the TasLab is to support
the never ending evolutionary process which
the local communities, users and enterprises
(especially SMEs) are facing every day due to
changing market conditions. With our
eco-systemic approach and continuous
investments in ICT innovation we will enhance
the local specificities and vocations, while
increasing the collaboration and the sharing
of knowledge among the different stakeholders
of local innovation. The ecosystemic approach
is also empowered by a relational and
conceptual model, the “Innovation Tripole”,
that puts the users at the center of the
innovation processes together with the
enterprises and the research players that are
active on the local territory. Our activities
in TasLab as been funded by the "European
Social Fund" for the analysis of the TasLab
requirements and the definition of the
architecture of the overall TasLab portal. I'm
coordinator
of the UNITN-DISI team of the
project.
PAT-IT: Mostro:
MOdelling
Security and Trust Relationships within
Organizations. The MOSTRO project
aims at detecting and isolating security flaws
in the very early stages of software design
and development, taking into account the
reasons for the existence of ineffective
practices in software design. The project is
based on an interdisciplinary approach to the
security problem, that combines techniques
coming from ontological analysis, security
modelling, multi-agents reasoning, and systems
engineering in order to formally characterize
security concerns in a coherent and verifiable
way at all stages of software design and
development. The project has been funded by
the autonomous province of Trento.
PAT-IT: STAMPS:
Software Methodology and Technology for
Peer-to-Peer Systems - ITC-irst and
Dipartimento di Informatica e
Telecomunicazioni dell'Universita di Trento.
The project has been funded by the autonomous
province of Trento.
FIRB-IT: SMEFIN:
Ridisegno
dell'infrastruttura Fnanziaria delle reti di
imprese: alla ricerca di nuove soluzioni
nanziarie, istituzionali e informatiche per
sostenere la competitivita, l'innovazione,
le riorganizzazioni aziendali e la gestione
dei rischi.
Universita di Trento, Universita di Modena,
Universita di Parma, Universita di Padova,
Universita di Verona, Universita di Urbino.
The project has been funded by the Italian
Ministry for Research (MIUR).
FIRB-IT: ASTRO:
Knowledge-Level
Software Engineering. The project has
been funded by the Italian Ministry for
Research (MIUR).
PRIN-IT: Sistemi
sicuri
per la gestione di basi di dati spaziali e
geografici in ambito Web.
The project has been funded by the Italian
Ministry for Research (MIUR).
PAT-IT: LOGICOST:
Metodologie e
modelli per il supporto alle decisioni su
base costi su problemi di ottimizzazione
logistica - Dip. di Informatica e
Telecomunicazioni dell'Universita di Trento,
ITC-irst, Centro Ricerche Fiat. The project
has been funded by the autonomous province of
Trento.
Implicit
Culture. An agent which operates in an
environment with poor knowledge behaves
suboptimally. If a group of agents act in the
same environment, information about their
actions can be used to improve the knowledge
and the behavior of each agent. The problem
can be solved by providing knowledge or
learning capabilities to the agent, but in
some domain the knowledge description can be
very hard and learning from behavior
observations requires a more complex
agent. The implicit Culture
approach is to make the agent behave as a
member of the group would do, i.e. as he/she
implicitly belongs to the same "culture",
without extra-effort or direct interaction. We
introduce the concept of Implicit Culture and
propose a general architecture for Systems for
Implicit Culture Support. The main component
takes as input the current agent's behavior
and a set of past actions performed by the
group and suggest actions coherently. These
"cultural actions" are representative of the
behavior of the group's members and suggested
in an implicit way, namely the overall process
does not require to be known by the agents.
UNICUIQUE
SUUM: Universal Networked Infrastructure
for Communities of Users Implementing
Quality Enabled Services and Utilities
Ultimately Mobile
Hyperion:
p2p databases
Belief
Revision
in Multi-agent Environments, mental
states
recognition, and distributed
knowledge
elicitation