[aadl]: About RockwellCollins' case studies

[Pierre Dissaux]

Hello Jet Lee,

With Ocarina you get:
“20791 Deployment_Properties (identifier) qualified reference name not found in 'with' statements of Display_System (package specification) “
It is probably waiting for a “with Deployment_Properties;”
Or you can just remove the property set name line 20791:
“Allowed_Processor_Binding =>     
           (reference (s_CDU_L_PN.CPM)) applies to s_CDU_L_Software;”

With AADL Inspector, it is not considered as a blocking error, and the instance tree can be processed:



Best regards

Pierre Dissaux
Ellidiss Technologies

From: 13260976229 at 163.com 
Sent: Monday, May 18, 2015 8:48 AM
To: sae-aadl-users 
Subject: [aadl]: About RockwellCollins' case studies

Hello friends,
Recently, I read a case in aadl mainpage, and download it, modify it( because it's old case). But, I can not instantiating it, I don't know why. I hope someone can help me to instantiating the system. The system in attach.
Thanks for your time.
Best regards,
Jet Lee


--------------------------------------------------------------------------------

13260976229 at 163.com
-------------- next part --------------
HTML attachment scrubbed and removed
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image[1].png
Type: image/png
Size: 258706 bytes
Desc: not available
URL: <http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20150518/551020b0/attachment-0001.png>