Инструментальная поддержка верификации моделей при разработке высокоавтоматизированных транспортных средств

Резюме: В статье рассматривается метод верификации модели для повышения безопасности и надежности высокоавтоматизированных транспортных средств (ВАТС) с помощью использования байесовских сетей и симулятора дорожного движения. Предложенный метод позволяет обнаруживать и классифицировать опасности, связанные с эксплуатацией ВАТС, и создавать требования, направленные на предотвращение опасных событий до начала эксплуатации транспортного средства, что даст возможность повысить безопасность и надежность транспортных средств.

Ключевые слова: анализ опасностей, верификация, высокоавтоматизированное транспортное средство, модель, оценка рисков, байесовская сеть, ГОСТ Р ИСО 26262, ИСО 21448.

A.A. Mishkina, O.M. Kirovskii, A.S. Korolev

Instrumental support for model verification in the development of highly automated vehicles

Summary: The article discusses a method of model verification to improve the safety and reliability of highly automated vehicles (HAVs) using Bayesian networks and a traffic simulator. The method helps an analyst to identify hazards related to HAV operations and to estimate their parameters before the start of vehicle operation, improving safety and reliability of HAV use.

Keywords: Hazard Analysis, Verification, Highly Automated Vehicle, Model, Risk Assessment, Bayesian Network,
ISO 26262, ISO 21448.

DOI: 10.34219/2078-8320-2024-15-1-49-52