• فهرست اختصارات (14)
• مقدمه (16)
  • طرح مسئله (17)
  • رهیافت این پایان‌نامه (17)
  • دستاوردهای پژوهش (18)
  • ساختار پایان‌نامه (19)
• مروری بر ادبیات موضوع (20)
  • شبکه‌های اقتضایی خودرویی (20)
    • کاربردهای ایمنی ارتباط خودرو با خوردرو (21)
    • رویه‌های پخش پیغام خطر در شبکه‌های اقتضایی خودرویی (24)
    • تحلیل شبکه‌های اقتضایی خودرویی (26)
  • مدل اکتور (29)
    • زبان مدل‌سازی ربکا (29)
  • الگوهای مدل‌سازی سیستم‌های مبتنی بر مسیر (39)
  • جمع‌بندی (44)
• روش پیشنهادی (46)
  • محدودیت‌های ربکا در مدل‌سازی شبکه‌های اقتضایی خودرویی (47)
    • نیازمندی‌های مدل‌سازی شبکه‌های اقتضایی خودرویی (48)
  • گسترش پیشنهادی ربکا (49)
    • ساختار نحوی گسترش پیشنهادی ربکا (51)
    • نحو انتزاعی گسترش پیشنهادی ربکا (52)
    • معناشناسی گسترش پیشنهادی ربکا (55)
    • عمل‌ها و گذارها (57)
    • تعمیم گسترش پیشنهادی (59)
  • آماده‌سازی افرا برای گسترش پیشنهادی (60)
    • فرایند کامپایل یک مدل ربکا توسط افرا (60)
    • تغییرات در CoreRebecaCompilerFacade (63)
    • فرایند تولید مجموعه کد وارسی مدل توسط افرا (64)
  • جمع‌بندی (67)
• مدل‌سازی و تحلیل (68)
  • چارچوب کلی (68)
  • رویه‌ی پخش پیغام مبتنی بر فاصله، بازپخش توسط آخرین گره محدوده (TLO) (72)
  • رویه پخش پیغام مبتنی بر شمارش (76)
  • جمع بندی (82)
• جمع‌بندی و کارهای آتی (84)
  • جمع‌بندی نتایج (84)
  • کارهای آتی (85)
• مراجع (87)
• واژه‌نامه انگلیسی به فارسی (94)
• واژه‌نامه فارسی به انگلیسی (97)