Commits · 987ce09e0655459d3855e697344d6e64b759ca0d · TASTE / Ocarina

05 Jun, 2012 1 commit

* When a subprogram defines implementation source files, · 987ce09e

jhugues authored Jun 05, 2012

source name but no source language, suppose the source
language is the same as the back end.

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

987ce09e

03 Jun, 2012 2 commits

* ocarina/src/backends/ocarina-backends-properties.adb · a19faa5f

jdelange authored Jun 03, 2012

   ocarina/src/backends/ocarina-backends-properties.ads
   ocarina/src/backends/ocarina-backends-po_hi_c.adb
   ocarina/src/backends/ocarina-backends-po_hi_c-deployment.adb
   - Handle the WIN32 architecture in Makefiles



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

a19faa5f

* ocarina/src/backends/ocarina-backends-properties.adb · 939b586a

jdelange authored Jun 03, 2012

  - Fix line size, raise issues during compilation within the VM

 * ocarina/resources/deployment.aadl
   ocarina/resources/AADLv2/components/processors/x86.aadl
  - Introduce values for Win32 support



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

939b586a

30 May, 2012 1 commit

* ocarina/src/backends/ocarina-backends-properties.adb · dd07b9ea

jdelange authored May 30, 2012

   - Update properties definition according to updated
     ARINC653 annex


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

dd07b9ea

23 Jan, 2012 1 commit

* ocarina/src/backends/ocarina-backends-properties.adb · d66af285

jdelange authored Jan 23, 2012

   ocarina/src/backends/ocarina-backends-properties.ads
   - Support for Subprogram_LUA subprogram kind
   - Add Language_LUA_Name and Language_LUA

 * ocarina/src/backends/ocarina-backends-po_hi_c-runtime.ads
   - Introduce RH_PO_HI_Lua, RE_LUA_Load, RE_LUA_Load_File
     and RE_LUA_Load_File_With_Function entities

 * ocarina/src/backends/ocarina-backends-c_common-mapping.adb
   - Map LUA subprograms

 * ocarina/resources/AADLv2/aadl_project.aadl
   - Add LUA language in the potential supported languages



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

d66af285

19 Aug, 2011 1 commit

* ocarina-backends-properties.adb · 671fdb8a

jdelange authored Aug 19, 2011

   ocarina-backends-properties.ads
   - Handle the NDS_RTEMS, GUMSTIX_RTEMS, NDS_RTEMS_POSIX
     and GUMSTIX_RTEMS_POSIX execution platforms.



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

671fdb8a

05 Aug, 2011 1 commit

* ocarina/src/backends/ocarina-backends-properties.adb · 9c75fa44

jdelange authored Aug 05, 2011

   ocarina/src/backends/ocarina-backends-properties.ads
   ocarina/src/backends/ocarina-backends-po_hi_c.adb
   ocarina/src/backends/ocarina-backends-po_hi_c-deployment.adb
   - Handle new platforms for RTEMS and compcert deployment




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

9c75fa44

08 Jun, 2011 1 commit

* ocarina/resources/deployment.aadl · 916b0c4b

jdelange authored Jun 08, 2011

   - Add bench and compcert execution platform
 
 * ocarina/src/backends/ocarina-backends-properties.adb
   ocarina/src/backends/ocarina-backends-properties.ads
   - Supports the handling of new platform values

 * ocarina/src/backends/ocarina-backends-po_hi_c.adb
   ocarina/src/backends/ocarina-backends-po_hi_c-activity.adb
   ocarina/src/backends/ocarina-backends-c_tree-nutils.adb
   ocarina/src/backends/ocarina-backends-c_tree-nutils.ads
   ocarina/src/backends/ocarina-backends-po_hi_c-runtime.ads
   ocarina/src/backends/ocarina-backends-c_common-mapping.adb
   ocarina/src/backends/ocarina-backends-c_common-mapping.ads
   ocarina/src/backends/ocarina-backends-po_hi_c-main.adb
   - Generate code compliant with compcert





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

916b0c4b

05 Jun, 2011 1 commit

* Adapt the generated code so that it is now compliant with · a3fb360e

