<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html;charset=ISO-8859-1" http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
Dear all,<br>
<br>
there will be a workshop on Aerospace Software Engineering as part of
ICSE on May 21-22.<br>
Day one is on software assurance, day two on AADL.<br>
<a class="moz-txt-link-freetext" href="http://crisys.cs.umn.edu/icse-workshop/Program.htm">http://crisys.cs.umn.edu/icse-workshop/Program.htm</a><br>
<br>
There will be the Second IEEE-SEE International Workshop UML&AADL
2007 (<a class="moz-txt-link-freetext"
href="http://aadl.enst.fr/UMLandAADL2007.html">http://aadl.enst.fr/UMLandAADL2007.html</a>)
<br>
in conjunction with the 12th IEEE International Conference on
Engineering Complex Computer Systems ICECCS07 (<a
class="moz-txt-link-freetext"
href="https://www.cs.auckland.ac.nz/iceccs07/index.php/ICECCS07">https://www.cs.auckland.ac.nz/iceccs07/index.php/ICECCS07</a>).
<br>
<br>
The ARTIST2 Network of Excellence is organizing a workshop on
Integrated Modular Avionics for Nov 2007.
<br>
<a class="moz-txt-link-freetext"
href="http://www.artist-embedded.org/artist/Integrated-Modular-Avionics.html">http://www.artist-embedded.org/artist/Integrated-Modular-Avionics.html</a>.
<br>
<br>
<br>
There is also a call for a workshop<br>
<br>
<div align="center"><font size="2"><span style="font-size: 14pt;"><strong><font
face="Arial"><font color="#ff0000">Call for Presentations for Workshop<o:p></o:p></font></font></strong></span></font></div>
<p class="MsoTitle" style="margin: 12pt 0in 3pt;" align="center"><span
style="font-size: 14pt;"><font size="2"><strong><font face="Arial">Precise
Behavioral Semantics for Domain Specific Modeling Languages<o:p></o:p></font></strong></font></span></p>
<p class="MsoTitle" style="margin: 12pt 0in 3pt;" align="center"><span
style="font-size: 14pt;"><font size="2"><strong><font face="Arial">September
25, 2007<br>
Jacksonville, FL</font></strong></font></span></p>
<p class="MsoTitle" style="margin: 12pt 0in 3pt;" align="center"><span
style="font-size: 14pt;"><font size="2"><strong><o:p><span
class="984384918-09052007"><font face="Arial">For More Information: <font
size="2"><a href="http://www.omg.org/cfp-mic"><font size="3">http://www.omg.org/cfp-mic</font></a> </font></font></span></o:p></strong></font></span></p>
<p class="MsoTitle" style="margin: 12pt 0in 3pt;" align="center"><span
style="font-size: 12pt;"><font size="2"><strong><font face="Arial">Sponsored
by the OMG and the Model Integrated Computing SIG<o:p></o:p></font></strong></font></span></p>
<p><font size="2"><font face="Arial">Model analysis and model-based
code generation require the precise specification of Domain Specific
Modeling Languages (DSMLs). This is partly achieved by using
metamodeling languages, metamodels, and UML® profiles describing the
abstract syntax (concepts, relationships and well-formedness rules) of
DSMLs. While abstract syntax metamodeling has been an important step in
model-based design and been used in various model-based frameworks,
such as MDA®, MIC, Eclipse-based tools, and Software Factories,
explicit and formal specification of behavioral semantics has not
received much attention, which creates a possibility for semantic
mismatch between design models and modeling languages of analysis
tools. While this difficulty exists in virtually every domain where
DSMLs are employed, it is particularly problematic in safety-critical
real-time and embedded systems domain, where semantic ambiguities may
produce conflicting results across different tools. The increasing role
of DSMLs in software and systems brings in additional challenges due to
the following characteristics of model-based design flows:<o:p></o:p></font></font></p>
<p><font size="2"><font face="Arial">1. Heterogeneity of tool chains.
Tool chains supporting domain-specific design flows integrate modeling,
analysis and synthesis tools using DSMLs with overlapping semantics.
Explicit representation of their semantics is only a necessary but not
sufficient condition for integratability. Designers need to understand
precisely the relationship between the semantics of languages to
establish consistent design flows.<o:p></o:p></font></font></p>
<p><font size="2"><font face="Arial">2. Heterogeneity of systems.
Systems are composed from heterogeneous components using heterogeneous
interaction mechanisms. Modeling and understanding heterogeneous
systems is a significant challenge. Since DSMLs are designed for
modeling heterogeneous systems, the specification of their semantics
must address these challenges.<o:p></o:p></font></font></p>
<p><font size="2"><font face="Arial">3. Validation and verification.
Specification of behavioral semantics of DSMLs is not only an exercise
in mathematical precision but has practical significance. DSML
designers need to validate behavioral semantics via inspecting traces
generated by test models. Similarly, semantic accuracy of simulators
and code generators must be tested via comparing their behavior with
behaviors generated by the "reference semantics".<o:p></o:p></font></font></p>
<p><font size="2"><font face="Arial">This workshop will focus on
techniques and approaches to the precise and pragmatic definition of
behavioral semantics for domain-specific modeling languages. One
promising method, called 'semantic anchoring' relies on the use of
well-defined 'semantic units' of simple, well-understood constructs
(like a finite state machine) and on the use of model transformations
that map higher level modeling constructs into configured semantic
units. In the workshop we will discuss recent results in semantics
specification, using semantic anchoring and other methods.<o:p></o:p></font></font></p>
<p><font size="2"><font face="Arial">We are inviting presentations that
describe research, methods, experience and tools addressing this issue
of precise behavioral semantics and related topics of composition and
tool-chain integratability. The deadline for submitting abstracts is
June 15, 2007. Presenters with be notified before June 30, 2007 of
acceptance.</font></font></p>
<p><font size="2"><font size="-0"><font face="Arial"><span
class="984384918-09052007"><strong>For More Information or to submit
your abstract please go to: <font size="2"><a
href="http://www.omg.org/cfp-mic">http://www.omg.org/cfp-mic</a> <br>
</font></strong></span></font></font></font></p>
<br>
</body>
</html>