Call for Papers: RTAS 2003 Workshop on Model-Driven Embedded Systems

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

Tuesday May 27, 2003
at RTAS 2003 Washington, D.C., May 27-30, 2003

[Home]

[Call for Papers]

[Important Dates]

[Submissions]

[Program]

[Organizers]

[Related Links]

CALL FOR PAPERS

[Printer Friendly Version]    [Text Version]

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 Composition of Embedded Systems.

While each of these areas has yielded promising results in its own particular direction, new attention to the integration of these areas is essential. In particular, this workshop aims to bring together 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.

The goal of this workshop is to review state-of-the-art research and practice 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.

Submission Guidelines

Participants should submit a position, research, or experience paper (5-6 pages in length) in PDF, Postscript, or MS Word format to the workshop co-chairs at <cdgill@cse.wustl.edu> and <bennett.c.watson@lmco.com> by April 7, 2003. Submitted papers will be reviewed for acceptance by the program committee. All accepted workshop papers 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. In addition to the website, we will publish the workshop proceedings as a CD-ROM that will be distributed at the workshop to all attendees.

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 submissionApril 7, 2003
Acceptance notificationApril 14, 2003
Final papers dueMay 12, 2003

Workshop Co-Chairs

Chris Gill Washington University in St. Louis, USA
Ben Watson Lockheed Martin, USA

Program Committee

Nikil Dutt Unversity of California, Irvine
Jeff Gray University of Alabama at Birmingham
Douglas Niehaus University of Kansas
David Sharp Boeing
Gurdip Singh Kansas State Unversity
Oleg Sokolsky Unversity of Pennsylvania

Home Chris Gill, <cdgill@cse.wustl.edu>
Last modified 17:25:58 CST Feb 23, 2003