فهرست نشریات علمی دسترسی آزاد ایران

سیستم‌های سیگنالینگ و اینترلاکینگ نقشی حیاتی در ایجاد یک حمل و نقل ایمن در سیستم‌های راه‌آهن ایفا می‌کنند. از آنجایی که در این سیستم‌ها رخ دادن هیچ نوع خطایی حتی کوچک جایز نیست، استفاده از روش‌های صوری برای طراحی، شبیه سازی، مدل‌سازی و ارزیابی، بسیار حائز اهمیت است. چندین روش صوری برای طراحی وجود دارد که یکی از ابزارهای مناسب، استفاده از جعبه ابزار Stateflow نرم‌افزار MATLAB است. در این مقاله یک مدل از سیستم اینترلاکینگ و سیگنالینگ برای شبکه‌های ریلی بر اساس دینامیک رویداد محور طراحی شده است و با استفاده از اطلاعات پایه شبکه ریلی، قواعد ترافیکی مدل‌سازی و شبیه‌سازی می‌شوند. از ویژگی‌های اصلی این شبیه ساز، طراحی و توسعه آسان سیستم اینترلاکینگ تنها با تغییر اطلاعات پایه و افزودن مدهای عملکردی جدید است. هدف از طراحی این مدل توسعه و اجرای توابع اینترلاکینگ جدید در یک محیط شبیه سازی برای بهبود عملکرد آن‌ها است. نوآوری اصلی در این مدل، طراحی المان‌های شبکه ریلی بر اساس دینامیک رویداد محور و قابلیت توسعه و ارتباط سیستم اینترلاکینگ با سایر سیستم‌های کنترل ترافیک ریلی است. در انتها مدل سیستم اینترلاکینگ برای شبکه ریلی خط 2 متروی تهران و یک ایستگاه راه‌آهن طراحی می‌شود و عملکرد آن در ارتباط با سیستم‌های کنترل ترافیک مورد بررسی قرار می‌گیرد.