| |||||||||||||||
MoBE-RTES 2011 : 2nd IEEE Workshop on Model-based Engineering for Real-Time Embedded Systems | |||||||||||||||
Link: http://www.artist-embedded.org/artist/-Workshops,29-.html | |||||||||||||||
| |||||||||||||||
Call For Papers | |||||||||||||||
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. PAPER SUBMISSION: 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: http://www.easychair.org/conferences/?conf=mobertes2011 IMPORTANT DATES: Submission deadline: October 14, 2010 Notification of acceptance: December 9, 2010 Camera-ready Due: January 17, 2011 Workshop: March 28, 2011 WORKSHOP CO-CHAIRS: Sébastien Gérard (CEA LIST) Fabrice Kordon (LIP6) Bran Selic (Malina Software) PROGRAM COMMITTEE: Colin Atkinson Manfred Broy Lionel Briand Ivica Crnkovic Huacar Espinoza Peter Feiler Holger Giese Hassan Gomaa Ingolf Kruger Steve Mellor Robert Nord Chris Paredis Carlos Pereira Dorina Petriu Rob Pettit Ileana Ober Markus Voelter Tim Weilkiens |
|