jdelange authored Jun 05, 2011

   compcert



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

a3fb360e

19 Apr, 2011 1 commit

* Add support for configuration variables passed by the user · d458a1a5

jhugues authored Apr 19, 2011

          by mean of the Type_Source_Name property



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

d458a1a5

21 Mar, 2011 1 commit

* ocarina/src/backends/ocarina-backends-properties.adb · 646774fb

julien.delange authored Mar 21, 2011

   - Fix error related to buildsupport
   - Fix bug #121



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

646774fb

18 Mar, 2011 1 commit

* ocarina/src/backends/ocarina-backends-properties.adb · d0dda5bd

julien.delange authored Mar 18, 2011

   - Do not expect to have a bound bus when we use xtratum

 * ocarina/src/backends/ocarina-backends-build_utils.adb
   ocarina/src/backends/ocarina-backends-po_hi_c-naming.adb
   ocarina/src/backends/ocarina-backends-xtratum_conf-partition_table.adb
   ocarina/src/backends/ocarina-backends-xtratum_conf-channels.adb
   - Put the right name of the partition

 * ocarina/resources/AADLv2/components/processors/leon.aadl
   - Declare appropriate properties on generic components
     that declare an xtratum platform






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

d0dda5bd

17 Mar, 2011 1 commit

* Generate the Makefile that compile all partitions together · 12575f5e

julien.delange authored Mar 17, 2011

   and pack the final Xtratum binary.



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

12575f5e

11 Mar, 2011 1 commit

* Traceability of functions backend is now complete · 42dbdaef

julien.delange authored Mar 11, 2011



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

42dbdaef

10 Mar, 2011 1 commit

* begin to implementation traceability matrix for functional part · 6f1e23f2

julien.delange authored Mar 10, 2011

   of the system



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

6f1e23f2

21 Feb, 2011 1 commit

* ocarina/src/backends/ocarina-backends-properties.adb · 4f3afcf3

julien.delange authored Feb 21, 2011

   ocarina/src/backends/ocarina-backends-properties.ads
   ocarina/src/backends/ocarina-backends-po_hi_c.adb
   ocarina/src/backends/ocarina-backends-po_hi_c-deployment.adb
   ocarina/resources/deployment.aadl
     - Update AADL properties and properties handling
       so that we can define xenomai targets



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

4f3afcf3

17 Feb, 2011 1 commit

* ocarina/src/core/tree/ocarina-me_aadl-aadl_instances-nutils.ads · f0d16166

julien.delange authored Feb 17, 2011

   ocarina/src/core/tree/ocarina-me_aadl-aadl_instances-nutils.adb
     - Add Is_Virtual_Processor function

 * ocarina/src/backends/ocarina-backends-xtratum_conf-mapping.adb
   ocarina/src/backends/ocarina-backends-xtratum_conf-mapping.ads
   ocarina/src/backends/ocarina-backends-xtratum_conf.adb
   ocarina/src/backends/ocarina-backends-xtratum_conf.ads
   ocarina/src/backends/ocarina-backends-xtratum_conf-hardware_description.adb
   ocarina/src/backends/ocarina-backends-xtratum_conf-hardware_description.ads
   ocarina/src/backends/ocarina-backends-xtratum_conf-system_description.adb
   ocarina/src/backends/ocarina-backends-xtratum_conf-system_description.ads
   ocarina/src/backends/ocarina-backends.adb
   ocarina/src/backends/ocarina-backends.ads
   - Begin to make the Xtratum XML configuration generator


 * ocarina/resources/deployment.aadl
   ocarina/resources/ocarina_config.aadl
   ocarina/resources/AADLv2/components/processors/leon.aadl
   - Update Ocarina properties to be able to generate xtratum code



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

f0d16166

08 Feb, 2011 1 commit

* backends/ocarina-backends-properties.adb · adeb9c2b

julien.delange authored Feb 08, 2011

   backends/ocarina-backends-properties.ads
     - Handle Activate_Entrypoint property

 * backends/ocarina-backends-po_hi_c-activity.adb
   - Now handle the Activate_Entrypoint property
     correctly.

 * backends/ocarina-backends-po_hi_c-main.adb
   - Fix Initialize_Entrypoint semantics according
     to the AADL standard.


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

