Published: 21st September 2010|
|Preface Peter Csaba Ölveczky|
|Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude Martin Wirsing, Sebastian S. Bauer and Andreas Schroeder||1|
|Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis Musab AlTurki and José Meseguer||26|
|Extending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models Kyungmin Bae and Peter Csaba Ölveczky||46|
|Lightweight Time Modeling in Timed Creol Joakim Bjørk, Einar Broch Johnsen, Olaf Owe and Rudolf Schlatte||67|
|A Rewriting-Logic-Based Technique for Modeling Thermal Systems Muhammad Fadlisyah, Erika Ábrahám, Daniela Lepri and Peter Csaba Ölveczky||82|
|Using the PALS Architecture to Verify a Distributed Topology Control Protocol for Wireless Multi-Hop Networks in the Presence of Node Failures Michael Katelman and José Meseguer||101|
|Model Checking Classes of Metric LTL Properties of Object-Oriented Real-Time Maude Specifications Daniela Lepri, Peter Csaba Ölveczky and Erika Ábrahám||117|
|Specification and Verification of Distributed Embedded Systems: A Traffic Intersection Product Family Peter Csaba Ölveczky and José Meseguer||137|
|Distributed Real-Time Emulation of Formally-Defined Patterns for Safe Medical Device Control Mu Sun and José Meseguer||158|
The aim of the workshop was to bring together researchers with an interest in the use of rewriting-based techniques (including rewriting logic) and tools for the modeling, analysis, and/or implementation of real-time and hybrid systems, and to give them the opportunity to present their recent works, discuss future research directions, and exchange ideas. The topics of the workshop comprise, but are not limited to:
Many colleagues and friends contributed to RTRTS 2010. First, I would like to thank José Meseguer who proposed to have an international workshop on the topic. I thank the authors who submitted their high-quality work to RTRTS 2010 and who, through their contributions, made the workshop an interesting event. I am particularly grateful that so many well known researchers agreed to serve on the program committee, and that they all provided timely, insightful, and detailed reviews. A special thanks to Grigore Roşu for being the "PC chair" for the papers co-written by me.
I am grateful that so many friends could go to far-away Spitsbergen, which is not exactly the easiest or cheapest place to reach, to attend the workshop. Above all, I appreciate that my dear friends José and Martin could come to Spitsbergen for this occasion. I also thank the editors of Electronic Proceedings in Theoretical Computer Science for agreeing to publish the proceedings of RTRTS, Lise Bakke and Hildegunn Rønningen for taking care of the local arrangements, and Andrei Voronkov for the excellent EasyChair conference system. Arranging a workshop in Spitsbergen is not cheap; I am therefore grateful for the significant financial support provided by The Research Council of Norway, through the Rhytm project, for RTRTS 2010.
I hope that all the participants enjoyed both the scientific program and the workshop venue!
Peter Csaba Ölveczky
Urbana, September 2010