Формальные методы

Формальные методы и инструменты успешно применяются для разработки критически важных для безопасности систем уже на протяжении десятилетий, в частности, в транспортной сфере, без единого метода или инструмента, которые стали бы доминирующим решением для проектирования систем. Формальные методы настоятельно рекомендуются существующими стандартами безопасности в железнодорожной отрасли, но инженерам-железнодорожникам обычно не хватает знаний для преобразования своих полуформальных моделей в формальную модель с точной семантикой, которая может служить входными данными для инструментов формальных методов. Мы делимся результатами проведения эмпирических исследований в этой области, включая анализ удобства использования инструментов формальных методов с участием специалистов-железнодорожников. Мы обсуждаем, в частности, в отношении железнодорожных систем и их моделирования, наш опыт применения формальных методов и инструментов к различным тематическим исследованиям, для чего мы взаимодействовали с рядом компаний из железнодорожной сферы. Мы сообщаем об уроках, извлеченных из этого опыта, и даем указания, как направить будущие исследования в сторону содействия дальнейшей синергии между исследователями и разработчиками формальных методов и инструментов, с одной стороны, и специалистами-железнодорожниками, с другой. - Models for formal methods and tools: the case of railway systems