In support of extending the Ravenscar profile

2016 ◽  
Vol 36 (1) ◽  
pp. 63-67 ◽  
Author(s):  
Jorge Garrido ◽  
Beatriz Lacruz ◽  
Juan Zamorano ◽  
Juan A. de la Puente
Keyword(s):  
Ravenscar Profile

Temporal isolation with the ravenscar profile and Ada 2005

2010 ◽  
Vol 30 (1) ◽  
pp. 45-55 ◽  
Author(s):  
Enrico Mezzetti ◽  
Marco Panunzio ◽  
Tullio Vardanega
Keyword(s):  
Temporal Isolation ◽  
Ravenscar Profile

Building partitioned architectures based on the Ravenscar profile

2000 ◽  
Vol XX (4) ◽  
pp. 29-31 ◽  
Author(s):  
Brian Dobbing
Keyword(s):  
Ravenscar Profile

Using the Ravenscar profile for space applications

2001 ◽  
Author(s):  
Tullio Vardanega ◽  
Gert Caspersen
Keyword(s):  
Space Applications ◽  
Ravenscar Profile

Status and future of the Ravenscar profile session summary

2001 ◽  
Author(s):  
Andy Wellings
Keyword(s):  
Ravenscar Profile

Preservation of Timing Properties with the Ada Ravenscar Profile

2010 ◽  
pp. 153-166 ◽  
Author(s):  
Enrico Mezzetti ◽  
Marco Panunzio ◽  
Tullio Vardanega
Keyword(s):  
Timing Properties ◽  
Ravenscar Profile

Status and future of the Ravenscar profile session summary

2001 ◽  
Vol XXI (1) ◽  
pp. 5-8 ◽  
Author(s):  
Andy Wellings
Keyword(s):  
Ravenscar Profile

The Ravenscar profile for high-integrity Java programs?

2001 ◽  
Author(s):  
Brian Dobbing
Keyword(s):  
Java Programs ◽  
High Integrity ◽  
Ravenscar Profile
Sign in / Sign up

Export Citation Format

Share Document