آموزش اعتبارسنجی سیستم (۳): الزامات با استفاده از فرمول‌های مودال - آخرین آپدیت

دانلود System Validation (3): Requirements by modal formulas

نکته: ممکن هست محتوای این صفحه بروز نباشد ولی دانلود دوره آخرین آپدیت می باشد.

نمونه ویدیوها: (صرفا برای مشاهده نمونه ویدیو، ممکن هست نیاز به شکن داشته باشید.)

توضیحات دوره: اعتبارسنجی سیستم حوزه‌ای است که به مطالعه مبانی ارتباطات سیستم و پردازش اطلاعات می‌پردازد. این حوزه امکان تحلیل خودکار بر اساس مدل‌های رفتاری سیستم را فراهم می‌کند تا بررسی شود که آیا یک سیستم به درستی کار می‌کند یا خیر. هدف ما این است که تضمین کنیم سیستم دقیقاً همان کاری را انجام می‌دهد که باید انجام دهد. تکنیک‌های ارائه شده در اعتبارسنجی سیستم، اثبات عدم وجود خطا را ممکن می‌سازد. این کار اجازه می‌دهد رفتار سیستم‌های تعبیه‌شده (Embedded) به گونه‌ای طراحی شود که از نظر ساختاری سالم باشد و به عنوان یک اثر جانبی، شما را مجبور می‌کند رفتار سیستم را ساده و قابل درک طراحی کنید. این بدان معناست که سیستم‌ها نه تنها به درستی عمل می‌کنند، بلکه نگهداری و تطبیق‌پذیری آن‌ها نیز بسیار آسان‌تر خواهد بود. «الزامات با استفاده از فرمول‌های مودال» سومین دوره آموزشی است که به شما نشان می‌دهد چگونه الزامات را برای اتوماتا مشخص کنید تا رابطه درستی بین الزامات و رفتار سیستم برقرار شود. منابع مطالعه: J.F. Groote and M.R. Mousavi. Modeling and analysis of communicating systems. The MIT Press, 2014.

سرفصل ها و درس ها

فرمول‌های مودال پایه Basic modal formulas

مقدمه‌ای بر الزامات با استفاده از فرمول‌های مودال Introduction MOOC requirements by modal formulas
منطق هنسی-میلنر Hennessy-Milner logic
همانی‌ها در منطق HM Identities for HM-logic
دوگانگی‌ها Dualities
عملگرهای نقطه ثابت Fixed point operators
فرمول‌های منظم Regular formulas

فرمول‌های مودال پیشرفته Advanced modal formulas

داده‌ها در فرمول‌های مودال Data in modal formulas
نقاط ثابت متناوب Alternating fixed points
بازبینی الگوریتم پیترسون Peterson's algorithm revisited
ترجمه به سیستم معادلات بولی (BES) Translation to a Boolean Equation System (BES)
حل یک سیستم معادلات بولی Solving a Boolean Equation System