José Rufino

From Navigators

Revision as of 07:37, 2 April 2017 by Ruf (Talk | contribs)
Jump to: navigation, search

Faculty

José Rufino

José Rufino has lectured at Instituto Superior Técnico (IST), in the Department of Electrotechnical and Computer Engineering, from 1992 to 2003. Since 2003 he is an Assistant Professor at the Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa (FCUL). From 1985 to 1996 he was a member of the Distributed Systems and Industrial Automation Group at INESC. From 1996 to 2003, he was a researcher at Centro de Sistemas Telemáticos e Computacionais (IST), in the areas of fault-tolerance and real-time systems. Since 2003, he is a member of the Navigators research group of LaSIGE. He participated and contributed to several national and international projects such as, Delta-4, DINAS-DQS, Codicom, DEAR-COTS, HIDENETS and KARYON. He was responsible for the DARIO and READAPT national rojects and also for the AIR and AIR-II Projects, sponsored by the European Space Agency (ESA). His current research interests include fault-tolerant and real-time distributed systems, wireless and fieldbus networks, real-time operating system kernels and embedded systems design. He has more than 80 publications in these areas. He is a member of the Ordem dos Engenheiros, ACM and IEEE.

 

Projects

Past projects

  • NORTH (Non-intrusive Observation and RunTime verification of cyber-pHysical systems)
  • COST Action IC1402 (Runtime Verification Beyond Monitoring)
  • READAPT (Reconfigurability and Adaptability in Safe and Secure Multicore Architectures for Mixed-Criticality Applications)
  • PROPHECY (Proactive Fault Tolerance for Time and Space Partitioning Hypervisors)
  • SAPIENT (Scheduling Analysis Principles and Tool for Time- and Space-Partitioned Systems)
  • KARYON (Kernel-Based ARchitecture for safetY-critical cONtrol)
  • AIR-II (ARINC 653 In Space RTOS - Industrial Initiative)
  • AIR (ARINC 653 Interface in RTEMS)
  • HIDENETS (HIghly DEpendable ip-based NETworks and Services)
  • DARIO (Distributed Agency for Reliable Input/Output)
  • CoDiCom (Distributed Real-time Computer Control System)
  • Delta-4 (Definition and Design of an open Dependable Distributed Architecture)


Student supervision

Concluded

Publications

More publications

BibTeX

Navigators - José Rufino
Personal tools
Navigators toolbox