فهرست مطالب
گروههای آموزشی
Reactive Systems Verification
شماره درس: ۴۰۶۶۵ | تعداد واحد: ۳ |
مقطع: کارشناسی ارشد | نوع درس: نظری |
پیشنیاز: – | همنیاز: – |
سیستمهای واکنشی reactive))، سیستمهایی هستند که رفتار آنها به گونهای پیوسته و تنگاتنگ در ارتباط با محیط (environment) تعریف میشود. اینگونه سیستمها معمولاً در کاربردهای حساس (critical applications) به کار میآیند. نمونههایی از این کاربردها عبارتند از: سیستمهای عامل (operating systems)، شبکههای کامپیوتری سریع (high-speed computer networks)، سیستمهای همراه بی سیم (wireless mobile systems)، سیستمهای سایبری-فیزیکی (cyber-physical systems)، اینترنت اشیاء (Internet of things)، هوانوردی (avionics) ، کنترل فرایندهای صنعتی (industrial process control) ، نیروگاههای اتمی (nuclear plants) و غیره. از خواص مهم این سیستمها، همروندی (concurrency)، جنبههای بیدرنگ (real-time)، و کارایی (performance)، اتکاپذیری (dependability) و امنیت (security) بالا است. سه خاصیت اخیر معمولاً مستلزم درستی رفتار اینگونه سیستمها در شرایط مختلف است. از سویی دیگر، تعیین چنین درستی رفتاری به دلیل جنبههای همروندی و بیدرنگی معمولاً بسیار پیچیده است. این درس درباره مفاهیم و روشهای رسمی (formal methods)ای است که برای توصیف مشخصات (specification) و اعتبارسنجی (validation) سیستمهای واکنشی به کار میآیند.
کلیهی حقوق این سایت متعلق به دانشکدهی مهندسی کامپیوتر است.