Start templates for AADL Concurrency View

templates/concurrency_view/aadl_2_threads/block.tmplt

+@@-- The following tags are available in this template:
+@@--
+@@-- @_Name_@             : Protected block name
+@@-- @_Calling_Threads_@  : List of calling threads
+@@-- @_Node name_@        : Node name
+@@-- @_Provided_@         : Provided interfaces (from pi.tmplt)
+@@-- @_Required_@         : Required interfaces (from ri.tmplt)

templates/concurrency_view/aadl_2_threads/filenode.tmplt

+@@-- The following tags are available in this template:
+@@--
+@@-- @_Node_Name_@        : Name of the node as defined in the Deployment View
+@@-- The content of this file is generated from node.tmplt
+@@-- If there is no string defined here, no file will be generated per node,
+@@-- (that's an option if the intent is to generate only one file per system)
+@_LOWER:Node_Name_@.aadl

templates/concurrency_view/aadl_2_threads/filesys.tmplt

+@@-- Specify the file name for the complete system (including nodes)
+@@-- (no template tag)
+system.aadl

templates/concurrency_view/aadl_2_threads/node.tmplt

+@@-- The following tags are available in this template:
+@@--
+@@-- @_Node_Name_@       : Name of the node from deployment view
+@@-- @_Partition_Names_@ : Tag listing the partitions in this node
+@@-- @_Partitions_@      : List of rendered code for partitions
+@@-- In standard TASTE systems there is only one partition per node
+@_Partitions_@

templates/concurrency_view/aadl_2_threads/partition.tmplt

+@@-- The following tags are available in this template:
+@@--
+@@-- @_Name_@            : Partition name (usually the name of the binary)
+@@-- @_Threads_@         : Code generated for the threads
+@@-- @_Thread_Names_@    : Tag: list of thread names
+@@-- @_Node_Name_@       : Name of the node containing this partition
+@@-- @_Blocks_@          : Code generated for protected functions
+@@-- @_Coverage_@        : True if user requested code coverage enable
+@@-- @_Package_Name_@    : AADL Package name for the target (e.g. ocarina_porocessors_x86)
+@@-- @_CPU_Name_@        : CPU Name (e.g. x86_linux)
+@@-- @_CPU_Platform_@    : AADL CPU_Platform (e.g. PLATFORM_NATIVE)
+@@-- @_CPU_Classifier_@  : AADL CPU Classifier (e.g. ocarina_processors_x86::x86.linux)
+@@-- @_Bound_Functions_@ : List of user functions from Interface view
+@_Threads_@
+
+   with @_Package_Name_@;
+@@TABLE@@
+   with @_Thread_Names_@_Thread;
+@@END_TABLE@@
+
+process @_Name_@ extends DeploymentView::DV::@_Node_Name_@
+end @_Name_@;
+
+process implementation @_Name_@.final
+subcomponents
+@@TABLE@@
+   @_Thread_Names_@ : thread @_Thread_Names_@_Thread::@_Thread_Names_@.others;
+@@END_TABLE@@
+connections
+   <MISSING>
+end @_Name_@.final;

templates/concurrency_view/aadl_2_threads/pi.tmplt

+@@-- The following tags are available in this template:
+@@--
+@@-- @_Name_@                : The name of the interface
+@@-- @_Direction_@           : "PI" or "RI"
+@@-- @_Kind_@                : The RCM Kind
+@@-- @_Parent_Function_@     : The name of the function
+@@-- @_Param_Names_@         : List of parameter names
+@@-- @_Param_Types_@         :   |_ Corresponding parameter types
+@@-- @_Param_Directions_@    :   |_ Corresponding direction

templates/concurrency_view/aadl_2_threads/ri.tmplt

+@@-- The following tags are available in this template:
+@@--
+@@-- @_Name_@                : The name of the interface
+@@-- @_Direction_@           : "PI" or "RI"
+@@-- @_Kind_@                : The RCM Kind
+@@-- @_Parent_Function_@     : The name of the function
+@@-- @_Param_Names_@         : List of parameter names
+@@-- @_Param_Types_@         :   |_ Corresponding parameter types
+@@-- @_Param_Directions_@    :   |_ Corresponding direction
+

templates/concurrency_view/aadl_2_threads/system.tmplt

+@@-- The following tags are available in this template:
+@@--
+@@-- @_Nodes_@      : Code generated for the nodes
+@@-- @_Node_Names_@ : Tag (list) of node names
+
+--  Input file for the taste orchestrator: do not edit
+--  This file was generated automatically by taste/kazoo
+package process_package
+public
+   with Deployment;
+   with DataView;
+   with interfaceview::IV;
+   with deploymentview::DV;
+
+@_Nodes_@
+
+system deploymentview
+end deploymentview;
+
+system implementation deploymentview.final
+subcomponents
+   <MISSING>
+properties
+   <MISSING>
+end deploymentview.final;
+
+end process_package;
+
+-- deploymenttview.final

templates/concurrency_view/aadl_2_threads/thread.tmplt

+@@-- The following tags are available in this template:
+@@--
+@@-- @_Name_@            : Thread name
+@@-- @_Entry_Port_Name_@ : Name of the PI
+@@-- @_RCM_@             : One of "CYCLIC_OPERATION", "SPORADIC_OPERATION"
+@@-- @_Pro_Block_Name_@  : Name of the protected function
+@@-- @_Node_Name_@       : Name of the deployment node
+@@-- @_Remote_Threads_@  : Vector tag: output remote thread list
+@@-- @_Remote_PIs_@      :    |_ Associated PI Name
+@@--
+@@-- Matrix of output ports: Remote thread/corresponding remote PI @_Name_@
+package @_Name_@_Thread
+public
+   with Deployment;
+   with process_package;
+   with Dataview;
+
+thread @_Name_@
+features
+   INPORT_@_Entry_Port_Name_@ : in event <MISSING> port <MISSING>
+      { Compute_Execution_Time => <MISSING>;
+        Queue_Size => <MISSING>;
+        Compute_Entrypoint_Source_Text => "@_Name_@_Wrappers.@_Entry_Port_Name_@"; };
+   @@TABLE@@
+   OUTPUT_@_Remote_PIs_@ : out event <MISSING> port <MISSING>;
+   @@END_TABLE@@
+end @_Name_@;
+
+thread implementation @_Name_@.others
+properties
+   Initialize_Entrypoint_Source_Text => "@_Name_@_Wrappers.C_Init_@_Name_@";
+   Dispatch_Protocol                 =>
+@@IF@@ @_RCM_@ = "SPORADIC_OPERATION"
+Sporadic;
+@@ELSE@@
+Periodic;
+@@END_IF@@
+   Period                            => <MISSING>;
+   Dispatch_Offset                   => <MISSING>;
+   Compute_Execution_Time            => <MISSING>;
+   Stack_Size                        => <MISSING>;
+   Priority                          => <MISSING>;
+end @_Name_@.others;
+
+end @_Name_@_Thread;

templates/concurrency_view/aadl_2_threads/trigger.tmplt

+TRUE