<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv=Content-Type content="text/html; charset=us-ascii">
<meta name=Generator content="Microsoft Word 12 (filtered medium)">
<style>
<!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri","sans-serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri","sans-serif";
color:windowtext;}
span.ctarticletitle
{mso-style-name:ctarticletitle;}
span.highlightedsearchterm
{mso-style-name:highlightedsearchterm;}
.MsoChpDefault
{mso-style-type:export-only;}
@page Section1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.Section1
{page:Section1;}
-->
</style>
<!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang=EN-US link=blue vlink=purple>
<div class=Section1>
<p class=MsoNormal>Hi everyone,<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>More and more things are happening with AADL. We just
finished a first ballot of the behavior annex, the data model annex, and the
ARINC653 annex. The results will be discussed at the next meeting in the week
of Feb 8 . The meeting will be in Tokyo, sponsored by the Japanese Space Agency.<o:p></o:p></p>
<p class=MsoNormal> <o:p></o:p></p>
<p class=MsoNormal>Lots of publications are coming out on research with AADL
and application of AADL – my collection is reaching a count of 200. We
will be putting the citations in the public Wiki area shortly.<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Meanwhile, here are some pointers:<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>The AVSI System Architecture Virtual Integration initiative,
involving Boeing, Lockheed Martin, Airbus, several suppliers, FAA, the DoD and
the SEI has finished its proof of concept phase using AADL as a key technology.
A short article can be found at <a
href="http://www.softwaretechnews.com/stn_view.php?stn_id=52&article_id=146">http://www.softwaretechnews.com/stn_view.php?stn_id=52&article_id=146</a>.<o:p></o:p></p>
<p class=MsoNormal>A case study report is available at <a
href="http://www.sei.cmu.edu/library/abstracts/reports/09tr017.cfm">http://www.sei.cmu.edu/library/abstracts/reports/09tr017.cfm</a>.<o:p></o:p></p>
<p class=MsoNormal>A second report on a return on investment model for SAVI is
in review.<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Also stand by for a case study report on modeling the JPL
Mission Data System architecture (<a
href="http://mds.jpl.nasa.gov/public/index.shtml">http://mds.jpl.nasa.gov/public/index.shtml</a>)
to come out as SEI report.<o:p></o:p></p>
<p class=MsoNormal>For an AIAA InfoTech article on the same topic see <a
href="http://pub-lib.jpl.nasa.gov/docushare/dsweb/Services/Document-364">http://pub-lib.jpl.nasa.gov/docushare/dsweb/Services/Document-364</a>.<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Other interesting articles include: Lui Sha on <span
class=ctarticletitle>Resilient Mixed-Criticality Systems <a
href="http://www.stsc.hill.af.mil/crosstalk/2009/09/0909Sha.html">http://www.stsc.hill.af.mil/crosstalk/2009/09/0909Sha.html</a><o:p></o:p></span></p>
<p class=MsoNormal><span class=ctarticletitle>And “Rapid Early-Phase
Virtual Integration” <a
href="https://netfiles.uiuc.edu/rpelliz2/www/index_files/papers/early.pdf">https://netfiles.uiuc.edu/rpelliz2/www/index_files/papers/early.pdf</a><o:p></o:p></span></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal><cite><span style='font-family:"Calibri","sans-serif"'>Delange
et.al. (Telecom ParisTech, U. Brest, LIP6) Validate, Simulate, and Implement
ARINC653 Systems using the AADL <a
href="http://beru.univ-brest.fr/~singhoff/cheddar/publications/delange09.pdf"><span
style='font-style:normal'>http://</span><span style='font-style:normal'>beru.univ-brest.fr/~singhoff/cheddar/publications/delange09.pdf</span></a><o:p></o:p></span></cite></p>
<p class=MsoNormal><cite><span style='font-family:"Calibri","sans-serif"'><o:p> </o:p></span></cite></p>
<p class=MsoNormal>Emmeskay & Telecom ParisTech on code generation from
AADL & SImulink models “<span class=highlightedsearchterm>Architecture</span>
<span class=highlightedsearchterm>Driven</span> <span
class=highlightedsearchterm>Generation</span> <span
class=highlightedsearchterm>of</span> <span class=highlightedsearchterm>Distributed</span>
<span class=highlightedsearchterm>Embedded</span> S<span
class=highlightedsearchterm>of</span>tware <span class=highlightedsearchterm>from</span>
<span class=highlightedsearchterm>Functional</span> <span
class=highlightedsearchterm>Models”</span> <a
href="http://www.emmeskay.com/presentation-files/publications/GVSETS09_Emmeskay_TP_GenEmbeddedSoftware.pdf">http://www.emmeskay.com/presentation-files/publications/GVSETS09_Emmeskay_TP_GenEmbeddedSoftware.pdf</a><o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>E. Borde et.al. “Mode-Based Reconfiguration of
Critical Software Component Architectures” <a
href="http://www.date-conference.com/archive/conference/Fproceedings/PAPERS/2009/DATE09/PDFFILES/09.6_3.PDF">http://www.date-conference.com/archive/conference/Fproceedings/PAPERS/2009/DATE09/PDFFILES/09.6_3.PDF</a><o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Delange et.al. “Model-Based Engineering for the
Development of ARINC653 Architectures” at the SAE AeroTech conference in
Nov 2009 <a
href="http://www.sae.org/servlets/productDetail?PROD_TYP=PAPER&PROD_CD=2009-01-3234">http://www.sae.org/servlets/productDetail?PROD_TYP=PAPER&PROD_CD=2009-01-3234</a><o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>M. Hecht talk at AeroTech 2009 on interfacing AADL/Error
Model with Mobius “Application of the Architectural Analysis and Design
Language(AADL) for Quantitative System Reliability and Availability Modeling”
<a href="http://www/aadl.info/aadl/xfer/VoglHechtLamAerotech09.pdf">http://www/aadl.info/aadl/xfer/VoglHechtLamAerotech09.pdf</a><o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Several publications by T. Noll et.al. on dependable system
co-design and verification using the error model annex with proposed extensions
<a href="http://compass.informatik.rwth-aachen.de/publications.html">http://compass.informatik.rwth-aachen.de/publications.html</a><o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>More news after the standards meeting.<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Peter Feiler<o:p></o:p></p>
<p class=MsoNormal> <o:p></o:p></p>
</div>
</body>
</html>