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
Requirement specification Editor: REQUIREMENTS EDITOR BASED ON CONTRACT THEORY
KTH, School of Information and Communication Technology (ICT).
2014 (English)Independent thesis Basic level (professional degree), 10 credits / 15 HE creditsStudent thesis
Abstract [sv]

Vid utveckling av tyngre fordon inför man allt fler avancerade funktione. Mycket av denna funktionalitet handlar om att maskiner automatiskt ska utföra uppgifter för att assistera föraren. Detta leder till att nya risker uppstår. Och till följd av detta har man börjat skapa nya funktionella säkerhetsstandarder. ISO 26262 är en ny funktionell säkerhetsstandard som finns för vanliga personbilar men som ännu inte trätt i kraft för lastbilar. I ISO-26262 standarden ska krav kunna mappas till andra krav samt till systemarkitektur. I nuläget finns det vissa verktyg på marknaden som stödjer användaren när den skriver kravspecifikationer. Men undersökningar av verktyg ledde till att vi kommit fram till att alla hade någon brist. Och ingen hade bra stöd för mappning mellan krav och systemarkitektur. I detta examensarbete har arbetet varit att testa implementera funktionalitet för ett verktyg som assisterar användaren på olika sätt när den skriver kravspecifikationer. Baserat på kontraktteori och konceptet om portar som hjälp för att koppla samman krav med systemarkitektur ska applikationen se till att det finns en formell koppling mellan dessa. För att testa och validera att portar går att använda för att testa intressant funktionalitet har också en applikation utvecklats där mycket funktionalitet implementerats. Resultatet har varit lyckat då vi baserat på kontraktteori lyckats implementera och validera att det är möjligt att använda portar för att skapa koppling mellan krav och systemarkitektur, samt mellan krav och krav. Validering av att det valda lagringsformatet JSON också förser implementeraren med nog starkt stöd för att kunna spara dessa krav så att data i filerna kan brytas ner och lagras i temporära databasen Neo4J och på så sätt skapa ett fungerande kretslopp.

Abstract [en]

When developing new heavy vehicles today demands for increasingly more advanced features are asked for. A lot of the new functionality is about machines performing tasks automatically to assist the driver when driving. This leads to new risks, and as a result a new functional safety standard has been created. ISO 26262 is a functional safety standard that today exists for ordinary cars, but has not yet became a standard for trucks. According to the ISO 26262-standard requirements can be mapped to other requirements as well as to the system architecture. At present there are several tools on the market that supports the user when writing specifications. However, our research of the tools has led us to conclude that all lacked something. For example neither of the tools had good support for mapping between requirements and system architecture. In this thesis work, functionality for a tool which is supposed to support the user in various ways when writing requirements specifications was to be examined. Based on contract theory and the concept of ports that links requirements together with system architecture, an application can ensure that there is a formal link between the two. To test the suggested functionality a prototype is being developed.

The result has been a successful as we based on contract theory could validate that using ports to create links between different requirements as well as between requirements and system architecture works through the implementation of the tool. Validation that the selected storage format JSON also provides the implementer with enough support to save the requirements in a way so that the data files can be decomposed and stored in the Neo4J database.

Place, publisher, year, edition, pages
2014. , 56 p.
Series
TRITA-ICT-EX, 2014:56
Keyword [en]
Neo4J, Grafdatabas, .Net, C#, Visual Studio, Contract theory, ISO 26262
Keyword [sv]
Neo4J, Grafdatabas, .Net, C#, Visual Studio, Contract theory, ISO 26262
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:kth:diva-177130OAI: oai:DiVA.org:kth-177130DiVA: diva2:871517
Examiners
Available from: 2015-12-08 Created: 2015-11-16 Last updated: 2017-08-03Bibliographically approved

Open Access in DiVA

fulltext(2740 kB)11 downloads
File information
File name FULLTEXT01.pdfFile size 2740 kBChecksum SHA-512
ef4045d3f89dcbd157619c3eb96c9f3f8b406b5b1300815eaf38c0f43b5eff9ff7e4fd4936cd0aa99edf32a3bb7970a2b4f1c35fdd2759c347796bc69ce533a7
Type fulltextMimetype application/pdf

By organisation
School of Information and Communication Technology (ICT)
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 11 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: 70 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