Skip to content
Snippets Groups Projects
Select Git revision
  • 8973c6d7e360de81fa25b08d19029f7f60cbb611
  • master default
  • labcomm2006
  • typedefs
  • anders.blomdell
  • typeref
  • pragma
  • compiler-refactoring
  • labcomm2013
  • v2014.4
  • v2006.0
  • v2014.3
  • v2014.2
  • v2014.1
  • v2014.0
  • v2013.0
16 results

Makefile

Blame
    • Forked from Anders Blomdell / LabComm
    Source project has a limited visibility.
    wip.html 8.11 KiB 
    <html>
<head>
<meta charset="UTF-8">
<title>ECRTS 2015</title>
<link rel="stylesheet" href="css/style.css" type="text/css">

<!-- Analytics: START -->
<script>
  (function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
  (i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
  m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
  })(window,document,'script','//www.google-analytics.com/analytics.js','ga');

  ga('create', 'UA-55862227-1', 'auto');
  ga('send', 'pageview');
</script>
<!-- Analytics: END -->

</head>

<body>
<div id="wrap">

	<div id="rightside-pink">
		<div id="main">

			<img src="img/logo.png">

			<h4>List of Accepted Papers <a href="files/ECRTS-2015-WiP-Proceedings.pdf" target="_blank">(proceedings)</a></h4>
			<ul>
				<li>Towards Scalable Configuration of Time-Division Multiplexed
Resources <a href="files/01-ECRTS_WiP_Minaeva.pdf" target="_blank">(slides)</a><br>Anna Minaeva, Premysl Sucha, Benny Akesson and
Zdenek Hanzálek</li>
				<li>Some Results in Rate Monotonic Scheduling with Priority
Promotion <a href="files/02-ECRTS_WiP_Nasri.pdf" target="_blank">(slides)</a><br>Mitra Nasri and Gerhard Fohler</li>
				<li>Static CRPD-Aware Real-Time Scheduling <a href="files/03-ECRTS_WiP_Phavorin.pdf" target="_blank">(slides)</a><br>Guillaume
Phavorin, Pascal Richard and Claire Maiza</li>
				<li>Trading-off Data Consistency for Timeliness in Real-Time
Database Systems <a href="files/04-ECRTS_WiP_Cai.pdf" target="_blank">(slides)</a><br>Simin Cai, Barbara Gallina, Dag Nyström
and Cristina Seceleanu</li>
				<li>Performance evaluation of a distributed IMA architecture <a href="files/05-ECRTS_WiP_Scharbarg.pdf" target="_blank">(slides)</a><br>Emilie Deroche, Jean-Luc Scharbarg and Christian Fraboul</li>
				<li>Retargetable Infeasible Path Detection for WCET Analysis <a href="files/06-ECRTS_WiP_Healy.pdf" target="_blank">(slides)</a><br>Zach Hall, Kory Kraft, Thomas Mincher, Joey Iannetta and
Chris Healy</li>
			</ul><br>

 			<h4>Tool Presentations and Verification Challenge (<a href="https://waters2015.inria.fr/">WATERS</a>)</h4>
			<ul>
				
				<li>MAST: Modeling and analysis suite for real-time applications <a href="files/1.mast-presentation.pdf" target="_blank">(slides)</a><br>
Michael González Harbour</li>
<li>IMITATOR: a tool for parametric verification and robustness analysis of real-time systems <a href="files/2.imitator-tool.pdf" target="_blank">(slides)</a><br>
Youcheng Sun</li>
<li>ARTEMIS: A simulator for mixed-criticality management of networked real-time systems <a href="files/3.ECRTS15_ARTEMISDEMO.pdf" target="_blank">(slides)</a><br>
Olivier Cros</li>
<li>MPS-CAN Analyzer: A tool for end-to-end delay analysis of heterogeneous automotive networks <a href="files/4.SaadECRTSDemo.pdf" target="_blank">(slides)</a><br>
Saad Mubeen and Mohammad Ashjaei</li>
<li>SimSo: A simulator of real-time scheduling algorithms <a href="files/5.dalZilio.pdf" target="_blank">(slides)</a><br>
Silvano Dal Zilio</li>
<li>A web based monitoring tool for AFDX networks <a href="files/6.coelho_poster.pdf" target="_blank">(slides)</a><br>
Rodrigo Coelho</li>
<li>FMTV’15: The Formal Methods for Timing Verification challenge and its solutions <a href="files/7.ECRTS-FMTV-Challenge.pdf" target="_blank">(slides)</a><br>
Rafik Henia</li>
			</ul><br>

			<h4>Call for Actions</h4>
			<ul>
				<li>Feedback on the 2014 Call for Action: Real-time Benchmark suite<br>
