2026-08-14T17:31:00Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:1191 2024-03-06T10:28:26Z ddc:004 open_access

Finding DU-Paths for Testing of Multi-Tasking Real-Time Systems using WCET Analysis Sundmark, Daniel Petterson, Anders Sandberg, Christer Ermedahl, Andreas Thane, Henrik Testing Real-time systems WCET analysis data flow 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 cor- ruption can be detected by analyzing the relations be- tween 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 analy- sis of preemptive multi-tasking real-time software. By deriving temporal attributes of each access to shared data using WCET analysis, and combining this infor- mation with the real-time schedule information, our method also detects inter-task shared variable depen- dencies. The paper also describes how we extended the SWEET tool to derive these temporal attributes. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Daniel Sundmark and Anders Petterson and Christer Sandberg and Andreas Ermedahl and Henrik Thane 2007 Is Part Of OASIcs, Volume 6, 7th International Workshop on Worst-Case Execution Time Analysis (WCET'07) (2007) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.WCET.2007.1191 urn:nbn:de:0030-drops-11914 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.WCET.2007.1191 eng https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode