CFP-UML&AADL'2009

CFP-UML&AADL'2009

[Isabelle Perseil]

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

Re: CFP: CCBS 2009

[hassan reza]

Call for Papers
 
The First International Workshop on the Critical Computer Based Systems
(CCBS'09) 2009
Monte Carlo Resort 
Las Vegas, Nevada, USA (July 13-17, 2009)
http://people.cs.und.edu/~reza/CCBS09.htm
 
 
The construction of dependable and complex computer-based systems demands
the interaction and involvement of industry and academy.
Industry involvement is essential since it poses practical and challenging
problems for academic researchers. Therefore, the main idea
behind organizing the CCBS¹09 is to provide a platform in which to discuss
both theoretical and practical results relevant to the engineering
of highly sophisticated and critical systems that are used in automotive,
avionics, railway, naval, chemical, nuclear, manufacturing, and
medical industries.
You are invited to submit a paper that documents research studies and
applications related to the engineering of high-assurance systems in the
aforementioned 
industries with special emphasis on using model-based design and testing
paradigms. Papers reporting industrial experiences using methodologies and
tools to 
manage the complexity of these systems are especially welcome.
Papers will be evaluated for originality, significance, clarity, and
soundness. All accepted papers will be published in the workshop proceedings
and will be 
indexed in major on-line archives (including DBLP). Extended and revised
versions of selected papers will be also published by the International
Journal of Critical Computer Based Systems (IJCCBS).
  
SCOPE
 
·         Engineering methods for high-assurance systems in real-time
control applications
·         Safety engineering methods for Unmanned Aerial Systems (UAS)
·         Usability engineering methods for Unmanned Aerial Systems (UAS)
·         Performance, dependability and security evaluation using
analytical models, simulation or empirical approaches
·         Model-based software testing and formal methods (model checking,
theorem proving)
·         Fault tolerant, resilient, reactive and reconfigurable
architectures
·         Multi-formalism and multi-paradigm approaches
·         Novel approaches to safety assessment, hazard analysis and failure
mode and effect analysis (FMEA),
          with special emphasis on immature domains
·         Business continuity planning: backup strategies and disaster
recovery procedures
·         Model-based security engineering and design for security
·         Cost benefit optimization of design parameters, including genetic
approaches
·         Measured data management, integration, fusion, correlation and
reasoning for on-line diagnostics and prognostics of CBS
·         Statistical approaches for field data retrieval, filtering and
analysis in the operational phase
·         Innovative applications, case studies and industrial experience
reports (process control, biomedicine,
          X-by-wire, e-commerce, etc.)
·         Advances in dependability modeling formalisms (Fault Trees, Markov
Chains, Petri Nets, etc.)
·         Fault/Attack-injection and design for testability
·         Software reliability, including design diversity and software
rejuvenation
·         Systematic model based, model driven, co-modeling and concurrent
engineering approaches
·         Computer based risk assessment, decision support and early warning
systems
·         Technologies, methodologies and standards for the co-design of
hardware-software embedded architectures
·         New structured and hybrid approaches for critical software
engineering
·         Management of issues in off-the-shelf components integration for
dependable systems
·         Middlewares and protocols for dependable service oriented and GRID
applications
·         Organizational, procedural and ergonomic aspects of human machine
interaction in critical CBS
·         Architectural Analysis Description Languages and Tool Supports
·         Engineering approaches based on AADL/MBE, UML/MDA and SysML
 
SUBMISSION DETAILS
Please send your paper (6-8 pages, single-spaced, font size of 10-12) to
Hassan Reza: reza@aero.und.edu by the due date. E-mail submissions are also
acceptable. 
For more information, please visit the Workshop site at:
http://people.cs.und.edu/~reza/CCBS09.htm
 
 
ORGANIZING COMMITTEE
 
 
PROGRAM CO-CHAIRS:
 
HASSAN REZA, USA
FRANCESCO FLAMMINI, ITALY
 
PROGRAM COMMITTEE:
 
FARHAD ARBAB, NETHERLAND
MADJID FATHI, GERMANY
ROBERT FRANCE, USA
FRANCESCO FLAMMINI, ITALY
EMMANUEL GRANT, USA
JAN JURJENS, UK 
FRANCESCA SAGLIETTI, GERMANY
PIETER MOSTERMAN, USA
XUDONG HE, USA
ANDRAS PATARICA, HUNGARY
HASSAN REZA, USA
RON MARSH, USA
RAY HASHAMI, USA
 
IMPORTANT DATES:
 
MARCH 2, 2009: PAPER SUBMISSION
APRIL 8, 2009:  NOTIFICATION OF ACCEPTANCE
APRIL 28, 2009: CAMERA READY PAPERS IN PDF/DOC AND PRE-REGISTRATION