posted by user: DomSo || 7358 views || tracked by 16 users: [display]

MoBE-RTES 2011 : 2nd IEEE Workshop on Model-based Engineering for Real-Time Embedded Systems

FacebookTwitterLinkedInGoogle

Link: http://www.artist-embedded.org/artist/-Workshops,29-.html
 
When Mar 28, 2011 - Mar 28, 2011
Where Newport Beach, USA
Submission Deadline Oct 14, 2010
Notification Due Dec 9, 2010
Final Version Due Jan 17, 2011
Categories    MBE   embedded   real-time
 

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

Related Resources

MoDRE 2019   9th International Workshop on Model-Driven Requirements Engineering (MoDRE)
ICOEI 2020   Scopus-Indexed IEEE 4th International Conference on Trends in Electronics and Informatics
MODELS 2019   ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems
IEEE Mobile Cloud 2019   The Seventh IEEE International Conference on Mobile Cloud Computing, Services, and Engineering
ICBCB 2018--IEEE, Ei, Scopus 2020   2020 IEEE 8th International Conference on Bioinformatics and Computational Biology (ICBCB 2020)--Ei Compendex, Scopus
ICCCI--IEEE, Ei & Scopus 2020   IEEE--2020 The 2nd International Conference on Computer Communication and the Internet (ICCCI 2020)--Ei Compendex & Scopus
IEEE--ICCCI--Ei & Scopus 2020   IEEE--2020 The 2nd International Conference on Computer Communication and the Internet (ICCCI 2020)--Ei Compendex & Scopus
ModComp 2019   6th International Workshop on Interplay of Model-Driven and Component-Based Software Engineering @ MoDELS 2019
ICICT 2020   5th Scopus- Indexed IEEE International Conference on Inventive Computation Technologies
ICSA 2020   IEEE International Conference on Software Architecture