التحقق في وقت التشغيل من إنترنت الأشياء باستخدام معالجة الأحداث المعقدة (RECEP)
| العنوان | التحقق في وقت التشغيل من إنترنت الأشياء باستخدام معالجة الأحداث المعقدة (RECEP) |
|---|---|
| المؤلف | إنكي، كوراي |
| تاريخ النشر: | 2018-06 |
| الموضوع | هندسة الكمبيوتر وعلوم الكمبيوتر والتحكم، برامج الكمبيوتر، نظام الكمبيوتر الموزع، التحقق من صحة البرامج والتحقق من صحتها |
| النوع | وثيقة |
| اللغة | الإنجليزية |
| رقمي | نعم |
| مخطوط | لا |
| المكتبة: | جامعة اوزيجين |
| رقم السجل | ae779cf6-0269-411a-b3b4-58899965cbc3 |
| موقع المكتبة | قسم علوم الحاسوب |
| التاريخ | 2018-06 |
| نص عينة | إن الزيادة في قوة الحوسبة والذاكرة المصحوبة بتناقص البصمات المعمارية قد مكنت من التغلب على حدود جديدة في انتشار التكنولوجيا في ثورة الصناعة القادمة. وقد تم نشر المزيد من الأنظمة المستقلة بفضل القدرات المتقدمة التي توفرها الأنظمة المدمجة التي تتمتع بهذه القوة الحاسوبية. برز إنترنت الأشياء (IoT) كعامل تمكين للعديد من الإنجازات في الصناعة من خلال تقديم تكامل سلس لوحدات الحوسبة، عادةً في شكل نظام مضمن، من خلال السماح بالربط البيني لهذه الأنظمة المضمنة دون الحاجة إلى تفاعل بشري. تمثل هندسة نظام الأنظمة (SoS) المكون من أجهزة إنترنت الأشياء تحديًا جديدًا لتصميم أنظمة واسعة النطاق، حيث يمكن أن يتراوح حجم هذا النظام من عشرات الأجهزة في مثال المعيشة المحيطة (AAL) إلى آلاف الأجهزة في تطبيق المدينة الذكية. لذلك، فإن تعقيد هندسة البرمجيات والتحقق من أنظمة SoS يستلزم أساليب جديدة من شأنها تسهيل تلك العمليات. في هذه الأطروحة، نتناول مشكلة التحقق من IoT SoS في وقت التشغيل. نقترح أولاً حساب التفاضل والتكامل للحدث الذي يجسد النموذج السلوكي الأساسي لبدائيات مراسلة إنترنت الأشياء. يتيح لنا حساب التفاضل والتكامل للحدث تحديد تفاعل أجهزة إنترنت الأشياء من حيث الأحداث التي تمثل إرسال واستقبال رسائل بروتوكول التطبيق المقيد (CoAP). يساعدنا تمثيل سلوك نقاط نهاية CoAP في EC في تحديد أنماط معالجة الأحداث المعقدة (CEP) التي سيتم استخدامها لاحقًا كمراقبين لوقت التشغيل. عادةً ما تقدم الأبحاث الحالية حول التحقق من وقت التشغيل (RV) حلاً باستخدام أساليب رسمية ثقيلة، مما يعيق فائدة الطريقة عن طريق تخويف الممارسين. لذلك، نقترح نهجًا هندسيًا قائمًا على النماذج (MDE) للمركبات الترفيهية لأنظمة إنترنت الأشياء، والذي من المتوقع أن يعزز استخدام المركبات الترفيهية في السيناريوهات الصناعية. نقترح امتدادًا لملف تعريف UML2.5، والذي يمكننا من تخصيص أداة النمذجة حتى نتمكن من تطوير نموذج خاص بالمجال (DSM) للتحقق من أنظمة إنترنت الأشياء. لاحقًا، من أجل السماح بإنشاء أجهزة مراقبة وقت التشغيل تلقائيًا في شكل بيانات CEP، فإننا نساهم بأداة تحويل نموذج إلى نص (M2T) في أداة النمذجة. تم توضيح مساهمات الأطروحة في العديد من سيناريوهات الحالات. تعمل هذه الأنظمة على زيادة سعة التخزين، مما يؤدي إلى تعطل أنظمة التشغيل الخاصة بها بسهولة أكبر. Nesnelerin _Interneti (Internet of Things - IoT) هو عبارة عن نظام إنساني متطور ومبتكر ومتكامل، مما يؤدي إلى تفاقم المشكلة. توفر أنظمة إنترنت الأشياء (SoS) إمكانية الوصول إلى نظام سكني متكامل يوفر بيئة معيشة مريحة (المعيشة بمساعدة البيئة - AAL) uygulamasında onlarca cihaz kullanılırken, akıllı şehir uygulamalarında binlerce cihaz kullanılırken). من خلال ذلك، أصبحت تكنولوجيات إنترنت الأشياء (IoT) تعتمد على SoS'lerin من خلال إنشاء تطبيقات وأنظمة مساعدة إضافية. تعمل شركات إنترنت الأشياء على حل مشكلات SoS'lerin في جميع الأوقات من خلال حل المشكلات الأخرى. بالإضافة إلى ذلك، تم إنشاء نماذج إنترنت الأشياء من خلال رسائل إنترنت الأشياء (حساب التفاضل والتكامل - EC). قامت EC، في مجال إنترنت الأشياء، بتسليم رسائل بروتوكول التطبيقات المقيدة (CoAP) وتم تحسينها بشكل أكبر من خلال إضافة المزيد من الإضافات، ودعم CoAP في وقت لاحق من ذلك الوقت. koşum zamanı gözlemcileri olarak kullanacağımız, karmaşık olay işleme (معالجة الأحداث المعقدة - CEP) şablonları tanımlamamıza imkan sağlıyor. Koşum zamanı doğrulama (runtime veri fication - RV) alanındaki mevcut çalışmalar genellikle ağır yöntemler içeren çözümler önermektedir؛ bu nedenle, RV endüstride pek yaygın kullanılmamaktadır. من بين المشكلات التي قد تواجهك في عالم الأعمال، يمكن للمهندسين النموذجيين (الهندسة القائمة على النماذج - MDE) أن يتقنوا أنظمة إنترنت الأشياء (IoT) في إدارة المركبات الترفيهية بشكل رسمي من خلال تطوير أنظمة إنترنت الأشياء. تم تصميم UML2.5 pro linde IoT خصيصًا لإنشاء نماذج جديدة (نمذجة المجال المحدد - DSM) من خلال تصميم MDE. يمكن لإنترنت الأشياء أن يدعم DSM من خلال نماذج CEP التي تساعد في تحديد الوقت الذي يتم فيه إنشاء نماذج تلقائية لنماذج النمذجة (من نموذج إلى نص - M2T) وخوارزمياتها الجديدة geliştirilmiştir. Tezde önerilen katkıların gösterimi için MDE ve M2T teknikleri çalışmalarında kullanılmıştır. |
