RISCOSS

RISCOSS (Managing Risk and Costs in Open Source Software Adoption) is a European FP7 project (n.318249 ), funded under the theme ICT-2011.1.2 (Cloud Computing, Internet of Services and  Advanced Software Engineering). RISCOSS will offer novel risk identification, management and mitigation tools and methods for community-based and industry-supported Open Source Software (OSS) development, composition and life cycle management to individually, collectively and collaboratively manage OSS adoption risks.

FITTEST

FITTEST (Future Internet Testing) is a European FP7 project (n. 257574), funded under the theme ICT-2009.1.2 (Internet of Services, Software and Virtualisation). The overall aim of the FITTEST project is to address the testing challenges of Future Internet applications, by developing an integrated environment for automated testing, which can monitor the application under test and can adapt to any dynamic changes observed. The environment will implement continuous post-release testing to address self-modifiability and run-time adaptation of Future Internet applications. Since services can be dynamically discovered and added, the intended use of the application may change after release. The environment will integrate, adapt and automate various techniques for continuous Future Internet testing (e.g. dynamic model inference, model-based testing, log-based diagnosis, oracle learning, combinatorial testing, concurrent testing, regression testing, etc.). The environment will make use of evolutionary search based techniques, to make it possible for the above mentioned techniques to deal with the huge search space associated with the Future Internet testing challenges. In this way, we can address new, emerging or unexpected behaviour that may originate from the dynamism, autonomy and self-adaptation. FITTEST results will be evaluated on case studies using real Internet systems like virtual worlds, social networking, highly scalable service providers and a SaaS enabled CASE tool, that are highly relevant to the Future Internet vision.

L'ARCHITETTURA DELLA PERFORMANCE

Progetto che si propone di sviluppare su edifici pre-esistenti una "Sopraelevazione XLam MadeinItaly (modulare, riproducibile, energeticamente sostenibile)". Il contributo dell'unita' SE riguarda l'analisi dei requisiti per le componenti di una piattaforma IT a supporto del processo che va da studio di fattibiita', a progettazione, a cantiere di realizzazione e promozione di tale "Sopraelevazione MadeinItaly".

Past Projects

IPSE

Il progetto ha l'obiettivo di sviluppare un sistema diffuso di interoperabilità interregionale dei Fascicoli Sanitari Elettronici, in particolare per quanto riguarda il servizio di Patient Summary, al fine di migliorare la continuità della cura e sostenere la cooperazione e l’efficienza dei servizi in termini di ottimizzazione dei tempi, razionalizzazione dei costi e riduzione degli errori medici. Il contributo dell'unita' SE riguarda il piano di test relativo alla validazione dell'interoperabilita' tra i sistemi.

CERN

The project aims at addressing a series of issues concerning the quality and sustainable development of Alice code. More specifically, the project shall focus on the coding conventions adopted by Alice and their automated verification. research will be also carried out on the analysis of the lexicon employed in the Alice code, aimed at defining and adopting a concise and consistent naming scheme.

IBT

IBT (Informatica Bancaria Trentina; industrial partner): The goal of the IBT project is to support the migration of the legacy system Gesbank, property of IBT, toward a more advanced and modern software architecture. In particular, the project consists of the following main tasks: (1) data migration from C-ISAM to a relational DB; (2) language migration, from BAL to Java; (3) migration of the user interface from characters to graphical widgets. The contribution of the SE unit to this project is focused on reverse engineering of information supporting migration, on automated code transformation, and on regression testing. In code transformation, problems such as GOTO elimination, which is required to produce readable and maintainable code, and identification of OO data structures from the byte sequences currently manipulated by the software, represent major scientific and technological challenges.

A-CUBE

Improving the quality of life for the elderly and disabled through technological progress. That is the goal of project A-CUBE, financed as a “Grand Project” of the Autonomous Province of Trento. The project consortium includes several research units from FBK, DISI - University of Trento, CreateNet, and Fondazione Don Gnocchi of Milano. A-CUBE’s goal is to study technologies for monitoring complex environments that can be applied in areas such as assisted living homes to help personnel, as well as to support the independence and safety of users. Using distributed sensor networks (DSNs) it will be possible to monitor, the areas of a rehabilitation center, an institution for Alzheimer sufferers, or similar facilities in order to detect events, situations, and activities even in complex scenarios with many people. A typical situation might include sensor detection of abrupt movements or of prolonged immobility which might indicate a fall or a patient in difficulty. In that event, the system could immediately send an alarm to personnel in the facility. DSNs are made of highly autonomous wireless nodes with low environmental impact, they are able to sense, calculate, and communicate data. The goal of A-CUBE will be to build a high reliability, non-invasive DSN network at low cost. The A-CUBE DSN will need to configure itself automatically and operate intelligently in accordance with the data it senses.

