[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] 1st CALL FOR PAPERS : UML&AADL’2010



Please apologyze for the previous error on the submission deadline
**********************************************************************
                     CALL FOR PAPERS:  UML&AADL’2010
           http://www.artist-embedded.org/artist/UML-AADL-2010.html

                Workshop held in conjunction with ICECCS 2010
                The fifteenth IEEE International Conference on
                    Engineering of Complex Computer Systems
                    http://web.comlab.ox.ac.uk/ICECCS2010/
                               March 24th, 2010
                           University of Oxford, UK

************************************************************************

                   Submission deadline: October 30th, 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:

    - Model-based methodologies
    - Multi-domain specific modeling languages
    - Model-based engineering Process with AADL
    - Architectural analysis domain methods

    - Real-time Software/System development issues

    - Integration of different formalisms (e.g., Simulink/StateFlow,
      StateMate and Scade-drive)
    - Integration of multiple domains of architectural analysis
    - Model transformation and generative approaches

    - Model Checking of architecture specifications
    - ADLs behavioral models simulation, Scheduling analysis and Worst-case
      execution time prediction
    - Assuring implementation correctness to architectural specification and
      analysis

    - Tool chains facilitating architecture centric development


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 “ICECCS 2010 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:             October  30th, 2009
All Notification of acceptance:  December 18th, 2009
Final version due:  	         January  22th, 2010
Workshop date:                   March    24th, 2010


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)
Elie Najm (Telecom ParisTech, France)
Isabelle Perseil (Telecom ParisTech / INSERM, France)


Publicity Chair
===============
Sun Meng (CWI, The Netherlands)


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)
-* DeJiu Chen (KTH, Sweden)
-* Juan Antonio de la Puente (Universidad Politécnica de Madrid, Spain)
-* Sebastien Demathieu (THALES, France)
-* Dionisio De Niz Villasenor (SEI, Carnegie Mellon, USA)
-* Vincent Englebert (University of Namur, Belgium)
-* Madeleine Faugère (THALES, France)
-* Sandra C. P. Ferraz Fabbri (Federal University of São Carlos, Brazil)
-* Mamoun Filali (IRIT, France)
-* Robert France (Colorado State University, USA)
-* Sébastien Gérard (CEA-LIST, France)
-* Itana Maria de Souza Gimenes (UEM, Brazil)
-* Patrick Heymans (University of Namur, Belgium)
-* Irfan Hamid (Microsoft Corp, Canada)
-* J.J.M. Hooman (Embedded Systems Institute, The Netherlands)
-* Jérôme Hugues (ISAE, France)
-* Bruce Lewis (US Army AMCOM)
-* Johan Lilius (Åbo Akademi University, Finland)
-* Ricardo J. Machado (University of Minho, Portugal)
-* Sun Meng (CWI, The Netherlands)
-* Dominique Mery (LORIA, France)
-* Thierry Millan (IRIT, France)
-* Elie Najm (Telecom ParisTech, France)
-* Laurent Pautet (Telecom ParisTech, France)
-* Alek  Radjenovic (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 Tekinerdoğan (Bilkent University, Turkey)
-* Tullio Vardanega (University of Padua, Italy)
-* François Vernadat (CNRS-LAAS, France)
-* Thomas Vergnaud (THALES, France)
-* Eugenio Villar (Universidad de Cantabria, Spain)
-* André Windisch (EADS, Military Air Systems, Germany)
-* Sergio Yovine (CNRS-Verimag, France / Universidad de Buenos Aires)
-* Roberto V. Zicari (Goethe University Frankfurt, Germany)