Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

ALISA predicate evaluation always false due to inconsistent result type from latency analysis #1777

Closed
reteprelief opened this issue Apr 16, 2019 · 0 comments

Comments

Projects
None yet
1 participant
@reteprelief
Copy link
Contributor

commented Apr 16, 2019

In the SimpleControlSystem example the evaluation of the value predicate for the latency requirement R2Lat always returns false - even if the expression is true.
This is due to type inconsistency of the returned result value and the expected type.
Latency is defined as Time, which is of type aadlinteger with time units.
The latency analysis plugin returns its results as real numbers with the assumed unit of "ms".

@reteprelief reteprelief self-assigned this Apr 16, 2019

@ghost ghost added the in progress label Apr 16, 2019

@reteprelief reteprelief added this to the 2.5.0 milestone Apr 17, 2019

@ghost ghost added review and removed in progress labels Apr 17, 2019

@lwrage lwrage closed this in #1778 Apr 18, 2019

@ghost ghost removed the review label Apr 18, 2019

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.