MoBE-RTES 2011 : The 2nd IEEE Workshop on Model-based Engineering for Real-Time Embedded Systems
Call For Papers
Call for Papers
The 2nd IEEE Workshop on Model-based Engineering for Real-Time Embedded Systems
March 28, 2011
Newport Beach, CA, USA
(In conjunction with the 14th IEEE Int'l Symposium, ISORC 2011)
Model-based engineering (MBE) is evolving into a fully-fledged engineering discipline, with well-established standards, industrial-strength tools, and emerging theoretical foundations. Models are being used to design, specify, and implement a variety of complex and mission-critical systems. MBE involves rich and powerful development environments supporting design, analysis, validation, and implementation of such systems, which provide significantly higher levels of abstraction and computer-based automation than traditional approaches. These are particularly useful in developing complex real-time and embedded systems (RTES), which pose great challenges to system designers and implementers. The MoBE-RTES workshop is based on the premise that successful development of complex real-time and embedded systems necessarily requires careful architectural design and that this, in turn, involves the extensive use of models, modeling tools, and model-based development methods.
TOPICS OF INTEREST:
The focus of the workshop is on contributions that describe theorical and/or empirical advances in model-based engineering of RTES. In particular, the following topics are of primary interest (although other topics related to the workshop theme are also welcome):
* Modeling languages specific to RTES,
* Usages of MARTE (Modeling and Analysis of Real-time and Embedded systems), the OMG standard UML profile for RTES (e.g. application experience, extensions, on-going work, tutorials, etc.)
* Tools that support model-based development of RTES,
* Model-based safety engineering: e.g. methods of specifying safety attributes in an architectural model, methods for ensuring safety of implementations, etc.
* Formal and semi-formal methods for analyzing architectural models for key performance indicators of RTES,
* Examples of innovative applications of MBE to RTES development in industry.
Papers should describe original work and be 8 pages or less in length using the IEEE paper format. A maximum of two extra pages may be purchased. All accepted submissions will appear in the proceedings published by IEEE. Papers should be formatted using the IEEE Computer Society format. Please submit your paper in portable postscript or pdf format (all uncommon fonts embedded).
Papers can be submitted at:
Submission deadline: October 14, 2010
Notification of acceptance: December 9, 2010
Camera-ready Due: January 17, 2011
Workshop: March 28, 2011
Sébastien Gérard (CEA LIST)
Fabrice Kordon (LIP6)
Bran Selic (Malina Software)
If you need more information, please contact Sebastien Gerard (sebastien[dot]gerard[at]cea[dot]fr).