<?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/90" />

	<title>Tools and Benchmarks for Real-Time Systems</title>
	<subtitle>ECRTS Community Forum</subtitle>
	<link href="http://localhost/index.php" />
	<updated>2017-06-09T14:31:25+01:00</updated>

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

		<entry>
		<author><name><![CDATA[Kai Gemlau]]></name></author>
		<updated>2017-06-09T14:31:25+01:00</updated>

		<published>2017-06-09T14:31:25+01:00</published>
		<id>http://localhost/viewtopic.php?t=90&amp;p=198#p198</id>
		<link href="http://localhost/viewtopic.php?t=90&amp;p=198#p198"/>
		<title type="html"><![CDATA[Re: Challenge 2017 Solution #4: Compositional Analysis for the WATERS Industrial Challenge 2017]]></title>

		
		<content type="html" xml:base="http://localhost/viewtopic.php?t=90&amp;p=198#p198"><![CDATA[
Dear colleagues,<br><br>we updated our effect chain analysis to correctly handle non harmonic task periods and fixed a bug that led to unnecessary pessimistic reaction time results.<br><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=84&amp;sid=c18cb5daae45c52d82cbce965c6c58c0">FMTV_2017_Solution_4_2.pdf</a></dt></dl></div>The pyCPA implementation on bitbucket is updated accordingly<br><br>Regards<br>Kai<p>Statistics: Posted by <a href="http://localhost/memberlist.php?mode=viewprofile&amp;u=9922">Kai Gemlau</a> — Fri Jun 09, 2017</p><hr />
]]></content>
	</entry>
		<entry>
		<author><name><![CDATA[Mischa Moestl]]></name></author>
		<updated>2017-05-22T18:54:11+01:00</updated>

		<published>2017-05-22T18:54:11+01:00</published>
		<id>http://localhost/viewtopic.php?t=90&amp;p=180#p180</id>
		<link href="http://localhost/viewtopic.php?t=90&amp;p=180#p180"/>
		<title type="html"><![CDATA[Re: Challenge 2017 Solution #4: Compositional Analysis for the WATERS Industrial Challenge 2017]]></title>

		
		<content type="html" xml:base="http://localhost/viewtopic.php?t=90&amp;p=180#p180"><![CDATA[
Dear colleagues,<br><br>attached you can find our contribution to the WATERS Challenge 2017<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=71&amp;sid=c18cb5daae45c52d82cbce965c6c58c0">FMTV_2017_Solution_4.pdf</a></dt></dl></div>.<br><br>Our implementation based on pyCPA is available at:<br><a href="https://bitbucket.org/pycpa/waters2017" class="postlink">https://bitbucket.org/pycpa/waters2017</a><br><br>We all welcome your suggestions and comments and Kai is looking forward to meet and discuss with you at Dubrovnik.<br><br>Best Regards,<br>Mischa Möstl<br>(in representation of Kai-Björn Gemlau, Johannes Schlatow, myself and Rolf Ernst)<p>Statistics: Posted by <a href="http://localhost/memberlist.php?mode=viewprofile&amp;u=1277">Mischa Moestl</a> — Mon May 22, 2017</p><hr />
]]></content>
	</entry>
		<entry>
		<author><name><![CDATA[arne.hamann]]></name></author>
		<updated>2017-05-19T16:58:14+01:00</updated>

		<published>2017-05-19T16:58:14+01:00</published>
		<id>http://localhost/viewtopic.php?t=90&amp;p=173#p173</id>
		<link href="http://localhost/viewtopic.php?t=90&amp;p=173#p173"/>
		<title type="html"><![CDATA[Challenge 2017 Solution #4: Compositional Analysis for the WATERS Industrial Challenge 2017]]></title>

		
		<content type="html" xml:base="http://localhost/viewtopic.php?t=90&amp;p=173#p173"><![CDATA[
Authors: Kai-Björn Gemlau, Johannes Schlatow, Mischa Möstl and Rolf Ernst<p>Statistics: Posted by <a href="http://localhost/memberlist.php?mode=viewprofile&amp;u=708">arne.hamann</a> — Fri May 19, 2017</p><hr />
]]></content>
	</entry>
	</feed>
