Projekt R2DATO FP2 (WP30) fokuserar på modelleringsmetoder som möjliggörare för automatiserade procedurer för godkännande av produkter inom det framtida europeiska järnvägssystemet. Ett centralt mål är att tillämpa modellbaserad validering och verifiering (V&V) av digitala referensmodeller före implementering, för att uppnå “kvalitet genom design”; kritiska systemegenskaper bevisas (genom formell verifiering), och användarbehov och förväntningar valideras med hjälp av simulering och animering av beteende. Att använda modellbaserad V&V före implementering kan betraktas som en nödvändig förutsättning för att kunna automatisera godkännandeprocedurer i produktionsprojekt.

Denna presentation kommer att beskriva en fallstudie för modellbaserad V&V i R2DATO WP30, och nyckelsteg för att förbereda och automatisera modellbaserad V&V med hjälp av standardformat (såsom ontologibaserad infrastrukturdata från Trafikverket, i standardformatet RDF från “the semantic web”)

Talare:  Arne Borälv – Prover Technology AB