[aadl]: About RockwellCollins' case studies

[lizhouzhou_nuaa at 163.com]

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【来自网易邮箱的超大附件】
邮件带有附件预览链接，若您转发或回复此邮件时不希望对方预览附件，建议您手动删除链接。

image[1].png
下载: http://preview.mail.163.com/xdownload?filename=image%5B1%5D.png&mid=1tbivwL9fFD%2BaVpsYwAAsu&part=3&sign=d1d5059c373106a174bd8983ea427f6e&time=1431996265&uid=lizhouzhou_nuaa%40163.com

预览: http://preview.mail.163.com/preview?mid=1tbivwL9fFD%2BaVpsYwAAsu&part=3&sign=d1d5059c373106a174bd8983ea427f6e&time=1431996265&uid=lizhouzhou_nuaa%40163.com

-------------- next part --------------
HTML attachment scrubbed and removed
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image[1](05-19-08-54-47).png
Type: image/png
Size: 258706 bytes
Desc: not available
URL: <http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20150519/9320a3ac/attachment-0005.png>