<?xml version="1.0" encoding="UTF-8"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en-gb">
	<link rel="self" type="application/atom+xml" href="http://localhost/app.php/feed/topic/78" />

	<title>Tools and Benchmarks for Real-Time Systems</title>
	<subtitle>ECRTS Community Forum</subtitle>
	<link href="http://localhost/index.php" />
	<updated>2016-07-01T17:02:46+01:00</updated>

	<author><name><![CDATA[Tools and Benchmarks for Real-Time Systems]]></name></author>
	<id>http://localhost/app.php/feed/topic/78</id>

		<entry>
		<author><name><![CDATA[Sophie Quinton]]></name></author>
		<updated>2016-07-01T17:02:46+01:00</updated>

		<published>2016-07-01T17:02:46+01:00</published>
		<id>http://localhost/viewtopic.php?t=78&amp;p=133#p133</id>
		<link href="http://localhost/viewtopic.php?t=78&amp;p=133#p133"/>
		<title type="html"><![CDATA[Schedulability and Timing Analysis of Mixed Preemptive-Cooperative Tasks on a Partitioned Multi-Core System]]></title>

		
		<content type="html" xml:base="http://localhost/viewtopic.php?t=78&amp;p=133#p133"><![CDATA[
<strong class="text-strong">Title:</strong> Schedulability and Timing Analysis of Mixed Preemptive-Cooperative Tasks on a Partitioned Multi-Core System<br><br><strong class="text-strong">Authors:</strong><br>Ignacio Sañudo, Paolo Burgio and Marko Bertogna (Universita di Modena, Italy)<br><br><strong class="text-strong">Abstract:</strong><br>This paper proposes a solution for the FMTV verification challenge related to the timing and schedulability analysis of an engine management system to be executed on a shared-memory multi-core platform. The application consists of statically partitioned tasks, each one composed of multiple runnables that are executed according to a read-compute-write policy, where the memory labels required by a runnable are loaded from memory before starting its execution, and they are all stored after the runnable completes its execution. Tasks may be either fully preemptive or only partially at runnable boundaries. The contribution of the paper is threefold. First, we present a tight schedulability analysis for this mixed-preemption setting, neglecting memory accesses (Challenge I). Then, memory access times and arbitration delays are included to the schedulability analysis, addressing Challenge II. Finally, Challenge III is tackled proposing different approaches to map the labels to local/global memories so as to minimize the end-to-end latency of selected<br>event chains.<br><br><strong class="text-strong">Attached document: </strong> <div class="inline-attachment"><dl class="file"><dt><span class="imageset icon_topic_attach"></span> <a class="postlink" href="http://localhost/download/file.php?id=51&amp;sid=6deaa0a54e750db8abefcf770cc56b33">FMTV_2016_mixed_preemptive.pdf</a></dt></dl></div><p>Statistics: Posted by <a href="http://localhost/memberlist.php?mode=viewprofile&amp;u=55">Sophie Quinton</a> — Fri Jul 01, 2016</p><hr />
]]></content>
	</entry>
	</feed>
