GitLab

   - Display information about the bus to ease requirements
     traceability.
   - First version of the connection_matrix backend done
     (proof of concept).



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2018 129961e7-ef38-4bb5-a8f7-c9a525a55882

   - Update the definition of an XML_File so that
     we can specify another extension (.html in our case)

 * src/backends/ocarina-backends-connection_matrix-main.adb
   src/backends/ocarina-backends-connection_matrix-main.ads
   - Main backend code to produce the connectivity matrix
     of a model.

 * src/backends/ocarina-backends-connection_matrix.adb
   src/backends/ocarina-backends-connection_matrix.ads
   - Entry point for the connection_matrix backend

 * src/backends/ocarina-backends-xml_tree-generator.adb
 * src/backends/ocarina-backends-xml_tree-nutils.adb
   - By default, an XML file node will be created
     with the .xml file extension. .html will be optional
     and must be explicitly set by the user.

 * src/backends/ocarina-backends.adb
   src/backends/ocarina-backends.ads
   - Integrate the connection_matrix backend



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2017 129961e7-ef38-4bb5-a8f7-c9a525a55882

git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2007 129961e7-ef38-4bb5-a8f7-c9a525a55882

          the range of its property definition



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2006 129961e7-ef38-4bb5-a8f7-c9a525a55882

git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2005 129961e7-ef38-4bb5-a8f7-c9a525a55882

   ocarina/resources/AADLv2/components/devices.aadl
   - Add specification of the LEON serial driver

 * ocarina/resources/AADLv2/taste_properties.aadl
   - Description of encoding type to be used on a bus



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2002 129961e7-ef38-4bb5-a8f7-c9a525a55882

git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1967 129961e7-ef38-4bb5-a8f7-c9a525a55882

git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1966 129961e7-ef38-4bb5-a8f7-c9a525a55882

git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1952 129961e7-ef38-4bb5-a8f7-c9a525a55882

          language; update reference output accordingly.



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1951 129961e7-ef38-4bb5-a8f7-c9a525a55882

git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1882 129961e7-ef38-4bb5-a8f7-c9a525a55882

git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1881 129961e7-ef38-4bb5-a8f7-c9a525a55882

   - Avoid inconsistent array definition that describes the
     endianness of each node.



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1861 129961e7-ef38-4bb5-a8f7-c9a525a55882

   - The NB_NODES constant definition is now the same
     on all generated deployment.h file



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1857 129961e7-ef38-4bb5-a8f7-c9a525a55882

git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1842 129961e7-ef38-4bb5-a8f7-c9a525a55882

git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1833 129961e7-ef38-4bb5-a8f7-c9a525a55882

   - Avoid the redefinition of two same devices bound to the same processor



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1831 129961e7-ef38-4bb5-a8f7-c9a525a55882

   backends/ocarina-backends-c_tree-nutils.ads
   backends/ocarina-backends-po_hi_c-naming.adb
   backends/ocarina-backends-po_hi_c-runtime.ads
    - Prefix all global variables with __po_hi
      to ease code analysis



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1768 129961e7-ef38-4bb5-a8f7-c9a525a55882

git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1743 129961e7-ef38-4bb5-a8f7-c9a525a55882

git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1742 129961e7-ef38-4bb5-a8f7-c9a525a55882

   - Handle Linux32 and Linux64 architectures



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1701 129961e7-ef38-4bb5-a8f7-c9a525a55882

   - Add new ceiling protocol values in AADLv1 properties



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1650 129961e7-ef38-4bb5-a8f7-c9a525a55882

   ocarina/src/backends/ocarina-backends-properties.ads
   - Handle immediate_priority_ceiling_protocol and
     priority_inheritance proprty values

 * ocarina/src/backends/ocarina-backends-po_hi_c-deployment.adb
   - Generate variables __po_hi_protected_configuration
     and __po_hi_protected_priorities that describe protected
     variable requirements

 * ocarina/src/backends/ocarina-backends-c_common-types.adb
   - Take in account the new protected types

 * ocarina/src/backends/ocarina-backends-po_hi_c-runtime.ads
   - Add entities RE_Protected_Regular, RE_Protected_PCP,
     RE_Protected_PIP, RE_Protected_Protocol_T, RE_Protected_Configuration,
     RE_Protected_Priorities and RE_Protected_Protocol_T

 * ocarina/resources/AADLv2/aadl_project.aadl
   - Add immediate_priority_ceiling_protocol and
     priority_inheritance proprty as new values
     for Supported_Concurrency_Control_Protocol


git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1645 129961e7-ef38-4bb5-a8f7-c9a525a55882

   - Fix syntax error



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1611 129961e7-ef38-4bb5-a8f7-c9a525a55882

   ocarina/src/backends/ocarina-backends-properties.ads
   - Handle linux32 and linux64 platforms

 * ocarina/src/backends/ocarina-backends-po_hi_c.adb
   - Use the Linux32 and linux64 property values for
     generation of Makefiles

 * ocarina/resources/deployment.aadl
   - Add Linux32 and Linux64 values

 * ocarina/resources/AADLv2/components/processors/x86.aadl
   - Define processors for linux32 and linux64 targets.



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1607 129961e7-ef38-4bb5-a8f7-c9a525a55882

   - Make sure that destdir/share/doc/ocarina exists


git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1580 129961e7-ef38-4bb5-a8f7-c9a525a55882

   - fix model error, use GenericBus instead of Generic_Bus



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1542 129961e7-ef38-4bb5-a8f7-c9a525a55882

   ocarina/resources/AADLv2/components/devices/generic_bus.aadl
   ocarina/resources/AADLv2/components/devices/grspw.aadl
   ocarina/resources/AADLv2/components/devices/gruart.aadl
    - Avoid the word Generic_Bus several times in the same file
      since it crashes TASTE.


avoid the definitio


git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1532 129961e7-ef38-4bb5-a8f7-c9a525a55882

git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1530 129961e7-ef38-4bb5-a8f7-c9a525a55882

git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1526 129961e7-ef38-4bb5-a8f7-c9a525a55882

   - Generate ALL types that are used in the system, prevent
     any compilation issues with the request_t type

 * ocarina/src/backends/ocarina-backends-po_hi_c-request.adb
   - Generate ALL requests that may happen within the system.
     Ensure that the definition of __po_hi_request_t is the same
     on all nodes and so that the __PO_HI_MESSAGES_SIZE will have
     the same value on all nodes.



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1523 129961e7-ef38-4bb5-a8f7-c9a525a55882

git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1522 129961e7-ef38-4bb5-a8f7-c9a525a55882

git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1503 129961e7-ef38-4bb5-a8f7-c9a525a55882

   - Update the TASTE property set to include new properties
     of the interface view.



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1489 129961e7-ef38-4bb5-a8f7-c9a525a55882

	reuse an existing instance of a	     data component type only for
        access components, this allow to have subcomponent-specific
        properties to be correctly attached to the corresponing
	instance of subcomponents



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1486 129961e7-ef38-4bb5-a8f7-c9a525a55882

git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1483 129961e7-ef38-4bb5-a8f7-c9a525a55882

          highlight the following identifier



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1482 129961e7-ef38-4bb5-a8f7-c9a525a55882

git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1481 129961e7-ef38-4bb5-a8f7-c9a525a55882

git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1472 129961e7-ef38-4bb5-a8f7-c9a525a55882

	 subdirectory of the directory returned by Get_Install_Dir;
	 raise an error if OCARNA_PATH is set, and ocarina binary is
	 not in $OCARINA_PATH/bin



git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1471 129961e7-ef38-4bb5-a8f7-c9a525a55882