IOS

Research in service oriented computing has been based on the idea that software applications can be constructed by composing and configuring “software services”, i.e., software utilities that can be used but that are not necessarily owned by consumers. A key aspect has however been dramatically underestimated in this research, namely the fact that – in most cases – software services are software components that provide electronic access to “real services” (e.g., a software service for travel booking allows us to access the actual service behind it, namely the possibility of traveling”). In this project we push the vision that “Internet of Services” should focus on real services, rather than software services. In particular, we investigate the new role of Internet, which is a supporting infrastructure in the case of software services, but becomes a key enabler for real services, offering a unique capability to communicate in real time changes in real services and allowing for immediate reactions. The ultimate goal of this project is to demonstrate that Internet can become the service delivery platform of the future. This will be achieved by addressing the research challenges this vision produces in the areas of service usage, representation, engineering, and delivery, as well as by developing pilot applications in the domains of business services and of user-centered services.

AMICO

Il progetto AMICO -Assistenza Multilivello Integrata e Cura Ovunque- ha tra i suoi obiettivi primari l’ideazione e realizzazione di un sistema informativo ERP multimodale per la gestione integrata delle informazioni dell’utente di servizi socio sanitari assistenziali.

Il contributo di SE al progetto AMICO si colloca nell’ambito dell’attività denominata “Macro- e Micro analisi” che ha come obiettivo l’identificazione dei macro requisiti gestionali, organizzativi e normativi legati alla privacy. Nello specifico, SE-FBK ha contribuito a:

1. individuare un approccio all’analisi dei requisiti del sistema informativo per i servizi socio sanitari, derivanti dalla normativa sulla privacy. Tale approccio si basa su una metodologia orientata agli obiettivi/attori per l’analisi dei requisiti;
2. a sperimentare e valutare tale approccio su un caso di studio estratto dal dominio applicativo di riferimento di AMICO;
3. a supportare l’integrazione di tale metodologia con il processo di ingegneria dei requisiti utilizzato in AMICO.

ETCS

The activity carried out in this project focuses on the management, verification and validation of the requirements specifications of the novel European railway signaling and control system, namely European Train Control System (ETCS) that aims at producing a standard specification for the signaling protocols and procedures all over the European Countries.

The ETCS consists of a complex set of specifications, intended to be the starting point for the design of equipment and system implementations. The management of the evolution of such specifications, with early discovery of errors, inconsistencies and ambiguities and the improvement of the whole quality of the documents is a critical factor for the success of the project.

The project consortium includes, in addition to FBK, RINA and Dr. Graband and Partners.

The project is composed of two major phases:

1. A first phase, having a duration of 6 months, devoted to the development of the methodology and of the supporting tool.
2. A second phase devoted to the dissemination of the results via the presentation of the methodology and tool to the European Railway experts and to the experts of the European railway national institutions during a workshop and a series of courses.

During the first phase of the project, Fondazione Bruno Kessler (FBK) developed a methodology based on Formal methods and Software Engineering techniques, research areas covered by the two research Units that promoted the project: the Embedded System Unit and the Software Engineering Unit.

STAMPS

STAMPS (Software Methodology and Technology for Peer-to-Peer Systems; Fondo Unico PAT): The main objective of this project is to create critical mass within IRST for long-, medium- and short-term research on Software Engineering, Information Systems and Data Bases with an emphasis on peer-topeer database systems and agent-oriented software. Project activities focus on four main scientific areas: Software Engineering, Service-Oriented Computing, Knowledge Management, Peer-to-Peer Data Management and two application areas: Ambient Assisted Living, E-Government. In the software engineering area, main research effort concerns the refinement and extension of the Tropos software engineering methodology for the specification of Multi Agent Systems; the development of a tool-supported process for Tropos; the investigation of novel techniques forengineering complex systems, such as modularization of crosscutting concerns and remote entrusting of client applications.