Sophie Quinton</li>
<li>
Call for Action 2015: Artifact Evaluation: fostering research and
    reproducibility on a voluntary basis<br>Martina Maggio</li>
			</ul><br>

			<h4>Work in Progress Session</h4>

			We seek contributions to a special Work-in-Progress (WiP) session of ECRTS'15.
			The WiP session will be devoted to new and on-going research in real-time 
			systems and applications. We are especially interested in new and creative
			ideas and approaches. Contributors to the WiP session will be required to give 
			a short oral presentation of their work and prepare a poster for the WiP 
			discussion forum that will be held after the presentations. Accepted submissions 
			will be included in a special ECRTS'15 WiP proceedings that will be distributed 
			to all ECRTS'15 conference participants and will be available electronically
			from the Web.<br><br>
			The primary purpose of this session is to provide researchers with an 
			opportunity to discuss their evolving ideas and gather feedback from 
			the real-time community at large. Submissions dealing with all aspects 
			of real-time issues are welcome. These include, but are not limited to:
			<ul>
				<li>REAL-TIME APPLICATIONS
					<ul>
						<li>consumer electronics</li>
						<li>multimedia and entertainment</li>
						<li>process control</li>
						<li>avionics and aerospace</li>
						<li>automotive electronics</li>
						<li>telecommunications</li>
					</ul></li>
				<li>RELIABLE SOFTWARE TECHNOLOGIES
					<ul>
						<li>compiler support</li>
						<li>middleware</li>
						<li>programming languages</li>
						<li>operating systems</li>
						<li>model-driven engineering</li>
						<li>component-based frameworks</li>
					</ul></li>
				<li>INFRASTRUCTURE AND HARDWARE
					<ul>
						<li>communication networks</li>
						<li>embedded devices</li>
						<li>hardware/software co-design</li>
						<li>power-aware and other resource-constrained techniques</li>
						<li>network/systems-on-chip</li>
						<li>wireless sensor networks</li>
					</ul></li>
				<li>SYSTEM DESIGN AND ANALYSIS
					<ul>
						<li>probabilistic analysis for RT systems</li>
						<li>quality-of-service support</li>
						<li>reliability, security and survivability</li>
						<li>schedulability/sensitivity analysis</li>
						<li>worst-case execution time analysis</li>
						<li>verification/validation techniques</li>
						<li>control and platform co-design</li>
					</ul></li>
			</ul>
			Please note that papers that do not touch on real-time concerns will not be accepted.<br><br>

			<h4>Work-in-Progress Session Chair</h4>
			<ul>
				<li><a href="http://webpages.uncc.edu/~hramapra/" target="_blank">Harini Ramaprasad</a>, University of North Carolina at Charlotte, USA</li>
			</ul>

		<h4>Program Committee</h4>
					<ul>
		<li><a href="http://www.utdallas.edu/~cxl137330/" target="_blank" rel="nofollow">Cong Liu</a>, University of Texas at Dallas, USA</li>
		<li><a href="http://personnel.isae.fr/ahlem-mifdaoui/" target="_blank" rel="nofollow">Ahlem Mifdaoui</a>, University of Toulouse/ISAE, France</li>
		<li><a href="http://tcipg.org/people/sibin-mohan" target="_blank" rel="nofollow">Sibin Mohan</a>, University of Illinois at Urbana Champaign, USA</li>
		<li><a href="http://www.cister.isep.ipp.pt/people/vincent_nelis/" target="_blank" rel="nofollow">Vincent Nelis</a>, CISTER/ISEP, Portugal</li>
    		<li><a href="http://www.seas.gwu.edu/~gparmer/" target="_blank" rel="nofollow">Gabriel Parmer</a>, George Washington University, USA</li>
		</ul>



<!-- 			<h4>List of Accepted Papers and Presentations</h4>
			<ul>
				<li>To be announced.</li>
			</ul> -->
			
		
		</div>
	</div>

	
	<div id="sidebar">
		<div id="empty"></div>
		<div id="roundedsign-inactive-blue"><a href="index.html">Welcome</a></div>
		<div id="roundedsign-inactive-red"><a href="conference.html">Conference</a></div>
		<!-- <div id="roundedsign-inactive-purpleish"><a href="submission.html">Submissions</a></div> -->
		<div id="roundedsign-inactive-blueish"><a href="conference_dates.html">Important Dates</a></div>
		<div id="roundedsign-inactive-green"><a href="workshops.html">Workshops</a></div>
		<div id="roundedsign-active-pink"><a href="wip.html">Work in Progress</a></div>
		<div id="roundedsign-inactive-purple"><a href="local.html">Local Info</a></div>
		<div id="roundedsign-inactive-darkgreen"><a href="registration.html">Register</a></div>
		
		<div style="float: right; padding-top:50px; padding-right:40px;  padding-bottom:10px;">Sponsored by</div>
      <p><img style="clear: right; float: right;  padding-right:20px" src="img/ericsson_logo.png" width=150px><br><br>
      <img style="clear: right; float: right;  padding-right:20px" src="img/lccc_logo.png" width=150px>
      </p>
	</div>

</div>
</body>
</html>