RTSS 2004 WIP Session Advance Program

WIP Session 1: Monday 6:00 PM -- 7:30 PM

Session chair: Giuseppe Lipari

• ACETT, A LINEARLY-COMPOSITIONAL PROGRAMMING LANGUAGE FOR (SEMI-)AUTOMATED AVERAGE-CASE ANALYSIS
  M. Schellekens, D. Hickey, G. Bollella
• AN APPLICATION ADAPTIVE GENERIC MODULE-BASED REFLECTIVE FRAMEWORK FOR REAL-TIME OPERATING SYSTEMS
  Ameet Patil and Neil Audsley
• AN INTEGRATED SYSTEMC FRAMEWORK FOR REAL-TIME SCHEDULING ASSESSMENTS IN SYSTEM LEVEL
  Prih Hastono, Stephan Klaus and Sorin A. Huss
• AN OPEN FRAMEWORK FOR WCET ANALYSIS
  Hugues Cassé, Christine Rochange, Pascal Sainrat
• DYNAMIC SCHEDULING OF SOFT APERIODIC TASKS AND PERIODIC TASKS WITH SKIPS
  Audrey Marchand and Maryline Silly-Chetto
• EFFICIENT SOFT REAL-TIME PROCESSING IN AN INTEGRATED SYSTEM
  Caixue Lin and Scott A. Brandt
• FAST SYNCHRONIZATION PRIMITIVES FOR HYBRID CPU/FPGA MULTITHREADING
  R. Jidin, D.L. Andrews, D. Niehaus, Wesley Peck
• FINE-GRAINED TIMING CONSTRAINTS FOR REACTIVE SYSTEMS IN ANSI C
  Gero Dittmann and Andreas Herkersdorf
• FORMAL VALIDATION OF RT-LOTOS SPECIFICATIONS: NEW DIRECTIONS AND PRELIMINARY RESULTS
  Tarek Sadani, Pierre de Saqui-Sannes and Jean-Pierre-Courtiat
• AUTOMATIC GENERATION OF EXECUTABLE MODELS FROM STRUCTURED APPROACH REAL-TIME SPECIFICATIONS
  Prih Hastono and Sorin A. Huss
• FPGAS AS VERSATILE CONFIGURABLE I/O DEVICES IN HARDWARE-IN-THE-LOOP SIMULATION
  Peter M. Visser, Marcel A. Groothuis and Jan F. Broenink
• HARDWARE/SOFTWARE CO-DESIGN OF OPERATING SYSTEM SERVICES FOR THREAD MANAGEMENT AND SCHEDULING
  Wesley Peck, David Andrews, Ed Komp, Jason Agron, Mike Finley
• HEURISTICS FOR RESTRICTING EDF MIGRATION UNIFORM MULTIPROCESSORS
  Shelby Funk, Sanjoy Baruah, Joel Goossens
• APPLYING RANDOM ARRIVAL MODELS TO FIXED PRIORITY ANALYSIS
  I. Broster and A. Burns
• TIMED AUTOMATA MODEL OF OSEK/VDX BASED MULTITASKING APPLICATIONS
  Libor Waszniowski, Zdenek Hanzalek
• A MPEG-4 SCHEDULER FOR THE 802.11E ENHANCED DISTRIBUTED CHANNEL ACCESS
  Michael Ditze
• A PLATOONING DEMONSTRATOR FOR ANALYZING EMBEDDED REAL-TIME ALGORITHMS
  Wilfried Kubinger, Hannes Hemetsberger, Juergen Kogler, Josef Langer

WIP Session 2: Tuesday 11:00 AM -- Noon

Session chair: Daniel Mossé

• A POLYNOMIAL TIME APPROXIMATION SCHEME FOR FEASIBILITY ANALYSIS IN STATIC PRIORITY SYSTEMS
  Nathan Fisher and Sanjoy Baruah
• A TOOL FOR DERIVATION OF IMPLEMENTATION CONSTRAINTS --- EVALUATION USING IMPLEMENTATION SIMULATION
  Mattias Wecksten Magnus Jonsson Jonas Vasell
• IMPROVING THE EFFICIENCY OF REMOTE RESOURCE USAGE IN DISTRIBUTED REAL-TIME SYSTEMS
  Paul S. Usher and Neil C. Audsley
• MINIMUM EDF-FEASIBLE DEADLINE CALCULATION WITH LOW-TIME COMPLEXITY
  Hoai Hoang, Stefan Karlson, Magnus Jonsson
• ON SCHEDULABILITY BOUNDS OF STATIC PRIORITY SCHEDULERS
  Jianjia Wu, Jyh-Charn Liu, Wei Zhao
• POWER-AWARE RESOURCE ALLOCATION WITH GUARANTEEING FAIR QOS
  Fumiko Harada, Toshimitsu Ushio, and Yukikazu Nakamoto
• SPECIFYING AND PROVING TIMING PROPERTIES WITH TIOA TOOLS
  Dilsun Kaynar, Nancy Lynch, Sayan Mitra
• TOWARD REAL-TIME COMPONENT-BASED SYSTEMS
  Shengquan Wang, Sangig Rho, Riccardo Bettati, and Wei Zhao
• DESYNCHRONIZED PFAIR SCHEDULING ON MULTIPROCESSORS
  UmaMaheswari C. Devi
• DISTRIBUTING THE WCET COMPUTATION FOR EMBEDDED OPERATING SYSTEMS
  Nadia Bel Hadj Aissa, Christophe Rippert
• DYNAMIC ARCHITECTURE ADAPTATION TO IMPROVE SCALABILITY OF SENSOR NETWORKS: A CASE STUDY FOR A SMART SENSOR FOR FACE RECOGNITION
  Yulei Weng, Sankalp Kallakuri, Xiayao Liang, Alex Doboli, Sangjin Hong, Tom Robertazzi, Simona Doboli
• FPGA IMPLEMENTATION OF A PRIORITY SCHEDULER MODULE
  Jason Agron, David Andrews, Wesley Peck, Mike Finley, Ed Komp