mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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
Finding DU-Paths for Testing of Multi-Tasking Real-Time Systems using WCET Analysis
Mälardalen University, Department of Computer Science and Electronics.ORCID iD: 0000-0002-5032-2310
Mälardalen University, Department of Computer Science and Electronics.
Mälardalen University, Department of Computer Science and Electronics.
Mälardalen University, Department of Computer Science and Electronics.
Show others and affiliations
2007 (English)In: OpenAccess Series in Informatics, Volume 6, 2007Conference paper, Published paper (Refereed)
Abstract [en]

Memory corruption is one of the most common software failures. For sequential software and multi-tasking software with synchronized data accesses, it has been shown that program faults causing memory corruption can be detected by analyzing the relations between defines and uses of variables (DU-based testing). However, such methods are insufficient in preemptive systems, since they lack the ability to detect inter-task shared variable dependencies. In this paper, we propose the use of a system level shared variable DU analysis of preemptive multi-tasking real-time software. By deriving temporal attributes of each access to shared data using WCET analysis, and combining this information with the real-time schedule information, our method also detects inter-task shared variable dependencies.

Place, publisher, year, edition, pages
2007.
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-7051Scopus ID: 2-s2.0-84880090579ISBN: 9783939897057 (print)OAI: oai:DiVA.org:mdh-7051DiVA, id: diva2:237061
Conference
7th International Workshop on Worst-Case Execution Time Analysis, WCET 2007; Pisa; Italy; 3 July 2007 through 3 July 2007
Available from: 2009-09-25 Created: 2009-09-25 Last updated: 2015-09-15Bibliographically approved

Open Access in DiVA

No full text in DiVA

Scopus

Authority records BETA

Sundmark, Daniel

Search in DiVA

By author/editor
Sundmark, DanielErmedahl, AndreasThane, Henrik
By organisation
Department of Computer Science and Electronics
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 32 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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