रेवेन्सकर प्रोफ़ाइल

रेवेन्सकर प्रोफ़ाइल सुरक्षा-महत्वपूर्ण हार्ड वास्तविक समय कंप्यूटिंग के लिए डिज़ाइन की गई एडा (प्रोग्रामिंग भाषा) टास्किंग सुविधाओं का एक सबसेट है। इसे Ada 95 में एक अलग तकनीकी रिपोर्ट द्वारा परिभाषित किया गया था; यह अब Ada 2012 मानक का हिस्सा है। इसका नाम उत्तरी यॉर्कशायर के रेवेन्सकर के अंग्रेजी गांव के नाम पर रखा गया है, जो 8वीं अंतर्राष्ट्रीय रियल-टाइम एडा वर्कशॉप (IRTAW 8) का स्थान है।

प्रोफ़ाइल के प्रतिबंध
रेवेन्सकर एडा एप्लिकेशन निम्नलिखित निर्देश (प्रोग्रामिंग) का उपयोग करता है: यह कॉन्फ़िगरेशन प्राग्मास के निम्नलिखित सेट को लिखने के समान है:

यह भी देखें

 * एडा (प्रोग्रामिंग भाषा)
 * उच्च अखंडता सॉफ्टवेयर
 * स्पार्क (प्रोग्रामिंग भाषा)
 * एडा संदर्भ मैनुअल (एडीए 202x ड्राफ्ट 19) से: (D.13 द रेवेन्सकर और जोर्विक प्रोफाइल)

बाहरी संबंध

 * A Ravenscar runtime for ARM processors
 * Discussion about implementation Ravenscar Profile for ARM's