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
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 MERLIN är Försvarsmaktens mjukvarustandard för integration av vapenmodeller i flygsimulatorer (FLSC/PETRA-39C) Underlätta modellutveckling Lager mellan modell och applikation Komponentbaserad arkitektur Verktygssvit C++, XML Dynamisk inladdning Fokus realtidsmodeller
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
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?