![Page 1: Analys och validitet av systemstudier med MERLIN-baserade simuleringsmodeller](https://reader036.vdocuments.net/reader036/viewer/2022062315/56814de3550346895dbb51de/html5/thumbnails/1.jpg)
Analys och validitet av systemstudier med MERLIN-baserade simuleringsmodeller
Casper Hildings
![Page 2: Analys och validitet av systemstudier med MERLIN-baserade simuleringsmodeller](https://reader036.vdocuments.net/reader036/viewer/2022062315/56814de3550346895dbb51de/html5/thumbnails/2.jpg)
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
![Page 3: Analys och validitet av systemstudier med MERLIN-baserade simuleringsmodeller](https://reader036.vdocuments.net/reader036/viewer/2022062315/56814de3550346895dbb51de/html5/thumbnails/3.jpg)
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
![Page 4: Analys och validitet av systemstudier med MERLIN-baserade simuleringsmodeller](https://reader036.vdocuments.net/reader036/viewer/2022062315/56814de3550346895dbb51de/html5/thumbnails/4.jpg)
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
![Page 5: Analys och validitet av systemstudier med MERLIN-baserade simuleringsmodeller](https://reader036.vdocuments.net/reader036/viewer/2022062315/56814de3550346895dbb51de/html5/thumbnails/5.jpg)
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)
![Page 6: Analys och validitet av systemstudier med MERLIN-baserade simuleringsmodeller](https://reader036.vdocuments.net/reader036/viewer/2022062315/56814de3550346895dbb51de/html5/thumbnails/6.jpg)
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
![Page 7: Analys och validitet av systemstudier med MERLIN-baserade simuleringsmodeller](https://reader036.vdocuments.net/reader036/viewer/2022062315/56814de3550346895dbb51de/html5/thumbnails/7.jpg)
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
![Page 8: Analys och validitet av systemstudier med MERLIN-baserade simuleringsmodeller](https://reader036.vdocuments.net/reader036/viewer/2022062315/56814de3550346895dbb51de/html5/thumbnails/8.jpg)
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
![Page 9: Analys och validitet av systemstudier med MERLIN-baserade simuleringsmodeller](https://reader036.vdocuments.net/reader036/viewer/2022062315/56814de3550346895dbb51de/html5/thumbnails/9.jpg)
Användning – FLSC och PETRA-39C
• Utbildning av piloter
• Planering och utvärdering av uppdrag
• Studier
![Page 10: Analys och validitet av systemstudier med MERLIN-baserade simuleringsmodeller](https://reader036.vdocuments.net/reader036/viewer/2022062315/56814de3550346895dbb51de/html5/thumbnails/10.jpg)
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)
![Page 11: Analys och validitet av systemstudier med MERLIN-baserade simuleringsmodeller](https://reader036.vdocuments.net/reader036/viewer/2022062315/56814de3550346895dbb51de/html5/thumbnails/11.jpg)
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
![Page 12: Analys och validitet av systemstudier med MERLIN-baserade simuleringsmodeller](https://reader036.vdocuments.net/reader036/viewer/2022062315/56814de3550346895dbb51de/html5/thumbnails/12.jpg)
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
![Page 13: Analys och validitet av systemstudier med MERLIN-baserade simuleringsmodeller](https://reader036.vdocuments.net/reader036/viewer/2022062315/56814de3550346895dbb51de/html5/thumbnails/13.jpg)
The GM-VV är omfattande
![Page 14: Analys och validitet av systemstudier med MERLIN-baserade simuleringsmodeller](https://reader036.vdocuments.net/reader036/viewer/2022062315/56814de3550346895dbb51de/html5/thumbnails/14.jpg)
Exempel: zonrörsmodell
• Ett enkel exempel för att inleda samarbetet
![Page 15: Analys och validitet av systemstudier med MERLIN-baserade simuleringsmodeller](https://reader036.vdocuments.net/reader036/viewer/2022062315/56814de3550346895dbb51de/html5/thumbnails/15.jpg)
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?
![Page 16: Analys och validitet av systemstudier med MERLIN-baserade simuleringsmodeller](https://reader036.vdocuments.net/reader036/viewer/2022062315/56814de3550346895dbb51de/html5/thumbnails/16.jpg)
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
![Page 17: Analys och validitet av systemstudier med MERLIN-baserade simuleringsmodeller](https://reader036.vdocuments.net/reader036/viewer/2022062315/56814de3550346895dbb51de/html5/thumbnails/17.jpg)
Frågor?