LAST CFP For UML&AADL'2009

LAST CFP For UML&AADL'2009

[Sun Meng]

**********************************************************************
                     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)

First CFP for FACS'09

[Sun Meng]

             Formal Aspects of Component Software (FACS 2009)

                                  First Call for Papers

  6th International Workshop on Formal Aspects of Component Software

                                 November 2-3, 2009
                           Eindhoven, the Netherlands

                       http://www.iist.unu.edu/facs09/

                   Submission deadline June 19, 2009

Scope & Topics:

    Component-based software has emerged as a promising paradigm to deal
    with the ever increasing need for mastering systems' complexity,
    for enabling evolution and reuse, and for bringing sound production
    and engineering standards into software engineering. However, many
    issues in component-based software development remain open and
    pose challenging research questions.

    Formal methods consist of mathematically-based
    techniques for the specification, development and verification of
    software and hardware systems. They have shown their great utility
    for setting up the formal foundations of component software and working
    out challenging issues such as mathematical models for components,
    their composition and adaptation, or rigorous approaches to
    verification, deployment, testing and certification.

    The objective of FACS'09 is to bring together researchers in the
    areas of component software and formal methods to promote a deep
    understanding of this paradigm and its applications. The workshop
    will also be interested in defining the common aspects of
    components and component-based development. It is expected that
    formal paper presentations will be followed by lively
    discussions. Possible topics include, but are not limited to:

    - formal models for software components and component interaction
    - design and verification methods for component software
    - component composition and deployment: models, calculi, languages
    - component testing, re-engineering and reuse
    - specification of extra-functional properties in component software
    - certification of components and software architectures
    - component software vs. object orientation, multi-agent systems, and
      aspect oriented development
    - components for real-time, safety-critical, secure and/or embedded 
systems
    - standard models for software components (e.g. Fractal, GCM, etc.)
    - industrial or experience reports, and case studies in component 
software
    - partial behavior models for software components
    - update and reconfiguration of component architectures
    - component systems evolution and maintenance
    - formal methods and modeling languages for components
    - trust models for components
    - autonomic components and self-managed applications
    - formal / rigorous approaches to software adaptation and 
self-adaptive systems
    - formal aspects of Web services and business processes
    - component-based Web services and service-oriented architectures
    - QoS issues in web services, multi-agent systems and 
component-based systems

    FACS'09 is the 6th event in a series of workshops, founded by
    the International Institute for Software Technology of the United
    Nations University (UNU-IIST). The first FACS workshop was
    co-located with FM'03 (Pisa, Italy, September 2003). The
    following FACS workshops were organised as standalone events,
    respectively at UNU-IIST in Macau (October 2005), at Charles
    University in Prague (September 2006), at INRIA in
    Sophia-Antipolis (September 2007), and at University of Málaga in
    Spain (September 2008). FACS'09 is planned to be co-located with
    a number of events together under the heading of Formal Methods Week
    (Eindhoven, the Netherlands, October 2009).

Submission & proceedings:

    Submissions to the workshop must present original research
    that is unpublished and not submitted for publication
    elsewhere. Papers will be judged on the basis of originality,
    relevance, technical soundness and presentation quality.  Papers
    must be written in English and not exceed 15 pages in the ENTCS
    format. Note that to encourage submission of work still in
    progress, we may also accept promising papers to be presented at
    the workshop. The presenters of these papers will be entitled to
    submit a revised version for full review for inclusion in the formal
    (post-)proceedings to be published in ENTCS. Extended versions of all
    accepted papers will be eligible for selection for a journal special
    issue.  The final version of the papers must be prepared in LaTeX,
    adhering to the ENTCS format (see http://www.entcs.org/final.html).

    Papers/abstracts can be submitted via the following link:
         http://www.easychair.org/conferences/?conf=facs09

    A special issue consisting of extended versions of selected papers from
    FACS 2009 will be published in Science of Computer Programming. 
Selected
    participants will be invited to submit an extended version of their 
papers
    after the workshop. These extended versions will be reviewed by the
    international program committee of FACS'09, which will decide on their
    suitability for final publication in the special issue.

Important dates:

    Abstract submission: June 12, 2009
    Paper submission: June 19, 2009
    Acceptance notification: July 31, 2009
    Camera ready: August 28, 2009
    Workshop: November 2-3, 2009

Keynote speakers: to be announced

Program chairs: Bernhard Schätz and Sun Meng

Program committee:

    Farhad Arbab (CWI, The Netherlands)                                   
    Luis Barbosa (Universidade do Minho, Portugal)                        
    Christiano Braga (Universidad Complutense de Madrid, Spain)         
    Carlos Canal (Universidad de Malaga, Spain)                      
    Paolo Ciancarini (Universita di Bologna, Italy)                       
    Rolf Hennicker (Ludwig-Maximilians-Universitaet Muenchen, Germany)   
    Atsushi Igarashi (Kyoto University, Japan)                           
    Einar Broch Johnsen (Universitetet i Oslo, Norway)                    
    Ying Liu (IBM China Research, China)                                  
    Markus Lumpe (Swinburne University of Technology, Australia)          
    Eric Madelaine (INRIA, Centre Sophia Antipolis, France)              
    Sun Meng (CWI, The Netherlands)                                      
    Corina Pasareanu (NASA Ames, USA)                                    
    Frantisek Plasil (Charles University, Czech Republic)                
    Anders Ravn (Aalborg University, Denmark)                             
    Ralf Reussner (Universitaet Karlsruhe, Germany)                       
    Bernhard Schaetz (Technical University of Munich, Germany)            
    Heinrich Schmidt (RMIT University, Australia)                         
    Marjan Sirjani (University of Tehran, 
Iran)                                                         
    Volker Stolz (UNU-IIST, MACAU)                                        
    Carolyn Talcott (SRI International, USA)                              
    Dang Van Hung (Vietnam National University, 
Vietnam)                                       
    Naijun Zhan (IOS, China)                                              

Steering Committee:

    Zhiming Liu (IIST UNU, Macau, China, coordinator)
    Farhad Arbab (CWI, The Netherlands)
    Luis Barbosa (Universidade do Minho, Portugal)
    Carlos Canal (University of Málaga, Spain)
    Markus Lumpe (Swinburne University of Technology, Australia)
    Eric Madelaine (INRIA, Sophia-Antipolis, France)
    Vladimir Mencl (Charles University, Prague, Czech Republic, and 
University of Canterbury, New Zealand)
    Corina Pasareanu (NASA Ames Research Center, USA)
    Sun Meng (CWI, the Netherlands)
    Bernhard Schaetz (Technical University of Munich, Germany)

Co-location:

    FACS is part of  the first Formal Methods Week (FMweek), which will 
bring together
    a choice of events in the area, including TESTCOM/FATES (Conference 
on Testing of
    Communicating Systems and Workshop on Formal Approaches to Testing 
of Software),
    FMICS (Formal Methods for Industrial Critical Systems), PDMC 
(Parallel and Distributed
    Methods of verifiCation), FM2009 (Symposium of Formal Methods 
Europe), CPA (Communicating
    Process Architectures), FAST (Formal Aspects in Security and Trust), 
FMCO (Formal Methods
    for Components and Objects), and the REFINE Workshop. For the latest 
information on FMweek,
    see http://www.win.tue.nl/fmweek.