Commits · faf7e861b5172aa9677437a8f9554d7508372ff9 · TASTE / Ocarina

08 Jun, 2011 2 commits

* Ignore invalid characters when scanning raw text · faf7e861

jhugues authored Jun 08, 2011



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

faf7e861

* (Perform_Annex_Action): Correct the name of the BA annex · 58abbd69

jhugues authored Jun 08, 2011



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

58abbd69

06 Jun, 2011 6 commits

* Make the ARINC653 XML configuration back-end visible · 07b334ef

jhugues authored Jun 06, 2011



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

07b334ef

* Add support for abstract features · 16405607

jhugues authored Jun 06, 2011



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

16405607

* Add support for ROUND_ROBIN_PROTOCOL · 36d69797

jhugues authored Jun 06, 2011



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

36d69797

* New command line parameter -real_theorem to force the name · 34997f8d

jhugues authored Jun 06, 2011

           of one theorem to be analysed 

       * Minor reformatting and bugfixes when manipulating trees            



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

34997f8d

* Correct predicates used for Bound_Bus, · 1b683e20

jhugues authored Jun 06, 2011

	  minor reformatting


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

1b683e20

* Minor reformatting · 9d99349f

jhugues authored Jun 06, 2011



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

9d99349f

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

30 May, 2011 2 commits

* Add a others alternative to close th Naming_Table_List, · c5be2d80

jhugues authored May 30, 2011

	  this is required in case some processes are not connected to
	  this bus.



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

c5be2d80

* Minor reformatting · 568f9949

jhugues authored May 30, 2011



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

568f9949

02 May, 2011 1 commit

* Complete list of properties for GRSPW driver · 800350c4

jhugues authored May 02, 2011


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

800350c4

20 Apr, 2011 1 commit

* Update driver library to match requirements for the ASN.1-based · b1c951cf

jhugues authored Apr 20, 2011

	configuration mechanism



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

b1c951cf

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

06 Apr, 2011 2 commits

* Update reference output · c026bf85

jhugues authored Apr 06, 2011



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

c026bf85

* Add the Queue_Size in the deployment information only · 44c43244

jdelange authored Apr 06, 2011

   for event ports.
   Fix sunseeker example.



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

44c43244

05 Apr, 2011 1 commit

* update programming_properties to fix issue of bug #007, · d3a15cb4

jdelange authored Apr 05, 2011

   comment #582.



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

d3a15cb4

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 1 commit

* 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