Personal tools

Skip to content. | Skip to navigation

This Logo Viewlet registered to qPloneSkinTechlight
You are here: Home → GSD Projects

GSD Projects

A list of on-going and past projects

RESEARCH NETWORKS

Euro-TM

Transactional Memories: Foundations, Algorithms, Tools, and Applications

  • Funding: COST European Cooperation in Science and Technology ACTION, ICT Action IC1001


INTERNATIONAL PROJECTS

Cloud-TM

A novel programming paradigm for the Cloud

  • Funding: Framework of the Specific Targeted Research Project (STReP), co-financed by the European Commission through the contract no. 257784.

FastFIX

  • Funding: Framework of the Specific Targeted Research Project (STReP), co-financed by the European Commission through the contract no. 258109.

 

NATIONAL PROJECTS

Assuring Dependability in Architecture-based Adaptive Systems

  • Funding: FCT (CMU-PT/ELE/0030/2009), Oct 2010 - Sep 2013
  • Coordinator: Rogério de Lemos (U. Coimbra)
  • Local Coordinator @ INESC-ID: Luís Rodrigues
  • Web page: (tbd)
  • Summary: 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.

High-Performance Computing over the Large-Scale Internet

  • Funding: FCT (PTDC/EIA-EIA/102212/2008), May 2010 - Apr 2013
  • Coordinator: Luís Silva (U. Coimbra)
  • Local Coordinator @ INESC-ID: Luís Rodrigues
  • Web page: (tbd)
  • Summary: This project advances the current state of the art in platforms for Internet-wide computation, by designing, implementing and evaluating new mechanisms that move beyond the traditional client-server architecture of these platforms to support, for the first time, scalable decentralized cooperation among clients.

PROSOPON: Cycle-Sharing for Face Identification and Index in Multimedia

  • Funding: FCT (PTDC/EIA-EIA/102250/2008), Mar 2010 - Feb 2013
  • Coordinator: Luís Veiga
  • Web page: click here 
  • Summary: Cycle-Sharing for Face Identification and Index in Multimedia.

Aristos: Autonomic ReplicatIon of Software TransactiOnal memorieS

  • Funding: FCT (PTDC/EIA-EIA/102496/2008), Feb 2010 - Jan 2013
  • Coordinator: Paolo Romano
  • Web page: http://aristos.gsd.inesc-id.pt
  • Summary: This project addresses several aspects of autonomic replication of STMs, including: architecting scalable and fault-tolerant replication mechanisms explicitly tailored to meet the unique requirements of STM systems; developing effective workload characterization strategies and performance forecast models for automatically identifying the optimal choice of contention management strategies to be adopted; designing and implementing flexible and efficient mechanisms allowing to dynamically alter both the local and the global contention management schemes while preserving the system’s consistency.
 

Byzantium: : Eficient Byzantine fault-tolerant database replication

  • Funding: FCT (PTDC/EIA/74325/2006), Jan 2008 - Dec 2010
  • Coordinator: João Barreto (local coordinator)
  • Web page: click here
  • Summary: The central goal of this project is to build a replicated database system that tolerates Byzantine faults. The main challenge resides in the fact that Byzantine fault tolerance replication introduces a non-negligible performance overhead. This fact, combined with the necessity of the use of eager replication, has led to a low adoption of Byzantine fault tolerance in database replication. This project aims at developing novel techniques for improving the performance of Byzantine fault tolerant replicated databases.

GINGER: Grid Infrastructure for Non-Grid EnviRonments

  • Funding: FCT (PTDC/EIA/73240/2006), Jan 2008 - Dec 2010
  • Coordinator: Luís Veiga
  • Web page: click here
  • Summary: In this proposal we present GINGER, a peer-to-peer Grid infrastructure that overcomes the existing barriers for widespread utilization of the Grid, by allowing users to cooperatively form a Grid infrastructure using each other's spare resources. GINGER's design was guided by several goals that are not met by current Grid infrastructures, such as ease of deployment and use, lack of centralized components, or the ability to run in an environment where nodes may not be willing to cooperate, and where failure is the norm, and not the exception.

