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

Properties for refined components #35

Closed
juli1 opened this issue Aug 7, 2013 · 1 comment
Closed

Properties for refined components #35

juli1 opened this issue Aug 7, 2013 · 1 comment

Comments

@juli1
Copy link
Contributor

@juli1 juli1 commented Aug 7, 2013

There is a problem for getting properties on the EMV2 side. There is the issue:
If we instantiate the system complete.dual from test3_1_CTMC.aadl and generate the PRISM model, the probability assigned to the Failure event of the sensor (defined in the root instance) is processed correctly.

If we instantiate the complete.dual from test3_CTMC.aadl and generate the PRISM model, the probability is not shown in the generated PRISM model. The difference with the previous model is that the property is not defined in the root instance system but just in each subcomponent.

The following gist contains the model to reproduce the bug.

https://gist.github.com/juli1/6176839

@juli1
Copy link
Contributor Author

@juli1 juli1 commented Aug 12, 2013

fixed.

@juli1 juli1 closed this Aug 12, 2013
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked pull requests

Successfully merging a pull request may close this issue.

None yet
1 participant
You can’t perform that action at this time.