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