بازگشت به جستجو

تأیید زمان اجرا اینترنت اشیا با استفاده از پردازش رویداد پیچیده (RECEP)

عنوان	تأیید زمان اجرا اینترنت اشیا با استفاده از پردازش رویداد پیچیده (RECEP)
نویسنده	اینچکی، کورای
تاریخ انتشار:	2018-06
موضوع	مهندسی کامپیوتر و علوم کامپیوتر و کنترل، نرم افزارهای کامپیوتری، سیستم کامپیوتری توزیع شده، تایید و تایید نرم افزار
نوع	سند
زبان	انگلیسی
دیجیتال	بله
نسخه خطی	خیر
کتابخانه:	دانشگاه اوزیغین
شماره ثبت	ae779cf6-0269-411a-b3b4-58899965cbc3
محل کتابخانه	گروه علوم کامپیوتر
تاریخ	2018-06
متن نمونه	افزایش قدرت محاسباتی و حافظه همراه با کاهش ردپای معماری، فتح مرزهای جدیدی در گسترش فناوری در انقلاب صنعتی بعدی را ممکن ساخته است. به لطف قابلیت های پیشرفته ارائه شده توسط سیستم های تعبیه شده با چنین قدرت محاسباتی، سیستم های خودمختار بیشتری به کار گرفته شده اند. اینترنت اشیا (IoT) از طریق ارائه یکپارچه‌سازی واحدهای محاسباتی، معمولاً به شکل یک سیستم تعبیه‌شده، با امکان اتصال به چنین سیستم‌های تعبیه‌شده بدون نیاز به تعامل انسانی، به‌عنوان عاملی برای بسیاری از دستاوردها در صنعت پدیدار شده است. مهندسی سیستم سیستم‌ها (SoS) که توسط دستگاه‌های اینترنت اشیا تشکیل شده‌اند، چالش جدید طراحی سیستم‌های مقیاس بزرگ بوده است، زیرا مقیاس چنین سیستمی می‌تواند از ده‌ها دستگاه در یک نمونه زندگی با کمک محیط (AAL) تا هزاران دستگاه در یک برنامه شهری هوشمند متغیر باشد. بنابراین، پیچیدگی مهندسی نرم‌افزار و تأیید آن SoS نیازمند رویکردهای جدیدی است که این فرآیندها را تسهیل می‌کند. در این پایان نامه، به مشکل تأیید SoS IoT در زمان اجرا می پردازیم. ما ابتدا یک محاسبه رویداد پیشنهاد می‌کنیم که مدل رفتاری اساسی پیام‌های اولیه اینترنت اشیا را نشان می‌دهد. حساب رویداد به ما اجازه می‌دهد تا تعامل دستگاه‌های IoT را بر حسب رویدادهایی که نشان‌دهنده ارسال و دریافت پیام‌های پروتکل برنامه محدود (CoAP) هستند، مشخص کنیم. نمایش رفتار نقاط انتهایی CoAP در EC به ما کمک می کند تا الگوهای پردازش رویداد پیچیده (CEP) را تعریف کنیم که بعداً به عنوان مانیتور زمان اجرا مورد استفاده قرار خواهند گرفت. تحقیقات موجود در مورد تأیید زمان اجرا (RV) معمولاً راه‌حلی با روش‌های رسمی سنگین ارائه می‌دهد که با ترساندن تمرین‌کنندگان مانع از سودمندی روش می‌شود. بنابراین، ما یک رویکرد مهندسی مدل محور (MDE) برای RV سیستم‌های IoT پیشنهاد می‌کنیم، که انتظار می‌رود استفاده از RV را در سناریوهای صنعتی ترویج کند. ما افزونه‌ای را برای نمایه UML2.5 پیشنهاد می‌کنیم که به ما امکان می‌دهد یک ابزار مدل‌سازی را سفارشی کنیم تا بتوانیم یک مدل c اختصاصی دامنه (DSM) برای تأیید سیستم‌های IoT ایجاد کنیم. بعداً، به منظور ایجاد خودکار مانیتورهای زمان اجرا در قالب دستورات CEP، ما یک ابزار تبدیل مدل به متن (M2T) را در ابزار مدل‌سازی ارائه می‌کنیم. مشارکت های پایان نامه در چندین سناریو نشان داده شده است. بو گلیشملر گؤمولو سیستملرین کاپاسیتسینی آرتیرارک، بونلارین کولانیلدیگی اوتونوم سیستملرین هر گئچن گون داها فضلا یایگینلاشماسینی ساغلامیشتر. Nesnelerin _Interneti (اینترنت اشیا - IoT) gömülü sistemlerin insan etkileşimine gereksinim duymadan birbiriyle etkileşebilmesini sağlayarak, endüstride pek çok yeniliğin başarılmasına yol açmıştır. IoT cihazlarından oluşan bir sistemlerin sistemi (SoS) geliştirmek büyük ölçekli sistem tasarımında yeni bir zorluk olarak karşımıza çıkmaktadır (örn., ortam destekli yaşama (محیط کمکی زندگی - AAL) onlarıcaıllamazken şehir uygulamalarında binlerce cihaz kullanılabilir). Bu yüzden، IoT cihazlarından oluşan SoS'lerin yazılımı geliştirilmesi و doğrulama süreçlerinde karşılaşılan zorlukların üstesinden gelebilmek için yeni yaklaşımlara ihtiyaç vardır. Biz bu tezde IoT cihazlarından oluşan SoS'lerin koşum zamanı doğrulamasının yapılabilmesi problemini ele aldık. Öncelikle, IoT mesajlaşma öğelerinin temel davranış modelini tanımlayan bir olay kalkülüsü (حساب رویداد - EC) öneriyoruz. EC, bize IoT cihazları arasındaki پروتکل برنامه محدود (CoAP) mesajı gönderme ve alma şeklinde gerçekleşen haberleşme aksiyonlarını olaylar türünden tanımlayabilmemizi, dolayısıyla CoAP uçranısıyla coAP uçranısıyla za noktalarış 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 (اصل زمانی اجرا - 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. Bu problemi de dikkate alarak biz bu araştırmada، model-güdümlü mühendislik (مهندسی مدل محور - MDE) yaklaşımlarını kullanarak IoT sistemlerinin RV faaliyetleri için formal yöntemlere kıyasla daha birkullan. Bizim yaklaşımımızda، UML2.5 pro linde IoT alanına özgü ddeğişiklikler yaparak، alana-özgü modelleme (مدلسازی با دامنه خاص - DSM) prensibine dayalı bir MDE çözümü sunulmuştur. Ayrıca, IoT için önerilen DSM kullanılarak davranış modellerinden CEP ifadeleri biçiminde koşum zamanı gözlemcilerini otomatik olarak üretebilmek için modelden-yazıya dönüşüm (model-to-text) geliştirilmiştir. Tezde önerilen katkıların gösterimi için MDE ve M2T teknikleri çeşitli durum çalışmalarında kullanılmıştır.

مشاهده در منبع دانشگاه اوزیغین دانشگاه اوزیغین - موتور جستجوی آثار تاریخی، آرشیوها و نشریات

دانشگاه اوزیغین

تأیید زمان اجرا اینترنت اشیا با استفاده از پردازش رویداد پیچیده (RECEP)

نویسنده اینچکی، کورای

تاریخ انتشار 2018-06

موضوع مهندسی کامپیوتر و علوم کامپیوتر و کنترل، نرم افزارهای کامپیوتری، سیستم کامپیوتری توزیع شده، تایید و تایید نرم افزار

نوع سند

زبان انگلیسی

دیجیتال بله

نسخه خطی خیر

کتابخانه دانشگاه اوزیغین

شماره ثبت ae779cf6-0269-411a-b3b4-58899965cbc3

محل کتابخانه گروه علوم کامپیوتر

تاریخ 2018-06

متن نمونه افزایش قدرت محاسباتی و حافظه همراه با کاهش ردپای معماری، فتح مرزهای جدیدی در گسترش فناوری در انقلاب صنعتی بعدی را ممکن ساخته است. به لطف قابلیت های پیشرفته ارائه شده توسط سیستم های تعبیه شده با چنین قدرت محاسباتی، سیستم های خودمختار بیشتری به کار گرفته شده اند. اینترنت اشیا (IoT) از طریق ارائه یکپارچه‌سازی واحدهای محاسباتی، معمولاً به شکل یک سیستم تعبیه‌شده، با امکان اتصال به چنین سیستم‌های تعبیه‌شده بدون نیاز به تعامل انسانی، به‌عنوان عاملی برای بسیاری از دستاوردها در صنعت پدیدار شده است. مهندسی سیستم سیستم‌ها (SoS) که توسط دستگاه‌های اینترنت اشیا تشکیل شده‌اند، چالش جدید طراحی سیستم‌های مقیاس بزرگ بوده است، زیرا مقیاس چنین سیستمی می‌تواند از ده‌ها دستگاه در یک نمونه زندگی با کمک محیط (AAL) تا هزاران دستگاه در یک برنامه شهری هوشمند متغیر باشد. بنابراین، پیچیدگی مهندسی نرم‌افزار و تأیید آن SoS نیازمند رویکردهای جدیدی است که این فرآیندها را تسهیل می‌کند. در این پایان نامه، به مشکل تأیید SoS IoT در زمان اجرا می پردازیم. ما ابتدا یک محاسبه رویداد پیشنهاد می‌کنیم که مدل رفتاری اساسی پیام‌های اولیه اینترنت اشیا را نشان می‌دهد. حساب رویداد به ما اجازه می‌دهد تا تعامل دستگاه‌های IoT را بر حسب رویدادهایی که نشان‌دهنده ارسال و دریافت پیام‌های پروتکل برنامه محدود (CoAP) هستند، مشخص کنیم. نمایش رفتار نقاط انتهایی CoAP در EC به ما کمک می کند تا الگوهای پردازش رویداد پیچیده (CEP) را تعریف کنیم که بعداً به عنوان مانیتور زمان اجرا مورد استفاده قرار خواهند گرفت. تحقیقات موجود در مورد تأیید زمان اجرا (RV) معمولاً راه‌حلی با روش‌های رسمی سنگین ارائه می‌دهد که با ترساندن تمرین‌کنندگان مانع از سودمندی روش می‌شود. بنابراین، ما یک رویکرد مهندسی مدل محور (MDE) برای RV سیستم‌های IoT پیشنهاد می‌کنیم، که انتظار می‌رود استفاده از RV را در سناریوهای صنعتی ترویج کند. ما افزونه‌ای را برای نمایه UML2.5 پیشنهاد می‌کنیم که به ما امکان می‌دهد یک ابزار مدل‌سازی را سفارشی کنیم تا بتوانیم یک مدل c اختصاصی دامنه (DSM) برای تأیید سیستم‌های IoT ایجاد کنیم. بعداً، به منظور ایجاد خودکار مانیتورهای زمان اجرا در قالب دستورات CEP، ما یک ابزار تبدیل مدل به متن (M2T) را در ابزار مدل‌سازی ارائه می‌کنیم. مشارکت های پایان نامه در چندین سناریو نشان داده شده است. بو گلیشملر گؤمولو سیستملرین کاپاسیتسینی آرتیرارک، بونلارین کولانیلدیگی اوتونوم سیستملرین هر گئچن گون داها فضلا یایگینلاشماسینی ساغلامیشتر. Nesnelerin _Interneti (اینترنت اشیا - IoT) gömülü sistemlerin insan etkileşimine gereksinim duymadan birbiriyle etkileşebilmesini sağlayarak, endüstride pek çok yeniliğin başarılmasına yol açmıştır. IoT cihazlarından oluşan bir sistemlerin sistemi (SoS) geliştirmek büyük ölçekli sistem tasarımında yeni bir zorluk olarak karşımıza çıkmaktadır (örn., ortam destekli yaşama (محیط کمکی زندگی - AAL) onlarıcaıllamazken şehir uygulamalarında binlerce cihaz kullanılabilir). Bu yüzden، IoT cihazlarından oluşan SoS'lerin yazılımı geliştirilmesi و doğrulama süreçlerinde karşılaşılan zorlukların üstesinden gelebilmek için yeni yaklaşımlara ihtiyaç vardır. Biz bu tezde IoT cihazlarından oluşan SoS'lerin koşum zamanı doğrulamasının yapılabilmesi problemini ele aldık. Öncelikle, IoT mesajlaşma öğelerinin temel davranış modelini tanımlayan bir olay kalkülüsü (حساب رویداد - EC) öneriyoruz. EC, bize IoT cihazları arasındaki پروتکل برنامه محدود (CoAP) mesajı gönderme ve alma şeklinde gerçekleşen haberleşme aksiyonlarını olaylar türünden tanımlayabilmemizi, dolayısıyla CoAP uçranısıyla coAP uçranısıyla za noktalarış 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 (اصل زمانی اجرا - 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. Bu problemi de dikkate alarak biz bu araştırmada، model-güdümlü mühendislik (مهندسی مدل محور - MDE) yaklaşımlarını kullanarak IoT sistemlerinin RV faaliyetleri için formal yöntemlere kıyasla daha birkullan. Bizim yaklaşımımızda، UML2.5 pro linde IoT alanına özgü ddeğişiklikler yaparak، alana-özgü modelleme (مدلسازی با دامنه خاص - DSM) prensibine dayalı bir MDE çözümü sunulmuştur. Ayrıca, IoT için önerilen DSM kullanılarak davranış modellerinden CEP ifadeleri biçiminde koşum zamanı gözlemcilerini otomatik olarak üretebilmek için modelden-yazıya dönüşüm (model-to-text) geliştirilmiştir. Tezde önerilen katkıların gösterimi için MDE ve M2T teknikleri çeşitli durum çalışmalarında kullanılmıştır.