[aadl]: [sae-aadl] AADL meeting in Toulouse - Agenda v4

Alexey Khoroshilov khoroshilov at ispras.ru
Tue Jan 28 11:02:35 EST 2014


Dear Bruce,

As we discussed previously on the list, there are several topics
regarding AADL core semantics that would be good to discuss
face-to-face. I mean:
- Semantics of the property 'Implemented_As'
- End To End Flow Specification
- Virtual Processor improvements

Which time slot could be used for this purpose?

Regards,
Alexey


On 28.01.2014 07:41, Lewis, Bruce CIV (US) wrote:
> Dear All,
>
> Here's the 4th version of the agenda.  Note that we might not have the
> tutorial at the end, depending on how many people notify us.  So far it
> looks better to delay.  Several updates to presentations have been made.
>
> Also the webex info is included.
>
> The meeting is not collocated with ERTS.  See top of agenda for map,
> location, etc.  This is the same place we met last time we were in
> Toulouse.  Thanks Marc.  Also note Marc's presentation on Wednesday
> afternoon.
>
> Send your comments on the error annex.
>
> Thanks and see you soon in Toulouse!
>
> Bruce
>
>
>
> -----Original Message-----
> From: sae-aadl-bounces+bruce.a.lewis=us.army.mil at lists.sei.cmu.edu
> [mailto:sae-aadl-bounces+bruce.a.lewis=us.army.mil at lists.sei.cmu.edu] On
> Behalf Of Julien Delange
> Sent: Friday, January 10, 2014 2:23 PM
> To: sae-aadl-users at lists.sei.cmu.edu; sae-aadl at lists.sei.cmu.edu
> Subject: [sae-aadl] AADL meeting in Toulouse - Agenda v3
>
> Dear All,
>
>  
>
> Our meeting is getting very close.  Here's the most recent update to the
> agenda. Thanks for all your input.
>
> The location of the meeting is at IRIT in Toulouse, this is NOT
> collocated with the ERTS2014 conference. We will send map and room
> information with the next update.
>
>  
>
> Also, please send any modification and updates to Bruce Lewis and
> myself.
>
>  
>
> See you soon,
>
>  
>



More information about the Sae-aadl-users mailing list