اعتبار سنجی سیستم (3): الزامات توسط فرمول های مدال

اعتبار سنجی سیستم زمینه ای است که مبانی ارتباطات سیستم و پردازش اطلاعات را مطالعه می کند. این امکان را به تجزیه و تحلیل خودکار بر اساس مدل های رفتاری یک سیستم می دهد تا ببیند آیا یک سیستم به درستی کار می کند یا خیر. ما می خواهیم تضمین کنیم که سیستم ها دقیقاً همان کاری را که قرار است انجام دهند انجام می دهند. تکنیک های ارائه شده در اعتبار سنجی سیستم امکان اثبات عدم وجود خطا را فراهم می کند. این اجازه می دهد تا رفتار سیستم تعبیه شده را طراحی کنید که از نظر ساختاری مناسب باشد و به عنوان یک اثر جانبی شما را مجبور می کند رفتار را ساده و روشنگر کنید. این بدان معنی است که سیستم ها نه تنها به درستی رفتار می کنند، بلکه نگهداری و انطباق آنها بسیار آسان تر است. "نیازها بر اساس فرمول های مدال" سومین دوره ای است که به شما نشان می دهد چگونه الزامات خودکار را مشخص کنید تا رابطه صحیح بین الزامات و رفتار سیستم را ایجاد کنید. مطالب خواندنی جی.اف.گروت و ام.آر.موسوی. مدل سازی و تحلیل سیستم های ارتباطی. مطبوعات MIT، 2014.