1st International Workshop on Rewriting Techniques for Real-Time Systems (RTRTS 2010)

  Longyearbyen, Spitsbergen, Svalbard

  April 6-9, 2010


  Program.


  Tuesday, April 6:
  --------------
  
  13.55: Arrival Longyearbyen. Bus transportation to our hotel, Radisson Blu Polar Hotel.

  14.30 - 16.00:  Two-course lunch incl. coffee in the hotel restaurant, Brasseri Nansen


  Session 1: Opening, invited talk, tutorial.

  16.00 - 16.10: Opening

  16.10 - 17.10: Martin Wirsing:
              Modelling and Analysing Adaptive User-Centric Systems in Real-Time Maude
              (Invited talk)

  17.10 - 18.00: Peter Ölveczky: 
              Real-Time Maude Tutorial and Overview  



  Wednesday, April 7:
  ----------------

  Session 1: Implementation. Chair: Martin Wirsing.

  9.10 - 9.50:  Musab AlTurki and José Meseguer:
             Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis

  9.50 - 10.30:  Mu Sun and José Meseguer:
             Distributed Real-Time Emulation of Formally-Defined Patterns for Safe  Medical Device Control


  Session 2: Language semantics. Chair: José Meseguer
  
  10.40 - 11.20:  Kyungmin Bae and Peter Ölveczky:
             Extending the Real-Time Maude Semantics of Ptolemy II to Hierarchical DE models

  11.20 - 12.00: Joakim Bjřrk, Einar Broch Johnsen, Olaf Owe, and Rudolf Schlatte:
             Lightweight Time Modeling in Timed Creol


  12.00 - 13.00: Two-course lunch incl. coffee in the hotel restaurant, Brasseri Nansen

 
  Session 3: Hybrid systems/ Applications. Chair: Olaf Owe

  13.00 - 13.40: Daniela Lepri, Peter Ölveczky, and Erika Ábrahám:
               Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications

  13.40 - 14.00: Michael Katelman and José Meseguer:
             Using the PALS Architecture to Verify a Distributed Topology Control Protocol for 
             Wireless Multi-Hop Networks in the Presence of Node Failures


  14.00 - 16.00: Informal discussions 


  Thursday, April 8:
  ---------------

  RESERVE DAY.

  Informal discussions.

  Due to the potential of bad weather and other uncertainties
  involving a trip to such a cold, small, and remote destination,
  it is imperative to have a "reserve day" in case the plane cannot 
  land on Tuesday, etc.

  During this day, we will have to move (by ourselves) from
  the Radisson Blu Polar Hotel to Spitsbergen gjestehus.


  Friday, April 9: 
  --------------

  8.50 - 9.00: Transport from Spitsbergen gjestehus to Radisson Blu Polar Hotel
               (workshop venue). Bring your luggage.

  
  Session 1: Hybrid systems/Applications. Chair: Francisco Durán

  9.15 - 9.55: Muhammad Fadlisyah, Erika Abraham, Daniela Lepri, and Peter Ölveczky:
             A Rewriting-Logic-Based Technique for Modeling  Thermal Systems

  9.55 - 10.35:  Peter Ölveczky and José Meseguer:
               Specification and Verification of Distributed Embedded Systems: A Traffic Intersection Product Family


  Session 2: Visual modeling/Wrap-up. Chair: Erika Ábrahám

  10.45 - 11.25: Francisco Duran:
               TBA

  11.25 - 12.00: Wrap-up, discussion, and closing.


  12.00 - 13.00: Two-course lunch incl. coffee in the hotel restaurant, Brasseri Nansen

  13.00: Transportation from hotel to airport.

  14.45: Departure from Longyearbyen airport.