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
Mjukvaruverktyg för analys av satser i satslogiken inbäddade i XML-filer.
KTH, School of Computer Science and Communication (CSC).
2012 (Swedish)Independent thesis Advanced level (degree of Master (Two Years)), 10 credits / 15 HE creditsStudent thesis
Abstract [en]

Govan Marounsi

Software tool for test and analysis of predicates in propositional logic, embedded within XML files

Modern vehicles have been changed totally by the Electronic. They are being developed with more and more functionality and the result is more difficult troubleshooting. Actually in most of the cases troubleshooting cannot be performed without help of software tools. Scania as one of the pioneers in producing buses and trucks uses its own software tool which is called SDP3 (Scania Diagnose & Programmer) for troubleshooting. Guided methods are the XML files being designed by the method engineers on the Scania which describes the structure of troubleshooting. They contain different conditions which control the flow of the guided method and the interaction between the mechanics and the vehicle. The guided methods and other information transforms to the SDP3?s database by an internal tool called SDP3 PT (SDP3 Production Tools).

The conditions within the guided methods look like propositions in the propositional logic. The predicates are made by comparing different variables with each other or comparing a variable with a constant value. Comparisons are performed by relational operators and they can combine with each other using the logical operators. The guided methods can be large in size and the conditions can be too complex to be managed by a human. Because of this a software tool is needed to help testing and analyzing the conditions. This is the purpose of this work.

In this work a graphical user interface has been developed using HTML and XSLT which method engineers (Guided method?s designers) can input the variables values by using it. After that the conditions will be evaluated by an evaluation framework developed in Java. The evaluation?s result will be displayed for the method engineers. To connect the graphical user interface to the evaluation framework Java Plug-in Technology has been used (Known also as Applet). In this way the method engineers can analyze and test the structure and correctness of the conditions.

Abstract [sv]

Govan Marounsi

Mjukvaruverktyg för analys av satser i satslogiken inbäddade i XML-filer

Elektronikens intåg i fordonsindustri har lett till fordon med mer funktionalitet som även är mer komplexa att felsöka. Därför erbjuder olika fordonstillverkare mjukvaruverktyg som hjälper mekanikerna vid felsökning. Scania som är en pionjär i buss- och lastbilstillverkning har utvecklat ett eget verktyg som kallas för SDP3 (Scania Diagnose & Programmer). Guidade metoder är de underlag som utformas av metodingenjörerna på Scania och används vid felsökning av mekanikerna genom SDP3. Guidade metoder utformas i form av XML-filer och innehåller villkor som styr flödet i metoden och interaktionen med både mekaniker och fordon. Guidade metoder och annan information transformeras med hjälp av ett internt verktyg (SDP3 Production Tool) till den databas som används i SDP3.

Villkoren i guidade metoder skapas genom jämförelser mellan olika variabler eller mellan variabler och konstanta värden. Dessa jämförelser utförs med hjälp av relationsoperatorer. Jämförelser kan kombineras med varandra med hjälp av logiska operatorer i satslogiken och det är dessa jämförelser eller deras kombinationer som är villkoren i guidade metoder. Guidade metoder kan vara relativt stora och villkoren kan vara för komplexa för att hanteras av människor. Därför behövs ett verktyg för att möjliggöra test och analys av guidade metoder innan de ska tas i bruk. Detta var examensarbetets mål.

I detta arbete har ett användargränssnitt med hjälp av HTML och XSLT utvecklats. Via detta användargränssnitt kan metodingenjörerna mata in variablernas värde. Sedan evalueras villkoren baserat på inmatade värde i ett ramverk som har skrivits i Java och resultatet av evalueringen visas till metodingenjörerna. Kopplingen mellan användargränssnittet och evalueringsramverket implementeras via Java-plugin Technology även känt med namnet Applet. Med hjälp av detta verktyg kan metodingenjörerna testa och analysera villkoren.

Place, publisher, year, edition, pages
2012.
Series
Trita-CSC-E, ISSN 1653-5715 ; 2012:076
National Category
Computer Science
Identifiers
URN: urn:nbn:se:kth:diva-131003OAI: oai:DiVA.org:kth-131003DiVA: diva2:654449
Educational program
Master of Science - Computer Science
Uppsok
Technology
Supervisors
Examiners
Available from: 2013-10-07 Created: 2013-10-07

Open Access in DiVA

No full text

Other links

http://www.nada.kth.se/utbildning/grukth/exjobb/rapportlistor/2012/rapporter12/marounsi_govan_12076.pdf
By organisation
School of Computer Science and Communication (CSC)
Computer Science

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 139 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