Syfte Europeiska unionen har inrättat ett europeiskt ledningssystem för järnvägstrafik: ERTMS-systemet för att med full säkerhet säkerställa tågtrafik på olika europeiska nät. Eftersom den fullständiga utbyggnaden av detta system är lång och dyr är utvecklingen nödvändig och medför andra tekniska utmaningar. Målet är att fastställa hur ERTMS-specifikationer ska användas för att ta fram testscenarier. I detta dokument presenteras metoder, modeller och verktyg för generering av testscenarier för validering av ERTMS-komponenter baserade på funktionskrav. Metoder Utvecklingen av ERTMS-systemet kräver lämpliga metoder för modellering och kontroll av dess beteende. Utvärdering och certifiering av systemet kan göras genom att generera testscenarier med hjälp av formella metoder. Unidified Modelling Language (UML) är en allmänt vedertagen modelleringsstandard inom industrin. Det är dock ett semiformellt språk och tillåter inte kontroll av systemets beteende. I detta fall kan formella modeller som Petri Net användas. Resultat Dessa metoder används för att formalisera ERTMS-specifikationen. Testscenarier genereras på grundval av Petri nettomodeller. Ett scenario betraktas som en bränningssekvens i tillgänglighetsdiagrammet för Petri-nätet. Därefter tillämpas testscenarier på ERTMS-plattformens simulator för att kontrollera komponenterna och ge utslag på proven. Slutsatser Slutligen har det tillvägagångssätt som utvecklas i detta dokument tillämpats på ERTMS-komponenter för att visa att kostnaderna för validering och certifiering minskar och även för att minimera begränsningarna för uppgradering och eftermontering samt kostnaderna för validering.
Arbetet i REF validerar ERTMS-specifikationer via översättningar till UML och använder sedan Petri Nets-modeller för att generera testscenario.
European railway traffic management system validation using UML/Petri nets modelling strategy
{'venue': None, 'journal': 'European Transport Research Review', 'mag_field_of_study': ['Engineering']}