Sample application communicating in both directions over serial with a GR740

Demo_Serial_BothDirections_GR740/ConcurrencyView/gr740_CV_Thread.aadl

+--  This file was generated automatically: DO NOT MODIFY IT !
+
+--  This file contains a part of the system CONCURRENCY VIEW.
+--  It is an input file for OCARINA.
+
+package gr740_CV_Thread
+public
+	with Deployment;
+	with process_package;
+	with Dataview;
+
+THREAD gr740_gr740
+features
+	INPORT_print : IN EVENT DATA PORT DataView::T_Int8_Buffer.impl
+		{ Compute_Execution_Time => 0 ms .. 20 ms;
+		  Queue_Size => 2;
+		  Compute_Entrypoint_Source_Text => "gr740_wrappers.print"; };
+END gr740_gr740;
+
+THREAD IMPLEMENTATION gr740_gr740.others
+PROPERTIES
+	Initialize_Entrypoint_Source_Text => "gr740_wrappers.C_Init_gr740";
+	Dispatch_Protocol      => Sporadic;
+	Period                 => 5000 ms;
+	Dispatch_Offset        => 0 ms;
+	Compute_Execution_Time => 0 ms .. 20 ms;
+	Stack_Size             => 5 KByte;
+	Priority               => 1;
+END gr740_gr740.others;
+
+end gr740_CV_Thread;

Demo_Serial_BothDirections_GR740/ConcurrencyView/nodes

+--  This file was generated automatically: DO NOT MODIFY IT !
+
+--  This file contains the description of the system distribution.
+--  It is an input file for the TASTE ORCHESTRATOR
+
+* gr740_partition PLATFORM_LEON_RTEMS_POSIX
+envvars RTEMS_MAKEFILE_PATH_LEON=/opt/rtems-5.1-2018.03.08/sparc-rtems5/gr740:CFLAGS=-DCONFIGURE_SMP_APPLICATION -DCONFIGURE_MAXIMUM_PROCESSORS=4 
+gr740
+gr740_partition_taste_api
+* x86_partition PLATFORM_NATIVE
+pc
+x86_partition_taste_api

Demo_Serial_BothDirections_GR740/ConcurrencyView/pc_CV_Thread.aadl

+--  This file was generated automatically: DO NOT MODIFY IT !
+
+--  This file contains a part of the system CONCURRENCY VIEW.
+--  It is an input file for OCARINA.
+
+package pc_CV_Thread
+public
+	with Deployment;
+	with process_package;
+	with Dataview;
+
+THREAD pc_pc
+features
+	OUTPORT_print : OUT EVENT DATA PORT DataView::T_Int8_Buffer.impl;
+END pc_pc;
+
+THREAD IMPLEMENTATION pc_pc.others
+PROPERTIES
+	Initialize_Entrypoint_Source_Text => "pc_wrappers.C_Init_pc";
+	Compute_Entrypoint_Source_Text => "pc_wrappers.cyclePC";
+	Dispatch_Protocol      => Periodic;
+	Period                 => 1000 ms;
+	Dispatch_Offset        => 0 ms;
+	Compute_Execution_Time => 0 ms .. 10 ms;
+	Stack_Size             => 100 KByte;
+	Priority               => 2;
+END pc_pc.others;
+
+end pc_CV_Thread;

Demo_Serial_BothDirections_GR740/ConcurrencyView/process.aadl

+--  This file was generated automatically: DO NOT MODIFY IT !
+
+--  This file contains a part of the system CONCURRENCY VIEW.
+--  It is an input file for OCARINA.
+
+package process_package
+public
+	with Deployment;
+	with DataView;
+	with interfaceview::IV;
+	with deploymentview::DV;
+	with ocarina_processors_leon;
+	with deploymentview::dv::node1;
+	with ocarina_processors_x86;
+	with deploymentview::dv::node2;
+	with ocarina_buses;
+	with gr740_CV_Thread;
+	with pc_CV_Thread;
+
+process gr740_partition extends deploymentview::DV::node1::gr740_partition
+features
+	INPORT_gr740_print : IN EVENT DATA PORT DataView::T_Int8_Buffer.impl;
+end gr740_partition;
+
+process implementation gr740_partition.final
+subcomponents
+	gr740 : thread gr740_CV_Thread::gr740_gr740.others;
+connections
+	PORT INPORT_gr740_print -> gr740.INPORT_print;
+end gr740_partition.final;
+
+
+process x86_partition extends deploymentview::DV::node2::x86_partition
+features
+	OUTPORT_pc_print : OUT EVENT DATA PORT DataView::T_Int8_Buffer.impl;
+end x86_partition;
+
+process implementation x86_partition.final
+subcomponents
+	pc : thread pc_CV_Thread::pc_pc.others;
+connections
+	PORT pc.OUTPORT_print -> OUTPORT_pc_print;
+end x86_partition.final;
+
+system deploymentview
+end deploymentview;
+
+system implementation deploymentview.final
+subcomponents
+  serial_generic_cv : bus ocarina_buses::serial.generic;
+  gr740_partition: process gr740_partition.final;
+  node1_rasta_serial_apbuart_drvmgr_cv : device deploymentview::dv::node1::rasta_serial_apbuart_drvmgr.others
+	{
+		Source_Text => ("../DriversConfig/gr740_partition/DeviceConfig-node1-rasta-serial-apbuart-drvmgr.ads");
+		Type_Source_Name => "DeviceConfig_node1_rasta_serial_apbuart_drvmgr.pohidrv_node1_rasta_serial_apbuart_drvmgr_cv";
+	};
+  x86_partition: process x86_partition.final;
+  node2_generic_serial_raw_cv : device deploymentview::dv::node2::generic_serial_raw.others
+	{
+		Source_Text => ("../DriversConfig/x86_partition/DeviceConfig-node2-generic-serial-raw.ads");
+		Type_Source_Name => "DeviceConfig_node2_generic_serial_raw.pohidrv_node2_generic_serial_raw_cv";
+	};
+  node1_gr740_rtems51_posix_cv : processor ocarina_processors_leon::gr740.rtems51_posix;
+  node2_x86_linux_cv : processor ocarina_processors_x86::x86.linux;
+connections
+  gr740_partition_print_pc_conn_cv : port x86_partition.OUTPORT_pc_print -> gr740_partition.INPORT_gr740_print;
+  bus access serial_generic_cv -> node1_rasta_serial_apbuart_drvmgr_cv.link;
+  bus access serial_generic_cv -> node2_generic_serial_raw_cv.link;
+properties
+  Actual_Processor_Binding => (reference (node1_gr740_rtems51_posix_cv)) applies to gr740_partition;
+  Actual_Processor_Binding => (reference (node2_x86_linux_cv)) applies to x86_partition;
+  Actual_Processor_Binding => (reference (node1_gr740_rtems51_posix_cv)) applies to node1_rasta_serial_apbuart_drvmgr_cv;
+  Actual_Processor_Binding => (reference (node2_x86_linux_cv)) applies to node2_generic_serial_raw_cv;
+  Actual_Connection_Binding => (reference (serial_generic_cv)) applies to gr740_partition_print_pc_conn_cv;
+end deploymentview.final;
+end process_package;
+
+-- deploymentview.final

Demo_Serial_BothDirections_GR740/DataView.acn

+TASTE-Dataview DEFINITIONS ::= BEGIN
+
+    --  In this ACN model, you can specify custom binary encoding rules for
+    --  your data types. For example if you require a specific memory layout
+    --  for a record, or need to add padding fields, define endianness, etc.
+    --  you can do that with ACN. Refer to the ACN user manual for details.
+
+    --  TASTE-Boolean []
+END
+

Demo_Serial_BothDirections_GR740/DataView.asn

+TASTE-Dataview DEFINITIONS ::=
+BEGIN
+IMPORTS T-Int32, T-UInt32, T-Int8, T-UInt8, T-Boolean FROM TASTE-BasicTypes;
+
+TASTE-Boolean ::= BOOLEAN
+
+-- ASN.1 Type definitions must start with an uppercase
+-- Field names in records (SEQUENCE) must start with a lowercase
+-- Underscores are not allowed: use dash (hyphen) 
+
+-- Simple types:
+
+-- MyInteger   ::= INTEGER (0..255)
+-- MyReal      ::= REAL (0.0 .. 1000.0)
+-- MyBool      ::= BOOLEAN
+-- MyEnum      ::= ENUMERATED { hello, world, how-are-you }
+
+-- Complex types:
+
+--  MySeq       ::= SEQUENCE {
+--      input-data  MyInteger,
+--      output-data MyInteger,
+--      validity    ENUMERATED { valid, invalid }
+--  }
+--
+--  MyChoice    ::= CHOICE {
+--      a BOOLEAN,
+--      b MySeq
+--  }
+--
+--  MySeqOf     ::= SEQUENCE (SIZE (2)) OF MyEnum
+--
+--  MyOctStr    ::= OCTET STRING (SIZE (3))
+--
+--  -- You can also declare constants
+--  myVar       MySeqOf     ::= { hello, world }
+
+END
+

Demo_Serial_BothDirections_GR740/DeploymentView.aadl

+---------------------------------------------------
+-- AADL2.1
+-- TASTE type deploymentview
+-- 
+-- generated code: do not edit
+---------------------------------------------------
+
+PACKAGE deploymentview::DV::Node1
+PUBLIC
+
+WITH ocarina_buses;
+WITH ocarina_drivers;
+WITH Taste;
+WITH Deployment;
+WITH TASTE_DV_Properties;
+PROCESS gr740_partition
+END gr740_partition;
+
+PROCESS IMPLEMENTATION gr740_partition.others
+END gr740_partition.others;
+
+DEVICE rasta_serial_apbuart_drvmgr
+EXTENDS ocarina_drivers::rasta_serial
+FEATURES
+  link : REFINED TO REQUIRES BUS ACCESS ocarina_buses::serial.generic {
+    Taste::coordinates => "138966 147911";
+  };
+PROPERTIES
+  Taste::Interface_Coordinates => "138896 163955" APPLIES TO link;
+  Deployment::Help => "Write your ASN.1 configuration here";
+  Deployment::Configuration => "{devname ""/dev/console_b"", speed b9600}";
+  Deployment::Config => "/home/taste/tool-inst/include/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/serial.asn";
+  Deployment::Version => "0.1beta";
+END rasta_serial_apbuart_drvmgr;
+
+DEVICE IMPLEMENTATION rasta_serial_apbuart_drvmgr.others
+EXTENDS ocarina_drivers::rasta_serial.apbuart_drvmgr
+END rasta_serial_apbuart_drvmgr.others;
+
+END deploymentview::DV::Node1;
+
+PACKAGE deploymentview::DV::Node2
+PUBLIC
+
+WITH ocarina_buses;
+WITH ocarina_drivers;
+WITH Taste;
+WITH Deployment;
+WITH TASTE_DV_Properties;
+PROCESS x86_partition
+END x86_partition;
+
+PROCESS IMPLEMENTATION x86_partition.others
+END x86_partition.others;
+
+DEVICE generic_serial_raw
+EXTENDS ocarina_drivers::generic_serial
+FEATURES
+  link : REFINED TO REQUIRES BUS ACCESS ocarina_buses::serial.generic {
+    Taste::coordinates => "214953 146142";
+  };
+PROPERTIES
+  Taste::Interface_Coordinates => "214904 163955" APPLIES TO link;
+  Deployment::Help => "Write your ASN.1 configuration here";
+  Deployment::Configuration => "{devname ""/dev/ttyS0"", speed b9600}";
+  Deployment::Config => "/home/taste/tool-inst/include/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/serial.asn";
+  Deployment::Version => "0.1beta";
+END generic_serial_raw;
+
+DEVICE IMPLEMENTATION generic_serial_raw.others
+EXTENDS ocarina_drivers::generic_serial.raw
+END generic_serial_raw.others;
+
+END deploymentview::DV::Node2;
+
+PACKAGE deploymentview::DV
+PUBLIC
+
+WITH interfaceview::IV::gr740;
+WITH ocarina_processors_leon;
+WITH deploymentview::DV::Node1;
+WITH interfaceview::IV::pc;
+WITH ocarina_processors_x86;
+WITH deploymentview::DV::Node2;
+WITH ocarina_buses;
+WITH Taste;
+WITH Deployment;
+WITH interfaceview::IV;
+WITH TASTE_DV_Properties;
+SYSTEM Node1
+FEATURES
+  rasta_serial_apbuart_drvmgr_serial_generic : REQUIRES BUS ACCESS ocarina_buses::serial.generic;
+END Node1;
+
+SYSTEM IMPLEMENTATION Node1.others
+SUBCOMPONENTS
+  IV_gr740 : SYSTEM interfaceview::IV::gr740::gr740.others {
+    Taste::FunctionName => "gr740";
+  };
+  gr740_partition : PROCESS deploymentview::DV::Node1::gr740_partition.others {
+    Taste::coordinates => "121836 86810 163483 121732";
+    Deployment::Port_Number => 0;
+  };
+  gr740_rtems51_posix : PROCESSOR ocarina_processors_leon::gr740.rtems51_posix {
+    Taste::coordinates => "116630 76832 168689 126721";
+  };
+  rasta_serial_apbuart_drvmgr : DEVICE deploymentview::DV::Node1::rasta_serial_apbuart_drvmgr.others {
+    Taste::coordinates => "112984 129319 171144 147911";
+  };
+CONNECTIONS
+  rasta_serial_apbuart_drvmgr_serial_generic_link : BUS ACCESS rasta_serial_apbuart_drvmgr_serial_generic -> rasta_serial_apbuart_drvmgr.link;
+PROPERTIES
+  Taste::APLC_Binding => (reference (gr740_partition)) APPLIES TO IV_gr740;
+  Actual_Processor_Binding => (reference (gr740_rtems51_posix)) APPLIES TO gr740_partition;
+  Actual_Processor_Binding => (reference (gr740_rtems51_posix)) APPLIES TO rasta_serial_apbuart_drvmgr;
+END Node1.others;
+
+SYSTEM Node2
+FEATURES
+  generic_serial_raw_serial_generic : REQUIRES BUS ACCESS ocarina_buses::serial.generic;
+END Node2;
+
+SYSTEM IMPLEMENTATION Node2.others
+SUBCOMPONENTS
+  IV_pc : SYSTEM interfaceview::IV::pc::pc.others {
+    Taste::FunctionName => "pc";
+  };
+  x86_partition : PROCESS deploymentview::DV::Node2::x86_partition.others {
+    Taste::coordinates => "198938 84189 236313 120230";
+    Deployment::Port_Number => 0;
+  };
+  x86_linux : PROCESSOR ocarina_processors_x86::x86.linux {
+    Taste::coordinates => "194266 73892 240985 125379";
+  };
+  generic_serial_raw : DEVICE deploymentview::DV::Node2::generic_serial_raw.others {
+    Taste::coordinates => "194354 126425 241438 146142";
+  };
+CONNECTIONS
+  generic_serial_raw_serial_generic_link : BUS ACCESS generic_serial_raw_serial_generic -> generic_serial_raw.link;
+PROPERTIES
+  Taste::APLC_Binding => (reference (x86_partition)) APPLIES TO IV_pc;
+  Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO x86_partition;
+  Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO generic_serial_raw;
+END Node2.others;
+
+SYSTEM deploymentview
+END deploymentview;
+
+SYSTEM IMPLEMENTATION deploymentview.others
+SUBCOMPONENTS
+  Node1 : SYSTEM Node1.others {
+    Taste::coordinates => "110123 62577 175196 151248";
+  };
+  Node2 : SYSTEM Node2.others {
+    Taste::coordinates => "190234 62725 245264 151890";
+  };
+  serial_generic : BUS ocarina_buses::serial.generic {
+    Taste::coordinates => "108720 163955 248206 186909";
+  };
+  interfaceview : SYSTEM interfaceview::IV::interfaceview.others;
+CONNECTIONS
+  Connection2 : BUS ACCESS serial_generic -> Node1.rasta_serial_apbuart_drvmgr_serial_generic {
+    Taste::coordinates => "138966 147911 138966 155933 138896 155933 138896 163955";
+  };
+  Connection1 : BUS ACCESS serial_generic -> Node2.generic_serial_raw_serial_generic {
+    Taste::coordinates => "214953 146142 214953 155127 214904 155127 214904 163955";
+  };
+PROPERTIES
+  Actual_Connection_Binding => (reference (serial_generic)) APPLIES TO interfaceview.gr740_PI_print_pc_RI_print;
+  Actual_Connection_Binding => (reference (serial_generic)) APPLIES TO interfaceview.pc_PI_fromGr740_gr740_RI_fromGr740;
+END deploymentview.others;
+
+PROPERTIES
+  Taste::coordinates => "0 0 297000 210000";
+  Taste::version => "2.0";
+  Taste::interfaceView => "InterfaceView.aadl";
+  Taste::HWLibraries => ("/home/taste/tool-inst/share/ocarina/AADLv2/ocarina_components.aadl");
+END deploymentview::DV;
+

