[aadl]: Capturing processor tick value

[Julien Delange]

It sounds that this property would be appropriate.

Julien.


From: stevevestal at comcast.net [mailto:stevevestal at comcast.net]
Sent: Thursday, April 09, 2015 9:37 PM
To: Julien Delange
Cc: AADL Modeling (aadl-modeling at lists.sei.cmu.edu); sae-aadl-users at lists.sei.cmu.edu
Subject: Re: [aadl]: Capturing processor tick value

What is the difference between processor tick and the standard Clock_Period property?

________________________________
From: "Julien Delange" <jdelange at sei.cmu.edu<mailto:jdelange at sei.cmu.edu>>
To: "AADL Modeling (aadl-modeling at lists.sei.cmu.edu<mailto:aadl-modeling at lists.sei.cmu.edu>)" <aadl-modeling at lists.sei.cmu.edu<mailto:aadl-modeling at lists.sei.cmu.edu>>, sae-aadl-users at lists.sei.cmu.edu<mailto:sae-aadl-users at lists.sei.cmu.edu>
Sent: Thursday, April 9, 2015 7:51:00 PM
Subject: [aadl]: Capturing processor tick value

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