scholarly journals A correct-by-construction AADL runtime for the Ravenscar profile using SPARK2014

2022 ◽  
pp. 102376
Author(s):  
Jerome Hugues
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 ◽  
Vol XXI (1) ◽  
pp. 5-8 ◽  
Author(s):  
Andy Wellings
Keyword(s):  
Ravenscar Profile

scholarly journals ARINC-653 Inter-partition Communications and the Ravenscar Profile

2015 ◽  
Vol 35 (1) ◽  
pp. 38-45 ◽  
Author(s):  
Jorge Garrido ◽  
Juan Zamorano ◽  
Juan A. de la Puente
Keyword(s):  
Ravenscar Profile
Sign in / Sign up

Export Citation Format

Share Document