Demo_Serial_BothDirections_GR740/InterfaceView.aadl

+---------------------------------------------------
+-- AADL2.1
+-- TASTE type interfaceview
+-- 
+-- generated code: do not edit
+---------------------------------------------------
+
+PACKAGE interfaceview::IV::gr740
+PUBLIC
+
+WITH interfaceview::IV::pc;
+WITH Taste;
+WITH DataView;
+WITH TASTE_IV_Properties;
+SUBPROGRAM PI_print
+FEATURES
+  inpPC : IN PARAMETER DataView::T_Int8 {
+    Taste::encoding => UPER;
+  };
+PROPERTIES
+  Taste::Associated_Queue_Size => 2;
+END PI_print;
+
+SUBPROGRAM IMPLEMENTATION PI_print.others
+PROPERTIES
+  Compute_Execution_Time => 0 ms .. 20 ms;
+END PI_print.others;
+
+SUBPROGRAM PI_cycle
+PROPERTIES
+  Taste::Associated_Queue_Size => 1;
+END PI_cycle;
+
+SUBPROGRAM IMPLEMENTATION PI_cycle.others
+PROPERTIES
+  Compute_Execution_Time => 0 ms .. 0 ms;
+END PI_cycle.others;
+
+SUBPROGRAM RI_fromGr740
+FEATURES
+  aa : IN PARAMETER DataView::T_Int32 {
+    Taste::encoding => UPER;
+  };
+END RI_fromGr740;
+
+SUBPROGRAM IMPLEMENTATION RI_fromGr740.others
+END RI_fromGr740.others;
+
+SYSTEM gr740
+FEATURES
+  PI_print : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::gr740::PI_print.others {
+    Taste::coordinates => "132768 113703";
+    Taste::RCMoperationKind => sporadic;
+    Taste::RCMperiod => 5000 ms;
+    Taste::Deadline => 5000 ms;
+    Taste::InterfaceName => "print";
+  };
+  PI_cycle : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::gr740::PI_cycle.others {
+    Taste::coordinates => "109173 89863";
+    Taste::RCMoperationKind => cyclic;
+    Taste::RCMperiod => 3000 ms;
+    Taste::Deadline => 0 ms;
+    Taste::InterfaceName => "cycle";
+  };
+  RI_fromGr740 : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::pc::PI_fromGr740.others {
+    Taste::coordinates => "132768 127663";
+    Taste::RCMoperationKind => any;
+    Taste::InterfaceName => "fromGr740";
+    Taste::labelInheritance => "true";
+  };
+PROPERTIES
+  Source_Language => (C);
+  Taste::Active_Interfaces => any;
+END gr740;
+
+SYSTEM IMPLEMENTATION gr740.others
+END gr740.others;
+
+END interfaceview::IV::gr740;
+
+PACKAGE interfaceview::IV::pc
+PUBLIC
+
+WITH interfaceview::IV::gr740;
+WITH Taste;
+WITH DataView;
+WITH TASTE_IV_Properties;
+SUBPROGRAM PI_cyclePC
+PROPERTIES
+  Taste::Associated_Queue_Size => 1;
+END PI_cyclePC;
+
+SUBPROGRAM IMPLEMENTATION PI_cyclePC.others
+PROPERTIES
+  Compute_Execution_Time => 0 ms .. 0 ms;
+END PI_cyclePC.others;
+
+SUBPROGRAM RI_print
+FEATURES
+  inpPC : IN PARAMETER DataView::T_Int8 {
+    Taste::encoding => UPER;
+  };
+END RI_print;
+
+SUBPROGRAM IMPLEMENTATION RI_print.others
+END RI_print.others;
+
+SUBPROGRAM PI_fromGr740
+FEATURES
+  aa : IN PARAMETER DataView::T_Int32 {
+    Taste::encoding => UPER;
+  };
+END PI_fromGr740;
+
+SUBPROGRAM IMPLEMENTATION PI_fromGr740.others
+PROPERTIES
+  Compute_Execution_Time => 0 ms .. 0 ms;
+END PI_fromGr740.others;
+
+SYSTEM pc
+FEATURES
+  PI_cyclePC : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::pc::PI_cyclePC.others {
+    Taste::coordinates => "166857 91293";
+    Taste::RCMoperationKind => cyclic;
+    Taste::RCMperiod => 1000 ms;
+    Taste::Deadline => 0 ms;
+    Taste::InterfaceName => "cyclePC";
+  };
+  RI_print : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::gr740::PI_print.others {
+    Taste::coordinates => "150169 113702";
+    Taste::RCMoperationKind => any;
+    Taste::InterfaceName => "print";
+    Taste::labelInheritance => "true";
+  };
+  PI_fromGr740 : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::pc::PI_fromGr740.others {
+    Taste::coordinates => "150169 130668";
+    Taste::RCMoperationKind => sporadic;
+    Taste::InterfaceName => "fromGr740";
+  };
+PROPERTIES
+  Source_Language => (C);
+  Taste::Active_Interfaces => any;
+END pc;
+
+SYSTEM IMPLEMENTATION pc.others
+END pc.others;
+
+END interfaceview::IV::pc;
+
+PACKAGE interfaceview::IV
+PUBLIC
+
+WITH interfaceview::IV::gr740;
+WITH interfaceview::IV::pc;
+WITH Taste;
+WITH DataView;
+WITH TASTE_IV_Properties;
+SYSTEM interfaceview
+PROPERTIES
+  Taste::dataView => ("DataView");
+  Taste::dataViewPath => ("DataView.aadl");
+END interfaceview;
+
+SYSTEM IMPLEMENTATION interfaceview.others
+SUBCOMPONENTS
+  gr740 : SYSTEM interfaceview::IV::gr740::gr740.others {
+    Taste::coordinates => "90101 89863 132768 143256";
+  };
+  pc : SYSTEM interfaceview::IV::pc::pc.others {
+    Taste::coordinates => "150169 91293 189022 143018";
+  };
+CONNECTIONS
+  gr740_PI_print_pc_RI_print : SUBPROGRAM ACCESS gr740.PI_print -> pc.RI_print {
+    Taste::coordinates => "150169 113702 141468 113702 141468 113703 132768 113703";
+  };
+  pc_PI_fromGr740_gr740_RI_fromGr740 : SUBPROGRAM ACCESS pc.PI_fromGr740 -> gr740.RI_fromGr740 {
+    Taste::coordinates => "132768 127663 141468 127663 141468 130668 150169 130668";
+  };
+END interfaceview.others;
+
+PROPERTIES
+  Taste::dataView => ("DataView");
+  Taste::dataViewPath => ("DataView.aadl");
+  Taste::coordinates => "0 0 297000 210000";
+  Taste::version => "2.0";
+END interfaceview::IV;
+

