曝光台 注意防骗
网曝天猫店富美金盛家居专营店坑蒙拐骗欺诈消费者
Mode mode
ModeTransition mode transition
Module package / Thread group / ?
The Module enables prioritisation of both the component declarations and their
instance, since COTRE does not contain the notion of instantiation. COTRE's
prioritisation requirement is therefore only partially covered by AADL. A structuring of
passive instances is missing.
OPCS1 - Leaving aside the AADL execution path definitions, cannot be exploited in practice
Operation subprogram
AADL introduces the customer/server nuances made necessary by the weakness of
the behavioral description. This can be deduced from the COTRE call graph.
Parameter subprogram parameter
Periodic thread
Process thread
Properties (contracts)3 -
Protected data
Check the AADL specific rules for definition of DATAs. Mutual exclusion is not
necessarily pertinent. Apart from that, the correspondence should be correct.
Sporadic thread
State1 -
State constraints1 -
Synchronization Constraints1 -
System_configuration system
The AADL system is bigger than the COTRE system, because it can be made up of
sub-systems.
Type data
Partial correspondence since AADL does not enable specific definition of types. It is
only a declaration, and the internal details are transfered to the subjacent
implementation language.
Idem for contracts
1 Covered by the COTRE.BEAHVIOR appendix
2 Covered by the COTRE.TYPE appendix
3 Covered by the COTRE.ASSUMES or COTRE.GUARANTEES appendices
The OPCS content is not dealt with as there is no AADL equivalent
Table 1 – Comparison of COTRE & AADL concepts
3.2 Language extension principles
Based on the differences identified between the COTRE concepts and the AADL language,
the SAE committee has defined mechanisms enabling the language to be extended
easily. Two structures are available to users:
- Properties: each element of the architecture (component or sub-component)
may be associated statically with name/value pairs. The name of these constants,
as well as their possible values and the elements they apply to shall
be defined in property sets.
THREAD IMPLEMENTATION t.t1
PROPERTIES
Period => 13.96ms;
thread_p::Priority => 1;
cotre::Phase => 0.0ms;
Dispatch_Protocol => Periodic;
ã AIRBUS France / IRIT / LAAS / ONERA/CT-DTIM / GET-Ecole Nationale Supérieure des Télécommunications de Bretagne / TNI-Valiosys - 2004
F241-2 Page 8/45
Compute_Entrypoint => "t_t1_ep";
…
- Appendices: this approach enables specific sections to be added to every
AADL component. The content of these sections is at the user’s discretion.
The tools shall simply ignore the content of unknown appendices, which ensures
that a minimum degree of compatibility is maintained between them.
SYSTEM IMPLEMENTATION ex_deadlock.default
ANNEX <nom> IS
<syntaxe libre>
END ANNEX <nom>;
END ex_deadlock.default;
4 COTRE Language Reference
Only the extensions that are specific to the COTRE language are described here. For
structures that are common to both COTRE & AADL, refer to [AADL].
4.1 Lexical elements
4.1.1 Key words
All the AADL elements are used by COTRE, and, in addition:
alive observational
array periodic_wait
before potentially
behavior reachable
branching receive
called reset
computation resume
delay send
equivalence skip
exceptions state
final states
import stop
inits timeout
integer transition
invariant transitions
language unavoidably
leads when
livelock
4.1.2 Operators
The following operators, in descending order of priority, line by line, are supported by
COTRE:
‘.’
‘-‘ et ‘+’ unaires NOT
'*' '/' modulo
'+' '-'
'<' '>' ‘<=’ ‘>=’
‘==’ ‘!=’
AND
OR
ã AIRBUS France / IRIT / LAAS / ONERA/CT-DTIM / GET-Ecole Nationale Supérieure des Télécommunications de Bretagne / TNI-Valiosys - 2004
F241-2 Page 9/45
With the exception of ‘-‘ and NOT which are right associative, all these operators are
left associative.
4.1.3 Case
The COTRE language does not take account of the case (upper or lower).
4.1.4 Identifiers and constants
The COTRE variable and status identifiers shall correspond to the rational expression
[a-z_][a-z0-9_]*.
Examples: Lionel_Terray_04
__baklawa__
etat_de_repos
The constants take the following form:
Whole ‘-‘?[0-9]+
中国航空网 www.aero.cn
航空翻译 www.aviation.cn
本文链接地址：
航空资料4(116)
