wip.html 7.65 KB
Newer Older
Martina Maggio's avatar
Martina Maggio committed
1
2
3
4
5
<html>
<head>
<meta charset="UTF-8">
<title>ECRTS 2015</title>
<link rel="stylesheet" href="css/style.css" type="text/css">
Martina Maggio's avatar
Martina Maggio committed
6
7
8
9
10
11
12
13
14
15
16
17
18

<!-- 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 -->

Martina Maggio's avatar
Martina Maggio committed
19
20
21
22
23
</head>

<body>
<div id="wrap">

Martina Maggio's avatar
Martina Maggio committed
24
	<div id="rightside-pink">
Martina Maggio's avatar
Martina Maggio committed
25
26
27
28
		<div id="main">

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

Martina Maggio's avatar
Martina Maggio committed
29
			<h4>List of Accepted Papers <a href="files/ECRTS-2015-WiP-Proceedings.pdf" target="_blank">(proceedings)</a></h4>
Martina Maggio's avatar
Martina Maggio committed
30
31
			<ul>
				<li>Towards Scalable Configuration of Time-Division Multiplexed
Martina Maggio's avatar
Martina Maggio committed
32
Resources <a href="files/01-ECRTS_WiP_Minaeva.pdf" target="_blank">(slides)</a><br>Anna Minaeva, Premysl Sucha, Benny Akesson and
Martina Maggio's avatar
Martina Maggio committed
33
Zdenek Hanzálek</li>
Martina Maggio's avatar
Martina Maggio committed
34
				<li>Some Results in Rate Monotonic Scheduling with Priority
Martina Maggio's avatar
Martina Maggio committed
35
36
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
Martina Maggio's avatar
Martina Maggio committed
37
38
Phavorin, Pascal Richard and Claire Maiza</li>
				<li>Trading-off Data Consistency for Timeliness in Real-Time
Martina Maggio's avatar
Martina Maggio committed
39
Database Systems <a href="files/04-ECRTS_WiP_Cai.pdf" target="_blank">(slides)</a><br>Simin Cai, Barbara Gallina, Dag Nyström
Martina Maggio's avatar
Martina Maggio committed
40
and Cristina Seceleanu</li>
Martina Maggio's avatar
Martina Maggio committed
41
42
				<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
Martina Maggio's avatar
Martina Maggio committed
43
44
45
Chris Healy</li>
			</ul><br>

Martina Maggio's avatar
Martina Maggio committed
46
 			<h4>Tool Presentations and Verification Challenge (<a href="https://waters2015.inria.fr/">WATERS</a>)</h4>
Martina Maggio's avatar
Martina Maggio committed
47
			<ul>
Martina Maggio's avatar
Martina Maggio committed
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
				
				<li>MAST: Modeling and analysis suite for real-time applications<br>
Michael González Harbour</li>
<li>IMITATOR: a tool for parametric verification and robustness analysis of real-time systems<br>
Youcheng Sun</li>
<li>ARTEMIS: A simulator for mixed-criticality management of networked real-time systems<br>
Olivier Cros</li>
<li>MPS-CAN Analyzer: A tool for end-to-end delay analysis of heterogeneous automotive networks<br>
Saad Mubeen and Mohammad Ashjaei</li>
<li>SimSo: A simulator of real-time scheduling algorithms<br>
Silvano Dal Zilio</li>
<li>A web based monitoring tool for AFDX networks<br>
Rodrigo Coelho</li>
<li>FMTV’15: The Formal Methods for Timing Verification challenge and its solutions<br>
Rafik Henia</li>
			</ul><br>
Martina Maggio's avatar
Martina Maggio committed
64
65
66
67
68
69
70

			<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
Martina Maggio's avatar
Martina Maggio committed
71
reproducibility on a voluntary basis<br>Martina Maggio</li>
Martina Maggio's avatar
Martina Maggio committed
72
73
			</ul><br>

Martina Maggio's avatar
Martina Maggio committed
74
			<h4>Work in Progress Session</h4>
Martina Maggio's avatar
WiP cfp    
Martina Maggio committed
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132

			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>
Martina Maggio's avatar
Martina Maggio committed
133
134
			</ul>

Martina Maggio's avatar
WIP PC    
Martina Maggio committed
135
136
137
138
139
140
141
142
143
144
145
		<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>



Martina Maggio's avatar
WiP    
Martina Maggio committed
146
<!-- 			<h4>List of Accepted Papers and Presentations</h4>
Martina Maggio's avatar
Martina Maggio committed
147
148
			<ul>
				<li>To be announced.</li>
Martina Maggio's avatar
Martina Maggio committed
149
			</ul> -->
Martina Maggio's avatar
Martina Maggio committed
150
151
152
153
154
155
156
157
158
			
		
		</div>
	</div>

	
	<div id="sidebar">
		<div id="empty"></div>
		<div id="roundedsign-inactive-blue"><a href="index.html">Welcome</a></div>
Martina Maggio's avatar
Martina Maggio committed
159
		<div id="roundedsign-inactive-red"><a href="conference.html">Conference</a></div>
Martina Maggio's avatar
Martina Maggio committed
160
		<!-- <div id="roundedsign-inactive-purpleish"><a href="submission.html">Submissions</a></div> -->
Martina Maggio's avatar
Martina Maggio committed
161
		<div id="roundedsign-inactive-blueish"><a href="conference_dates.html">Important Dates</a></div>
Martina Maggio's avatar
Martina Maggio committed
162
		<div id="roundedsign-inactive-green"><a href="workshops.html">Workshops</a></div>
Martina Maggio's avatar
Martina Maggio committed
163
		<div id="roundedsign-active-pink"><a href="wip.html">Work in Progress</a></div>
Martina Maggio's avatar
Martina Maggio committed
164
		<div id="roundedsign-inactive-purple"><a href="local.html">Local Info</a></div>
Martina Maggio's avatar
Martina Maggio committed
165
		<div id="roundedsign-inactive-darkgreen"><a href="registration.html">Register</a></div>
Martina Maggio's avatar
Martina Maggio committed
166
167
		
		<div style="float: right; padding-top:50px; padding-right:40px;  padding-bottom:10px;">Sponsored by</div>
Martina Maggio's avatar
Martina Maggio committed
168
169
170
      <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>
Martina Maggio's avatar
Martina Maggio committed
171
172
173
174
	</div>

</div>
</body>
Martina Maggio's avatar
Martina Maggio committed
175
</html>
Martina Maggio's avatar
Martina Maggio committed
176