أداة DREAM هي إطار عام يهدف إلى توفير مجال الدلالي المشترك الذي يمكن التعبير عن عدة (في الوقت الحقيقي، واستهلاك الطاقة، والموارد) القيود.
المجال الدلالي لديه C ++ نموذج قابل للتنفيذ التي تم الراسية غويا لالآلي والشكلية الهجينة. على الرغم من أن نموذج حساب يناظر الآلي والهجينة، حتى الآن نكون قد وفقنا في تحليل النماذج من تقريب المحافظين باستخدام الآلي في الوقت المناسب على أنظمة حجم المعتدلة.
للتعامل مع الأمثلة على نطاق واسع أن المستخدم لديه القدرة على استخدام واجهة المحاكاة / اختبار على C ++ نموذج قابل للتنفيذ قبل تنفيذ النظام. ونحن نخطط لتوسيع الخوارزميات الجينية إلى حل عدد كبير من المشاكل.
DREAM هو إطار المحاكاة والتحقق التي تقدم نموذجا الرسمي وتحليل النظام الخاص بك في أقل من يوم واحد. نظم في DREAM هي المحدد باستخدام XML بطريقة واضحة. وآمل أن تجد أنه من المفيد.
يوفر في الوقت الحقيقي الوسيطة منصات يمكن الاعتماد عليها وفعالة دعم الاحتياجات الوظيفية وجودة الخدمة (QoS) الرئيسية الموزعة في الوقت الحقيقي جزءا لا يتجزأ من النظم (DRE).
وتشمل التحديات الرئيسية في التطورات نظام DRE تكوين الآمن لمكونات النظام ورسم المواصفات الوظيفية على النظام الأساسي الهدف. التكنولوجيات القائمة على نموذج مساعدة في معالجة هذه القضايا من خلال تمكين تحليل وقت التصميم وتوفير وسائل التقييم السريع للتصميم البدائل فيما يتعلق نهاية إلى نهاية جودة الخدمة خصائص والقدرة على التنبؤ ومقاييس الأداء قبل الالتزام منصة محددة.
في الوقت الحقيقي الموزعة جزءا لا يتجزأ من تحليل الطريقة DREAM هو أداة مفتوحة المصدر وسيلة لتحسين نوعية متعددة من الخدمة (QoS) خصائص الموزعة في الوقت الحقيقي جزءا لا يتجزأ من النظم (DRE). ويركز المشروع على التطبيق العملي لطرق التحليل الرسمية لفي الوقت الحقيقي الوسيطة لأتمتة عملية التحقق، والتنمية، والتكوين، وتكامل النظم DRE القائم على الوسيطة.
ما هو الجديد في هذا الإصدار:
· هذا الإصدار نفذت العديد من التحسينات لتحسين الأداء فحص النموذج، مما أدى إلى مكاسب الأداء الرائع من 2-3 مرات على الأقل.
· عدم وجود تسرب الذاكرة المعروفة الموجودة في الإصدار الحالي.
وتستخدم الآن · الأشجار AVL المتوازن، مما أدى إلى speedups هائلة في العديد من الخطوات لطريقة فحص نموذج.
· تم تنفيذ التحقق من صحة مخطط XML.
تمت ترقية · التقارير الوقت تحقق لتشمل بيانات عن سرعة المحاكاة.
· عشوائي الاختبارات القائمة على محاكاة يوفر الآن تتبع التنفيذ عندما يتم غاب عن الموعد المحدد.
لم يتم العثور على التعليقات