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

مدل‌سازی پیشرفته Advanced modelling

• مقدمه‌ای بر مدل‌سازی نرم‌افزار، پروتکل‌ها و سایر رفتارها در MOOC Introduction to MOOC modelling software, protocols and other behaviour

• مدل‌سازی یک الگوریتم موازی برای محاسبه GCD Modelling a parallel algorithm to calculate the GCD

• معادلات فرآیند خطی و خطی‌سازی Linear process equations and linearisation

• دستکاری فرآیندهای خطی Manipulating linear processes

• سیستم‌های معادله بولین پارامتریک Parameterised boolean equation systems

• مرور مجدد پروتکل بیت متناوب The alternating bit protocol revisited

• پروتکل پنجره لغزان، یا باگ تاننبام The sliding window protocol, or Tanenbaum’s bug

• استاندارد کنترل از راه دور فیلیپس ۶، یا پروتکل بازگشت محدود Philips remote control standard 6, or the bounded retransmission protocol

دستورالعمل‌های مدل‌سازی Modelling guidelines

• دستورالعمل‌هایی برای جلوگیری از مشکل انفجار فضای حالت Guidelines to avoid the state space explosion problem

• مقایسه روش Push در مقابل Poll Push versus poll

• محدود کردن استفاده از داده‌ها Restrict the use of data

• اجتناب از موازی‌سازی میان اجزا Avoid parallelism among components

• طراحی ترکیبی؛ تعیین رفتار خارجی Compositional design; specify external behaviour