Commits · b7a0b170306953fcaec33ef0f3c8280e5ae14852 · TASTE / Ocarina

28 Mar, 2011 1 commit

* ocarina/src/backends/ocarina-backends-po_hi_c-deployment.adb · b7a0b170

julien.delange authored Mar 28, 2011

   - Fix POK makefile to be able to compile IMA case studies

 * ocarina/src/backends/ocarina-backends-po_hi_c-runtime.ads
   ocarina/src/backends/ocarina-backends-pok_c-makefile.adb
   - Define symbols used by PolyORB-HI-C



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

b7a0b170

24 Mar, 2011 2 commits

* Manage the deployment::configuration property · afa200f9

hugues.jerome authored Mar 24, 2011



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

afa200f9

* Correctly print strings that contain the " character · a02fcf83

hugues.jerome authored Mar 24, 2011



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

a02fcf83

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 2 commits

* Put he kind of port for each partition port · ba0d219e

julien.delange authored Mar 18, 2011



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

ba0d219e

* 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 6 commits

* When computing cpu_name of an address space, return the name · 3d5f07d9

hugues.jerome authored Mar 17, 2011

	 of the instance



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

3d5f07d9

* Suppress duplicated DTD · 154e4f1e

hugues.jerome authored Mar 17, 2011



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

154e4f1e

* ocarina/src/backends/ocarina-backends-build_utils.adb · fc8af285

julien.delange authored Mar 17, 2011

   ocarina/src/backends/ocarina-backends-xtratum_conf-partition_table.adb
   ocarina/src/backends/ocarina-backends-xtratum_conf-hardware_description.adb
   - Adapt xml configuration metrics to be compliant
     with xtratum build system



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

fc8af285

* ocarina/src/backends/ocarina-backends-build_utils.adb · b05dbc7d

julien.delange authored Mar 17, 2011

   - Compile all partitions before generating the main module
     and the binary to be executed by TSIM



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

b05dbc7d

* 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

* ocarina/src/backends/ocarina-backends-xtratum_conf-partition_table.adb · 37b2e0e8

julien.delange authored Mar 17, 2011

   - Put the right name on partitions
 * ocarina/src/backends/ocarina-backends-po_hi_c.adb
   - Use Appli_Name to put the name of the module



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

37b2e0e8

16 Mar, 2011 1 commit

* ocarina/src/backends/ocarina-backends-po_hi_c-main.adb · 29c57189

julien.delange authored Mar 16, 2011

   - Properly declare the initialize function when the property
     points to a string



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

29c57189

15 Mar, 2011 2 commits

* ocarina/src/backends/ocarina-backends-po_hi_c.adb · 09c158b3

julien.delange authored Mar 15, 2011

 * ocarina/src/backends/ocarina-backends-po_hi_c-runtime.ads
   ocarina/src/backends/ocarina-backends-po_hi_c-main.adb
   - Add the __po_hi_initialize_early function



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

09c158b3

* remove linuxtaste platform, introduce xenomai · 70ed0103

julien.delange authored Mar 15, 2011



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

70ed0103

14 Mar, 2011 2 commits

* Add new keyword: "Root_System_Set", returns the root system · 88fec13b

hugues.jerome authored Mar 14, 2011

	 of the AADL instance



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

88fec13b

* Update reference output · 8978677f

hugues.jerome authored Mar 14, 2011



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

8978677f

11 Mar, 2011 2 commits

* fix declaration order of component in the traceability matrix · 29e2ac27
julien.delange authored Mar 11, 2011
```
git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2324 129961e7-ef38-4bb5-a8f7-c9a525a55882
```
29e2ac27

* 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 2 commits

finish layout for function traceability backend · 3109c140

julien.delange authored Mar 10, 2011



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

3109c140

* 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

08 Mar, 2011 1 commit

* Various updates for REAL: add Abstract_Set as additional · 04192a21

hugues.jerome authored Mar 08, 2011

