From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=X_PRIORITY_HIGH autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 082AFBBAF for ; Fri, 19 Dec 2008 21:43:44 +0100 (CET) X-IronPort-AV: E=Sophos;i="4.36,250,1228086000"; d="scan'208";a="18712603" Received: from discorde.inria.fr ([192.93.2.38]) by mail2-smtp-roc.national.inria.fr with ESMTP; 19 Dec 2008 21:43:41 +0100 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id mBJKheP8030855 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 19 Dec 2008 21:43:40 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlsBAHKWS0mJwgIOmWdsb2JhbACBbJF5AQEBAQEICwoHEYEJqRlYkGqDA4QK X-IronPort-AV: E=Sophos;i="4.36,250,1228086000"; d="scan'208";a="20628965" Received: from revol2.enst.fr (HELO smtp2.enst.fr) ([137.194.2.14]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 19 Dec 2008 21:43:15 +0100 Received: from localhost (localhost [127.0.0.1]) by smtp2.enst.fr (Postfix) with ESMTP id 205DBB8178; Fri, 19 Dec 2008 21:43:14 +0100 (CET) X-Virus-Scanned: amavisd-new at enst.fr Received: from webmail1.telecom-paristech.fr (themis.enst.fr [137.194.2.40]) by smtp2.enst.fr (Postfix) with ESMTP id 51CD0B816C; Fri, 19 Dec 2008 21:43:13 +0100 (CET) Received: from 82.236.227.177 (SquirrelMail authenticated user perseil) by webmail1.telecom-paristech.fr with HTTP; Fri, 19 Dec 2008 21:43:13 +0100 (CET) Message-ID: <468bb2375df56a5a2f199f9c77a495ab.squirrel@webmail1.telecom-paristech.fr> Date: Fri, 19 Dec 2008 21:43:13 +0100 (CET) Subject: CFP-UML&AADL'2009 From: "Sun Meng" To: puml-list@cs.york.ac.uk Cc: coalgebras@iti.cs.tu-bs.de, pvs@csl.sri.com, isabelle-users@cl.cam.ac.uk, reliable_computing@interval.louisiana.edu, components@artist-embedded.org, agents@cs.umbc.edu, behavior@cs.ucsd.edu, comlab@comlab.ox.ac.uk, formal-methods@cs.uidaho.edu, concurrency@cwi.nl, grin@di.unipi.it, categories@mta.ca, moca-announce@list.it.uu.se, eacsl@dimi.uniud.it, fmics@inrialpes.fr, ipa@win.tue.nl, petrinet@informatik.uni-hamburg.de, logic-announce@uclink4.berkeley.edu, logic-list@Helsinki.FI, nvti-list@cwi.nl, prog-lang@diku.dk, theory-logic@cs.cmu.edu, theorynt@listserv.nodak.edu, acl2@cs.utexas.edu, asci@twi.tudelft.nl, caml-list@inria.fr, coq-club@pauillac.inria.fr, jml@cs.iastate.edu, lfcs-interest@dcs.ed.ac.uk, nwpt-info@sool.ioc.ee, stochver@cs.bham.ac.uk, theorem-provers@ai.mit.edu, forum@prg.ox.ac.uk, csl@dbai.tuwien.ac.at, ccp@sics.se, appsem@tcs.informatik.uni-muenchen.de, procos@jiscmail.ac.uk, seworld@cs.colorado.edu, haskell@haskell.org, se-group@cs.umn.edu, umsec-events@cs.umn.edu, seminar@iist.unu.edu User-Agent: SquirrelMail/1.4.17 MIME-Version: 1.0 Content-Type: text/plain;charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Priority: 1 (Highest) Importance: High X-Miltered: at discorde with ID 494C077C.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; model:01 generative:01 model:01 worst-case:01 c-s:01 politecnica:01 thales:01 johan:01 oleg:01 bilkent:01 padua:01 thales:01 2009:98 2009:98 20,:98 ********************************************************************** CALL FOR PAPERS: UML&AADL’2009 http://www.artist-embedded.org/artist/UML-AADL-2009.html Workshop held in conjunction with ICECCS 2009 The fourteenth IEEE International Conference on Engineering of Complex Computer Systems http://www.iceccs.org/ June 02, 2009 Potsdam, Germany ************************************************************************ Submission deadline: February 20, 2009 -------------------------------------- Topics ====== New real-time systems have increasingly complex architectures because of the intricacy of the multiple interdependent features they have to manage. They must meet new requirements of reusability, interoperability, flexibility and portability. These new dimensions favor the use of an architecture description language that offers a global vision of the system, and which is particularly suitable for handling real-time characteristics. Due to the even more increased complexity of distributed, real-time and embedded systems (DRE), the need for a model-driven approach is more obvious in this domain than in monolithic RT systems. The purpose of this workshop is to provide an opportunity to gather researchers and industrial practitioners to survey existing efforts related to behavior modeling and model-based analysis of DRE systems. This workshop seeks contributions from researchers and practitioners interested in all aspects of the representation, analysis, and implementation of DRE system behavior and/or architecture models. To this end, we solicit papers (no more than 6 pages long) related to, but not limited to, the following principal topics: - Multi-domain specific modeling languages - Model transformation and generative approaches - Model-based Methodologies - Integration of different formalisms (e.g., Simulink/StateFlow, StateMate and Scade-drive) - Model Checking of architecture specifications - ADLs behavioral models simulation, Scheduling analysis and Worst-case execution time prediction Workshop Format =============== This full-day workshop will consist of an introduction of the topic by the workshop organizers, presentations of accepted papers, and in depth discussion of previously identified subjects emerging from the submissions. A summary of the discussions will be made available. Submission and Publication ========================== To contribute, please send a position paper or a technical paper to agusti[dot]canals[at]c-s[dot]fr with “ICECCS09 UML&AADL Workshop” in the title. Papers should not exceed 6 pages. Submitted manuscripts should be in English and formatted in the style of the IEEE Computer Society Proceedings Format. Preferably, submissions should be in PDF format. All selected papers will be published in the IEEE Computer Society Press Proceedings. IMPORTANT DATES =============== Submission deadline: February 20, 2009 All Notification of acceptance: March 05, 2009 Workshop date: June 02, 2009 Organizational sponsors ======================= ARTIST NoE OMG Organizers and Programme Steering Committee =========================================== Jean-Michel Bruel (IRIT, France) Agusti Canals (CS, France) Robert de Simone (INRIA, France) Sébastien Gérard (CEA-LIST, France) Isabelle Perseil (TELECOM ParisTech, France) IEEE CS TCCX Coordinator ======================== Mike Hinchey (NASA GSFC and Loyola College in Maryland, USA) Programme Committee =================== Yamine Ait Ameur (LISI / ENSMA, France) Keijiro Araki (Kyushu University, Japan) Grady Booch (IBM Fellow, USA) Agusti Canals (CS, France) Juan Antonio de la Puente (Universidad Politécnica de Madrid, Spain) Dionisio De Niz Villasenor (SEI, Carnegie Mellon, USA) Vincent Englebert (University of Namur, Belgium) Madeleine Faugère (THALES, France) Mamoun Filali (IRIT, France) Robert France (Colorado State University, USA) Sébastien Gérard (CEA-LIST, France) Patrick Heymans (FUNDP Namur, Belgium) Irfan Hamid (Microsoft Corp, Canada) J.J.M. Hooman (Embedded Systems Institute, The Netherlands) Bruce Lewis (US Army AMCOM) Johan Lilius (Åbo Akademi University, Finland) Ricardo J. Machado (University of Minho, Portugal) Dominique Mery (LORIA, France) Thierry Millan (IRIT, France) Richard Paige (University of York, United Kingdom) Marc Reynolds (University of Western Australia, Australia) José Raúl Romero Salguero (Universidad de Córdoba, Spain) Bernhard Rumpe (Braunschweig University of Technology, Germany) Douglas C. Schmidt (Vanderbild University, USA) Françoise Simonot Lion (LORIA, France) Oleg Sokolsky (University of Pennsylvania, USA) Roy Sterritt (University of Ulster, United Kingdom) Jörn Guy Süß ( University of Queensland, Australia) Jing Sun (University of Auckland, New Zealand) Bedir Tekinerdogan (Bilkent University, Turkey) Martin Törngren (KTH - Royal Institute of Technology, Sweden) Laurence Tratt (Bournemouth University, United Kingdom) Tullio Vardanega (University of Padua, Italy) François Vernadat (CNRS-LAAS, France) Thomas Vergnaud (THALES, France) Eugenio Villar (Universidad de Cantabria, Spain) Sergio Yovine (CNRS-Verimag, France) Roberto V. Zicari (Goethe University Frankfurt, Germany)