[aadl]: San Diego AADL Meeting Agenda Draft 2 Feb 2-5, Call for Papers for Aerotech (UNCLASSIFIED)

[Jean-Pierre Talpin]

Dear colleagues,

please find attached the first draft for a revision of the behaviour annex with a synchronous model of computation and communication, which we are going to present next Tuesday.

The beauty of it is that nothing from the current behaviour annex document has been removed.  It has just been refined with the suitable synchronous model of computation, which only appears using a virtual pause event port in the syntax.

But enough teasers: additions appear in blue color, notes are in italic.

Best regards,
Jean-Pierre and CCed.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: Revised Behavior Annex (San Diego).pdf
Type: application/pdf
Size: 523467 bytes
Desc: not available
URL: <http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20150128/9a86b4b1/attachment-0001.pdf>