1. Generic-Events Architecture: Integrating real-world aspects in event-based systems
   A. Casimiro, J. Kaiser, P. Veríssimo
   in Architecting Dependable Systems IV, LNCS 4615, Rogério de Lemos, Cristina Gacek and Alexander Romanovsky (Eds.), 2007
   Formats: PDF (516 KB).

1. Adaptabilidade e Confiabilidade em Ambientes Dinâmicos: a Abordagem Quasi-Síncrona (IEEE Latin America Transactions, vol. 5, no. 3)
   C. Almeida
   Date: June 2007
   Formats: PDF (289 KB)
   (in portuguese).
   
2. Timely and Dependable QoS Adaptation in Quasi-Synchronous Systems (International Journal of Computers and Applications, ACTA Press — accepted for publication)
   C. Almeida
   Formats: PDF (299 KB).

1. Control of event handling timeliness in RTEMS (IASTED PDCS 2005, Phoenix, Arizona, USA)
   M. Coutinho, J. Rufino, C. Almeida
   Date: November 2005
   Formats: PDF (233 KB).
2. Control of Inaccessibility in CANELy (IEEE WFCS 2006, Torino, Italy)
   J. Rufino, P. Veríssimo, G. Arroz, C. Almeida
   Date: June 2006
   Formats: PDF (153 KB).
3. Interconnected Embedded Systems: Challenges and Main Problems to Solve (IEEE WFCS 2006 — Work in Progress sessions, Torino, Italy)
   C. Almeida, J. Rufino
   Date: June 2006
   Formats: PDF (54 KB).
4. VITRAL - A text mode window manager for real-time embedded kernels (IEEE ETFA 2006, Prague, Czech Republic)
   M. Coutinho, C. Almeida, J. Rufino
   Date: September 2006
   Formats: PDF (350 KB).
5. Integrating Inaccessibility Control and Timer Management in CANELy (IEEE ETFA 2006, Prague, Czech Republic)
   J. Rufino, P. Veríssimo, C. Almeida, G. Arroz
   Date: September 2006
   Formats: PDF (138 KB).
6. Enforcing Dependability and Timeliness in Controller Area Networks (IEEE IECON 2006, Paris, France)
   J. Rufino, C. Almeida, P. Veríssimo, G. Arroz
   Date: November 2006
   Formats: PDF (159 KB).
7. ARINC 653 Interface in RTEMS (Eurospace DASIA 2007, Napoli, Italy)
   J. Rufino, S. Filipe, M. Coutinho, S. Santos, J. Windsor
   Date: May–June 2007
   Formats: PDF (159 KB).
8. A FPGA-based Solution for Enforcing Dependability and Timeliness in CAN (IP 07, Grenoble, France)
   J. Rufino, R. Pinto, C. Almeida
    Date: December 2007
   Formats: PDF (108 KB).
9. FPGA-based Engineering of Bus Media Redundancy in CAN (CiA ICC 2008, Barcelona, Spain)
   J. Rufino, R. Pinto, C. Almeida
   Date: March 2008
   Formats: PDF (158 KB).
10. AMOBA - ARINC 653 simulator for modular based space applications (Eurospace DASIA 2008, Palma de Majorca, Spain)
    E. Pascoal, J. Rufino, T. Schoofs, J. Windsor
    Date: May 2008
    Formats: PDF (198 KB).
11. Response Time Analysis of Asynchronous Periodic and Sporadic Tasks Scheduled by a Fixed-Priority Preemptive Algorithm (EUROMICRO ECRTS 2008, Prague, Czech Republic)
    M. Coutinho, J. Rufino, C. Almeida
    Date: July 2008
    Formats: PDF (527 KB).

1. VITRAL: A text mode windows manager for RTEMS (3ªs Jornadas de Engenharia de Electrónica e Telecomunicações e de Computadores, Lisboa, Portugal)
   M. Coutinho, J. Rufino, C. Almeida
   Date: November 2005
   Formats: PDF (151 KB).
2. Gestão do consumo em microprocessadores: Aumento da autonomia sem comprometer a funcionalidade (3ªs Jornadas de Engenharia de Electrónica e Telecomunicações e de Computadores, Lisboa, Portugal)
   G. Rijo, J. Rufino, C. Almeida
   Date: November 2005
   Formats: PDF (276 KB)
   (in portuguese).
   

Theses

1. Integração Modular de Dispositivos de Entrada/Saída em Plataformas de Controlo Distribuído (M.Sc. thesis)
   M. Coutinho
   

   Dissertação de Mestrado em Engenharia Electrotécnica e Computadores (Pré-Bolonha)
   Instituto Superior Técnico, Universidade Técnica de Lisboa

   Date: December 2007
   Formats: PDF (2149 KB)
   (in portuguese).
   

Technical Reports

1. Securing the Timeliness of Input/Output Event Handling in Real-Time Kernels (DARIO Technical Report RT-05-01)
   C. Almeida, M. Coutinho, J. Rufino
   Date: June 2005
   Formats: PDF (452KB).
2. CANELy Prototype Board Schematic Specification (DARIO Technical Report RT-05-04)
   R. Pinto, J. Rufino, C. Almeida
   Date: December 2005
   Formats: PDF (266KB).

3. Integração Modular de Dispositivos de Entrada/Saída em Plataformas de Controlo Distribuído
   M. Coutinho
   

   Relatório Final do Trabalho Final de Curso - 157/2004/L

   Licenciatura em Engenharia Electrotécnica e de Computadores
   Instituto Superior Técnico, Universidade Técnica de Lisboa
   Date: Junho 2005
   Formats: PDF (738 KB)
   (in portuguese).
   

4. Specification and Engineering of the CANELy Prototype Board (DARIO Technical Report RT-06-06)
   R. Pinto, J. Rufino, C. Almeida
   Date: October 2006
   Instituto Superior Técnico, Universidade Técnica de Lisboa /
   Faculdade de Ciências da Universidade de Lisboa
   Formats: PDF (700 KB).
5. Operating System Support for Small Real-Time Embedded Systems (DARIO Technical Report RT-07-01)
   C. Almeida, J. Rufino
   Date: March 2007
   Instituto Superior Técnico, Universidade Técnica de Lisboa /
   Faculdade de Ciências da Universidade de Lisboa
   Formats: (to appear).
6. How To Enforce Dependability and Timeliness in CANELy?  (DARIO Technical Report RT-07-02)
   J. Rufino, R. Pinto, C. Almeida
   Date: July 2007
   Faculdade de Ciências da Universidade de Lisboa /
   Instituto Superior Técnico, Universidade Técnica de Lisboa
   Formats: (to appear).
7. Response Time Analysis of Asynchronous Periodic and Sporadic Tasks Scheduled by a Fixed-Priority Preemptive Algorithm (DARIO Technical Report RT-08-01)
   M. Coutinho, J. Rufino, C. Almeida
   Date: January 2008
   An updated version of this report has been published in EUROMICRO ECRTS 2008
   Formats: PDF (592 KB).
8. Bullet Linux: a Real-Time Platform for Industrial and Aerospace Embedded Applications (DARIO Technical Report RT-08-02)
   J. Craveiro
   Relatório de Actividades da Bolsa de Iniciação Científica (BIC) - Projecto DARIO
   Date: February 2008
   Formats: PDF (416 KB).
9. Bullet-Linux: a Real-Time Platform for Industrial Embedded Systems (DARIO Technical Report RT-08-03)
   J. Craveiro, J. Rufino, C. Almeida, R. Covelo, P. Venda
   Date: March 2008
   Formats: PDF (310 KB).