[aadl]: Modeling of ARINC653 multicore systems

Julien Delange jdelange at sei.cmu.edu
Thu Apr 2 10:16:28 EDT 2015


Thanks to Denis and Pierre comments, please find an update of the document.

Julien.

From: aadl-modeling-bounces+jdelange=sei.cmu.edu at lists.sei.cmu.edu [mailto:aadl-modeling-bounces+jdelange=sei.cmu.edu at lists.sei.cmu.edu] On Behalf Of Julien Delange
Sent: Wednesday, April 01, 2015 2:40 PM
To: AADL Modeling; sae-aadl-users at lists.sei.cmu.edu
Subject: Re: [aadl-modeling]: Modeling of ARINC653 multicore systems

My apologies, please find the attachment.

Julien.


From: aadl-modeling-bounces+jdelange=sei.cmu.edu at lists.sei.cmu.edu<mailto:aadl-modeling-bounces+jdelange=sei.cmu.edu at lists.sei.cmu.edu> [mailto:aadl-modeling-bounces+jdelange=sei.cmu.edu at lists.sei.cmu.edu] On Behalf Of Julien Delange
Sent: Wednesday, April 01, 2015 2:18 PM
To: sae-aadl-users at lists.sei.cmu.edu<mailto:sae-aadl-users at lists.sei.cmu.edu>; AADL Modeling (aadl-modeling at lists.sei.cmu.edu<mailto:aadl-modeling at lists.sei.cmu.edu>)
Subject: [aadl-modeling]: Modeling of ARINC653 multicore systems

Dear all,

As discussed during the last meeting, please find a white paper that explains the modeling of multicore systems for ARINC653 architectures and motivates having processor subcomponents in process components types.

Julien.

-------------- next part --------------
HTML attachment scrubbed and removed
-------------- next part --------------
A non-text attachment was scrubbed...
Name: aadlv2-multicore.pdf
Type: application/pdf
Size: 90188 bytes
Desc: aadlv2-multicore.pdf
URL: <http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20150402/46244af0/attachment-0001.pdf>


More information about the Sae-aadl-users mailing list