Systemmodell Meteor – Förstudierapport, öppen del

Författare:

  • Andreas Hörnedal

Publiceringsdatum: 2015-05-18

Rapportnummer: FOI-R--4080--SE

Sidor: 36

Skriven på: Svenska

Nyckelord:

  • Meteor
  • krav
  • kravanalys
  • acceptanskrav
  • modellkrav
  • verifiering
  • validering
  • V&V
  • jaktrobot
  • robotteknik
  • M&S
  • modellering
  • simulering
  • modell
  • MERLIN
  • GM-VV
  • fenomen
  • scenario
  • systemmodell
  • användarberättelse
  • vapen

Sammanfattning

Krav (icke-hemliga) och ett antal tekniska aspekter på en systemmodell för jaktrobot Meteor beskrivs på övergripande nivå. Dokumentet är brett inriktat till modellens samtliga intressenter för att förankra en kravbild och tillämplig metodik att utveckla krav. Detta dokument bör ses som ett första försök till att beskriva kravbilden. Jaktroboten Meteor införs med JAS 39C/D MS20. En realtidsmodell för denna robot kräver att medvetna och tydliga prioriteringar görs så att en modell kan erhållas inom rimlig utvecklingstid. En idé till kravmetodik beskrivs. Ett antal rekommenderade arbetsprinciper beskrivs för ett framtida arbete med systemmodellen. Arbetet med krav och kravmetodik för detta ändamål motiveras. En stor tonvikt läggs på högnivåbeskrivningen av krav, i syfte att effektivt kommunicera kravbilden mellan användare och beställare respektive utvecklare och domänexperter. Kraven bryts succesivt ned i acceptanskrav, modellkrav och implementationskrav. I acceptanskraven behandlas modellen som en produkt, så att terminologi och metodik som är vanligt förekommande i kommersiell teknisk produktutveckling kan appliceras. Från definierade simuleringsscenarier i acceptanskraven tas sedan modellkrav fram genom att beskriva typfall och utmärkande fenomen som modellen förväntas uttrycka. Den resulterande konceptuella modellbeskrivningen kan sedan omsättas i implementationskrav, där även processkrav och icke-funktionella krav kan ingå. Acceptanskrav, användarberättelser och icke-funktionella definieras för den aktuella modellen. Endast ohemliga krav definieras i denna rapport. En övergripande lösning skisseras och motiveras. Ramverket MERLIN rekommenderas som simuleringsramverk.