[aadl]: Modeling of ARINC653 multicore systems

[Julien Delange]

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] On Behalf Of Julien Delange
Sent: Wednesday, April 01, 2015 2:18 PM
To: sae-aadl-users at lists.sei.cmu.edu; AADL Modeling (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: 95868 bytes
Desc: aadlv2-multicore.pdf
URL: <http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20150401/24ef10b0/attachment-0001.pdf>