[aadl]: Modeling of ARINC653 multicore systems

Julien Delange jdelange at sei.cmu.edu
Wed Apr 1 14:17:37 EDT 2015


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


More information about the Sae-aadl-users mailing list