Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Formell kravspecifikation Cooperative driving system GCDC 2011
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.).
2011 (Swedish)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesisAlternative title
Formal requirement specifications Case study: Cooperative driving system GCDC 2011 (English)
Abstract [sv]

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.

Abstract [en]

Nowadays, examples of embedded systems can be found everywhere; in our household appliances, cars and industries, to name the least. High demand for innovation and improvement of systems highlights the necessity of an effective engineering process that guarantees the correct implementation of new or upgraded systems. The aim of this master thesis was to identify the benefits that can be brought up to a project during the validation and testing phases as a result of the use of formal language representation during the requirement specification phase of the project. For such purpose, data collected during the engineering process of the Cooperative Driving System, a collaborative project between Scania CV AB and KTH for participating in the GCDC 2011 competition, was analyzed. The project was denominated SCOOP. A prospective study was carried out where a set of requirement of SCOOP were selected to be specified using formal language. The results were obtained from interactions with the team members of the project during the specification, test case definition and the first iteration of acceptance tests by analyzing the positive or negative results in the project. The examinations of the effects of using more formal language (semi-formal and formal languages), during the requirement specification stage, it resulted that a formal language improves the communication among project members, especially those formal language based on graphs such as UML, SysML and state machine, which facilitate the analysis, breaking down of the system and estimation of the change work estimation. Those formal languages facilitate the validation in terms of the completeness and correctness of the requirements, thus allowing earlier detection of errors and avoiding potential delays later on in the project. Formal languages also facilitate the implementation of simulation models that can provide an early feedback of the requirement specification.To conclude, the use of formal languages at an early stage of the engineering process, during the requirement specification, provides positive results for definition of test-cases and validation phases and for the requirements themselves. Future work can be focused on verifying if the use of simulations as complement to the formal requirement specification takes less time than defining an informal requirement along with the additional iterations needed in simulations to get the final implementation.

Place, publisher, year, edition, pages
2011. , 66 p.
Series
MMK 2011: 62 MDA 405
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:kth:diva-49608OAI: oai:DiVA.org:kth-49608DiVA: diva2:459871
Uppsok
Technology
Supervisors
Examiners
Available from: 2015-10-19 Created: 2011-11-28 Last updated: 2015-10-19Bibliographically approved

Open Access in DiVA

Formal requirement specifications Case study: Cooperative driving system GCDC 2011(3198 kB)40 downloads
File information
File name FULLTEXT01.pdfFile size 3198 kBChecksum SHA-512
3259c614e9b8370c2910488817037a8d16bc4e9f914705577e107dbc188dc61006cd221b90eddab7ee56df929c756c9069057698ba336c77fab0539c403029c9
Type fulltextMimetype application/pdf

By organisation
Machine Design (Dept.)
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
Total: 40 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 101 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf