---------------------------------------------------
-- AADL2.2
-- TASTE type deploymentview
-- 
-- generated code: do not edit
---------------------------------------------------

PACKAGE deploymentview::DV::OBC
PUBLIC

WITH ocarina_buses;
WITH ocarina_drivers;
WITH Taste;
WITH Deployment;
WITH TASTE_DV_Properties;
WITH deploymentview::DV;
WITH Memory_Properties;
WITH ARINC653;
PROCESS obc
END obc;

PROCESS IMPLEMENTATION obc.others
END obc.others;

DEVICE obc_to_ground
EXTENDS ocarina_drivers::generic_sockets_ip
FEATURES
  link : REFINED TO REQUIRES BUS ACCESS ocarina_buses::ip.i {
    Taste::coordinates => "39686 119301";
  };
PROPERTIES
  Taste::Interface_Coordinates => "39675 137212" APPLIES TO link;
  Deployment::Help => "Write your ASN.1 configuration here";
  Deployment::Configuration => "{ devname ""eth0"", address ""127.0.0.1"", port 5481 }";
  Deployment::Config => "/usr/local/include/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/ip.asn";
  Deployment::Version => "0.1beta";
END obc_to_ground;

DEVICE IMPLEMENTATION obc_to_ground.others
EXTENDS ocarina_drivers::generic_sockets_ip.pohic
END obc_to_ground.others;

DEVICE obc_to_bat
EXTENDS ocarina_drivers::generic_sockets_ip
FEATURES
  link : REFINED TO REQUIRES BUS ACCESS ocarina_buses::ip.i {
    Taste::coordinates => "83752 47229";
  };
PROPERTIES
  Taste::Interface_Coordinates => "99054 47119" APPLIES TO link;
  Deployment::Help => "Write your ASN.1 configuration here";
  Deployment::Configuration => "{ devname ""eth0"", address ""127.0.0.1"", port 5482 }";
  Deployment::Config => "/usr/local/include/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/ip.asn";
  Deployment::Version => "0.1beta";
END obc_to_bat;

DEVICE IMPLEMENTATION obc_to_bat.others
EXTENDS ocarina_drivers::generic_sockets_ip.pohic
END obc_to_bat.others;

END deploymentview::DV::OBC;

PACKAGE deploymentview::DV::R_ICU
PUBLIC

WITH ocarina_buses;
WITH ocarina_drivers;
WITH Taste;
WITH Deployment;
WITH TASTE_DV_Properties;
WITH deploymentview::DV;
WITH Memory_Properties;
WITH ARINC653;
PROCESS r_icu
END r_icu;

PROCESS IMPLEMENTATION r_icu.others
END r_icu.others;

DEVICE obc_ip
EXTENDS ocarina_drivers::generic_sockets_ip
FEATURES
  link : REFINED TO REQUIRES BUS ACCESS ocarina_buses::ip.i {
    Taste::coordinates => "126210 82163";
  };
PROPERTIES
  Taste::Interface_Coordinates => "115055 82071" APPLIES TO link;
  Deployment::Help => "Write your ASN.1 configuration here";
  Deployment::Configuration => "{ devname ""eth0"", address ""127.0.0.1"", port 5483 }";
  Deployment::Config => "/usr/local/include/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/ip.asn";
  Deployment::Version => "0.1beta";
END obc_ip;

DEVICE IMPLEMENTATION obc_ip.others
EXTENDS ocarina_drivers::generic_sockets_ip.pohic
END obc_ip.others;

DEVICE bat_ip
EXTENDS ocarina_drivers::generic_sockets_ip
FEATURES
  link : REFINED TO REQUIRES BUS ACCESS ocarina_buses::ip.i {
    Taste::coordinates => "178502 80864";
  };
PROPERTIES
  Taste::Interface_Coordinates => "196424 80892" APPLIES TO link;
  Deployment::Help => "Write your ASN.1 configuration here";
  Deployment::Configuration => "{ devname ""eth0"", address ""127.0.0.1"", port 5486 }";
  Deployment::Config => "/usr/local/include/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/ip.asn";
  Deployment::Version => "0.1beta";
END bat_ip;

DEVICE IMPLEMENTATION bat_ip.others
EXTENDS ocarina_drivers::generic_sockets_ip.pohic
END bat_ip.others;

DEVICE osp2_ip
EXTENDS ocarina_drivers::generic_sockets_ip
FEATURES
  link : REFINED TO REQUIRES BUS ACCESS ocarina_buses::ip.i {
    Taste::coordinates => "166234 98036";
  };
PROPERTIES
  Taste::Interface_Coordinates => "177736 118276" APPLIES TO link;
  Deployment::Help => "Write your ASN.1 configuration here";
  Deployment::Configuration => "{ devname ""eth0"", address ""127.0.0.1"", port 5485 }";
  Deployment::Config => "/usr/local/include/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/ip.asn";
  Deployment::Version => "0.1beta";
END osp2_ip;

DEVICE IMPLEMENTATION osp2_ip.others
EXTENDS ocarina_drivers::generic_sockets_ip.pohic
END osp2_ip.others;

DEVICE osp1_ip
EXTENDS ocarina_drivers::generic_sockets_ip
FEATURES
  link : REFINED TO REQUIRES BUS ACCESS ocarina_buses::ip.i {
    Taste::coordinates => "138149 98163";
  };
PROPERTIES
  Taste::Interface_Coordinates => "157160 154244" APPLIES TO link;
  Deployment::Help => "Write your ASN.1 configuration here";
  Deployment::Configuration => "{ devname ""eth0"", address ""127.0.0.1"", port 5484 }";
  Deployment::Config => "/usr/local/include/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/ip.asn";
  Deployment::Version => "0.1beta";
END osp1_ip;

DEVICE IMPLEMENTATION osp1_ip.others
EXTENDS ocarina_drivers::generic_sockets_ip.pohic
END osp1_ip.others;

END deploymentview::DV::R_ICU;

PACKAGE deploymentview::DV::OSP1
PUBLIC

WITH ocarina_buses;
WITH ocarina_drivers;
WITH Taste;
WITH Deployment;
WITH TASTE_DV_Properties;
WITH deploymentview::DV;
WITH Memory_Properties;
WITH ARINC653;
PROCESS osp1
END osp1;

PROCESS IMPLEMENTATION osp1.others
END osp1.others;

DEVICE osp1_to_r_icu
EXTENDS ocarina_drivers::generic_sockets_ip
FEATURES
  link : REFINED TO REQUIRES BUS ACCESS ocarina_buses::ip.i {
    Taste::coordinates => "227883 154637";
  };
PROPERTIES
  Taste::Interface_Coordinates => "168499 154619" APPLIES TO link;
  Deployment::Help => "Write your ASN.1 configuration here";
  Deployment::Configuration => "{ devname ""eth0"", address ""127.0.0.1"", port 5489 }";
  Deployment::Config => "/usr/local/include/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/ip.asn";
  Deployment::Version => "0.1beta";
END osp1_to_r_icu;

DEVICE IMPLEMENTATION osp1_to_r_icu.others
EXTENDS ocarina_drivers::generic_sockets_ip.pohic
END osp1_to_r_icu.others;

END deploymentview::DV::OSP1;

PACKAGE deploymentview::DV::OSP2
PUBLIC

WITH ocarina_buses;
WITH ocarina_drivers;
WITH Taste;
WITH Deployment;
WITH TASTE_DV_Properties;
WITH deploymentview::DV;
WITH Memory_Properties;
WITH ARINC653;
PROCESS osp2
END osp2;

PROCESS IMPLEMENTATION osp2.others
END osp2.others;

DEVICE osp2_to_r_icu
EXTENDS ocarina_drivers::generic_sockets_ip
FEATURES
  link : REFINED TO REQUIRES BUS ACCESS ocarina_buses::ip.i {
    Taste::coordinates => "226981 97453";
  };
PROPERTIES
  Taste::Interface_Coordinates => "188602 118654" APPLIES TO link;
  Deployment::Help => "Write your ASN.1 configuration here";
  Deployment::Configuration => "{ devname ""eth0"", address ""127.0.0.1"", port 5488 }";
  Deployment::Config => "/usr/local/include/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/ip.asn";
  Deployment::Version => "0.1beta";
END osp2_to_r_icu;

DEVICE IMPLEMENTATION osp2_to_r_icu.others
EXTENDS ocarina_drivers::generic_sockets_ip.pohic
END osp2_to_r_icu.others;

END deploymentview::DV::OSP2;

PACKAGE deploymentview::DV::BAT
PUBLIC

WITH ocarina_buses;
WITH ocarina_drivers;
WITH Taste;
WITH Deployment;
WITH TASTE_DV_Properties;
WITH deploymentview::DV;
WITH Memory_Properties;
WITH ARINC653;
PROCESS bat
END bat;

PROCESS IMPLEMENTATION bat.others
END bat.others;

DEVICE bat_to_r_icu
EXTENDS ocarina_drivers::generic_sockets_ip
FEATURES
  link : REFINED TO REQUIRES BUS ACCESS ocarina_buses::ip.i {
    Taste::coordinates => "225318 68393";
  };
PROPERTIES
  Taste::Interface_Coordinates => "207605 68449" APPLIES TO link;
  Deployment::Help => "Write your ASN.1 configuration here";
  Deployment::Configuration => "{ devname ""eth0"", address ""127.0.0.1"", port 5487 }";
  Deployment::Config => "/usr/local/include/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/ip.asn";
  Deployment::Version => "0.1beta";
END bat_to_r_icu;

DEVICE IMPLEMENTATION bat_to_r_icu.others
EXTENDS ocarina_drivers::generic_sockets_ip.pohic
END bat_to_r_icu.others;

END deploymentview::DV::BAT;

PACKAGE deploymentview::DV::Ground
PUBLIC

WITH ocarina_buses;
WITH ocarina_drivers;
WITH Taste;
WITH Deployment;
WITH TASTE_DV_Properties;
WITH deploymentview::DV;
WITH Memory_Properties;
WITH ARINC653;
PROCESS ground
END ground;

PROCESS IMPLEMENTATION ground.others
END ground.others;

DEVICE ground_to_obc
EXTENDS ocarina_drivers::generic_sockets_ip
FEATURES
  link : REFINED TO REQUIRES BUS ACCESS ocarina_buses::ip.i {
    Taste::coordinates => "40459 169967";
  };
PROPERTIES
  Taste::Interface_Coordinates => "40462 150619" APPLIES TO link;
  Deployment::Help => "Write your ASN.1 configuration here";
  Deployment::Configuration => "{ devname ""eth0"", address ""127.0.0.1"", port 5480 }";
  Deployment::Config => "/usr/local/include/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/ip.asn";
  Deployment::Version => "0.1beta";
END ground_to_obc;

DEVICE IMPLEMENTATION ground_to_obc.others
EXTENDS ocarina_drivers::generic_sockets_ip.pohic
END ground_to_obc.others;

END deploymentview::DV::Ground;

PACKAGE deploymentview::DV
PUBLIC

WITH interfaceview::IV::OBC_C::BAT_Module;
WITH interfaceview::IV::OBC_C::OSP1_Module;
WITH interfaceview::IV::OBC_C::OSP2_Module;
WITH interfaceview::IV::OBC_C::PUS_Services;
WITH interfaceview::IV::OBC_C::OBC_R_ICU;
WITH interfaceview::IV::OBC_C::Mode_Automaton;
WITH ocarina_processors_x86;
WITH deploymentview::DV::OBC;
WITH interfaceview::IV::R_ICU::Network_Control;
WITH interfaceview::IV::R_ICU::Payload_Router;
WITH deploymentview::DV::R_ICU;
WITH interfaceview::IV::OSP1_Payload::OSP1_R_ICU;
WITH interfaceview::IV::OSP1_Payload::OSP1_ZED_Controller;
WITH deploymentview::DV::OSP1;
WITH interfaceview::IV::OSP2_Payload::OSP2_R_ICU;
WITH interfaceview::IV::OSP2_Payload::OSP2_ZED_Controller;
WITH deploymentview::DV::OSP2;
WITH interfaceview::IV::BAT_Payload::BAT_R_ICU;
WITH interfaceview::IV::BAT_Payload::Battery_Controller;
WITH deploymentview::DV::BAT;
WITH interfaceview::IV::Ground;
WITH deploymentview::DV::Ground;
WITH ocarina_buses;
WITH Taste;
WITH Deployment;
WITH interfaceview::IV;
WITH TASTE_DV_Properties;
SYSTEM OBC
FEATURES
  obc_to_ground_ground_to_obc : REQUIRES BUS ACCESS ocarina_buses::ip.i;
  obc_to_bat_obc_to_r_icu : REQUIRES BUS ACCESS ocarina_buses::ip.i;
END OBC;

SYSTEM IMPLEMENTATION OBC.others
SUBCOMPONENTS
  IV_BAT_Module : SYSTEM interfaceview::IV::OBC_C::BAT_Module::BAT_Module.others {
    Taste::FunctionName => "BAT_Module";
  };
  IV_OSP1_Module : SYSTEM interfaceview::IV::OBC_C::OSP1_Module::OSP1_Module.others {
    Taste::FunctionName => "OSP1_Module";
  };
  IV_OSP2_Module : SYSTEM interfaceview::IV::OBC_C::OSP2_Module::OSP2_Module.others {
    Taste::FunctionName => "OSP2_Module";
  };
  IV_PUS_Services : SYSTEM interfaceview::IV::OBC_C::PUS_Services::PUS_Services.others {
    Taste::FunctionName => "PUS_Services";
  };
  IV_OBC_R_ICU : SYSTEM interfaceview::IV::OBC_C::OBC_R_ICU::OBC_R_ICU.others {
    Taste::FunctionName => "OBC_R_ICU";
  };
  IV_Mode_Automaton : SYSTEM interfaceview::IV::OBC_C::Mode_Automaton::Mode_Automaton.others {
    Taste::FunctionName => "Mode_Automaton";
  };
  obc : PROCESS deploymentview::DV::OBC::obc.others {
    Taste::coordinates => "38341 66225 76954 97834";
    Deployment::Port_Number => 0;
  };
  x86_linux : PROCESSOR ocarina_processors_x86::x86.linux {
    Taste::coordinates => "34014 58609 84257 102111";
  };
  obc_to_ground : DEVICE deploymentview::DV::OBC::obc_to_ground.others {
    Taste::coordinates => "34676 108274 84344 119301";
  };
  obc_to_bat : DEVICE deploymentview::DV::OBC::obc_to_bat.others {
    Taste::coordinates => "35526 42310 83752 52862";
  };
CONNECTIONS
  obc_to_ground_ground_to_obc_link : BUS ACCESS obc_to_ground_ground_to_obc -> obc_to_ground.link;
  obc_to_bat_obc_to_r_icu_link : BUS ACCESS obc_to_bat_obc_to_r_icu -> obc_to_bat.link;
MODES
  osp1Activated : INITIAL MODE;
PROPERTIES
  Taste::APLC_Binding => (reference (obc)) APPLIES TO IV_BAT_Module;
  Taste::APLC_Binding => (reference (obc)) APPLIES TO IV_OSP1_Module;
  Taste::APLC_Binding => (reference (obc)) APPLIES TO IV_OSP2_Module;
  Taste::APLC_Binding => (reference (obc)) APPLIES TO IV_PUS_Services;
  Taste::APLC_Binding => (reference (obc)) APPLIES TO IV_OBC_R_ICU;
  Taste::APLC_Binding => (reference (obc)) APPLIES TO IV_Mode_Automaton;
  Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO obc;
  Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO obc_to_ground;
  Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO obc_to_bat;
END OBC.others;

SYSTEM R_ICU
FEATURES
  obc_ip_obc_to_r_icu : REQUIRES BUS ACCESS ocarina_buses::ip.i;
  bat_ip_r_icu_to_bat : REQUIRES BUS ACCESS ocarina_buses::ip.i;
  osp2_ip_r_icu_to_osp2 : REQUIRES BUS ACCESS ocarina_buses::ip.i;
  osp1_ip_osp1_to_r_icu_ip : REQUIRES BUS ACCESS ocarina_buses::ip.i;
END R_ICU;

SYSTEM IMPLEMENTATION R_ICU.others
SUBCOMPONENTS
  IV_Network_Control : SYSTEM interfaceview::IV::R_ICU::Network_Control::Network_Control.others {
    Taste::FunctionName => "Network_Control";
  };
  IV_Payload_Router : SYSTEM interfaceview::IV::R_ICU::Payload_Router::Payload_Router.others {
    Taste::FunctionName => "Payload_Router";
  };
  r_icu : PROCESS deploymentview::DV::R_ICU::r_icu.others {
    Taste::coordinates => "129716 44189 171126 60506";
    Deployment::Port_Number => 0;
  };
  x86_linux : PROCESSOR ocarina_processors_x86::x86.linux {
    Taste::coordinates => "127778 38048 175942 73531";
  };
  obc_ip : DEVICE deploymentview::DV::R_ICU::obc_ip.others {
    Taste::coordinates => "126210 77376 150673 86897";
  };
  bat_ip : DEVICE deploymentview::DV::R_ICU::bat_ip.others {
    Taste::coordinates => "154246 77084 178502 86636";
  };
  osp2_ip : DEVICE deploymentview::DV::R_ICU::osp2_ip.others {
    Taste::coordinates => "154666 88119 178990 98036";
  };
  osp1_ip : DEVICE deploymentview::DV::R_ICU::osp1_ip.others {
    Taste::coordinates => "126146 88534 150545 98163";
  };
CONNECTIONS
  obc_ip_obc_to_r_icu_link : BUS ACCESS obc_ip_obc_to_r_icu -> obc_ip.link;
  bat_ip_r_icu_to_bat_link : BUS ACCESS bat_ip_r_icu_to_bat -> bat_ip.link;
  osp2_ip_r_icu_to_osp2_link : BUS ACCESS osp2_ip_r_icu_to_osp2 -> osp2_ip.link;
  osp1_ip_osp1_to_r_icu_ip_link : BUS ACCESS osp1_ip_osp1_to_r_icu_ip -> osp1_ip.link;
MODES
  osp1Activated : INITIAL MODE;
PROPERTIES
  Taste::APLC_Binding => (reference (r_icu)) APPLIES TO IV_Network_Control;
  Taste::APLC_Binding => (reference (r_icu)) APPLIES TO IV_Payload_Router;
  Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO r_icu;
  Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO obc_ip;
  Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO bat_ip;
  Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO osp2_ip;
  Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO osp1_ip;
END R_ICU.others;

SYSTEM OSP1
FEATURES
  osp1_to_r_icu_osp1_to_r_icu_ip : REQUIRES BUS ACCESS ocarina_buses::ip.i;
END OSP1;

SYSTEM IMPLEMENTATION OSP1.others
SUBCOMPONENTS
  IV_OSP1_R_ICU : SYSTEM interfaceview::IV::OSP1_Payload::OSP1_R_ICU::OSP1_R_ICU.others {
    Taste::FunctionName => "OSP1_R_ICU";
  };
  IV_OSP1_ZED_Controller : SYSTEM interfaceview::IV::OSP1_Payload::OSP1_ZED_Controller::OSP1_ZED_Controller.others {
    Taste::FunctionName => "OSP1_ZED_Controller";
  };
  osp1 : PROCESS deploymentview::DV::OSP1::osp1.others {
    Taste::coordinates => "228400 168626 272212 184747";
    Deployment::Port_Number => 0;
  };
  x86_linux : PROCESSOR ocarina_processors_x86::x86.linux {
    Taste::coordinates => "226053 162106 276384 188073";
  };
  osp1_to_r_icu : DEVICE deploymentview::DV::OSP1::osp1_to_r_icu.others {
    Taste::coordinates => "227883 150632 273260 159238";
  };
CONNECTIONS
  osp1_to_r_icu_osp1_to_r_icu_ip_link : BUS ACCESS osp1_to_r_icu_osp1_to_r_icu_ip -> osp1_to_r_icu.link;
MODES
  osp1Activated : INITIAL MODE;
PROPERTIES
  Taste::APLC_Binding => (reference (osp1)) APPLIES TO IV_OSP1_R_ICU;
  Taste::APLC_Binding => (reference (osp1)) APPLIES TO IV_OSP1_ZED_Controller;
  Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO osp1;
  Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO osp1_to_r_icu;
END OSP1.others;

SYSTEM OSP2
FEATURES
  osp2_to_r_icu_r_icu_to_osp2 : REQUIRES BUS ACCESS ocarina_buses::ip.i;
END OSP2;

SYSTEM IMPLEMENTATION OSP2.others
SUBCOMPONENTS
  IV_OSP2_R_ICU : SYSTEM interfaceview::IV::OSP2_Payload::OSP2_R_ICU::OSP2_R_ICU.others {
    Taste::FunctionName => "OSP2_R_ICU";
  };
  IV_OSP2_ZED_Controller : SYSTEM interfaceview::IV::OSP2_Payload::OSP2_ZED_Controller::OSP2_ZED_Controller.others {
    Taste::FunctionName => "OSP2_ZED_Controller";
  };
  osp2 : PROCESS deploymentview::DV::OSP2::osp2.others {
    Taste::coordinates => "227647 112350 271685 128474";
    Deployment::Port_Number => 0;
  };
  x86_linux : PROCESSOR ocarina_processors_x86::x86.linux {
    Taste::coordinates => "223526 106874 276545 131629";
  };
  osp2_to_r_icu : DEVICE deploymentview::DV::OSP2::osp2_to_r_icu.others {
    Taste::coordinates => "226981 92729 272618 102639";
  };
CONNECTIONS
  osp2_to_r_icu_r_icu_to_osp2_link : BUS ACCESS osp2_to_r_icu_r_icu_to_osp2 -> osp2_to_r_icu.link;
MODES
  osp1Activated : INITIAL MODE;
PROPERTIES
  Taste::APLC_Binding => (reference (osp2)) APPLIES TO IV_OSP2_R_ICU;
  Taste::APLC_Binding => (reference (osp2)) APPLIES TO IV_OSP2_ZED_Controller;
  Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO osp2;
  Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO osp2_to_r_icu;
END OSP2.others;

SYSTEM BAT
FEATURES
  bat_to_r_icu_r_icu_to_bat : REQUIRES BUS ACCESS ocarina_buses::ip.i;
END BAT;

SYSTEM IMPLEMENTATION BAT.others
SUBCOMPONENTS
  IV_BAT_R_ICU : SYSTEM interfaceview::IV::BAT_Payload::BAT_R_ICU::BAT_R_ICU.others {
    Taste::FunctionName => "BAT_R_ICU";
  };
  IV_Battery_Controller : SYSTEM interfaceview::IV::BAT_Payload::Battery_Controller::Battery_Controller.others {
    Taste::FunctionName => "Battery_Controller";
  };
  bat : PROCESS deploymentview::DV::BAT::bat.others {
    Taste::coordinates => "229582 40720 268305 56905";
    Deployment::Port_Number => 0;
  };
  x86_linux : PROCESSOR ocarina_processors_x86::x86.linux {
    Taste::coordinates => "225615 33463 273135 59773";
  };
  bat_to_r_icu : DEVICE deploymentview::DV::BAT::bat_to_r_icu.others {
    Taste::coordinates => "225318 63960 272259 71783";
  };
CONNECTIONS
  bat_to_r_icu_r_icu_to_bat_link : BUS ACCESS bat_to_r_icu_r_icu_to_bat -> bat_to_r_icu.link;
MODES
  osp1Activated : INITIAL MODE;
PROPERTIES
  Taste::APLC_Binding => (reference (bat)) APPLIES TO IV_BAT_R_ICU;
  Taste::APLC_Binding => (reference (bat)) APPLIES TO IV_Battery_Controller;
  Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO bat;
  Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO bat_to_r_icu;
END BAT.others;

SYSTEM Ground
FEATURES
  ground_to_obc_ground_to_obc : REQUIRES BUS ACCESS ocarina_buses::ip.i;
END Ground;

SYSTEM IMPLEMENTATION Ground.others
SUBCOMPONENTS
  IV_Ground : SYSTEM interfaceview::IV::Ground::Ground.others {
    Taste::FunctionName => "Ground";
  };
  ground : PROCESS deploymentview::DV::Ground::ground.others {
    Taste::coordinates => "25766 184582 53576 194622";
    Deployment::Port_Number => 0;
  };
  x86_linux : PROCESSOR ocarina_processors_x86::x86.linux {
    Taste::coordinates => "23706 181713 57682 199545";
  };
  ground_to_obc : DEVICE deploymentview::DV::Ground::ground_to_obc.others {
    Taste::coordinates => "24659 169967 56484 179206";
  };
CONNECTIONS
  ground_to_obc_ground_to_obc_link : BUS ACCESS ground_to_obc_ground_to_obc -> ground_to_obc.link;
MODES
  osp1Activated : INITIAL MODE;
PROPERTIES
  Taste::APLC_Binding => (reference (ground)) APPLIES TO IV_Ground;
  Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO ground;
  Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO ground_to_obc;
END Ground.others;

SYSTEM deploymentview
END deploymentview;

SYSTEM IMPLEMENTATION deploymentview.others
SUBCOMPONENTS
  OBC : SYSTEM OBC.others {
    Taste::coordinates => "28901 38191 91594 121210";
  };
  R_ICU : SYSTEM R_ICU.others {
    Taste::coordinates => "122961 34042 183167 101442";
  };
  OSP1 : SYSTEM OSP1.others {
    Taste::coordinates => "224431 144669 278842 191997";
  };
  OSP2 : SYSTEM OSP2.others {
    Taste::coordinates => "218541 87610 280366 134938";
  };
  BAT : SYSTEM BAT.others {
    Taste::coordinates => "217866 29060 280968 76388";
  };
  Ground : SYSTEM Ground.others {
    Taste::coordinates => "20217 164739 64355 203138";
  };
  r_icu_to_bat : BUS ocarina_buses::ip.i {
    Taste::coordinates => "196424 63347 207605 86181";
  };
  r_icu_to_osp2 : BUS ocarina_buses::ip.i {
    Taste::coordinates => "177736 108077 188602 130596";
  };
  osp1_to_r_icu_ip : BUS ocarina_buses::ip.i {
    Taste::coordinates => "157160 142152 168499 164671";
  };
  ground_to_obc : BUS ocarina_buses::ip.i {
    Taste::coordinates => "13376 137212 70566 150619";
  };
  obc_to_r_icu : BUS ocarina_buses::ip.i {
    Taste::coordinates => "99054 40334 115055 94040";
  };
  interfaceview : SYSTEM interfaceview::IV::interfaceview.others;
CONNECTIONS
  Connection9 : BUS ACCESS ground_to_obc -> OBC.obc_to_ground_ground_to_obc {
    Taste::coordinates => "39686 119301 39686 126988 39675 126988 39675 137212";
  };
  Connection2 : BUS ACCESS obc_to_r_icu -> OBC.obc_to_bat_obc_to_r_icu {
    Taste::coordinates => "83752 47229 93893 47229 93893 47119 99054 47119";
  };
  Connection1 : BUS ACCESS obc_to_r_icu -> R_ICU.obc_ip_obc_to_r_icu {
    Taste::coordinates => "126210 82163 119801 82163 119801 82071 115055 82071";
  };
  Connection4 : BUS ACCESS r_icu_to_bat -> R_ICU.bat_ip_r_icu_to_bat {
    Taste::coordinates => "178502 80864 185884 80864 185884 80892 196424 80892";
  };
  Connection5 : BUS ACCESS r_icu_to_osp2 -> R_ICU.osp2_ip_r_icu_to_osp2 {
    Taste::coordinates => "166234 98036 166234 105981 166227 105981 166227 118276 177736 118276";
  };
  Connection8 : BUS ACCESS osp1_to_r_icu_ip -> R_ICU.osp1_ip_osp1_to_r_icu_ip {
    Taste::coordinates => "138149 98163 138149 154244 157160 154244";
  };
  Connection7 : BUS ACCESS osp1_to_r_icu_ip -> OSP1.osp1_to_r_icu_osp1_to_r_icu_ip {
    Taste::coordinates => "227883 154637 218760 154637 218760 154619 168499 154619";
  };
  Connection6 : BUS ACCESS r_icu_to_osp2 -> OSP2.osp2_to_r_icu_r_icu_to_osp2 {
    Taste::coordinates => "226981 97453 197178 97453 197178 118654 188602 118654";
  };
  Connection3 : BUS ACCESS r_icu_to_bat -> BAT.bat_to_r_icu_r_icu_to_bat {
    Taste::coordinates => "225318 68393 216167 68393 216167 68449 207605 68449";
  };
  Connection10 : BUS ACCESS ground_to_obc -> Ground.ground_to_obc_ground_to_obc {
    Taste::coordinates => "40459 169967 40459 160307 40462 160307 40462 150619";
  };
MODES
  osp1Activated : INITIAL MODE;