Demo_Serial_BothDirections_GR740/InterfaceView.md5

+c768fd4b18a9129975e72617e74606b5  InterfaceView.aadl

Demo_Serial_BothDirections_GR740/build-script.sh

+#!/bin/bash -e
+
+# This script will build your TASTE system.
+
+# You should not change this file as it was automatically generated.
+
+# If you need additional preprocessing, there are three hook files
+# that you can provide and that are called dring the build:
+# user_init_pre.sh, user_init_post.sh and user_init_last.sh
+# These files will never get overwritten by TASTE.'
+
+# Inside these files you may set some environment variables:
+#    C_INCLUDE_PATH=/usr/include/xenomai/analogy/:${C_INCLUDE_PATH}
+#    unset USE_POHIC   
+
+CWD=$(pwd)
+
+if [ -t 1 ] ; then
+    COLORON="\e[1m\e[32m"
+    COLOROFF="\e[0m"
+else
+    COLORON=""
+    COLOROFF=""
+fi
+INFO="${COLORON}[INFO]${COLOROFF}"
+
+if [ -f user_init_pre.sh ]
+then
+    echo -e "${INFO} Executing user-defined init script"
+    source user_init_pre.sh
+fi
+
+# Set up the cache to limit the calls to ASN1SCC in DMT tools
+mkdir -p .cache
+export PROJECT_CACHE=$(pwd)/.cache
+
+# Use PolyORB-HI-C runtime
+USE_POHIC=1
+
+# Set Debug mode by default
+DEBUG_MODE=--debug
+
+# Detect models from Ellidiss tools v2, and convert them to 1.3
+INTERFACEVIEW=InterfaceView.aadl
+grep "version => \"2" InterfaceView.aadl >/dev/null && {
+    echo -e "${INFO} Converting interface view from V2 to V1.3"
+    TASTE --load-interface-view InterfaceView.aadl --export-interface-view-to-1_3 __iv_1_3.aadl
+    INTERFACEVIEW=__iv_1_3.aadl
+};
+
+if [ -z "$DEPLOYMENTVIEW" ]
+then
+    DEPLOYMENTVIEW=DeploymentView.aadl
+fi
+
+# Detect models from Ellidiss tools v2, and convert them to 1.3