التفرد rdk. يركز مشروع بحثي على بناء أنظمة يمكن الاعتماد عليها من خلال الابتكار في مجالات النظم واللغات
التحميل الان

التفرد rdk. الترتيب والملخص

التفرد rdk. العلامات

النموذج المبدئي تحرير L- النظم L- النظم أنظمة القياس أنظمة حل المشكلة نظم المعادلة نظم أنظمة متعددة النوى أدوات تطوير البحوث نظام التشغيل النموذجي البرمجيات معزولة Processe. RDK التفرد أنظمة الرهان أنظمة التبريد تطوير أنظمة ذكية خدمة الأنظمة نظم السلامة الحرجة أبحاث النظم المعقدة أنظمة التكامل المسموح عملية أنظمة LINDENMEYER. أنظمة بدون توقف محاكاة النظم العددي Systems Systems محاكي تحليل النظم العددية نظم الدولة المستمرة نظم نقاط البيع نظم الاتصالات أدوات النظم أنظمة الأدوات أنظمة العرض نظم الموارد البشرية أنظمة التحرير أنظمة العجلات فائدة النظم أنظمة اللافتات نظم الرسوم الجارية نهج النظم

التفرد rdk. وصف

اسم RDK يقف إلى طقم تطوير البحث. التركيز هو مشروع بحثي يركز على بناء أنظمة يمكن الاعتماد عليها من خلال الابتكار في مجالات النظم واللغات والأدوات. نحن نبني النموذج الأولي لنظام التشغيل (يسمى التركيز)، وتمديد لغات البرمجة، وتطوير تقنيات وأدوات جديدة لتحديد سلوك البرنامج والتحقق منه. تقدم في اللغات والجمعية والأدوات وأدوات فتح إمكانية تحسين البرامج بافتراضية. على سبيل المثال، يستخدم التفرد لغات آمنة من النوع وتعليمات مجردة لتعيين ما نسميه برامج معزولة البرامج (SIPS). توفر SIPS ضمانات العزلة القوية لعمليات نظام التشغيل (مساحة كائن معزولة، GCS منفصلة، تشغيل منفصل) دون النفقات العامة لنطاقات الحماية القسولة للأجهزة. في SIPS النموذج الفردي الحالي رخيصة للغاية؛ يركضون في حلقة 0 في مساحة عنوان Kernel. يستخدم التفرد هذه التطورات لبناء أنظمة وتطبيقات أكثر موثوقية. على سبيل المثال، نظرا لأن SIPS رخيصة للغاية لإنشاء وفرضها، تقوم التفرد بتشغيل كل برنامج أو برنامج تشغيل الجهاز أو ملحق النظام في SIP الخاص به. لا يسمح SIPS بمشاركة الذاكرة أو تعديل الكود الخاص بها. نتيجة لذلك، يمكننا أن نجعل ضمانات موثوقية قوية حول التعليمات البرمجية التي تعمل في SIP. يمكننا التحقق من المزيد من الخصائص الأوسع نطاقا حول SIP في ترجمة أو تثبيت الوقت بدلا مما يمكن عمله للحصول على رمز يعمل في عمليات نظام التشغيل التقليدية. تطبيق أوسع للتحقق الثابت أمر بالغ الأهمية للتنبؤ بسلوك النظام وتوفير المستخدمين ضمانات قوية حول الموثوقية.

التفرد rdk. برامج ذات صلة