Commits · 6d1dd24445e9ed556fffa485e22a13bcfdc48c4e · TASTE / Ocarina

24 Aug, 2010 5 commits

added the FS_Default_Value property · 6d1dd244

maxime1008 authored Aug 24, 2010


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

6d1dd244

analysis now works for RMA case study · 827de43f

julien.delange authored Aug 24, 2010



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

827de43f

generated MAST files now parse · 39051125

julien.delange authored Aug 24, 2010



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

39051125

fix parsing errors with mast · 3df128dd

julien.delange authored Aug 24, 2010



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

3df128dd

map subprograms · 0997dedb

julien.delange authored Aug 24, 2010

map thread timing requirements



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

0997dedb

23 Aug, 2010 9 commits

fix function name for kbd · 097e3ee6

julien.delange authored Aug 23, 2010



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

097e3ee6

avoid warning when using the components library · 4e82b0e3

julien.delange authored Aug 23, 2010

add dummy bus



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

4e82b0e3

improve thread support, generate operations, transactions · 451b4bc5

julien.delange authored Aug 23, 2010



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

451b4bc5

begin to map thread for MAST · 093d03aa

julien.delange authored Aug 23, 2010


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

093d03aa

* Add "feature" to the list of keyword to highlight · 42146292

hugues.jerome authored Aug 23, 2010


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

42146292

* Minor reformatting · a7bed6cc

hugues.jerome authored Aug 23, 2010



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

a7bed6cc

* Add flag -o to overwrite existing reference files · 834588cd

hugues.jerome authored Aug 23, 2010



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

834588cd

add model browser to generate MAST entities · c6032e55

julien.delange authored Aug 23, 2010

begin to handle processor components



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

c6032e55

add code skel for mast model generator · e2f5ee5b

julien.delange authored Aug 23, 2010



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

e2f5ee5b

22 Aug, 2010 1 commit

add keyboard driver · e21d0ffb

julien.delange authored Aug 22, 2010



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

e21d0ffb

19 Aug, 2010 4 commits

fix some names to avoid conflicts in generated code · 4ecab7e7

julien.delange authored Aug 19, 2010



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

4ecab7e7

change some components definition to avoid name conflicts · 81e6e9ff

julien.delange authored Aug 19, 2010



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

81e6e9ff

update sockets driver according to new TASTE version · 39cc4908

julien.delange authored Aug 19, 2010



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

39cc4908

update component library to work with the new TASTE version · 99078ec0
julien.delange authored Aug 19, 2010
```
git-svn-id: https://tecsw.estec.esa.int/svn/taste/trunk/ocarina@1331 129961e7-ef38-4bb5-a8f7-c9a525a55882
```
99078ec0

18 Aug, 2010 2 commits

* (Retrived_Connection_End): add one path to retrieve the · bc04bb5d

hugues.jerome authored Aug 18, 2010

correct feature if the Referenced_Entity is not set in the
declarative tree.

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

bc04bb5d

* Minor reformatting · 6237a84e

hugues.jerome authored Aug 18, 2010


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

6237a84e

17 Aug, 2010 3 commits

* (Find_Instance): solve incorrect traversal when encountering · 20e97fcd

hugues.jerome authored Aug 17, 2010

	  a contained_element_path



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

20e97fcd

* Minor reformatting · 9718e5b9

hugues.jerome authored Aug 17, 2010



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

9718e5b9

fix taste properties according to ellidiss description · e1357b60

julien.delange authored Aug 17, 2010



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

e1357b60

13 Aug, 2010 1 commit

update taste properties · 3b500e84

julien.delange authored Aug 13, 2010



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

3b500e84

12 Aug, 2010 1 commit

added blackbox_device language in AADL v1 · b08b1cac

maxime1008 authored Aug 12, 2010


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

b08b1cac

10 Aug, 2010 2 commits

fix headers inclusion · e73852fb

julien.delange authored Aug 10, 2010



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

e73852fb

fix error for POHIC and mutexes · 5947a51a

julien.delange authored Aug 10, 2010



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

5947a51a

09 Aug, 2010 2 commits

revert previous patch on REAL · fb72cfb2

julien.delange authored Aug 09, 2010



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

fb72cfb2

* handle data declared in a process that have a · 2ce57e3a

julien.delange authored Aug 09, 2010

Concurrency_Control_Protocol property. Interpret them
as a mutex/semaphore and generate a simple protected variable

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

2ce57e3a

05 Aug, 2010 2 commits

add a release target · 32ad3474

julien.delange authored Aug 05, 2010


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

32ad3474

added ACN to assert_properties.aadl · d6fbad97

maxime1008 authored Aug 05, 2010


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

d6fbad97

31 Jul, 2010 1 commit

put all ocarina predefined components in one file to avoid all potential · 39c447bb

julien.delange authored Jul 31, 2010

conflicts with TASTE-DV



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

39c447bb

30 Jul, 2010 2 commits

merge processors and devices into a single file to avoid conflicts with · 207875f0

julien.delange authored Jul 30, 2010

TASTE-DV. Would find a better solution later.



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

207875f0

added GUI language · 9d6ef674

maxime1008 authored Jul 30, 2010


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

9d6ef674

29 Jul, 2010 1 commit

specify the scheduling protocol for TASTE-CV · 4e9d8fad

julien.delange authored Jul 29, 2010



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

4e9d8fad

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

* add device_blackbox · 46c17adb

julien.delange authored Jul 26, 2010



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

46c17adb

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

25 Jul, 2010 1 commit

Add support for Initialize_Entrypoint property in threads · e000c26d

julien.delange authored Jul 25, 2010



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

e000c26d