From Lasige
Research Networks
International Projects
ACCESSIBLE - Accessibility Assessment Simulation Environment for New Applications Design and Development
Funded by: E.C. - IST Programme (7th FWP STREP / 224145)
Lead Research Team: HCIM
Project Award Amount: 2.600.000,00 €
From: 2008-09-01 to 2011-12-31
Abstract:
ACCESSIBLE is an EU FP7 project spanning over 36 months, start date 1st September 2008, with the aim of improving the accessibility of software development products, by introducing a harmonised accessibility methodology into accessible software development processes, using significantly better measurement strategies, methodologies, etc. The envisaged improvement will enable large organisations, SMEs or individuals (developers, designers, etc.) to produce software products of superior accessibility and usability, accompanied with appropriate measures, technologies and tools that improve their overall quality.
CMUPORT - CMU-Portugal Research and Education Partnership
Funded by: FCT ( - )
Lead Research Team: NAVIGATORS
Project Award Amount: 56.000.000,00 €
From: 2007-10-27 to 2012-10-26
From: 60 months
Abstract:
CMU-Portugal is a partnership between Carnegie Mellon University and the Portuguese Government through the Ministry of Science, Technology and Higher Education. This partnership has an initial 5-year phase during 2007-11 and is materialized by a joint "Information and Communication Technologies Institute", ICTI, with poles in CMU and in Portugal. LASIGE members are heavily engaged in one of the initiatives of the CMU-PORTUGAL program, Information and Infrastructure Security and Dependability, which is led by FCUL in the program.
EPIWork - Developing the Framwork for an Epidemic Forecast Infrastructure
Funded by: E.C. - IST Programme (7th FWP LSIP / 231807)
Lead Research Team: XLDB
Project Award Amount: 4.850.000,00 €
From: 2009-02-01 to 2013-01-31
Abstract:
The EPIWORK project proposes a multidisciplinary research effort aimed at developing the approriate framework of tools and knowledge needed for the design of epidemic forecast infrastructures. The research considers most of the much needed development of modeling, computational and ICT tools such as i) the foundation and development of the mathematical and computational methods needed to achieve prediction and predictability of disease spreading in complex social systems; ii) the development of large scale, data driven computational models endowed with a high level of realism and aimed at epidemic scenario forecast; iii) the design and implemention of original data-collection schemes motivated by identified modelling needs; iv) the set up of a computational platform for epidemic research and data sharing.
GUIDE - Gentle User Interfaces for Disabled and Elderly Citizens
Funded by: E.C. - IST Programme (7th FWP Collaborative project / 248893)
Lead Research Team: HCIM
Project Award Amount: 3.400.000,00 €
From: 2010-02-01 to 2013-01-31
Abstract:
The project will develop a toolbox of adaptive, multi-modal user interfaces (UIs) that target the accessibility requirements of elderly users in their home environment, making use of TV set-top boxes as processing and connectivity platform beside the common PC platform.
MASSIF - MAnagement of Security information and events in Service InFrastructures
Funded by: E.C. - IST Programme (7th FWP Collaborative project / 257475)
Lead Research Team: NAVS
Project Award Amount: 5.950.000 €
From: 2010-10-01 to 2013-09-30
Abstract:
The main objective of MASSIF is to achieve a significant advance in the area of Security Information and Event Management (SIEM). On the base of proper multi-level event correlation MASSIF will provide innovation techniques in order to enable the detection of upcoming security threats and trigger remediation actions even before the occurrence of possible security incidences.
TClouds - Trustworthy Clouds Privacy and Resilience for Internet-scale Critical Infrastructure
Funded by: E.C. - IST Programme (7th FWP Collaborative project / 257243)
Lead Research Team: NAVS
Project Award Amount: 7.500.000,00 €
From: 2010-10-01 to 2013-09-30
Abstract:
TCLOUDS aims to build prototype internet-scale ICT infrastructure which allows virtualised computing, network and storage resources over the Internet to provide scalability and cost-efficiency.
National Projects
ADAAS - Assuring Dependability in Architecture-based Adaptive Systems
Funded by: FCT (CMU-PT/ELE/0030/2009)
Lead Research Team: GLOSS
Project Award Amount: 326.142,00 €
From: 2010-10-01 to 2013-09-31
Abstract:
This project will focus on the provision of self-adaptability as a means for achieving dependability in the context of the other requirements. In particular, focusing on the use of architectural models at run-time, it will develop new languages, techniques and tools for creating dynamic adaptation strategies that allow a system to automatically respond to change and improve its behaviour as it executes.
ARIA - Ambient-assisted Reading Interfaces for the Ageing-society
Funded by: FCT (PTDC/EIA-EIA/105305/2008)
Lead Research Team: HCIM
Project Award Amount: 63.068,00 €
From: 2010-01-01 to 2012-12-31
Abstract:
This project proposes to study the cognitive processes involved in reading for older adults, and develop an ambient-assisted reading framework targeted for elderly people and communities.
ARN - Algorithms for the identification of genetic Regulatory Networks
Funded by: FCT (PTDC/EIA/67722/2006)
Lead Research Team: XLDB
Project Award Amount: 100.000,00 €
From: 2007-11-01 to 2010-10-31
Abstract:
The central goal of this project is the development of methods that will partially automate the identification of mechanisms that control gene expression. Cellular processes are regulated by interactions between various types of molecules such as proteins, DNA, RNA and metabolites. The work aims at obtaining first a better understanding of the biochemistry of molecular recognition and then accurately introducing this understanding into the mathematical models used for the inference procedure.
AssertionTypes - Assertion Types for Object-Oriented Programming
Funded by:FCT (PTDC/EIA-CCO/105359/2008)
Lead Research Team:GLOSS
Project Award Amount: 74.175,00 €
From: 2010-01-01 to 2011-12-31
Abstract:
The project investigates the problem of designing an assertion language for an object-oriented language that allows for expressing properties of, and reasoning about, objects and their invariants. The programming language should be rich enough to encompass common features expected in modern, flexible programming languages, such as state, dynamic object creation, reference-passing and aliasing, and thread creation. The assertion language should be able to talk about objects at different levels of detail, ranging from interface types, to deep properties of objects. Annotations vary in precision, from conventional interfaces describing input-output, through more expressive yet still decidable invariants of components, to detailed properties expressing for example, object invariants, and, in the case of multiple threads, progress and absence of races when accessing shared resources.
CALLAS - Calculi and Languages for Sensor Networks
Funded by:FCT (PTDC/EIA/71462/2006)
Lead Research Team:GLOSS
Project Award Amount:189.895,00 €
From: 2008-01-01 to 2010-12-31
Abstract:
The main goals of the CALLAS research project are: to contribute towards a fundamental understanding of wireless sensor networks by developing formal tools based on process calculi; to provide adequate programming architectures for dynamically configurable sensor nodes; and to validate the proposed designs in real-life prototype sensor applications.
CloudFIT - Fault and Intrusion Tolerance for Cloud Computing
Funded by:FCT (PTDC/EIA-CCO/108299/2008)
Lead Research Team:NAVS
Project Award Amount:86.487,00 €
From: 2010-01-01 to 2011-12-31
Abstract:
The objective of this project is to define an infrastructure for intrusion-tolerant services in a cloud environment. In order to achieve this goal, we use intrusion-tolerant replication, which allows tolerating intrusions in a subset of the replicas.
DIVERSE - Diversity for Intrusion Tolerant Systems
Funded by:FCT (PTDC/EIA-EIA/100894/2008)
Lead Research Team:NAVS
Project Award Amount:88.441,00 €
From: 2010-01-01 to 2011-12-31
Abstract:
This project studies mechanisms that allow the inclusion of diversity (mainly at software level) in a replicated system, in a way that prevents common vulnerabilities from occurring across multiple replicas. The project also has a strong component about the evaluation of the proposed solutions, and the creation of methodologies and tools that support the discovery of vulnerabilities in different kinds of software components.
ImTV - On-Demand Immersive-TV for Communities of Media Producers and Consumers
Funded by: FCT (UTA-Est/MAI/0010/2009)
Lead Research Team: HCIM
Project Award Amount: 225.000,00 €
From: 2010 to 2013
Abstract:
InSiThe - In-Situ Therapy Support
Funded by:FCT (PTDC/EIA-EIA/103676/2008)
Lead Research Team:HCIM
Project Award Amount: 120.000,00 €
From: 2010-01-01 to 2011-12-31
Abstract:
This project aims at providing a solution for mobile, time/space distributed, therapy sessions, complementing SCOPE and JoinTS projects. SCOPE targeted psychological diagnosis, thus covering part of the therapist´ homework, namely patient-data management and analysis. JoinTS provided enhanced homework tools that allow patients to fill multifaceted static artifacts and enable therapists to create them. It also addressed group-sessions, in different controlled-setting arrangements, but within the "same-time/same-place" scenario. InSiThe expands the Information and Communication (IC) platform of JoinTS, to cope with remote and outdoors settings. It will contribute to a definitive set of models, a specification language and an IC platform that fully covers Cognitive Behavioral Therapy (CBT) in all scenarios.
INTERFACES - Certified Interfaces for Integrity and Security of Extensible Web Applications
Funded by:FCT (CMU-PT/NGN/0044/2008)
Lead Research Team:GLOSS
Project Award Amount:289.536,00 €
From: 2009-05-01 to 2012-04-30
Abstract: The project aims at the development of new techniques for enforcing security, integrity, and correctness requirements on distributed extensible web‐based applications by introducing novel, semantically rich notions of interface description languages, based on advanced type systems and logics.
NAADIR - A new approach on Architectural drawings integrating computer descriptions
Funded by: FCT (PTDC/AUR-AQI/098388/2008)
Lead Research Team: HCIM
Project Award Amount: 101.454,00 €
From: 2010-04-01 to 2013-01-31
Abstract:
The main theme of the project is the use and effectiveness of perspective in conceptual and presentation drawings, within urban and architectural design activities.
The activities and expected results of this research project will address and improve the role of perspective in graphical representation of space.
PASTRAMY - Persistent and highly Available Software TRansactional MemorY
Funded by: FCT (PTDC/EIA/72405/2006)
Lead Research Team: GLOSS
Project Award Amount: 150.000,00 €
From: 2007-09-01 to 2010-08-31
Abstract:
Software Transactional Memories (STMs) are emerging as a powerful paradigm to develop concurrent applications. By relishing the programmer from the burden of managing locks or other low-level concurrency control mechanisms, the reliability of the code is increased and the software development time significantly shortened. The INESC-ID team has coordinated the development of a middleware university management system, called FénixEDU, that is based on the STM technology. The application is in production since 2001 at the Instituto Superior Técnico (IST) of the Technical University of Lisbon for a population of 12000 students, 900 faculty members and 800 administrative staff. Fénix is the first system in the world that uses, in production, a STM approach. FénixEDU already augments the basic STM model with persistence, to provide ACID properties to web application functionalities, and replication, because due to the high load of the system the application needs to be deployed in more than one cluster server. However, our current solutions to tackle these two important aspects suffer several limitations, including: - The interface with the persistence susbsystem (a relational database) often requires the use of an excessive amount of memory, increasing garbage collecting and degrading the system performance. - It is only able to interface a single datastore, which introduces a single point of failure. - Resolution of conflicts between STMs running on different nodes of the cluster requires nodes to obtain exclusive access to the datastore during the commit phase, limiting the concurrency of the system.
PATI - IoT-Aware business Processes
Funded by: FCT (PTDC/EIA-EIA/103751/2008)
Lead Research Team: GLOSS
Project Award Amount: 90.224,00 €
From: 2010-01-01 to 2012-12-31
Abstract:
The ultimate goal of the PATI project is to study and implement a large scale event-driven service-oriented architecture to support context-aware, cross-organizational, distributed, and adaptive business process.
QualWeb - Large-scale Web Accessibility Evaluations
Funded by: FCT (PTDC/EIA-EIA/105079/2008)
Lead Research Team: HCIM
Project Award Amount: 64.871,00 €
From: 2010-01-01 to 2012-12-31
Abstract:
With QualWeb, we propose the characterisation of the Portuguese Web from an accessibility point-of-view. This characterisation will provide answers to the current state of accessibility of the Portuguese Web both from general and personalised points-of-view (e.g., how accessible is for a blind person vs. for a deaf person). Based on this characterisation we propose a set of accessibility services for end users, including the visualisation of the different properties obtained for the characterisation process, as well as a Web search service on top of the Portuguese Web that takes into account accessibility into Web page ranking processes.
QUEST - A Quest for Reliability in Generic Software Components
Funded by: FCT (PTDC/EIA-EIA/103103/2008)
Lead Research Team: GLOSS
Project Award Amount: 105.000,00 €
From: 2010-01-01 to 2012-12-31
Abstract:
The main results of the project will be the development and integration of different techniques resulting into a push-button approach to reliability analysis of Java implementations of DAs. These techniques will be made available in the form of tools integrated in a popular Java IDE.
REACTION - Retrieval, Extraction, and Aggregation Computing Technology for Integrating and Organizing News
Funded by: FCT (UTA-Est/MAI/0006/2009)
Lead Research Team: XLDB
Project Award Amount:220.000,00 €
From: 2010-10-01 to 2013-09-30
Abstract:
We research new tools for providing greater automation in news gathering, analysis, and delivery, while respecting practical constraints of news producers and consumers. We emphasize decomposition of stories into finer-grained elements and discovery of implicit relations between them. We also emphasize the relationship between news and social networks, both explicit and implicit, which underlie the news and significantly shape its content, quality, and authority. Hands-on experience in the newsroom will enable practitioners to innovate current practice of news production and identify important avenues for future research in computational journalism.
RED - Resilient Database Clusters
Funded by: FCT (PTDC/EIA-EIA/109044/2008)
Lead Research Team: NAVS
Project Award Amount: 123.631,00 €
From: 2010-04-01 to 2012-03-31
Abstract:
The goal of project ReD is to achieve a generic, robust, and inexpensive shared-storage cluster from an off-the-shelf RDBMS. In detail, the project will deliver the following concrete results:
A general architecture and specification of the proposed approach.
An exploration of the performance, scalability, and dependability aspects of the approach, highlighting the most interesting tradeoffs.
A detailed experimental evaluation, using the prototype and industry standard transaction processing benchmarks.
REDICO - Dynamic Reconfiguration of Communication Protocols
Funded by: FCT (PTDC/EIA/71752/2006)
Lead Research Team: GLOSS
Project Award Amount: 105.000,00 €
From: 2007-10-01 to 2010-09-30
Abstract:
The Redico project intends to leverage on the significant experience of the group with protocol composition frameworks to build a new framework tailored to support dynamic reconfiguration. There are multiple challenges in addressing the problem, including: - The new framework should support the seamless reconfiguration in run time. In particular, it should allow for different participants to run with different protocol configurations as long as these configurations are compatible.
REGENESYS - Regeneration of Replicated Systems
Funded by: FCT (PTDC/EIA-EIA/100581/2008)
Lead Research Team: NAVS
Project Award Amount: 73.563,00 €
From: 2010-01-01 to 2012-12-31
Abstract:
The goal of the project is to design, implement and evaluate a regeneration service able to enhance the security of replicated systems exposed to accidental (e.g., server crashes) and malicious (e.g., virus infection, server intrusions) faults. In order to achieve this goal, the regeneration service should be able to integrate with existing BFT protocols, enhancing their intrusion tolerance properties.
SACIM - Situation Awareness in Critical Incident Management
Funded by: FCT (PTDC/EIA/102875/2008)
Lead Research Team: HCIM
Project Award Amount: €
From: 2010-01-01 to 2011-12-31
Abstract:
TRONE - Trustworthy and Resilient Operations in a Network Environment
Funded by: FCT (CMU-PT/RNQ/0015/2009)
Lead Research Team: NAVS
Project Award Amount: 291.089,00 €
From: 2010-10-01 to 2013-09-30
Abstract:
The project proposes the investigation of innovative ways to apply fault/failure diagnosis, detection and prevention/tolerance techniques, in symbiosis with automatic reconfiguration mechanisms. In order to achieve the desired returns, the project will apply the foreseen scientific and technical results to a selected use case supported on the industrial partner’s infrastructure reality, to be determined during the initial part of the project’s work, developing related proof-of-concept prototypes.
VIRUS - Video Information Retieval Using Subtitles
Funded by: FCT (PTDC/EIA-EIA/101012/2008)
Lead Research Team: HCIM
Project Award Amount: 57.066,00 €
From: 2010-01-01 to 2011-12-31
Abstract:
The objective of this project is the development of a Video Information Retrieval system that will operate on video libraries composed of subtitled documents. Contrasting with previous projects, we restrict ourselves to movies and television series for which subtitles are available. Distinguishing aspects of this project include information retrieval based on the simultaneous analysis of three information streams: video signal, subtitles and audio signal. The system allows visualizing videos in meaningful ways and accepts queries from the user to find portions of video documents that match the queries.
Past Projects
Past Projects directory
LaSIGE are funded by several programmes. Many of them co-funded by the Portuguese Government through FCT and by FEDER.
