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)Report (Other academic)
Abstract [en]

Memory corruption is one of the most common software failures. For sequential software and multitasking 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-7011OAI: oai:DiVA.org:mdh-7011DiVA, id: diva2:237021
Available from: 2009-09-25 Created: 2009-09-25 Last updated: 2015-07-29Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

http://www.es.mdh.se/pdf_publications/1077.pdf

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

urn-nbn

Altmetric score

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