João Pedro Craveiro

From Navigators

Revision as of 12:54, 25 October 2012 by Jcraveiro (Talk | contribs)
Jump to: navigation, search

PhD student

João Pedro Craveiro

 

Projects

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

Concluded

Publications

  • 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

BibTeX

Navigators - João Pedro Craveiro
Personal tools
Navigators toolbox