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

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

10
11
	Activate_Entrypoint_Call_Sequence: reference (subprogram call sequence)
		applies to (thread, device);
12

13
14
	Activate_Entrypoint_Source_Text: aadlstring
		applies to (thread, device);
15

16
17
	Compute_Entrypoint: classifier (subprogram classifier)
		applies to (thread, device, subprogram access, event port, event data port);
18

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

22
23
	Compute_Entrypoint_Source_Text: aadlstring
		applies to (thread, device, subprogram access, event port, event data port);
24

25
26
	Deactivate_Entrypoint: classifier (subprogram classifier)
		applies to (thread, device);
27

28
29
	Deactivate_Entrypoint_Call_Sequence: reference (subprogram call sequence)
		applies to (thread, device);
30

31
32
	Deactivate_Entrypoint_Source_Text: aadlstring
		applies to (thread);
33

34
35
	Finalize_Entrypoint: classifier (subprogram classifier)
		applies to (thread, device);
36

37
38
	Finalize_Entrypoint_Call_Sequence: reference (subprogram call sequence)
		applies to (thread, device);
39

40
41
	Finalize_Entrypoint_Source_Text: aadlstring
		applies to (thread, device);
42

43
44
	Initialize_Entrypoint: classifier (subprogram classifier)
		applies to (thread, device);
45

46
47
	Initialize_Entrypoint_Call_Sequence: reference (subprogram call sequence)
		applies to (thread, device);
48

49
50
	Initialize_Entrypoint_Source_Text: aadlstring
		applies to (thread, device);
51

52
53
	Recover_Entrypoint: classifier (subprogram classifier)
		applies to (thread, device);
54

55
56
	Recover_Entrypoint_Call_Sequence: reference (subprogram call sequence)
		applies to (thread, device);
57

58
59
	Recover_Entrypoint_Source_Text: aadlstring
		applies to (thread, device);
60

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

65
66
	Source_Name: aadlstring
		applies to (data, port, subprogram, parameter, virtual bus, virtual processor);
67

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
73
--, aadl package);
74

75
76
	Supported_Source_Language: list of Supported_Source_Languages
		applies to (processor, virtual processor, system);
77

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
82
		applies to (memory, bus, device, processor, system);
83

84
85
	Hardware_Source_Language: Supported_Hardware_Source_Languages
		applies to (memory, bus, device, processor, system);
86

87
88
89
	Device_Driver: classifier (abstract implementation)
		applies to (device);
end Programming_Properties;