[aadl]: About RockwellCollins' case studies

[Jérôme Hugues]

Hi Pierre,

Le 18 mai 2015 à 16:37, Pierre Dissaux <pierre.dissaux at ellidiss.com> a écrit :

> “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;”

Indeed. Allowed_Processor_Binding is a standard property, there is no need for using a qualified name. And by default, Ocarina expects a with for any fully qualified name.

> 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;”

Yep, and then it does something. But I wonder: what to expect from such a large model?
Simulation with AADLInspector? using the flow latency capability from OSATE2?


—
Jerome HUGUES
Enseignant-Chercheur/Associate Professor 
Ingénierie des Systèmes Embarqués/Embedded Systems Engineering

ISAE SUPAERO - Institut Supérieur de l'Aéronautique et de l’Espace
10 avenue Edouard Belin - BP 54032 - 31055 TOULOUSE CEDEX 4 FRANCE - http://www.isae-supaero.fr 
Tel (+33) 5 61 33 89 84 - Fax (+33) 5 61 33 83 30
Plan d'accès/Access map

-------------- next part --------------
HTML attachment scrubbed and removed