João Pedro Craveiro

From Navigators

Jump to: navigation, search
Past member
João Pedro Craveiro is no longer with the Navigators.
João Pedro Craveiro

João Pedro Craveiro has a M.Sc. (2009) in Informatics Engineering from the University of Lisbon, Portugal, and is a Ph.D. candidate in Informatics at the same institution, performing his research work at LaSIGE (Large-Scale Informatics Systems Laboratory). His research is based around embedded and real-time systems, and he is currently focused on time- and space-partitioned (TSP) architectures, multiprocessor real-time scheduling, and (self-)adaptability. His current research is aligned with projects which obtained funding through competitive programmes, namely national project READAPT (funded by FCT) and international consortium project KARYON (funded by the European Commission - 7th Framework Programme). Previously, he has been involved in the international consortium projects AIR and AIR-II (sponsored by the European Space Agency). He is co-author of several refereed publications on these topics. He has also performed teaching duties at the Lisbon pole of the Carnegie-Mellon University-Portugal partnership and the Faculty of Sciences of the University of Lisbon (FCUL). He is a graduate student member of ACM, IEEE, IEEE CS and IEEE IES.



Past projects

  • READAPT (Reconfigurability and Adaptability in Safe and Secure Multicore Architectures for Mixed-Criticality Applications)
  • 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)
  • DARIO (Distributed Agency for Reliable Input/Output)

Student supervision



  • Pedro Nóbrega da Costa, João Pedro Craveiro, António Casimiro, José Rufino, “Safety Kernel for Cooperative Sensor-Based Systems”, in Safecomp 2013 Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS), Toulouse, France, Sept. 2013.

More publications


Navigators - João Pedro Craveiro
Personal tools
Navigators toolbox