search

saeaadl / aadlv2.1

For managing AADL V2.1 errata
0 stars 0 forks source link

Allow dynamic on Input_Time and Output_Time #3

Closed reteprelief closed 8 years ago

reteprelief commented 8 years ago

(Source Denis) Sometimes we don't know a specific offset range. In this case it would to just specify "dynamic". Proposal: add "dynamic" as additional literal.

reteprelief commented 8 years ago

This was approved at the Jan 2016 meeting.

reteprelief commented 8 years ago

Documented. Implemented osate/osate2-core#670

buzden commented 8 years ago

I think that the text should be slighly extended to make it a little bit clearer. I suppose to add "(if IO occurs)" between "Dynamic indicates that" and "time can be anytime ...".

reteprelief commented 8 years ago

Do you mean to say that when dynamic is specified there may be no IO ("if IO occur") or to mean that IO will occur ('when IO occur")?

buzden commented 8 years ago

We were originally also considering a situation when IO can occur not every dispatch (so, unfrozen buffers are not cleared every time). So, I mean there may be no IO, i.e. "if IO occur".

reteprelief commented 8 years ago

thanks. I updated the document.