I detta dokument diskuteras tillämpningen av försäkringsärenden som ett sätt att skapa förtroende för att programvarudesignen av ett komplext system av system faktiskt kommer att uppfylla de operativa mål som anges i projektets krav på toppnivå. Diskussionen kommer att förklara skälen för att välja tillvägagångssätt för försäkringsfall och ta ett exempel på hur metoden kan tillämpas i det beskrivna sammanhanget. Utmaningarna med att tillämpa strategin i en verklig miljö kommer att beaktas, följt av slutsatser. Detta dokument kommer att fungera som en anonym fallstudie. Vid slutet av tidningen, läsarna kommer att ha lärt sig hur försäkringar fall har använts i verkliga, icke-triviala inställningar för att lösa det angivna problemet. De kommer att ha en plan för att tillämpa liknande tekniker på sina egna utmaningar, med insikten i potentiella fallgropar som kommer att göra det möjligt för dem att lyckas. Nomenklatur k = en given nyckelparameter för prestanda
Försäkringsfall har använts för konstruktionsanalys av komplexa system av systemprogramvara för hypotetiska militära system REF ).
Assurance Cases for Design Analysis of Complex System of Systems Software
{'venue': 'AIAA Infotech@Aerospace Conference', 'journal': 'AIAA Infotech@Aerospace Conference', 'mag_field_of_study': ['Engineering']}