Analys och validitet av systemstudier med MERLIN-baserade simuleringsmodeller

Casper Hildings

Agenda

• Visionen och de problem som måste lösas för att uppnå denna

• MERLIN, ett existerande ramverk

• The GM-VV

• Exempel och slutsatser

Visionen

• Systemstudier som stödjer Försvarsmaktens studieverksamhet

• Underlag för taktikutveckling

• Beslutsunderlag i avdömningsfrågor

• Förbättrat stöd till FMV kring tekniska frågeställningar

0

10

20

30

40

50

60

70

80

Scen. 1 Scen. 2 Scen. 3 Scen. 4

Bättre radar

Införa IRST

Bättre länkar

Förutsättningar för att nå visionen

• Tillgång på modeller (vapen, flygplan och beteende)

• Verktyg för att genomföra simuleringarna

• Möjlighet att bedöma hur resultat förhåller sig till verkligheten

• Kunskap och erfarenhet att tolka resultaten

MERLIN – en modellarkitektur

• Underlätta modellutveckling

• Lager mellan modell och applikation

• Komponentbaserad arkitektur

• Verktygssvit

• C++, XML

• Dynamisk inladdning

• Fokus realtidsmodeller

MERLIN är Försvarsmaktens mjukvarustandard för integration av vapenmodeller i flygsimulatorer (FLSC/PETRA-39C)

MERLIN - komponentbaserad

• Komponenter = legobitar

• Gränsnitt = hur man sätter ihop/kontaktyta

• Mermoc (XML/Schema) = ritning

• Merbin (.so/.dll/.dylib) = legolåda

• Problemställningar kring validering fördjupas

Verifiering i MERLIN

• Enhetstester som körs varje natt

• Enhetstester även för aggregerade modeller vilket ger en viss regressionstestning

• MERLIN-Oracle testar att robotmodeller uppfyller kontrakt som robotspecifika gränssnitt innebär

Modeller utvecklade i MERLIN

• Främst robotmodeller, men även en del bombmodeller

• En del är hemliga, medan andra inte är det

• Både hotmodeller och egna

• För vissa har vi tillgång till mer detaljerade modeller som kan tjäna som referens

• Specialfall: äldre robotmodeller exponeras genom MERLIN-gränssnitt

• Meteor, viktig för att det medger verifiering och därför att nya egenskaper motiverar studier

Användning – FLSC och PETRA-39C

• Utbildning av piloter

• Planering och utvärdering av uppdrag

• Studier

Verktyg inom MERLIN

• Simulering av enskilda robotskott (Blaise, MDA)

• Beräkning och visualisering av skjutlappar (CalZone, Caprese)

• I designfas: verktyg för studier av taktiska situationer (MIRAGE)

Utveckling av valideringsmetodik på FOI

• Bedrivs på enheten för Informatik, kontaktperson Sten-Åke Nilsson

• Mångårig verksamhet inom Verifiering, Validering och Ackreditering

• Har nu ett uppdrag att pröva utvecklad metodik på aktuella frågeställningar

The GM-VV

• The Generic Methodology for Verification and Validation

• Ger en rekomendation

• Betonar syfte och mål

• Är i ett utvärderingsskede

REVVA-2

2003 2004 2008/92006

Concept DevelopmentPhase

DraftREVVA-2Tiger Team

WEAG/EUCLID

REVVA-1 NMSG-073

SISO SG - PDG

2011

DG/PDG

Standard

The GM-VV är omfattande

Exempel: zonrörsmodell

• Ett enkel exempel för att inleda samarbetet

Framtida valideringsarbete: Remsmodell

• En grov plan för arbetet har tagits fram

• Arbetet med att formulera krav har påbörjats

• En tidig uppgift är att fånga krav från användare

• Fokus är inledningsvis på interaktiva tillämpningar

• Exempel: hur bra radarmålyteunderlag är det troligt att vi kommer att ha tillgång till?

Slutsatser

• En omfattande standard är möjligen nödvändig vid certifiering, men verkar inte riktigt lösa våra problem

• Delmoment i standarden kommer vara oss till stor hjälp

• Den personliga kontakten är av stor vikt

• Att involvera användare förväntar vi oss vara en svår uppgift i sig

Frågor?