INForum 2009

March 28, 2009

INForum 2009Computer and Communications Security Track, Sep 10-11, 2009.

Summary (in portuguese):

O INForum tem como objectivo ser um evento privilegiado de reunião da comunidade nacional nas diversas vertentes da informática e ambiciona ser o fórum de eleição para a divulgação, discussão e reconhecimento de trabalhos científicos. O INForum surge com particular oportunidade como palco para a estreia de jovens investigadores que buscam a divulgação, a crítica construtiva e o encorajamento ao seu trabalho.

O 1º INForum pretende ser abrangente e dinâmico no conjunto de tópicos abordados. Apresentará um conjunto de tópicos propostos e seleccionados anualmente, com sessões organizadas e realizadas de forma independente. Promove-se assim a massa crítica para o fortalecimento e evolução da informática no país criando-se, simultaneamente, espaço à evolução do contexto da conferência e fomentando a reunião de investigadores em áreas emergentes.

O 1º INForum decorrerá nos dias 10 e 11 de Setembro de 2009 na Faculdade de Ciências da Universidade de Lisboa.


Proactive Resilience through Architectural Hybridization

April 21, 2006

Proactive Resilience through Architectural Hybridization
[paper | slides]
Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo
In Proceedings of the 2006 ACM Symposium on Applied Computing (SAC) – Volume 1, Dijon, France, pages 686-690, April 2006.


RT-PSS: Real-time proactive secret sharing library for RTAI

November 1, 2005

The Real-Time Proactive Secret Sharing Library (RT-PSS) for RTAI is an implementation of the Shamir’s secret sharing scheme and Herzberg’s proactive secret sharing algorithm. The library uses a port of GNU GMP in order to make multiple precision arithmetic operations.

The current status of the implementation can be checked at SourceForge.net.

Some initial experimental results can be found in here.


A New Programming Model for Dependable Adaptive Real-Time Applications

June 2, 2005

A New Programming Model for Dependable Adaptive Real-Time Applications [paper (multimedia)]
Pedro Martins, Paulo Sousa, António Casimiro, Paulo Veríssimo
IEEE Distributed Systems Online, vol. 6, no. 5, 2005.


Dependable Adaptive Real-Time Applications in Wormhole-based Systems

June 28, 2004

Dependable Adaptive Real-Time Applications in Wormhole-based Systems [paper]
Pedro Martins, Paulo Sousa, António Casimiro, Paulo Veríssimo
In Proceedings of the International Conference on Dependable Systems and Networks (DSN’04), Florence, Italy, June 2004.


CORTEX: CO-operating Real-time senTient objects: architecture and EXperimental evaluation (2001-2004)

March 31, 2004

From 2001 until 2004, I participated in the CORTEX european project. My research work was primarily focused on building the support for dependable adaptive real-time applications.

In this context, I implemented the Timely Computing Base (TCB) on the Windows CE 3.0 operating system. This implementation was the basis for a CORTEX proof-of-concept prototype and for the development of one of the CORTEX final demonstrations.


TCB WinCE: Timely Computing Base for Windows CE

November 13, 2003

I implemented the Timely Computing Base (TCB) on the Windows CE 3.0 operating system.

The TCB is a distributed embedded component that provides a set of time related services to client applications: Timing Failure Detection of timed executions, Timely Execution of small functions, Duration Measurement of local or distributed computations. It can be used as a fundamental building block for the development of dependable real-time applications.

This implementation was the basis for a CORTEX proof-of-concept prototype and for the development of one of the CORTEX final demonstrations.