[aadl]: news on the AADL front

[Peter Feiler]

Dear all,

You may have received an email about next week's online AADL standards meeting. You are welcome to attend.

AVSI SAVI is in the middle of phase 2 integrating system engineering and physical system modeling into the proof-of-concept demonstration of an aircraft from phase 1.  The new demo will also include reliability and safety analysis scenario.  The Phase 1 demo from 2009 is now available online at http://www.aadl.info/aadl/savi/2009POCDemo/avsisaviPOCDemo35min.html.

There will be a tutorial on "System and Software Architecture using AADL" at SigAda 2010 (http://www.sigada.org/conf/sigada2010/).

There is the First Analytic Virtual Integration of Cyber-physical Systems Workshop held in conjunction with RTSS 2010 in San Diego Nov 30-Dec 3, 2010 (http://cs.uiuc.edu/~sibin/avicps/).

The Sixth IEEE International Workshop on UML and AADL will take place in the US in April 2011 (http://www.artist-embedded.org/artist/-UML-AADL-2011-.html).

See the call for paper for MoBE-RTES 2011 below.

In other news: I was out of commission for 2 months due to a kidney surgery to remove a cancer.


Peter Feiler


******************


Call for Papers



MoBE-RTES 2011



The 2nd IEEE Workshop on Model-based Engineering for Real-Time Embedded Systems



March 28, 2011

Newport Beach, CA, USA



http://www.artist-embedded.org/artist/-Workshops,29-.html

(In conjunction with the 14th IEEE Int'l Symposium, ISORC 2011)



SCOPE:



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  (extended): Nov. 08, 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



FURTHER INFORMATION:



If you need more information, please contact Sebastien Gerard (sebastien[dot]gerard[at]cea[dot]fr).



-------------- next part --------------
HTML attachment scrubbed and removed