pre-defined set, add support for properties that refer to
classifier, add debug information reporting on the content
of sets being built.

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

04192a21

23 Feb, 2011 2 commits

* Add support for Activate_Entrypoint, correct semantics of · 6966c89b

hugues.jerome authored Feb 23, 2011

          Initialize_Entrypoint



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

6966c89b

* Update reference output · aca22029

hugues.jerome authored Feb 23, 2011



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

aca22029

21 Feb, 2011 2 commits

* 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

* ocarina/src/core/common_files/utils.adb · 08c54117

julien.delange authored Feb 21, 2011

   ocarina/src/core/common_files/utils.ads
   - Add Remove_Char function

 * ocarina/src/backends/ocarina-backends-xtratum_conf-mapping.adb
   ocarina/src/backends/ocarina-backends-xtratum_conf-partition_table.adb
   ocarina/src/backends/ocarina-backends-xtratum_conf-hardware_description.adb
   ocarina/src/backends/ocarina-backends-xtratum_conf-channels.adb
   - Fix all bugs and other glitches so that the file can now be processed
     by Xtratum specific parsing tools.



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

08c54117

19 Feb, 2011 1 commit

* ocarina/src/backends/ocarina-backends-xtratum_conf-channels.adb · 25d0cc6f

julien.delange authored Feb 19, 2011

   - Complete the configuration of channels for xtratum



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

25d0cc6f

18 Feb, 2011 4 commits

* Map partitions channels and ports · 22279264

julien.delange authored Feb 18, 2011



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

22279264

* First draft of a complete xtratum xml configurator · 33765d3e

julien.delange authored Feb 18, 2011



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

33765d3e

* Map the XMHypervisor part of the XML configuration of Xtratum · ffc9a157
julien.delange authored Feb 18, 2011
```
git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@2157 129961e7-ef38-4bb5-a8f7-c9a525a55882
```
ffc9a157

* ocarina/src/backends/ocarina-backends-xtratum_conf-hardware_description.adb · 55bb8d1e

julien.delange authored Feb 18, 2011

   - Map Scheduling plan for the module



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

55bb8d1e

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.a...

f0d16166

11 Feb, 2011 1 commit

* ocarina/src/backends/ocarina-backends-po_hi_c-main.adb · 9f9b54a0

julien.delange authored Feb 11, 2011

   - avoid warning for initialization functions

 * ocarina/resources/AADLv2/components/devices/rasta-spacewire.aadl
   ocarina/resources/AADLv2/components/devices.aadl
   - Add the specification of the spacewire configuration type



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

9f9b54a0

10 Feb, 2011 3 commits

* Correct resolution of component instance in applies to · 78f952fc

hugues.jerome authored Feb 10, 2011

          clause



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

78f952fc

* Support parsing of record properties · e96a1411

hugues.jerome authored Feb 10, 2011

	* Update reference output for testsuite



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

e96a1411

* fix connectivity matrix backend · e23f9ce7

julien.delange authored Feb 10, 2011



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

e23f9ce7

09 Feb, 2011 3 commits

* ocarina/src/backends/ocarina-backends-po_hi_c.adb · 6871067e

julien.delange authored Feb 09, 2011

   - Adapt Makefile for multiple user sources dir

 * ocarina/src/backends/ocarina-backends-po_hi_c-deployment.adb
   - Avoid several configuration patterns (string and asn1 based)

 * ocarina/src/backends/ocarina-backends-c_common-mapping.adb
   - Adapt the external variable naming schema
     according to buildsupport





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

6871067e

* Add ASN1_Module_Name property · 826ff38c

julien.delange authored Feb 09, 2011

 * remove TASTE specific properties in devices library, use deployment name space instead



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

826ff38c

* Add Module_Name property within the deployment properties · c49404c8

julien.delange authored Feb 09, 2011

   and add it to ASN.1 data components



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

c49404c8

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