-- forwarded message --
From: "Chenyang Lu" <lu@cse.wustl.edu>
Newsgroups: comp.os.research
Subject: CALL FOR PAPERS: RTAS'04 MoDES Workshop
Approved: comp-os-research@ftp.cse.ucsc.edu
Originator: osr@cse.ucsc.edu
NNTP-Posting-Host: ftp.cse.ucsc.edu
Message-ID: <404509f4$1@darkstar>
Date: 2 Mar 2004 14:25:56 -0800
Lines: 147
Path: uni-berlin.de!fu-berlin.de!newsfeed.berkeley.edu!ucberkeley!darkstar!osr
Xref: uni-berlin.de comp.os.research:8439

CALL FOR PAPERS

2nd RTAS Workshop on Model-Driven Embedded Systems (MoDES '04)

Integrating Models, Architectures, Patterns, Frameworks, and Analysis
of Embedded Systems

Tuesday May 25, 2004
at RTAS 2004, Toronto, Ontario, Canada, May 25-28, 2004

Overview

In the past several years, spurred by significant investment and
effort by government agencies, industry, and academic research
centers, several key areas of research and practice have begun to
converge, and this convergence has gained increasing attention and
importance in the domain of real-time and embedded systems. Key
research areas include Model Driven Architectures, Model Integrated
Computing, Distributed Real-Time and Embedded Middleware, Hybrid
Control, and Aspect-based Composition of Embedded Systems.

While each of these areas has yielded promising results in its own
particular direction, transitioning these results into practice and
integrating research in these areas is essential. In particular, this
workshop aims to bring together practitioners and researchers in these
areas for discussions leading to a broader understanding of how
complex large-scale embedded systems, operating in heterogeneous and
time-varying environments can be
* modeled
* configured
* composed
* analyzed
* checked
* secured
* certified, and
* controlled
so that crucial system properties can be assured within tractable
model-driven programming environments.

This workshop expands the scope of the first MoDES workshop at RTAS
2003 to bring an increased focus on crossing the chasm between
research and practice. The goals of this workshop are to (1) review
state-of-the-art research leading toward an integrated view of
model-driven composition of systems with static and run-time
assurances and/or control of real-time, fault-tolerance, security,
footprint, and other crucial properties; and (2) capture real world
challenges in these areas that hinder transition of recent related
research to industrial practice.

Workshop Format

To achieve this expanded scope, the workshop will address three topics
in sequence:
1. MoDES challenges in industrial practice,
2. Recent research advances in MoDES, and
3. Crossing the chasm between MoDES research and practice,

where Topic 3 is intended to put the "work" in "workshop" -- time will
be set aside during the afternoon for a guided discussion to identify
relationships and remaining gaps between research results and
industrial needs.

Submission Guidelines

Participants should submit an extended abstract of 2-6 pages in length
in PDF, Postscript, or MS Word format that
* makes a position statement,
* describes current research problems and/or results, or
* reports practical experience
to the workshop co-chairs at david.sharp@boeing.com,
cdgill@cse.wustl.edu and wmilam@ford.com by April 16, 2004.  Submitted
abstracts will be reviewed for acceptance by the program
committee. All accepted workshop abstracts will be available at the
workshop website prior to the workshop date to give all participants
the opportunity to read them before the workshop and to encourage
discussion during the workshop. Final workshop results will be posted
following the conference, and CDs containing the accepted abstracts
will be made available to all registered workshop participants.

Each submission should clearly identify whether it addresses:
	Topic 1: MoDES challenges in industrial practice, or
	Topic 2: Recent research advances in MoDES

Topics of interest for this workshop include, but are not limited to
the following:
* Empirical profiling and modeling of system properties
* Standardization efforts such as MDA and QoS-CCM
* Frameworks and tools for composition of multiple QoS properties
* Analysis, modeling and generation tools
* Applications of control theory to adaptive QoS management
* Techniques for representation and analysis of system properties
* Open research issues for model-driven composition of embedded systems
* Application scenarios and use cases for model-driven embedded systems
* Industry experience with modeling, analysis and control
* Architecture description languages and tools
* Model-based checking and certification of embedded systems
* Performance/efficiency of model-driven embedded systems
* Experiences implementing embedded systems with stringent QoS
requirements
* Domain-specific requirements
* Integrating components, tools, and techniques from multiple sources
Important Dates

Paper submission 		Friday, April 16, 2004
Acceptance notification		Monday, April 26, 2004
Final papers due 		Monday, May 10, 2004

Workshop Co-Chairs

David C. Sharp, The Boeing Company, USA
Christopher D. Gill, Washington University, USA
William P. Milam, Ford Motor Company, USA

Program Committee

Kenneth Butts , Toyota Motor Corporation, USA
David Cousins , BBN Technologies, USA
Lou DiPalma , Raytheon, USA
Lisa DiPippo , University of Rhode Island, USA
Nikil Dutt , University of California, Irvine, USA
Aniruddha Gokhale , Vanderbilt University, USA
Jeff Gray , University of Alabama at Birmingham, USA
Jeffrey Hansen , Carnegie-Mellon University, USA
Vana Kalogeraki , University of California, Riverside, USA
Sean Landis , Valaran, USA
Joe Loyall , BBN Technologies, USA
Priya Narasimhan , Carnegie Mellon University, USA
Edward Nelson , Ford Motor Company, USA
Douglas Niehaus , University of Kansas, USA
Dennis Noll , Boeing, USA
Peter Puschner , TU Vienna, Austria
Binoy Ravindran , Virginia Tech, USA
Eric Rutten , INRIA, France
Manas Saksena , Timesys, USA
Rick Schantz , BBN Technologies, USA
Gurdip Singh , Kansas State University, USA
Oleg Sokolsky , University of Pennsylvania, USA
Gautam Thaker , Lockheed Martin, USA
Ben Watson , Lockheed Martin, USA
Lonnie Welch , Ohio University, USA


------------ And now a word from our sponsor ----------------------
For a quality mail server, try SurgeMail, easy to install,
fast, efficient and reliable.  Run a million users on a standard
PC running NT or Unix without running out of power, use the best!
----  See http://netwinsite.com/sponsor/sponsor_surgemail.htm  ----
-- end of forwarded message --

-- 
  ___ _ _  _   _        * Harddisk Image Cloning * 
 / __| | || | | |           www.feyrer.de/g4u/
| (_ |_  _| |_| |         
 \___| |_| \___/        v1.14 out now, including SATA support!