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

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

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

यह भी देखें

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

बाहरी संबंध

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