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

امروزه حمل و نقل مواد خطرناک (هزمت) و امداد رسانی در زمان حادثه ناشی از آن بسیار حائز اهمیت است. این مقاله مدلی دو سطحی برای طراحی شبکه حمل و نقل هزمت ارائه شده است. سطح اول مدل دو سطحی ارائه شده مقامات نظارتی (دولت) هستند