ACSD 2005 Fifth International Conference on Application of Concurrency to System Design http://acsd2005.irisa.fr/ 1st Call for Participation *** The electronic registration service will be online soon *** Dates and Venue --------------- 6th of June 2005, IFSIC, University of Rennes 1, Campus de Beaulieu, Rennes, France: Satellite workshop MOMPES 2005. 7-9th of June 2005, Palais du Grand Large, St Malo, France : ACSD 2005 Conference Focus ---------------- The International Conference on Application of Concurrency to System Design (ACSD) serves as a forum for disseminating theoretical results and advanced methods and tools for the design of complex concurrent systems. While there are already quite a few success stories in the field, there is still a strong need to bring theory and practice closer together. The conference aims at cross-fertilizing both types of research on the following topics: * Methods for design of synchronous or asynchronous systems based on models of concurrency (data-flow, communicating automata, Petri nets, process algebras, statecharts, MSCs etc.). * Correct-by-construction design methods and integration of verification techniques with the design process. * Synchronous / asynchronous design and communication interfaces: Globally Asynchronous Locally Synchronous systems. * Hardware / software co-design from common specifications. * Concurrency issues in Systems on Chips (in particular, use of formal methods for communication protocol design and verification). Chairs ------ Benoît Caillaud (IRISA / INRIA Rennes), general chair Jörg Desel (Katholische Universität Eichstätt-Ingolstadt, Germany), program committee co-chair Yosinori Watanabe (Cadence, USA), program committee co-chair Steering Committee ------------------ A. Yakovlev (U. of Newcastle upon Tyne, UK), Chair J. Cortadella (U. Politecnica de Catalunya, Spain) J. Desel (Katlische Univ. Eichstatt, Germany) A. Kondratyev (Cadence, USA) L. Lavagno (Politecnico di Torino, Italy) A. Valmari (Tampere Univ. of Technology, Finland) Program Committee ----------------- Jörg Desel (Katholische Universität Eichstätt-Ingolstadt, Germany), co-chair Yosinori Watanabe (Cadence, USA), co-chair D.K. Arvind (U. of Edinburgh, Scotland) Twan Basten (Eindhoven University of Technology, The Netherlands) Jonathan Billington (U. of South Australia, Australia) Marius Bozga (VERIMAG, France) Franck van Breugel (York University, Canada) Manfred Broy (Technische Universität München, Germany) Paul Caspi (VERIMAG, France) Werner Damm (Universität Oldenburg, Germany) Heiko Dörr (DaimlerChrysler Research, Germany) Stephen Edwards (Columbia University, USA) Javier Esparza (Universität Stuttgart, Germany) Ursula Goltz (Technische Universität Braunschweig, Germany) Radu Grosu (SUNY at Stony Brook, USA) Thomas Henzinger (EPFL Lausanne, Switzerland) Ryszard Janicki (McMaster University, Canada) Kurt Jensen (U. of Aarhus, Denmark) Bengt Jonsson (Uppsala University, Sweden) Mark Josephs (London South Bank University, England) Sri Kanajan (General Motors Research, USA) Michael Kishinevsky (INTEL, USA) Erwin de Kock (Philips Research, The Netherlands) Robert Kurshan (Cadence, USA) Luciano Lavagno (Politecnico de Torino, Italy) Johan Lilius (TUCS and Aabo Akademi University, Finland) Ricardo Machado (Universidade do Minho, Portugal) Miroslaw Malek (Humboldt-Universität zu Berlin, Germany) John Moondanos (INTEL, USA) Laure Petrucci (Université Paris Nord, France) Jan Rabaey (University of California at Berkeley, USA) Anders Ravn (Aalborg University, Denmark) Enric Pastor (Universitat Politecnica de Catalunya, Spain) Wojciech Penczek (Polish Academy of Science and University of Podlasie, Poland) P.S. Thiagarajan (National University of Singapore) Antti Valmari (Tampere University of Technology, Finland) Alex Yakovlev (University of Newcastle upon Tyne, England) Tomohiro Yoneda (National Institute of Informatics, Japan) Qiang Zhu (Fujitsu Labs, Japan) Wlodek Zuberek (Memorial University of Newfoundland, Canada) Organizing Committee -------------------- Edith Blin-Guyot (IRISA / INRIA Rennes), finance and registration Benoît Caillaud (IRISA / INRIA Rennes), general chair Myriam David (IRISA / INRIA Rennes), local arrangements Loïc Hélouët, (IRISA / INRIA Rennes), web pages, communication Hervé Marchand, (IRISA / INRIA Rennes), tool demos Laure Petrucci, (LIPN / Univ. Paris Nord), satellite event Sophie Pinchinat, (IRISA / Univ. Rennes 1), travel and tourism Sponsoring and Cooperation -------------------------- The event is organized in cooperation with ACM SIGDA and SIGSOFT. It is sponsored by the French National Institute for Research in Computer Science and Control (INRIA), the University of Rennes 1, the Michel Métivier Foundation, the Regional Council of Brittany, le Conseil Général d'Ille et Vilaine, and Rennes Métropole. Proceedings ----------- Proceedings are published by IEEE Computer Society Press. Satellite workshop ------------------ The 2nd International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES 2005) will take place in Rennes on the 6th of June: http://www.di.uminho.pt/~mompes/ Tool Demos ---------- Tool demonstrations will be organized in parallel with the sessions. Internet access will be provided (both Wifi and Ethernet). Please contact Hervé Marchand . Registration ------------ Registration forms are available online on the conference web pages: http://acsd2005.irisa.fr/. Reduced fees are offered to students. Important Dates --------------- * Deadline for final manuscripts: 31 March 2005 * Deadline for early registration: 30 April 2005 * Conference: 6-9 June 2005 Links ----- ACSD 2005 web page: http://acsd2005.irisa.fr/ Program ------- Tuesday 7 June 08h15 Registration 08h45 Opening Session 09h00 Invited Speaker : Anca Muscholl 10h00 Session 1: Specification of Communication Protocols * Radu Grosu and Scott Smolka. Safety-Liveness Semantics for UML 2.0 Sequence Diagrams * Jukka Honkola, Sari Leppänen and Teemu Tynjala. Modeling the SpaceWire Architecture with Lyra 11h00 Coffee Break 11h30 Session 2: Formal Models and Property Analysis * Matthieu Moy, Florence Maraninchi and Laurent Maillet-Contoz. LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level * Nicolas Rivierre, Francois Horn and Frederic Dang Tran. On Monitoring Concurrent Systems with TLA: an Example 12h30 Lunch Break 14h00 Session 3 : Asynchronies * Dumitru Potop-Butucaru and Benoit Caillaud. Correct-by-construction asynchronous implementation of modular synchronous specifications * Hemangee Kapoor and Mark Josephs. Controllable Delay-Insensitive Processes and their Reflection, Interaction and Factorisation * Alexander Smirnov, Alexander Taubin, Ming Su and Mark Karpovsky. An Automated Fine-Grain Pipelining Using Domino Style Asynchronous Library 15h30 Coffee break 16h00 Session 4 : Theoretical Approaches * Alin Stefanescu and Keijo Heljanko. Complexity Results for Checking Distributed Implementability * Marc Geilen, Twan Basten, Bart Theelen and Ralph Otten. An Algebra of Pareto Points * Stavros Tripakis. Two-phase distributed observation problems * Klaus Schneider, Jens Brandt, Tobias Schuele and Thomas Tuerk. Maximal Causality Analysis Wednesday 8 June 08h30 Invited Speaker : Werner Damm 09h30 Session 5 : Analysis and Synthesis of Timed Systems * Robert Clariso and Jordi Cortadella. Verification of Concurrent Systems with Parametric Delays Using Octahedra * Wei Zheng, Jike Chong, Claudio Pinello, Sri Kanajan and Alberto Sangiovanni-Vincentelli. Extensible and Scalable Time Triggered Scheduling 10h30 Coffee Break 11h00 Session 6 : Models of Simulation Techniques * Juan de Lara and Gabriele Taentzer. Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph Transformation * Timo Kellomäki and Antti Valmari. A Method for Analysing the Performance of Certain Testing Techniques for Concurrent Systems 12h00 Lunch Break 13h30 Session 7 : Communication Synthesis * Jordi Cortadella, Kyller Gorgonio, Fei Xia and Alex Yakovlev. Automating Synthesis of Asynchronous Communication Mechanisms * Yinghua Li, Alex Kondrayev and Robert Brayton. Gaining Predictability and Noise Immunity in Global Interconnects 14h30 Tool Exhibition 15h00 Bus leaves for Mt St Michel 19h00 Bus leaves for the Gala Dinner Thursday 9 June 09h00 Invited Speaker : Kees Gossens 10h00 Coffee Break 10h30 Session 8 : Languages and Calculi * Franck van Breugel and Mariya Koshkina. Dead-Path-Elimination in BPEL4WS * Samuele Carpineti, Cosimo Laneve and Paolo Milazzo. BoPi: A distributed machine for experimenting Web Service technologies * Marjan Sirjani, Frank de Boer, Ali Movaghar and Amin Shali. Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing 12h00 Lunch Break 13h30 Tool exhibition 14h00 Session 9 : Approaches based on Petri Nets * Rachid Hadjidj and Hanifa Boucheneb. Much compact Time Petri Net state class spaces useful to restore CTL* properties * Christian Stahl, Wolfgang Reisig and Milos Krstic. Hazard Detection in a GALS Wrapper: a Case study * Walter Vogler and Ben Kangsah. Improved Decomposition of STGs 15h30 Closing Session