WRTP'03 First Announcement and CALL FOR PAPERS 27th IFAC/IFIP/IEEE Workshop on Real-Time Programming Lagow, Poland 14-17 May 2003 Sponsored by IFAC Technical Committee on Real-Time Software Engineering Co-Sponsored by IFIP Working Group on Industrial Software Quality and Certification and IEEE Control Systems Society Organised by University of Zielona Gora, Institute of Computer Engineering and Electronics Scope: The workshop will consist of formal presentations, discussions, and informal meetings covering recent advances and current issues in theory, applications, and technology of real-time programming and real-time database management. It is intended to promote interaction among researchers and practitioners and to evaluate the maturity of new directions in real-time software and real-time database systems. The topics to be covered include, but are not limited to: * Advances in real-time software engineering o Real-time programming languages o Requirements engineering methods for real-time systems o Software analysis and design methods for predictable behaviour and verification & validation o Object orientation in real-time environments * Real-time systems issues o Scheduling of real-time tasks and transactions o Real-time concurrency control and resource management o Real-time operating and database systems o Real-time system architectures o Communication in real-time systems o Distributed real-time and database systems * Formal methods in discrete control systems o Formal methods for (re-)programmable logic controllers o Formal verification of programs for logic controllers * Safety critical computer control applications o Design for safety, dependability and survivability o Verification and validation of real-time software o Fault tolerance * New directions in real-time database systems o Active and real-time databases, time-constrained rule management o Event monitoring under temporal constraints o Transactions with temporal urgency and validity constraints * Real-time applications and experience o Industrial applications and experience o Evaluation of current real-time systems and databases o Real-time/control systems with challenging time constraints Workshop Chair: Marian Adamski University of Zielona Gora Institute of Computer Engineering and Electronics ul. Podgorna 50 65-246 Zielona Gora, Poland Phone: (+48 68) 3282 219 Fax: (+48 68) 3244 733 E-mail: M.Adamski@iie.uz.zgora.pl International Programme Committee: Chair: Matjaz Colnaric Faculty of Electrical Engineering and Computer Science, University of Maribor SI-2000 Maribor, Slovenia Phone: (+386 2) 220 7430 Fax: (+386 2) 251 1178 E-mail: colnaric@uni-mb.si Industrial Co-Chair: Bran V. Selic, Rational Software Canada, Canada Members: Marian Adamski, University of Zielona Gora, Poland Alejandro Alonso, Universidad Politecnica de Madrid, Spain Sten F. Andler, University of Skovde, Sweden Sven-Arne Andreasson, Chalmers University of Technology, Sweden Karl-Erik Arzen, Lund Institute of Technology, Sweden Julian Bass, University of Wales, United Kingdom Alan Burns, University of York, United Kingdom Carlos Couto, Universidade do Minho, Portugal Alfons Crespo, Universitat Politecnica de Valencia, Spain Pavel Ettler, COMPUREG Plzen, s.r.o., Czech Republic Wolfgang Fengler, Technische Universitaet Ilmenau, Germany Luis Gomes, Universidade Nova de Lisboa, Portugal Michael Gonzalez-Harbour, Universidad de Cantabria, Spain Volkmar Haase, Technische Universitaet Graz, Austria Wolfgang A. Halang, Fernuniversitaet Hagen, Germany Jorgen Hansson, Linköping University, Sweden Edward Hrynkiewicz, Silesian University of Technology, Poland Joerg Kaiser, Universitaet Ulm, Germany Jozef Korbicz, University of Zielona Gora, Poland Kam-Yiu Lam, City University of Hong Kong, Hong Kong Tiberiu Letia, University of Napuja Cluj, Romania Albert Llamosi, Universidad de las Islas Baleares, Spain Jacek Malec, University of Lund, Sweden Kim-F. Man, City University of Hong Kong, Hong Kong Joao L. Monteiro, Universidade do Minho, Portugal Sias Mostert, University of Stellenbosch, South Africa Leo Motus, Tallinn Technical University, Estonia Marga Marcos Munoz, Universidad del Pais Vasco, Spain Joseph Ng, Hong Kong Baptist University, Hong Kong Carlos E. Pereira, Universidade Federal do Rio Grande do Sul, Brazil Davor Petrinovic, University of Zagreb, Croatia Tadeusz Puchalka, Poznan Technical University, Poland Juan A. de la Puente, Universidad Politecnica de Madrid, Spain Krzysztof Sacha, Warsaw University of Technology, Poland Francesca Saglietti, Universitaet Nuernberg-Erlangen, Germany Abd-El-Kader Sahraoui, LAAS-CNRS and Toulouse-II University, France Ricardo Sanz, Universidad Politecnica de Madrid, Spain Ulrich Schmid, Technische Universitaet Wien, Austria Jean-Jacques Schwarz, INSA de Lyon, France Jacques Skubich, INSA de Lyon, France Tomasz Szmuc, Stanislaw Staszic University of Mining and Metallurgy, Poland Theodor Tempelmeier, Fachhochschule Rosenheim, Germany Osman Turkay, Bogazici University, Istanbul, Turkey Juri Vain, Tallinn Technical University, Estonia Paulo Jorge Verissimo, Universidade de Lisboa, Portugal Shuhua Wang, Rohde & Schwarz, Germany Horst Wedde, Universitaet Dortmund, Germany Marek Wegrzyn, University of Zielona G0ra, Poland Janusz Zalewski, Florida Gulf Coast University, USA Lichen Zhang, Guangdong University of Technology, China Dieter Zoebel, Universitaet Koblenz-Landau, Germany National Organizing Committee: Marek Wegrzyn University of Zielona Gora Institute of Computer Engineering and Electronics ul. Podgorna 50 65-246 Zielona Gora, Poland Phone: (+48 68) 3282 484 Fax: (+48 68) 3244 733 E-mail: M.Wegrzyn@iie.uz.zgora.pl Members: Piotr Bubacz - secretary Janusz Jablonski Location: The hotel "Bukowy Dworek" is the most luxurious hotel on the Swiecko - Poznan route (near E-30 road), 440 km away from Warsaw, 135 km away from Poznan and 140 km away from Berlin. The hotel is located next to the Lagowski Park, a region of great natural beauty. The hotel offers an outstanding location with excellent conditions for conferences and pleasure in a safe and relaxing atmosphere. Lagow, the most beautiful place in Ziemia Lubuska, is called the Pearl of Lubuskie Region. There is a castle, built by the Order of St.John (Joannici) in XIV century, on a hill surrounded by a park, where two lakes join. The present structure of the castle, which has not been changed since the XVII century, consists of four two-storey wings, which form a renaissance courtyard. The highest point of the castle is the tower, from which one can see a beautiful view of the area. Submission Details: Submissions: The submission of full papers with up to 6 pages is invited. They should address topics as outlined above and focus on insights and lessons gained from recent research and practical experience. Position papers describing new ideas, promising approaches, and work in progress are considered particularly appropriate. These papers should outline the contribution that the authors intend to make at the Workshop. The papers need to be submitted as PDF files through our WWW server, http://www.iie.uz.zgora.pl/wrtp03. The authors are asked to submit, with their papers, the following information: * Paper Title * Author's Name * Contact Address & E-mail * Abstract * Keyword list Final Papers: The final papers must be prepared according to the Author's Kit instructions. A corresponding LaTeX2e style file can be downloaded from our WWW server. Accepted papers must be presented in person at the Workshop. A selection of the best submissions will be proposed for publication in the IFAC affiliated journals (Pergamon Press' Automatica, Control Engineering Practice and Kluwer's Real-Time Systems). Language: English will be the working language of the workshop and will be used for the proceedings, the presentations and discussions. No simultaneous translation will be provided. Correspondence: All correspondence should be addressed to the e-mail: wrtp03@iie.uz.zgora.pl or to Workshop chairman - Marian Adamski Important Dates: Submissions due by: 3 November 2002 (NEW!) Notification of acceptance: 20 December 2002 Final papers due by: 31 January 2003 Early Registration: 31 January 2003 Workshop: 14-17 May 2003 Participation: Attendance will be limited to approx. 60 active workers in the field. Participants are requested to register in advance (by 31 January 2003) not later than 1 March 2003. Copyright Conditions: The material submitted for presentation at an IFAC meeting (congress, symposium, conference, workshop) must be original, not published or being considered elsewhere. All papers accepted for presentation will appear in the Preprints of the meeting and will be distributed to the participants. Papers duly presented will be archived and offered for sale, in the form of Proceedings, by Elsevier Science Ltd, Oxford, UK. The presented papers will be further screened for possible publication in the IFAC Journals (Automatica, Control Engineering Practice, Annual Reviews in Control, Journal of Process Control and Engineering Applications of Artificial Intelligence), or in IFAC affiliated journals. All papers presented will be recorded on the IFAC Publications website (http://www.elsevier.com/locate/ifac ). Copyright of material presented at an IFAC meeting is held by IFAC. Authors will be sent a copyright transfer form. The IFAC Journals and, after these, IFAC affiliated journals have priority access to all contributions presented. However, if the author is not contacted by an editor of these journals, within three months after the meeting, he/she is free to re-submit the material for publication elsewhere. In this case, the paper must carry a reference to the IFAC meeting where it was originally presented. For more detailed information see the WWW-Servers: http://www.iie.uz.zgora.pl/wrtp03 http://www.ifac-control.org