إطار التحقق من وقت التشغيل لتطبيقات الشبكة الذكية المطبقة على أطر المحاكاة
| العنوان | إطار التحقق من وقت التشغيل لتطبيقات الشبكة الذكية المطبقة على أطر المحاكاة |
|---|---|
| المؤلف | سيراجي، س.، سوزر، حسن، تكينيردوغان، ب. |
| تاريخ النشر: | 2013 |
| مكان النشر | - IEEE |
| الموضوع | محاكاة نظام الطاقة، شبكات الطاقة الذكية |
| النوع | وثيقة |
| اللغة | الإنجليزية |
| رقمي | نعم |
| مخطوط | لا |
| المكتبة: | جامعة اوزيجين |
| معرف أصل المكتبة | 978-146736280-1 |
| رقم السجل | 010ac1ed-9160-457d-9b80-92d923b3622d |
| موقع المكتبة | علوم الكمبيوتر |
| التاريخ | 2013 |
| ملاحظات | نظرًا لقيود حقوق الطبع والنشر، فإن الوصول إلى النص الكامل لهذه المقالة متاح فقط عبر الاشتراك. |
| نص عينة | يتم تنفيذ واختبار تطبيقات الشبكة الذكية باستخدام أطر المحاكاة حيث لا يتمكن المطورون عادةً من الوصول إلى شبكات الاستشعار الكبيرة لاستخدامها كسرير اختبار. يضطر المطورون إلى تعيين التنفيذ على هذه الأطر مما يؤدي إلى انحراف بين البنية والتعليمات البرمجية. وهذا الانحراف بدوره يجعل من الصعب التحقق من القيود السلوكية الموصوفة على المستوى المعماري. لقد قمنا بتطوير مجموعة أدوات ConArch لدعم التحقق الآلي من القيود السلوكية على مستوى البنية. الميزة الرئيسية لـ ConArch هي رسم الخرائط القابلة للبرمجة للهندسة المعمارية للتنفيذ. هنا، يقوم المطورون بتنفيذ استعلامات لتحديد النقاط في البرنامج المستهدف التي تتوافق مع التفاعلات المعمارية. يقوم ConArch بإنشاء مراقبي وقت التشغيل الذين يراقبون تدفق التنفيذ بين هذه النقاط ويتحققون مما إذا كان هذا التدفق يتوافق مع القيود السلوكية. نوضح كيف يمكن استغلال التعيينات القابلة للبرمجة للتحقق من القيود السلوكية لتطبيق الشبكة الذكية الذي يتم تنفيذه باستخدام إطاري محاكاة. |
| DOI | 10.1109/SE4SG.2013.6596105 |