Mercury

  • Funding: FCT (PTDC/EIA/66589/2006), Jan 2008- Dec 2010
  • Coordinator: Paulo Ferreira
  • Web page: click here
  • Summary: The high-level overall goal of this project is to improve users’ productivity by supporting data access with high availability and performance. Optimistic replication is a well known technique to attain such goal but its usefulness strongly depends on the underlying consistency protocol to ensure fast and reliable replica consistency. This project will develop new algorithms, protocols, and system architectures running in prototypes that will ensure conflict minimization and rapid update convergence appropriate for resource-constrained devices. The contributions will be in the area of consistency of replicated data. In particular: i) a consistency protocol that decouples consistency information from data propagation, thus minimizing network bandwidth, ii) voting-based update protocols allowing rapid commitment in the presence of failures or partitions, and iii) content-based indexing for structuring the data allowing the use of similarities between data, thus reducing memory usage.

Movensis

  • Funding: ADI, Jan 2006-Dez 2010 
  • Coordinator: Paulo Ferreira
  • Web page: click here
  • Summary: 

  • Funding: FCT (GRID/GRI/81752/2006), Jul 2007 - Jun 2010
  • Coordinator: Paulo Ferreira
  • Web page: click here
  • Summary: The main objective of this project is to design a platform that supports the definition, deployment and enforcement of distributed history-based policies in a scalable and effective manner. In addition, we will provide a prototype implementation that proves the feasibility of the concept and evaluate its performance based on the simulation of selected grid usage scenarios. To achieve the above mentioned goal there are several challenges that must be addressed. As a matter of fact, in spite of being used for a number of applications, grid platforms still present a number of limitations in what concerns the enforcement of advanced usage models.

Pastramy: Persistent and highly Available Software TRansactional MemorY

  • Funding: FCT (PTDC/EIA/72405/2006), Jan 208- Dec 2010 
  • Coordinator: João Cachopo (SE group)
  • Web page: http://pastramy.gsd.inesc-id.pt
  • Summary: This projects brings the FénixEDU team together with two research teams with a significant expertise on building replication solutions to relational and object oriented databases. This will allow the FénixEDU to get an insight on the pros and cons of existing replication techniques (both from a theoretical and a practical point of view). Reciprocally, the database replication experts will obtain an inside view of the singularities of the STM approach. The project will use these synergy to design, develop, implement and validate a Persistent and highly Available Software TRansactional MemorY.  

Redico: Dynamic reconfiguration of communication protocols

  • Funding: FCT (PTDC/EIA/71752/2006), Jan 2008 - Dec 2010
  • Coordinator: Luís Rodrigues
  • Web page: http://redico.gsd.inesc-id.pt
  • Summary: 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. 

Privato: 

  • Funding: FCT (PTDC/EIA-EIA/65588/2006), Dec 2007 - Nov 2010
  • Coordinator: Carlos Ribeiro
  • Web page:  click here
  • Summary: In this project we propose a platform which uses TC, but does not have the privacy and ownership problems of standard TC. The platform uses a simple monitor running in a hardware-protected environment which mediates every communication between protected applications and the outside world and verifies the safety properties of such applications using a data flow model.  We plan to test our TC platform with an e-voting system, specifically with the e-voting client of an e-voting system, which is currently the weakest link of e-voting systems. We will identify the relevant properties of an e-voting client, and build a TC monitor which verifies and attests those properties to a number of e-voting services participating on an election. The e-voting services will return this attestation to the voter by way of an out-of-band channel or a covert in-band channel to be defined. We also plan to evaluate the changes, in terms of ISA and micro-architecture, on a RISC processor which are needed to implement the TC features, namely the curtain memory, secure I/O, attestation and sealing. 

INTERNAL PROJECTS

PeerVibes: Peer-to-peer framework

  • Funding: internal, 2008- 
  • Coordinator: Luís Rodrigues
  • Web page: http://peervibes.gsd.inesc-id.pt
  • Summary: This project intents to provide a framework and tools to create a web based social network on top of a peer-to-peer architecture.

PAST PROJECTS

 

MobileRevs: MobileREVS is a system designed to take advantage of nowadays mobile and smart phones capabilities in the electoral process.

eVoto:

  • Funding: FCT (PTDC/EIA-EIA/10xxxx/20xx), 2005- 2008
  • Coordinator: Paulo Ferreira
  • Web page: click here
  • Summary: The introduction of electronic voting (e-voting) in National Election Systems has recently received a significant interest in several countries (e.g. USA, Canada, UK, Portugal). The studies conducted until today clearly demonstrate that this type of system is perceived as having a high level of risk. As researchers in the complex systems, organization and software engineering fields, we are trying to analyze the problems associated to general e-voting systems, relating them with the system architecture and components, and finding new ways to deploy systems with reduced risk levels.

 

 

 

Document Actions
Log in


Forgot your password?