mdh.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Static backward program slicing for safety-critical systems
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0001-9410-1344
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0001-5297-6548
Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.ORCID-id: 0000-0002-4872-1208
2015 (Engelska)Ingår i: Lecture Notes in Computer Science, 2015, s. 50-65Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

Static program slicing is a technique to detect the program parts (i.e. the “slice”) of the given program possibly affecting a given property. The technique is of interest for analysing safety-critical software, since it can identify the program parts that may affect various safety properties. Verification efforts can then be directed towards those parts, leading to a more efficient verification process. We have developed a novel method for static backward program slicing. The method works for well-structured programs, as commonly demanded by coding standards for safety-critical software. It utilises the program structure to obtain a highly efficient slicing process, where control dependencies are inferred from the program structure, and the slicing is done on-the-fly concurrently with the data dependence analysis. We have evaluated our method experimentally. For applications that require few slices to be taken, like checking for a set of safety properties, we obtain large speedups as compared with the standard method for static backward program slicing. We have also investigated how the speedup varies with various parameters such as code size, size of the slice relative to the full program, and relative frequency of conditions in the code.

Ort, förlag, år, upplaga, sidor
2015. s. 50-65
Nyckelord [en]
Dataflow analysis, Program dependency graph, Program slicing, Strongly live variable, Ada (programming language), Codes (symbols), Data flow analysis, Program processors, Safety engineering, Data dependence analysis, Program dependency graphs, Relative frequencies, Safety critical software, Safety critical systems, Verification process, Application programs
Nationell ämneskategori
Elektroteknik och elektronik
Identifikatorer
URN: urn:nbn:se:mdh:diva-29840DOI: 10.1007/978-3-319-19584-1_4Scopus ID: 2-s2.0-84947918293ISBN: 9783319195834 (tryckt)OAI: oai:DiVA.org:mdh-29840DiVA, id: diva2:876743
Konferens
20th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2015; Madrid; Spain; 22 June 2015 through 26 June 2015
Tillgänglig från: 2015-12-04 Skapad: 2015-12-04 Senast uppdaterad: 2019-09-17Bibliografiskt granskad
Ingår i avhandling
1. Demand-Driven Static Backward Program Slicing Based on Predicated Code Block Graphs
Öppna denna publikation i ny flik eller fönster >>Demand-Driven Static Backward Program Slicing Based on Predicated Code Block Graphs
2019 (Engelska)Licentiatavhandling, sammanläggning (Övrigt vetenskapligt)
Abstract [en]

Static backward program slicing is a technique to compute the set of program statements, predicates and inputs that might affect the value of a particular variable at a program location. The importance of this technique comes from being an essential part of many critical areas such as program maintenance, testing, verification, debugging, among others. The state-of-art slicing approach collects all the data- and control-flow information in the source code before the slicing, but not all the collected information are used for computing the slice. Thus, this approach causes a significant amount of unnecessary computations, particularly for slicing large industrial systems, where unnecessary computations lead to wastage of a considerable amount of processing time and memory. Moreover, this approach often suffers from scalability issues.

The demand-driven slicing approaches aim at solving this problem by avoiding unnecessary computations. However, some of these approaches trade precision for performance, whereas others are not entirely demand-driven, particularly for addressing unstructured programs, pointer analysis, or inter-procedural cases.

This thesis presents a new demand-driven slicing approach that addresses well-structured, unstructured, and inter-procedural programs. This approach has four distinct features, each of which prevents a special type of unnececessary computations. The effectiveness and correctness of the proposed approach are verified using experimental evaluation. In addition, the thesis proposes an approach that can compute on the fly the control dependencies in unstructured programs.

Ort, förlag, år, upplaga, sidor
Västerås: Mälardalen University, 2019
Serie
Mälardalen University Press Licentiate Theses, ISSN 1651-9256 ; 284
Nyckelord
Static Program Analysis, Static Program Slicing, Control Dependency
Nationell ämneskategori
Inbäddad systemteknik
Identifikatorer
urn:nbn:se:mdh:diva-45229 (URN)978-91-7485-440-4 (ISBN)
Presentation
2019-11-27, Gamma, Mälardalens högskola, Västerås, 13:15 (Engelska)
Opponent
Handledare
Forskningsfinansiär
KK-stiftelsenVinnovaStiftelsen för strategisk forskning (SSF)
Tillgänglig från: 2019-09-19 Skapad: 2019-09-16 Senast uppdaterad: 2019-11-05Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Khanfar, HusniLisper, BjörnMasud, Abu Naser

Sök vidare i DiVA

Av författaren/redaktören
Khanfar, HusniLisper, BjörnMasud, Abu Naser
Av organisationen
Inbyggda system
Elektroteknik och elektronik

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 94 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf