航空论坛_航空翻译_民航英语翻译_飞行翻译

 找回密码
 注册
搜索
查看: 1455|回复: 1

AIRBUS France COTRE Language Reference Manual F241-2 [复制链接]

Rank: 9Rank: 9Rank: 9

发表于 2010-8-13 22:37:40 |显示全部楼层
游客,如果您要查看本帖隐藏内容请回复
附件: 你需要登录才可以下载或查看附件。没有帐号?注册

Rank: 9Rank: 9Rank: 9

发表于 2010-8-13 22:38:03 |显示全部楼层
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@~

使用道具 举报

您需要登录后才可以回帖 登录 | 注册


Archiver|航空论坛 ( 渝ICP备10008336号 )

GMT+8, 2024-3-29 16:02 , Processed in 0.031200 second(s), 13 queries .

Powered by Discuz! X2

© 2001-2011 MinHang.CC.

回顶部