曝光臺 注意防騙 網曝天貓店富美金盛家居專營店坑蒙拐騙欺詐消費者

Component:heapsize Integer Source_Stack_Size size_range
Component:instance_of_generic String - Concept not supported by AADL
Component:isClass Boolean tous les composants sont des
classes
-
Component:name String Nom composant string
Component:ods String - Covered by the behavioral extensions
Component:size Integer Source_Code_Size size_range
Data:readOnly Boolean Data:Provided_Access
(read_only, write_only,
read_write,
by_method)
Data:value String - - Covered by the behavioral extensions
Feature:description String - - Documentary role
Feature:name String Nom sous-composant string
Feature:provided Boolean - -
The notion of protection only appears at the
level of package components. The features
are always public. This should not pose a
problem as far as COTRE is concerned. It is
simply necessary to divide the component
up into several sub-components, some of
which implement exported operations while
others supply internal operations.
Mode:isInitial Boolean Déclaration des modes -
Mode:mds String Semantics?
Mode:name String Déclaration des modes -
ModeTransition:condition String - - Documentary role
Operation:abstract Boolean -
Operation:budget Integer Semantics?
Operation:faultEventRate Float Semantics?
Operation:heapsize Integer Source_Stack_Size size_range
Operation:inherited Boolean construction inherits
Operation:size Integer Source_Code_Size size_range
Operation:wcet Float Subprogram_Execution_Time time_range
Parameter:mode_ EnumMode
Déclaration des sousprogrammes
: utilisation des
mots clefs IN, OUT et IN OUT.
-
Periodic:delta Float Semantics?
Periodic:period Float thread:Period time
Process:actif(h) Boolean implicite (thread) -
Process:deadline Float thread:deadline time
Process:priority Integer - -
Protected:ceiling_priority Integer - -
Sporadic:minTime Float - -
Type:predefine Boolean Source_Name string
Refers back to a source code declaration.
May therefore provide a link between a
COTRE type & an implemented type.
Type:values EnumValue - - Covered by the behavioral extensions
Table 2 – Coverage of COTRE attributes
The following properties are defined explicitly by the COTRE language:
Name Type Applies to Default
value
Notes
cotre::ceiling_priority integer DATA - Applies to DATA components
that are protected by the PCP
access protocol. Enables
definition of the priority taken
by the threads accessing data
during their critical section.
cotre::Description string All components &
sub-components
- Informal comments, requirement
traceability info. etc.
cotre::Min_Time time THREAD - Minimum time between 2 executions
of a sporadic thread.
cotre::Phase time THREAD 0.0s Period start time shifted for
periodic threads.
ã AIRBUS France / IRIT / LAAS / ONERA/CT-DTIM / GET-Ecole Nationale Supérieure des Télécommunications de Bretagne / TNI-Valiosys - 2004
F241-2 Page 17/45
cotre::Priority integer THREAD - Basic thread priority (semantics
depend on scheduling
strategy).
cotre::Protected boolean SUBPROGRAM false True if the sub-program executions
are exclusive with the
component’s other sub-programs;
false in the opposite
case.
cotre::Reentrant boolean SUBPROGRAM false True if the sub-program is
reentrant, false in the opposite
case.
ã AIRBUS France / IRIT / LAAS / ONERA/CT-DTIM / GET-Ecole Nationale Supérieure des Télécommunications de Bretagne / TNI-Valiosys - 2004
F241-2 Page 18/45
Annexe AGrammaire du langage
%token UNKNOWN_CHAR /* anything not recognized, to raise a parser error */
%token ACCESS
%token ANNEX_COTRE_ASSUMES
%token ANNEX_COTRE_BEHAVIOR
%token ANNEX_COTRE_GUARANTEES
%token ANNEX_COTRE_TYPE
%token ANNEX_UNKNOWN
%token APPLIES
%token BEHAVIOR
%token BINDING
%token BOOLEAN
%token BUS
%token CASE
%token CLASSIFIER
%token CLIENT
%token CLOSE_GOTO_NEXT /* ]-> */
%token COMPONENT
%token CONNECTIONS
%token CONSTANT
%token DATA
%token DELAYED_CONNECTION /* ->> */
%token DELTA
%token DEVICE
%token DOT_DOT /* .. */
%token DOUBLE_COLON /* :: */
%token END
%token END_ANNEX_COTRE_ASSUMES
%token END_ANNEX_COTRE_BEHAVIOR
%token END_ANNEX_COTRE_GUARANTEES
%token END_ANNEX_COTRE_TYPE
%token END_ANNEX_UNKNOWN
%token ENUMERATION
%token EVENT
%token EXTENDS
%token FALSE
%token FLOAT_LITERAL
　
中國航空網 www.k6050.com
航空翻譯 www.aviation.cn
本文鏈接地址：航空資料4(120)