Workshop chair
Liliana CUCU
LORIA - INPL, France
- Email:
- Phone: + (33) 3 54 95 84 62
- Fax: + (33) 3 83 55 25 73
Important dates
- Deadline for submission: March, 9;
- Notification of acceptance: March, 22;
- Final manuscript due: March, 25.
Program committee
- Ben Hedia Belgacem, CITI Laboratory-INSA, France
- Najet Boughami, LORIA-INPL, France
- Bernard Chauvière, Université de Poitiers/ENSMA, France
- Chung Shue Chen, LORIA-CNRS, France
- Jean-François Deverge, IRISA, France
- Pascal Fontaine, LORIA-Nancy 2, France
- Nathan Fisher, University of North Carolina, USA
- Mathieu Grenier, LORIA-INPL, France
- Patrick Meumeu, INRIA Rocquencourt, France
- Nuno Pereira, Polytechnic Institute of Porto, Portugal
- Frédéric Ridouard, IRIT-ENSEEIHT, France
- Louis-Marie Traonouez, Institut de Recherche en
Communications et en Cybernétique de Nantes, France
|
This workshop is held in Nancy, France, March 29-30, 2007. Its
purpose is to bring together junior researchers (Ph.D. students,
postdoc, ...) working on real-time systems. The first successful
edition was held conjointly with The French Summer School on Real-Time
Systems 2005 (http://etr05.loria.fr).
This workshop is a good opportunity to present our works and share
ideas with other junior researchers (and not only !!). The topics of
the workshop include, but are not limited to those of the conference ;-).
Accepted papers (alphabetical order after the first author
name):
- N. Adjir and P. de Saqui-Sannes - Online testing of real-time
systems
- C. Augier - Real-time scheduling in a virtual machine
environment
- C. Ballabriga, H. Cassé and P. Sainrat - WCET computation on
software components by partial static analysis
- N. Boughanmi and Y.-Q. Song - Improvement of zigbee routing
protocol including energy and delay constraints
- C. Braun and L. Cucu - Negative results on idle intervals and
periodicity for multiprocessor scheduling under EDF
- B. Fontan and P. de Saqui-Sannes - Real-time system formal
verification based on timing requirement description diagrams
- J. Hillebrand, M. Rahmani, R. Bogenberger and E. Steinbach
- Coexistence of time-triggered and event-triggered traffic in
switched full-duplex ethernet networks
- S. Kandl - Abstraction techniques for extracted automata models
- A. Mohammadi and S. G. Akl - A penalty upper bound in an optimal
schedule of a set of soft real-time tasks
- K.H. Ngo and E. Grolleau - DARTSVIEW, A toolkit for DARTS in
LabVIEW
- D. Parthey and R. Baumgartl - Timing properties of removable flash media
- A. Rahni, K. Traore, E. Grolleau and M. Richard - Comparison
of two worst-case response time analysis methods for real-time
transactions
- F. Ridouard, J.-L. Scharbarg and Christian FraboulStochastic
network calculus for buffer overflow evaluation in an avionics
switched Ethernet
- A. Viana, O.R. Polo, M. Knoblauch, P. Parra, S.S. Prieto and D. Meziat
- Multilevel tracing for real-time embedded systems
|