[aadl]: upcoming workshops

[Peter Feiler]

Dear all,

there will be a workshop on Aerospace Software Engineering as part of 
ICSE on May 21-22.
Day one is on software assurance, day two on AADL.
http://crisys.cs.umn.edu/icse-workshop/Program.htm

There will be the Second IEEE-SEE International Workshop UML&AADL 2007 
(http://aadl.enst.fr/UMLandAADL2007.html)
in conjunction with the 12th IEEE International Conference on 
Engineering Complex Computer Systems ICECCS07 
(https://www.cs.auckland.ac.nz/iceccs07/index.php/ICECCS07).

The ARTIST2 Network of Excellence is organizing a workshop on Integrated 
Modular Avionics for Nov 2007.
http://www.artist-embedded.org/artist/Integrated-Modular-Avionics.html.


There is also a call for a workshop

*Call for Presentations for Workshop*

*Precise Behavioral Semantics for Domain Specific Modeling Languages*

*September 25, 2007
Jacksonville, FL*

*For More Information: http://www.omg.org/cfp-mic *

*Sponsored by the OMG and the Model Integrated Computing SIG*

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:

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.

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.

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".

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.

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.

*For More Information or to submit your abstract please go to: 
http://www.omg.org/cfp-mic
*


-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20070514/d2884b16/attachment.htm