[aadl]: Capturing processor tick value

Julien Delange jdelange at sei.cmu.edu
Thu Apr 9 20:51:00 EDT 2015


Dear all,

I am looking at using a property to represent the tick value associated with a processor. So far, I do not see any standard property that could be used for it. I was wondering if anybody has any suggestion on a standard property to use and/or if otherwise, introducing a property such as below would be appropriate. I think users from the scheduling community may have some thoughts about that.

Thanks for any comment.

Julien.


Tick : Time applies to (processor);
-------------- next part --------------
HTML attachment scrubbed and removed


More information about the Sae-aadl-users mailing list