PROPERTIES
  Actual_Connection_Binding => (reference (r_icu_to_bat)) APPLIES TO interfaceview.BAT_Payload.Battery_Controller_RI_r_icu_bat_tm_Payload_Router_PI_r_icu_bat_tm;
  Actual_Connection_Binding => (reference (r_icu_to_bat)) APPLIES TO interfaceview.R_ICU.Network_Control_RI_bat_ack_BAT_R_ICU_PI_bat_ack;
  Actual_Connection_Binding => (reference (r_icu_to_bat)) APPLIES TO interfaceview.BAT_Payload.BAT_R_ICU_RI_bat_req_Network_Control_PI_bat_req;
  Actual_Connection_Binding => (reference (r_icu_to_bat)) APPLIES TO interfaceview.R_ICU.Payload_Router_RI_r_icu_bat_tc_Battery_Controller_PI_r_icu_bat_tc;
  Actual_Connection_Binding => (reference (r_icu_to_osp2)) APPLIES TO interfaceview.OSP2_Payload.OSP2_ZED_Controller_RI_r_icu_osp1_tm_Payload_Router_PI_r_icu_osp1_tm;
  Actual_Connection_Binding => (reference (r_icu_to_osp2)) APPLIES TO interfaceview.R_ICU.Network_Control_RI_osp2_ack_OSP2_R_ICU_PI_osp2_ack;
  Actual_Connection_Binding => (reference (r_icu_to_osp2)) APPLIES TO interfaceview.R_ICU.Payload_Router_RI_r_icu_osp2_tc_OSP2_ZED_Controller_PI_r_icu_osp2_tc;
  Actual_Connection_Binding => (reference (r_icu_to_osp2)) APPLIES TO interfaceview.OSP2_Payload.OSP2_R_ICU_RI_osp2_req_Network_Control_PI_osp2_req;
  Actual_Connection_Binding => (reference (osp1_to_r_icu_ip)) APPLIES TO interfaceview.OSP1_Payload.OSP1_ZED_Controller_RI_r_icu_osp2_tm_Payload_Router_PI_r_icu_osp2_tm;
  Actual_Connection_Binding => (reference (osp1_to_r_icu_ip)) APPLIES TO interfaceview.R_ICU.Network_Control_RI_osp1_ack_OSP1_R_ICU_PI_osp1_ack;
  Actual_Connection_Binding => (reference (osp1_to_r_icu_ip)) APPLIES TO interfaceview.R_ICU.Payload_Router_RI_r_icu_osp1_tc_OSP1_ZED_Controller_PI_r_icu_osp1_tc;
  Actual_Connection_Binding => (reference (osp1_to_r_icu_ip)) APPLIES TO interfaceview.OSP1_Payload.OSP1_R_ICU_RI_osp1_req_Network_Control_PI_osp1_req;
  Actual_Connection_Binding => (reference (ground_to_obc)) APPLIES TO interfaceview.Ground_RI_TC_PUS_Services_PI_TC;
  Actual_Connection_Binding => (reference (ground_to_obc)) APPLIES TO interfaceview.OBC_C.PUS_Services_RI_TM_Ground_PI_TM;
  Actual_Connection_Binding => (reference (obc_to_r_icu)) APPLIES TO interfaceview.OBC_C.OSP2_Module_RI_obc_osp2_tc_Payload_Router_PI_obc_osp2_tc;
  Actual_Connection_Binding => (reference (obc_to_r_icu)) APPLIES TO interfaceview.OBC_C.OSP1_Module_RI_obc_osp1_tc_Payload_Router_PI_obc_osp1_tc;
  Actual_Connection_Binding => (reference (obc_to_r_icu)) APPLIES TO interfaceview.OBC_C.BAT_Module_RI_obc_bat_tc_Payload_Router_PI_obc_bat_tc;
  Actual_Connection_Binding => (reference (obc_to_r_icu)) APPLIES TO interfaceview.OBC_C.OBC_R_ICU_RI_ack_Network_Control_PI_ack;
  Actual_Connection_Binding => (reference (obc_to_r_icu)) APPLIES TO interfaceview.R_ICU.Payload_Router_RI_obc_osp1_tm_OSP1_Module_PI_obc_osp1_tm;
  Actual_Connection_Binding => (reference (obc_to_r_icu)) APPLIES TO interfaceview.R_ICU.Payload_Router_RI_obc_osp2_tm_OSP2_Module_PI_obc_osp2_tm;
  Actual_Connection_Binding => (reference (obc_to_r_icu)) APPLIES TO interfaceview.R_ICU.Payload_Router_RI_obc_bat_tm_BAT_Module_PI_obc_bat_tm;
  Actual_Connection_Binding => (reference (obc_to_r_icu)) APPLIES TO interfaceview.R_ICU.Network_Control_RI_req_OBC_R_ICU_PI_req;
END deploymentview.others;

PROPERTIES
  Taste::coordinates => "0 0 297000 210000";
  Taste::version => "2.4";
  Taste::interfaceView => "InterfaceView.aadl";
  Taste::HWLibraries => ("/usr/local/share/ocarina/AADLv2/ocarina_components.aadl");
END deploymentview::DV;