programming_properties.aadl 2.99 KB
Newer Older
jhugues's avatar
jhugues committed
1 2 3 4
--AADL2
--SAE Aerospace Standard AS5506A
--Proposed Draft (2008-11-08)
--Appendix A: Predeclared Property Sets
5

jhugues's avatar
jhugues committed
6 7 8
property set Programming_Properties is
	Activate_Entrypoint: classifier (subprogram classifier)
		applies to (thread, device);
9

jhugues's avatar
jhugues committed
10 11
	Activate_Entrypoint_Call_Sequence: reference (subprogram call sequence)
		applies to (thread, device);
12

jhugues's avatar
jhugues committed
13 14
	Activate_Entrypoint_Source_Text: aadlstring
		applies to (thread, device);
15

jhugues's avatar
jhugues committed
16 17
	Compute_Entrypoint: classifier (subprogram classifier)
		applies to (thread, device, subprogram access, event port, event data port);
18

jhugues's avatar
jhugues committed
19 20
	Compute_Entrypoint_Call_Sequence: reference (subprogram call sequence)
		applies to (thread, device, subprogram access, event port, event data port);
21

jhugues's avatar
jhugues committed
22 23
	Compute_Entrypoint_Source_Text: aadlstring
		applies to (thread, device, subprogram access, event port, event data port);
24

jhugues's avatar
jhugues committed
25 26
	Deactivate_Entrypoint: classifier (subprogram classifier)
		applies to (thread, device);
27

jhugues's avatar
jhugues committed
28 29
	Deactivate_Entrypoint_Call_Sequence: reference (subprogram call sequence)
		applies to (thread, device);
30

jhugues's avatar
jhugues committed
31 32
	Deactivate_Entrypoint_Source_Text: aadlstring
		applies to (thread);
33

jhugues's avatar
jhugues committed
34 35
	Finalize_Entrypoint: classifier (subprogram classifier)
		applies to (thread, device);
36

jhugues's avatar
jhugues committed
37 38
	Finalize_Entrypoint_Call_Sequence: reference (subprogram call sequence)
		applies to (thread, device);
39

jhugues's avatar
jhugues committed
40 41
	Finalize_Entrypoint_Source_Text: aadlstring
		applies to (thread, device);
42

jhugues's avatar
jhugues committed
43 44
	Initialize_Entrypoint: classifier (subprogram classifier)
		applies to (thread, device);
45

jhugues's avatar
jhugues committed
46 47
	Initialize_Entrypoint_Call_Sequence: reference (subprogram call sequence)
		applies to (thread, device);
48

jhugues's avatar
jhugues committed
49 50
	Initialize_Entrypoint_Source_Text: aadlstring
		applies to (thread, device);
51

jhugues's avatar
jhugues committed
52 53
	Recover_Entrypoint: classifier (subprogram classifier)
		applies to (thread, device);
54

jhugues's avatar
jhugues committed
55 56
	Recover_Entrypoint_Call_Sequence: reference (subprogram call sequence)
		applies to (thread, device);
57

jhugues's avatar
jhugues committed
58 59
	Recover_Entrypoint_Source_Text: aadlstring
		applies to (thread, device);
60

jhugues's avatar
jhugues committed
61
	Source_Language: inherit list of Supported_Source_Languages
62
		applies to (subprogram, data, thread, thread group, process, system, bus, device,
jhugues's avatar
jhugues committed
63
		processor, virtual processor, virtual bus);
64

jhugues's avatar
jhugues committed
65 66
	Source_Name: aadlstring
		applies to (data, port, subprogram, parameter, virtual bus, virtual processor);
67

jhugues's avatar
jhugues committed
68 69 70
	Source_Text: inherit list of aadlstring applies to (data,
		port, subprogram, thread, thread group, process,
		system, virtual bus, virtual processor, memory, bus,
71 72
		device, processor, parameter, feature group);
-- XXX not supported by Ocarina
jhugues's avatar
jhugues committed
73
--, aadl package);
74

jhugues's avatar
jhugues committed
75 76
	Supported_Source_Language: list of Supported_Source_Languages
		applies to (processor, virtual processor, system);
77

jhugues's avatar
jhugues committed
78
	Type_Source_Name: aadlstring
79 80 81
		applies to (data, port, subprogram, device); -- XXX used to apply on device, no longer true

	Hardware_Description_Source_Text: inherit list of aadlstring
jhugues's avatar
jhugues committed
82
		applies to (memory, bus, device, processor, system);
83

jhugues's avatar
jhugues committed
84 85
	Hardware_Source_Language: Supported_Hardware_Source_Languages
		applies to (memory, bus, device, processor, system);
86

jhugues's avatar
jhugues committed
87 88 89
	Device_Driver: classifier (abstract implementation)
		applies to (device);
end Programming_Properties;