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

Vls Minimum Safe Speed
Vmax Maximum Operating Speed In
Current Conditions
Vmo/Mmo Maximum Operating Limit Speed
VOR Very High Frequency Omnirange
Station
Vr Rotation Speed
XFR Transfer
ZFW Zero Fuel Weight
ZFWCG Zero Fuel Weight Centre of Gravity
APPENDICES
Airbus Series Vol.1
(c) 2007 Wilco Publishing www.wilcopub.com - www.FeelThere.com 99
Airbus Series Vol.1
F241-2 Page 1/45
COTRE Language Reference Manual
F241-2
Airbus France
TNI-Valiosys
E.N.S.T. Bretagne
I.R.I.T.
L.A.A.S.
O.N.E.R.A. - D.T.I.M.
Authors Jean Paul Bodeveix, Mamoun Filali, Pierre Gaufillet, Pierre Michel, François
Vernadat
Summary This document describes the structure & semantics of the COTRE language
based on AADL version 0.96.
Attention : la responsabilité des entreprises et des organismes ayant participé à l’élaboration
de ce document ne peut en aucun cas être engagée en cas de dommages ou
de pertes résultant de l’utilisation ou de l’exploitation des informations qui y sont contenues.
Disclaimer: Contractors participating to this report shall incur no liability whatsoever for
any damage or loss which may result from the use or exploitation of Information and/or
Rights contained in this report.
ã AIRBUS France / IRIT / LAAS / ONERA/CT-DTIM / GET-Ecole Nationale Supérieure des Télécommunications de Bretagne / TNI-Valiosys - 2004
F241-2 Page 2/45
Contents
Page
1 Preface.................................................................................................................... 3
1.1 Record of revisions............................................................................................ 3
1.2 References of applicable documents ............................................................... 4
1.3 Table of Abbreviations...................................................................................... 5
2 Introduction.............................................................................................................. 6
2.1 Purpose of the document.................................................................................. 6
2.2 Notation............................................................................................................. 6
3 COTRE & AADL....................................................................................................... 6
3.1 Comparison with AADL..................................................................................... 6
3.2 Language extension principles.......................................................................... 7
4 COTRE Language Reference.................................................................................. 8
4.1 Lexical elements................................................................................................ 8
4.1.1 Key words................................................................................................... 8
4.1.2 Operators.................................................................................................... 8
4.1.3 Case........................................................................................................... 9
4.1.4 Identifiers and constants............................................................................. 9
4.2 File importation ................................................................................................. 9
4.3 Data typing........................................................................................................ 9
4.3.1 Recognised types....................................................................................... 9
4.3.2 Simple data............................................................................................... 10
4.3.3 Structured data......................................................................................... 10
4.4 Behavior description ....................................................................................... 10
4.4.1 Overall behavior description .................................................................... 10
4.4.2 Behavior description operation by operation............................................ 11
4.4.3 Condition & synchronisation..................................................................... 11
4.4.4 Actions...................................................................................................... 11
4.4.5 Definition & initialisation of variables........................................................ 12
4.4.6 Behavioral automaton............................................................................... 12
　
中國航空網 www.k6050.com
航空翻譯 www.aviation.cn
本文鏈接地址：航空資料4(114)