Junior Researcher Workshop on Real-Time Computing

!!! The proceedings are available!!!

http://srtsjr07.loria.fr

in conjunction with the
15th International Conference on Real-Time and Network Systems
Nancy, March 29 - 30, 2007

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