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

4.4.7 Exceptions................................................................................................ 13
4.4.8 Examples of behavoral sections .............................................................. 13
4.5 Expression of contracts................................................................................... 14
4.5.1 Assertions................................................................................................. 14
4.5.2 Behaviors.................................................................................................. 14
4.5.3 Environmental constraints........................................................................ 15
4.5.4 Operating guarantees............................................................................... 15
4.6 COTRE-specific property sets ........................................................................ 15
Table 1 – Comparison of COTRE & AADL concepts............................................. 7@~
Table 2 – Coverage of COTRE attributes............................................................ 16@~
ã AIRBUS France / IRIT / LAAS / ONERA/CT-DTIM / GET-Ecole Nationale Supérieure des Télécommunications de Bretagne / TNI-Valiosys - 2004
F241-2 Page 3/45
1 Preface
1.1 Record of revisions
Version Date Description & justification of the modifications Modified pages
1 05/03/2004 New document -
2 01/04/2004 Copyright update
Update of behavioral equivalences section
All
4.5.2
ã AIRBUS France / IRIT / LAAS / ONERA/CT-DTIM / GET-Ecole Nationale Supérieure des Télécommunications de Bretagne / TNI-Valiosys - 2004
F241-2 Page 4/45
1.2 References of applicable documents
Reference Title & Version Author or originator Year
AADL ARCHITECTURE ANALYSIS & DESIGN LANGUAGE
(AADL) AS5506
Version 0.96
SAE AS-2C 2004
Cprop1 COTRE properties COTRE team 2003
Cprop2 Properties and behaviours in AADL COTRE team 2003
F221 Rapport de description étendue du méta-modèle
A.Bouabdallah, Y.Kermarrec,
A.Schach
2003
ã AIRBUS France / IRIT / LAAS / ONERA/CT-DTIM / GET-Ecole Nationale Supérieure des Télécommunications de Bretagne / TNI-Valiosys - 2004
F241-2 Page 5/45
1.3 Table of Abbreviations
Abbreviation Description
AADL Avionic Architecture Description Language
COTRE COmposants Temps Réel Embarqués
OPCS OPeration Control Structure (concept HOOD)
SAE Society of Automotive Engineers
PCP Priority Ceiling Protocol
ã AIRBUS France / IRIT / LAAS / ONERA/CT-DTIM / GET-Ecole Nationale Supérieure des Télécommunications de Bretagne / TNI-Valiosys - 2004
F241-2 Page 6/45
2 Introduction
2.1 Purpose of the document
This manual describes the COTRE language. In particular, it contains a description of
the syntax and semantics of each construction, and a comparison between COTRE and
AADL.
2.2 Notation
The following notation system is used throughout this document:
- Generic elements, <xxx>,
- Optional elements, [xxx],
- Groups of elements, (xxx),
- A certain number of elements, xxx*,
- At least one element, xxx+.
The COTRE symbols which may be confused with the notation presented above shall
be shown in bold.
Example: UNITS ( … )
3 COTRE & AADL
3.1 Comparison with AADL
To ensure that the real time software architectures can be modeled as finely as necessary,
the COTRE project requires an ADL definition. Using a similar approach, the main
aim of the AADL project, led by the SAE AS-2C committee, is to define such a language.
The similar nature of the needs expressed has led us to study the correspondence
between the two approaches. The table below compares the concepts of the two
projects.
Exchanges between the COTRE & SAE teams have resulted in: the addition of
COTRE-specific requirements in the AADL language & the integration of AADL generalities
in the COTRE language.
ã AIRBUS France / IRIT / LAAS / ONERA/CT-DTIM / GET-Ecole Nationale Supérieure des Télécommunications de Bretagne / TNI-Valiosys - 2004
F241-2 Page 7/45
COTRE object AADL object Notes
Action1 -
Application process No notion of time partitioning
Attribute1 -
Automaton Modes modes subclause
Component Component type/implementation
AADL provides the concept of component type & component type implementation.
This notion is missing from COTRE.
Cyclic thread
Data2 - No internal data in AADL. This level should feature in a COTRE appendix.
Feature feature
　
中國航空網 m.k6050.com
航空翻譯 www.aviation.cn
本文鏈接地址：航空資料4(115)