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

[Peter Feiler]

Alexey,

There is a slot for AADL V2 errata on Wed morning.
We can cover these items in that slot.
Feel free to prepare some slides to guide the discussion on these.

Peter

-----Original Message-----
From: sae-aadl-bounces+phf=sei.cmu.edu at lists.sei.cmu.edu [mailto:sae-aadl-bounces+phf=sei.cmu.edu at lists.sei.cmu.edu] On Behalf Of Alexey Khoroshilov
Sent: Tuesday, January 28, 2014 11:03 AM
To: Lewis, Bruce CIV (US); sae-aadl-users at lists.sei.cmu.edu; sae-aadl at lists.sei.cmu.edu
Subject: Re: [sae-aadl] [aadl]: AADL meeting in Toulouse - Agenda v4

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,
>
>  
>