In conjunction with IPDPS 2008

April 14, 2008
Miami, Florida, USA

 PROGRAM

Monday, April 14, 2008

8:00 Welcome

Domenico Cotroneo (University of Naples Federico II) and Xenofon Koutsoukos (Vanderbilt University)

8:10 Keynote: Emerging Challenges in Distributed Cyber-Physical Systems

Tareq Abdelzaher (University of Illinois at Urbana-Champaign)

9:10 Break

9:20 Real-time scheduling

Session chair: Yaroslav S. Usenko (Technical University of Eindhoven)

·         Hybrid-Priority Real-Time Scheduling,

Sanjoy Baruah (University of North Carolina) and Nathan Fisher (Wayne State University)

·         Schedulability Analysis of Generalized Multiframe Traffic on Multihop-Networks Comprising Software-Implemented Ethernet-Switches

Björn Andersson (Instituto Politécnico do Porto)

10:10 Break

10:30 Real-time data dissemination (Invited session)

Session chair: Angelo Corsaro (PrismTech)

·         Performance Assessment of OMG compliant Data Distribution Middleware,

Stefano Russo (University of Naples Federico II), Christian Esposito (University of Naples Federico II), and Dario Di Crescenzo (SESM)

·         Addressing the Challenges of Tactical Information Management in Net-Centric Systems with OpenSplice DDS,

Douglas C. Schmidt (Vanderbilt University) and Hans van't Hag (PrismTech)

·         Panel on real-time data dissemination,

(TBA)

12:00 Lunch break

13:00 Open and embedded real-time systems

Session chair: Nathan Fisher (Wayne State University)

·         Shared Resources and Precedence Constraints with Capacity Sharing and Stealing,

Luis Nogueira (Instituto Politécnico do Porto) and Luis Miguel Pinho (Instituto Politécnico do Porto)

·         Automated Generation of Explicit Connectors for Component Based Hardware/Software Interaction in Embedded Real-Time Systems,

Wolfgang Forster (Vienna University of Technology) and Christof Kutschera (University of Applied Sciences Technikum Vienna)

·         Real-Time Dynamic Relinking,

Mathias Ekman (Mälardalen University) and Henrik Thane (Mälardalen University)

14:15 Break

14:30 Real-time networking

Session chair: Björn Andersson (Instituto Politécnico do Porto)

·         SelfS -- A Real-Time Protocol for Virtual Ring Topologies,

Bjoern Griese (Heinz Nixdorf Institut), Andre Brinkmann (University of Paderborn), and Mario Porrmann (Heinz Nixdorf Institut)

·         Design and Optimization of a Distributed, Embedded Speech Recognition System,

Chung-Ching Shen (University of Maryland) 

15:20 Break

15:45 Verification

Session chair: Andre Brinkmann (University of Paderborn)

·         Model-driven Specification of Component-based Distributed Real-time and Embedded Systems for Verification of Systematic QoS Properties,

James H. Hill (Vanderbilt University) and Aniruddha Gokhale (Vanderbilt University)

·         Formal Modeling and Analysis of Real-Time Resource-Sharing Protocols in Real-Time Maude,

Peter Csaba Olveczky (University of Oslo), Pavithra Prabhakar, and Xue Liu (Mcgill University)

·         Verification of Networks of Timed Automata using mCRL2,

Jan Friso Groote (Technical University of Eindhoven), Michel A. Reniers (Technical University of Eindhoven), and Yaroslav S. Usenko (Technical University of Eindhoven)