João Pedro Craveiro

From Navigators

(Difference between revisions)
Jump to: navigation, search
(Undo revision 106 by Jcraveiro (talk))
Line 3: Line 3:
|email=jcraveiro@lasige.di.fc.ul.pt
|email=jcraveiro@lasige.di.fc.ul.pt
|url=http://lasige.di.fc.ul.pt/~jcraveiro
|url=http://lasige.di.fc.ul.pt/~jcraveiro
-
|role=phdstd
+
|role=PhD student
}}
}}

Revision as of 12:44, 25 October 2012

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