Formell kravspecifikation Cooperative driving system GCDC 2011

Sammanfattning: Idag är det vanligt med inbyggda system i ett flertal tillämpningar så som hushållsapparater, bilar, industrier mm. Den ökade innovationsgraden av dessa inbyggda system ställer även krav på utvecklingsprocessen vid implementering av systemen. Målet med detta examensarbete var att identifiera de fördelar som kan nås vid validering och testning i samband med formella specifikationer av ett projekt. Fallstudien där denna metodik prövades och data genererades var på Scanias Cooperative Driving System (SCOOP) som är ett samarbetsprojekt mellan KTH och Scania. En prospektiv studie genomfördes där ett antal krav i Scoop valdes specificeras med hjälp av formella språk. Resultaten erhölls från interaktion med medlemmar från projektet under kravspecifikationsfasen, testfallbeskrivning och ett första godkännande genom att analysera de positiva eller negativa resultaten i projektet.Resultatet från undersökningen visade att ett mer formellt språk (semi-formell och formellt språk) under kravspecifikationsstadiumet, ledde till att ett formellt språk förbättrar kommunikationen mellan projektmedlemmarna, speciellt de formella språken som baseras på grafer såsom UML, SysML och tillståndsmaskin, vilket förbättrar analysen, bryter ner systemet och uppskattning av förändringensarbetet. Dessa formella språk förbättrar valideringen i benämningen av fullständighet och förbättring av kravspecifikationen. De möjliggör upptäckt av fel vid ett tidigare stadium och förhindrar potentiella förseningar senare under projektets gång. Formella språk förbättrar även genomförandet av simulationsmodeller som kan förbättra en tidigare feedback från kravspecifikationen.Slutsatsen av detta är att användningen av formella språk i ett tidigt skede i projektutvecklingen (under kravspecifikationen), ger positiva resultat vid prövning och valideringsfaserna samt för själva kravspecifikationen. Framtida studier kan fokusera på att verifiera om användningen av stimulering som ett komplement till den formella krav specifikationen tar mindre tid att definiera än en informell kravspecifikation tillsammans med de ytterligare iterationer som behövs vid stimuleringar för att få det slutgiltiga genomförandet.