AIRBUS France COTRE Language Reference Manual F241-2

航空

游客，如果您要查看本帖隐藏内容请回复

航空

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
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@~