adeb9c2b

22 Oct, 2010 1 commit

* ocarina/src/backends/ocarina-backends-properties.adb · f1f55451

julien.delange authored Oct 22, 2010

   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

f1f55451

17 Oct, 2010 1 commit

* ocarina/src/backends/ocarina-backends-properties.adb · b3c69d74

julien.delange authored Oct 17, 2010

   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

b3c69d74

14 Sep, 2010 1 commit

* Extend the instanciation mechanism for data component types: · 579cc85b

hugues.jerome authored Sep 14, 2010

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

579cc85b

31 Aug, 2010 1 commit

* (Get_Scheduling_Protocol): defend in case the property is · 4c710750

hugues.jerome authored Aug 31, 2010

	  defined, but the iterator does not find it.



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

4c710750

25 Aug, 2010 1 commit

* Add VxWorks to the list of supported platforms · 99bc765f

hugues.jerome authored Aug 25, 2010



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

99bc765f

28 Jul, 2010 1 commit

handle blackbox_device property · 95085299

julien.delange authored Jul 28, 2010

handle event ports



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

95085299

26 Jul, 2010 1 commit

add Language_Device as new implementation language · b475635c

julien.delange authored Jul 26, 2010

add acn as new encoding type



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

b475635c

10 Jul, 2010 1 commit

* Add the linux-specific distribution as a new platform · a20ff45a

julien.delange authored Jul 10, 2010

 * Add predefined component to handle the linux-specific distribution



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

a20ff45a

09 Jul, 2010 1 commit

* handle connection between processes and device, prototype · 9d256c1c

julien.delange authored Jul 09, 2010

   of the pci_minio card now works


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

9d256c1c

25 Jun, 2010 1 commit

update Ocarina to compile with GNAT GPL 2010 · 8d0a85fd

julien.delange authored Jun 25, 2010



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

8d0a85fd

22 Jun, 2010 1 commit

* Add AADL-to-Cheddar backend · b52871e4

hugues.jerome authored Jun 22, 2010


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

b52871e4

04 Jun, 2010 1 commit

handle x86_rtems platform · 472bf8e6

julien.delange authored Jun 04, 2010

handle x86_rtems endianess aspects




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

472bf8e6

03 Jun, 2010 2 commits

* Add alias SDL_RTDS alias for RTDS, SDL_ObjectGeode for SDL · 60f1b574
hugues.jerome authored Jun 03, 2010
```
git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@729 129961e7-ef38-4bb5-a8f7-c9a525a55882
```
60f1b574

* Add RTDS, VHDL, System_C as languages for Source_Language · 499208ed

hugues.jerome authored Jun 03, 2010

	  property



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

499208ed

26 May, 2010 1 commit

begin to generate message content · 462a3d50

julien.delange authored May 26, 2010


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

462a3d50

10 May, 2010 1 commit

generate initialization arguments for device drivers · 44465353

julien.delange authored May 10, 2010

device devices enumerator
extract port/channel/deployment information and use it for initialization
purposes



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

44465353

04 May, 2010 1 commit
- * generate function calls that use the driver sender function · 07d201ef
  julien.delange authored May 04, 2010
```
git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@549 129961e7-ef38-4bb5-a8f7-c9a525a55882
```
  07d201ef
03 May, 2010 1 commit

begin to generate driver content · 782df583

julien.delange authored May 03, 2010




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

782df583

29 Apr, 2010 1 commit

* Declare maccro for driver inclusion · f535edb6

julien.delange authored Apr 29, 2010

 * Get appropriate device when parsing a connection
 * Add Driver_Name property for macro generation



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

f535edb6

27 Apr, 2010 1 commit

* fix everything of the case-study rasta that broke the code · 04696050

julien.delange authored Apr 27, 2010

   generation



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

04696050

14 Apr, 2010 1 commit

import polyorb-hi-ada, polyorb-hi-c and ocarina · ba319702

julien.delange authored Apr 14, 2010



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

ba319702