Commit 1d9ca4fe authored by Rakshit Mittal's avatar Rakshit Mittal
Browse files

updated experiment case study file

parent dfd9a8a2
<?xml version="1.0" encoding="UTF-8"?>
<instance:SystemInstance xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:aadl2="http://aadl.info/AADL/2.0" xmlns:instance="http://aadl.info/AADL/2.0/instance" name="main_linux_Instance" category="system" componentImplementation="aadl2:SystemImplementation ../sampled-communications.aadl#dim_test_experiment.main.linux">
<componentInstance name="the_mem" category="memory" subcomponent="aadl2:MemorySubcomponent ../sampled-communications.aadl#/0/@ownedPublicSection/@ownedClassifier.1/@ownedMemorySubcomponent.0" classifier="aadl2:MemoryImplementation ../sampled-communications.aadl#dim_test_experiment.mem.impl">
<ownedPropertyAssociation xsi:type="instance:PropertyAssociationInstance" property="platform:/plugin/org.osate.aadl2.contrib/resources/properties/Predeclared_Property_Sets/Memory_Properties.aadl#Memory_Properties.Memory_Size" propertyAssociation="../sampled-communications.aadl#/0/@ownedPublicSection/@ownedClassifier.8/@ownedPropertyAssociation.0">
<ownedValue>
<ownedValue xsi:type="aadl2:IntegerLiteral" unit="platform:/plugin/org.osate.aadl2.contrib/resources/properties/Predeclared_Property_Sets/AADL_Project.aadl#/0/@ownedPropertyType.15/@ownedLiteral.1" value="200000"/>
</ownedValue>
</ownedPropertyAssociation>
<index>0</index>
</componentInstance>
<componentInstance name="the_proc" category="process" subcomponent="aadl2:ProcessSubcomponent ../sampled-communications.aadl#/0/@ownedPublicSection/@ownedClassifier.1/@ownedProcessSubcomponent.0" classifier="aadl2:ProcessImplementation ../sampled-communications.aadl#dim_test_experiment.proc.impl">
<ownedPropertyAssociation xsi:type="instance:PropertyAssociationInstance" property="platform:/plugin/org.osate.aadl2.contrib/resources/properties/Predeclared_Property_Sets/Deployment_Properties.aadl#Deployment_Properties.Actual_Processor_Binding" propertyAssociation="../sampled-communications.aadl#/0/@ownedPublicSection/@ownedClassifier.2/@ownedPropertyAssociation.0">
<ownedValue>
<ownedValue xsi:type="aadl2:ListValue">
<ownedListElement xsi:type="instance:InstanceReferenceValue" referencedInstanceObject="#//@componentInstance.2"/>
</ownedValue>
</ownedValue>
</ownedPropertyAssociation>
<ownedPropertyAssociation xsi:type="instance:PropertyAssociationInstance" property="platform:/plugin/org.osate.aadl2.contrib/resources/properties/Predeclared_Property_Sets/Deployment_Properties.aadl#Deployment_Properties.Actual_Memory_Binding" propertyAssociation="../sampled-communications.aadl#/0/@ownedPublicSection/@ownedClassifier.1/@ownedPropertyAssociation.0">
<ownedValue>
<ownedValue xsi:type="aadl2:ListValue">
<ownedListElement xsi:type="instance:InstanceReferenceValue" referencedInstanceObject="#//@componentInstance.0"/>
</ownedValue>
</ownedValue>
</ownedPropertyAssociation>
<componentInstance name="the_sender" category="thread" subcomponent="aadl2:ThreadSubcomponent ../sampled-communications.aadl#/0/@ownedPublicSection/@ownedClassifier.6/@ownedThreadSubcomponent.0" classifier="aadl2:ThreadImplementation ../sampled-communications.aadl#dim_test_experiment.sender.impl">
<ownedPropertyAssociation xsi:type="instance:PropertyAssociationInstance" property="platform:/plugin/org.osate.aadl2.contrib/resources/properties/Predeclared_Property_Sets/Deployment_Properties.aadl#Deployment_Properties.Actual_Processor_Binding" propertyAssociation="../sampled-communications.aadl#/0/@ownedPublicSection/@ownedClassifier.2/@ownedPropertyAssociation.0">
<ownedValue>
<ownedValue xsi:type="aadl2:ListValue">
<ownedListElement xsi:type="instance:InstanceReferenceValue" referencedInstanceObject="#//@componentInstance.2"/>
</ownedValue>
</ownedValue>
</ownedPropertyAssociation>
<ownedPropertyAssociation xsi:type="instance:PropertyAssociationInstance" property="platform:/plugin/org.osate.aadl2.contrib/resources/properties/Predeclared_Property_Sets/Deployment_Properties.aadl#Deployment_Properties.Actual_Memory_Binding" propertyAssociation="../sampled-communications.aadl#/0/@ownedPublicSection/@ownedClassifier.1/@ownedPropertyAssociation.0">
<ownedValue>
<ownedValue xsi:type="aadl2:ListValue">
<ownedListElement xsi:type="instance:InstanceReferenceValue" referencedInstanceObject="#//@componentInstance.0"/>
</ownedValue>
</ownedValue>
</ownedPropertyAssociation>
<ownedPropertyAssociation xsi:type="instance:PropertyAssociationInstance" property="platform:/plugin/org.osate.aadl2.contrib/resources/properties/Predeclared_Property_Sets/Programming_Properties.aadl#Programming_Properties.Compute_Entrypoint_Call_Sequence" propertyAssociation="../sampled-communications.aadl#/0/@ownedPublicSection/@ownedClassifier.10/@ownedPropertyAssociation.0">
<ownedValue>
<ownedValue xsi:type="aadl2:ReferenceValue">
<path namedElement="aadl2:SubprogramCallSequence ../sampled-communications.aadl#/0/@ownedPublicSection/@ownedClassifier.10/@ownedSubprogramCallSequence.0"/>
</ownedValue>
</ownedValue>
</ownedPropertyAssociation>
<ownedPropertyAssociation xsi:type="instance:PropertyAssociationInstance" property="platform:/plugin/org.osate.aadl2.contrib/resources/properties/Predeclared_Property_Sets/Thread_Properties.aadl#Thread_Properties.Dispatch_Protocol" propertyAssociation="../sampled-communications.aadl#/0/@ownedPublicSection/@ownedClassifier.9/@ownedPropertyAssociation.0">
<ownedValue>
<ownedValue xsi:type="aadl2:NamedValue" namedValue="aadl2:EnumerationLiteral platform:/plugin/org.osate.aadl2.contrib/resources/properties/Predeclared_Property_Sets/AADL_Project.aadl#/0/@ownedPropertyType.3/@ownedLiteral.0"/>
</ownedValue>
</ownedPropertyAssociation>
<ownedPropertyAssociation xsi:type="instance:PropertyAssociationInstance" property="platform:/plugin/org.osate.aadl2.contrib/resources/properties/Predeclared_Property_Sets/Timing_Properties.aadl#Timing_Properties.Compute_Execution_Time" propertyAssociation="../sampled-communications.aadl#/0/@ownedPublicSection/@ownedClassifier.9/@ownedPropertyAssociation.1">
<ownedValue>
<ownedValue xsi:type="aadl2:RangeValue">
<minimum xsi:type="aadl2:IntegerLiteral" unit="platform:/plugin/org.osate.aadl2.contrib/resources/properties/Predeclared_Property_Sets/AADL_Project.aadl#/0/@ownedPropertyType.16/@ownedLiteral.3"/>
<maximum xsi:type="aadl2:IntegerLiteral" unit="platform:/plugin/org.osate.aadl2.contrib/resources/properties/Predeclared_Property_Sets/AADL_Project.aadl#/0/@ownedPropertyType.16/@ownedLiteral.3" value="1"/>
</ownedValue>
</ownedValue>
</ownedPropertyAssociation>
<ownedPropertyAssociation xsi:type="instance:PropertyAssociationInstance" property="platform:/plugin/org.osate.aadl2.contrib/resources/properties/Predeclared_Property_Sets/Timing_Properties.aadl#Timing_Properties.Period" propertyAssociation="../sampled-communications.aadl#/0/@ownedPublicSection/@ownedClassifier.9/@ownedPropertyAssociation.2">
<ownedValue>
<ownedValue xsi:type="aadl2:IntegerLiteral" unit="platform:/plugin/org.osate.aadl2.contrib/resources/properties/Predeclared_Property_Sets/AADL_Project.aadl#/0/@ownedPropertyType.16/@ownedLiteral.3" value="2000"/>
</ownedValue>
</ownedPropertyAssociation>
<featureInstance name="p" direction="out" feature="aadl2:DataPort ../sampled-communications.aadl#/0/@ownedPublicSection/@ownedClassifier.9/@ownedDataPort.0">
<ownedPropertyAssociation xsi:type="instance:PropertyAssociationInstance" property="platform:/plugin/org.osate.aadl2.contrib/resources/properties/Predeclared_Property_Sets/Deployment_Properties.aadl#Deployment_Properties.Actual_Memory_Binding" propertyAssociation="../sampled-communications.aadl#/0/@ownedPublicSection/@ownedClassifier.1/@ownedPropertyAssociation.0">
<ownedValue>
<ownedValue xsi:type="aadl2:ListValue">
<ownedListElement xsi:type="instance:InstanceReferenceValue" referencedInstanceObject="#//@componentInstance.0"/>
</ownedValue>
</ownedValue>
</ownedPropertyAssociation>
<ownedPropertyAssociation xsi:type="instance:PropertyAssociationInstance" property="platform:/plugin/org.osate.contribution.sei/resources/properties/Data_Model.aadl#Data_Model.Number_Representation" propertyAssociation="platform:/plugin/org.osate.contribution.sei/resources/packages/Base_Types.aadl#/0/@ownedPublicSection/@ownedClassifier.3/@ownedPropertyAssociation.0">
<ownedValue>
<ownedValue xsi:type="aadl2:NamedValue" namedValue="aadl2:EnumerationLiteral platform:/plugin/org.osate.contribution.sei/resources/properties/Data_Model.aadl#/0/@ownedProperty.13/@ownedPropertyType/@ownedLiteral.0"/>
</ownedValue>
</ownedPropertyAssociation>
</featureInstance>
<index>0</index>
</componentInstance>
<componentInstance name="the_receiver" category="thread" subcomponent="aadl2:ThreadSubcomponent ../sampled-communications.aadl#/0/@ownedPublicSection/@ownedClassifier.6/@ownedThreadSubcomponent.1" classifier="aadl2:ThreadImplementation ../sampled-communications.aadl#dim_test_experiment.receiver.impl">
<ownedPropertyAssociation xsi:type="instance:PropertyAssociationInstance" property="platform:/plugin/org.osate.aadl2.contrib/resources/properties/Predeclared_Property_Sets/Deployment_Properties.aadl#Deployment_Properties.Actual_Processor_Binding" propertyAssociation="../sampled-communications.aadl#/0/@ownedPublicSection/@ownedClassifier.2/@ownedPropertyAssociation.0">
<ownedValue>
<ownedValue xsi:type="aadl2:ListValue">
<ownedListElement xsi:type="instance:InstanceReferenceValue" referencedInstanceObject="#//@componentInstance.2"/>
</ownedValue>
</ownedValue>
</ownedPropertyAssociation>
<ownedPropertyAssociation xsi:type="instance:PropertyAssociationInstance" property="platform:/plugin/org.osate.aadl2.contrib/resources/properties/Predeclared_Property_Sets/Deployment_Properties.aadl#Deployment_Properties.Actual_Memory_Binding" propertyAssociation="../sampled-communications.aadl#/0/@ownedPublicSection/@ownedClassifier.1/@ownedPropertyAssociation.0">
<ownedValue>
<ownedValue xsi:type="aadl2:ListValue">
<ownedListElement xsi:type="instance:InstanceReferenceValue" referencedInstanceObject="#//@componentInstance.0"/>
</ownedValue>
</ownedValue>
</ownedPropertyAssociation>
<ownedPropertyAssociation xsi:type="instance:PropertyAssociationInstance" property="platform:/plugin/org.osate.aadl2.contrib/resources/properties/Predeclared_Property_Sets/Programming_Properties.aadl#Programming_Properties.Compute_Entrypoint_Call_Sequence" propertyAssociation="../sampled-communications.aadl#/0/@ownedPublicSection/@ownedClassifier.13/@ownedPropertyAssociation.0">
<ownedValue>
<ownedValue xsi:type="aadl2:ReferenceValue">
<path namedElement="aadl2:SubprogramCallSequence ../sampled-communications.aadl#/0/@ownedPublicSection/@ownedClassifier.13/@ownedSubprogramCallSequence.0"/>
</ownedValue>
</ownedValue>
</ownedPropertyAssociation>
<ownedPropertyAssociation xsi:type="instance:PropertyAssociationInstance" property="platform:/plugin/org.osate.aadl2.contrib/resources/properties/Predeclared_Property_Sets/Thread_Properties.aadl#Thread_Properties.Dispatch_Protocol" propertyAssociation="../sampled-communications.aadl#/0/@ownedPublicSection/@ownedClassifier.12/@ownedPropertyAssociation.0">
<ownedValue>
<ownedValue xsi:type="aadl2:NamedValue" namedValue="aadl2:EnumerationLiteral platform:/plugin/org.osate.aadl2.contrib/resources/properties/Predeclared_Property_Sets/AADL_Project.aadl#/0/@ownedPropertyType.3/@ownedLiteral.0"/>
</ownedValue>
</ownedPropertyAssociation>
<ownedPropertyAssociation xsi:type="instance:PropertyAssociationInstance" property="platform:/plugin/org.osate.aadl2.contrib/resources/properties/Predeclared_Property_Sets/Timing_Properties.aadl#Timing_Properties.Compute_Execution_Time" propertyAssociation="../sampled-communications.aadl#/0/@ownedPublicSection/@ownedClassifier.12/@ownedPropertyAssociation.1">
<ownedValue>
<ownedValue xsi:type="aadl2:RangeValue">
<minimum xsi:type="aadl2:IntegerLiteral" unit="platform:/plugin/org.osate.aadl2.contrib/resources/properties/Predeclared_Property_Sets/AADL_Project.aadl#/0/@ownedPropertyType.16/@ownedLiteral.3"/>
<maximum xsi:type="aadl2:IntegerLiteral" unit="platform:/plugin/org.osate.aadl2.contrib/resources/properties/Predeclared_Property_Sets/AADL_Project.aadl#/0/@ownedPropertyType.16/@ownedLiteral.3" value="1"/>
</ownedValue>
</ownedValue>
</ownedPropertyAssociation>
<ownedPropertyAssociation xsi:type="instance:PropertyAssociationInstance" property="platform:/plugin/org.osate.aadl2.contrib/resources/properties/Predeclared_Property_Sets/Timing_Properties.aadl#Timing_Properties.Period" propertyAssociation="../sampled-communications.aadl#/0/@ownedPublicSection/@ownedClassifier.12/@ownedPropertyAssociation.2">
<ownedValue>
<ownedValue xsi:type="aadl2:IntegerLiteral" unit="platform:/plugin/org.osate.aadl2.contrib/resources/properties/Predeclared_Property_Sets/AADL_Project.aadl#/0/@ownedPropertyType.16/@ownedLiteral.3" value="1000"/>
</ownedValue>
</ownedPropertyAssociation>
<featureInstance name="p" feature="aadl2:DataPort ../sampled-communications.aadl#/0/@ownedPublicSection/@ownedClassifier.12/@ownedDataPort.0">
<ownedPropertyAssociation xsi:type="instance:PropertyAssociationInstance" property="platform:/plugin/org.osate.aadl2.contrib/resources/properties/Predeclared_Property_Sets/Deployment_Properties.aadl#Deployment_Properties.Actual_Memory_Binding" propertyAssociation="../sampled-communications.aadl#/0/@ownedPublicSection/@ownedClassifier.1/@ownedPropertyAssociation.0">
<ownedValue>
<ownedValue xsi:type="aadl2:ListValue">
<ownedListElement xsi:type="instance:InstanceReferenceValue" referencedInstanceObject="#//@componentInstance.0"/>
</ownedValue>
</ownedValue>
</ownedPropertyAssociation>
<ownedPropertyAssociation xsi:type="instance:PropertyAssociationInstance" property="platform:/plugin/org.osate.contribution.sei/resources/properties/Data_Model.aadl#Data_Model.Number_Representation" propertyAssociation="platform:/plugin/org.osate.contribution.sei/resources/packages/Base_Types.aadl#/0/@ownedPublicSection/@ownedClassifier.3/@ownedPropertyAssociation.0">
<ownedValue>
<ownedValue xsi:type="aadl2:NamedValue" namedValue="aadl2:EnumerationLiteral platform:/plugin/org.osate.contribution.sei/resources/properties/Data_Model.aadl#/0/@ownedProperty.13/@ownedPropertyType/@ownedLiteral.0"/>
</ownedValue>
</ownedPropertyAssociation>
</featureInstance>
<index>0</index>
</componentInstance>
<connectionInstance name="the_sender.p -> the_receiver.p" complete="true" kind="portConnection" destination="#//@componentInstance.1/@componentInstance.1/@featureInstance.0" source="#//@componentInstance.1/@componentInstance.0/@featureInstance.0">
<connectionReference context="#//@componentInstance.1" connection="aadl2:PortConnection ../sampled-communications.aadl#/0/@ownedPublicSection/@ownedClassifier.6/@ownedPortConnection.0" source="#//@componentInstance.1/@componentInstance.0/@featureInstance.0" destination="#//@componentInstance.1/@componentInstance.1/@featureInstance.0"/>
</connectionInstance>
<index>0</index>
</componentInstance>
<componentInstance name="the_cpu" category="processor" subcomponent="aadl2:ProcessorSubcomponent ../sampled-communications.aadl#/0/@ownedPublicSection/@ownedClassifier.2/@ownedProcessorSubcomponent.0" classifier="aadl2:ProcessorImplementation ../sampled-communications.aadl#dim_test_experiment.cpu.impl">
<ownedPropertyAssociation xsi:type="instance:PropertyAssociationInstance" property="../../RAMSES.aadl#RAMSES_properties.Target" propertyAssociation="../sampled-communications.aadl#/0/@ownedPublicSection/@ownedClassifier.2/@ownedProcessorSubcomponent.0/@ownedPropertyAssociation.0">
<ownedValue>
<ownedValue xsi:type="aadl2:StringLiteral" value="linux"/>
</ownedValue>
</ownedPropertyAssociation>
<ownedPropertyAssociation xsi:type="instance:PropertyAssociationInstance" property="platform:/plugin/org.osate.aadl2.contrib/resources/properties/Predeclared_Property_Sets/Deployment_Properties.aadl#Deployment_Properties.Scheduling_Protocol" propertyAssociation="../sampled-communications.aadl#/0/@ownedPublicSection/@ownedClassifier.4/@ownedPropertyAssociation.0">
<ownedValue>
<ownedValue xsi:type="aadl2:ListValue">
<ownedListElement xsi:type="aadl2:NamedValue" namedValue="aadl2:EnumerationLiteral platform:/plugin/org.osate.aadl2.contrib/resources/properties/Predeclared_Property_Sets/AADL_Project.aadl#/0/@ownedPropertyType.7/@ownedLiteral.5"/>
</ownedValue>
</ownedValue>
</ownedPropertyAssociation>
<index>0</index>
</componentInstance>
<systemOperationMode name="No Modes"/>
</instance:SystemInstance>
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment