没有合适的资源?快使用搜索试试~ 我知道了~
首页AADL Standard 2009
资源详情
资源评论
资源推荐
__________________________________________________________________________________________________________________________________________
SAE Technical Standards Board Rules provide that: “This report is published by SAE to advance the state of technical and engineering sciences. The use of this report is
entirely voluntary, and its applicability and suitability for any particular use, including any patent infringement arising therefrom, is the sole responsibility of the user.”
SAE reviews each technical report at least every five years at which time it may be reaffirmed, revised, or cancelled. SAE invites your written comments and suggestions.
Copyright © 2009 SAE International
All rights reserved. No part of this publication may be reproduced, stored in a retrieval system or transmitted, in any form or by any means, electronic, mechanical,
photocopying, recording, or otherwise, without the prior written permission of SAE.
TO PLACE A DOCUMENT ORDER: Tel: 877-606-7323 (inside USA and Canada)
Tel: 724-776-4970 (outside USA)
Fax: 724-776-0790
Email: custsvc@sae.org
SAE WEB ADDRESS: http://www.sae.org
SAE values your input. To provide feedback
on this Technical Report, please visit
http://www.sae.org/technical/standards/AS5506A
AEROSPACE
STANDARD
AS5506A
Issued 2004-11
Revised 2009-01
Superseding AS5506
(R) Architecture Analysis & Design Language (AADL)
RATIONALE
The language defined in SAE AS5506 has been refined and extended based on industrial experience with version 1.0
over the last 4 years. The improvements focus on better support for architecture templates and modeling of layered and
partitioned architectures.
This Architecture Analysis & Design Language (AADL) standard document was prepared by the SAE AS-2C Architecture
Description Language Subcommittee, Embedded Computing Systems Committee, Aerospace Avionics Systems Division.
Author:Gilligan-SID:9234-GUID:52133291-155.69.4.4
SAE AS5506A - 2 -
TABLE OF CONTENTS
1
SCOPE ........................................................................................................................................................................... 10
1.1 Purpose/Extent ....................................................................................................................................................... 10
1.2 Field of Application ................................................................................................................................................. 11
1.3 Structure of Document ............................................................................................................................................ 11
1.3.1 A Reader’s Guide ............................................................................................................................................ 11
1.3.2 Structure of Clauses and Subclauses ............................................................................................................. 13
1.4 Error, Exception, Anomaly and Compliance ........................................................................................................... 14
1.5 Method of Description and Syntax Notation ........................................................................................................... 16
1.6 Method of Description for Discrete and Temporal Semantics ................................................................................ 17
2 REFERENCES .............................................................................................................................................................. 22
2.1 Normative References ............................................................................................................................................ 22
2.2 Informative References........................................................................................................................................... 22
2.3 Terms and Definitions ............................................................................................................................................. 22
3 ARCHITECTURE ANALYSIS & DESIGN LANGUAGE SUMMARY ............................................................................. 23
4 COMPONENTS, PACKAGES, AND ANNEXES ........................................................................................................... 28
4.1 AADL Specifications ............................................................................................................................................... 28
4.2 Packages ................................................................................................................................................................ 30
4.3 Component Types .................................................................................................................................................. 34
4.4 Component Implementations .................................................................................................................................. 39
4.5 Subcomponents ...................................................................................................................................................... 45
4.6 Abstract Components ............................................................................................................................................. 52
4.7 Prototypes ............................................................................................................................................................... 55
4.8 Annex Subclauses and Annex Libraries ................................................................................................................. 59
5 SOFTWARE COMPONENTS ........................................................................................................................................ 62
5.1 Data ........................................................................................................................................................................ 62
5.1.1 Runtime Support For Shared Data Access ..................................................................................................... 65
5.2 Subprograms and Subprogram Calls ..................................................................................................................... 68
5.3 Subprogram Groups and Subprogram Group Types ............................................................................................. 75
5.4 Threads ................................................................................................................................................................... 77
5.4.1 Thread States and Actions .............................................................................................................................. 82
5.4.2 Thread Dispatching ......................................................................................................................................... 84
5.4.3 Thread Scheduling and Execution .................................................................................................................. 88
5.4.4 Execution Fault Handling ................................................................................................................................ 89
5.4.5 Thread Internal Modes and Mode Transitions ................................................................................................ 91
5.4.6 System Synchronization Requirements .......................................................................................................... 91
5.4.7 Asynchronous Systems ................................................................................................................................... 92
5.4.8 Runtime Support For Threads ......................................................................................................................... 93
5.5 Thread Groups ........................................................................................................................................................ 96
5.6 Processes ............................................................................................................................................................... 98
6 EXECUTION PLATFORM COMPONENTS ................................................................................................................ 102
6.1 Processors ............................................................................................................................................................ 103
6.2 Virtual Processors ................................................................................................................................................. 107
6.3 Memory ................................................................................................................................................................. 110
6.4 Buses .................................................................................................................................................................... 111
6.5 Virtual Buses ......................................................................................................................................................... 115
6.6 Devices ................................................................................................................................................................. 117
7 SYSTEM COMPOSITION ............................................................................................................................................ 122
7.1 Systems ................................................................................................................................................................ 122
Author:Gilligan-SID:9234-GUID:52133291-155.69.4.4
SAE AS5506A - 3 -
8 FEATURES AND SHARED ACCESS ......................................................................................................................... 125
8.1 Abstract Features ................................................................................................................................................. 127
8.2 Feature Groups and Feature Group Types .......................................................................................................... 128
8.3 Ports...................................................................................................................................................................... 132
8.3.1 Port Categories .............................................................................................................................................. 135
8.3.2 Port Input and Output Timing ........................................................................................................................ 136
8.3.3 Port Queue Processing ................................................................................................................................. 138
8.3.4 Events and Subprograms .............................................................................................................................. 139
8.3.5 Runtime Support For Ports ............................................................................................................................ 140
8.4 Subprogram and Subprogram Group Access ...................................................................................................... 143
8.5 Subprogram Parameters ...................................................................................................................................... 148
8.6 Data Component Access ...................................................................................................................................... 149
8.7 Bus Component Access ....................................................................................................................................... 152
9 CONNECTIONS .......................................................................................................................................................... 155
9.1 Feature Connections ............................................................................................................................................ 156
9.2 Port Connections .................................................................................................................................................. 158
9.2.1 Port Connection Characteristics .................................................................................................................... 163
9.2.2 Port Connection Topology ............................................................................................................................. 164
9.2.3 Connection Patterns for Component Arrays and Feature Arrays ................................................................. 164
9.2.4 Port Communication Timing .......................................................................................................................... 166
9.2.5 Sampled, Immediate, and Delayed Data Port Communication ..................................................................... 167
9.2.6 Semantic Port Connections and Port Queues .............................................................................................. 169
9.3 Parameter Connections ........................................................................................................................................ 170
9.4 Access Connections ............................................................................................................................................. 173
9.5 Feature Group Connections ................................................................................................................................. 176
10 FLOWS ..................................................................................................................................................................... 181
10.1 Flow Specifications ........................................................................................................................................... 182
10.2 Flow Implementations ....................................................................................................................................... 186
10.3 End-To-End Flows ............................................................................................................................................ 189
11 PROPERTIES .......................................................................................................................................................... 193
11.1 Property Sets .................................................................................................................................................... 193
11.1.1 Property Types .............................................................................................................................................. 194
11.1.2 Property Definitions ....................................................................................................................................... 198
11.1.3 Property Constants ........................................................................................................................................ 200
11.2 Predeclared Property Sets ................................................................................................................................ 201
11.3 Property Associations ....................................................................................................................................... 202
11.4 Property Expressions ........................................................................................................................................ 208
12 MODES AND MODE TRANSITIONS ...................................................................................................................... 215
13 OPERATIONAL SYSTEM ........................................................................................................................................ 223
13.1 System Instances .............................................................................................................................................. 223
13.2 System Binding ................................................................................................................................................. 224
13.3 System Startup .................................................................................................................................................. 228
13.4 Normal System Operation ................................................................................................................................. 229
13.5 System Operation Modes ................................................................................................................................. 229
13.6 System Operation Mode Transitions ................................................................................................................. 230
13.7 System-wide Fault Handling, Shutdown, and Restart ...................................................................................... 233
14 LAYERED SYSTEM ARCHITECTURES ................................................................................................................. 235
15 LEXICAL ELEMENTS .............................................................................................................................................. 237
15.1 Character Set .................................................................................................................................................... 237
15.2 Lexical Elements, Separators, and Delimiters .................................................................................................. 238
15.3 Identifiers ........................................................................................................................................................... 239
Author:Gilligan-SID:9234-GUID:52133291-155.69.4.4
SAE AS5506A - 4 -
15.4 Numerical Literals ............................................................................................................................................. 240
15.4.1 Decimal Literals ............................................................................................................................................. 240
15.4.2 Based Literals ................................................................................................................................................ 241
15.5 String Literals .................................................................................................................................................... 241
15.6 Comments ......................................................................................................................................................... 242
15.7 Reserved Words ............................................................................................................................................... 242
APPENDIX A PREDECLARED PROPERTY SETS ..................................................................................................... 244
A.1 Predeclared Deployment Properties ..................................................................................................................... 244
A.2 Predeclared Thread Properties ............................................................................................................................ 250
A.3 Predeclared Timing Properties ............................................................................................................................. 253
A.4 Predeclared Communication Properties ............................................................................................................... 260
A.5 Predeclared Memory Properties ........................................................................................................................... 264
A.6 Predeclared Programming Properties .................................................................................................................. 267
A.7 Predeclared Modeling Properties ......................................................................................................................... 273
A.8 Project-Specific Property Set ................................................................................................................................ 274
A.9 Predeclared Runtime Services ............................................................................................................................. 278
APPENDIX B GLOSSARY ............................................................................................................................................ 283
APPENDIX C SYNTAX SUMMARY ............................................................................................................................. 287
C.1 Constraints on Component Containment ............................................................................................................. 287
C.2 AADL Core Language Syntax Rules .................................................................................................................... 290
C.3 AADL Core Language Meta Model Element Identifiers ........................................................................................ 316
APPENDIX D GRAPHICAL AADL NOTATION ............................................................................................................ 320
D.1 Scope .................................................................................................................................................................... 320
D.2 AADL Graphical Symbols ..................................................................................................................................... 320
D.3 Implementation Suggestions ................................................................................................................................ 328
APPENDIX E AADL META MODEL AND XML SPECIFICATION ............................................................................... 330
APPENDIX F UNIFIED MODELING LANGUAGE (UML) PROFILE ............................................................................ 330
APPENDIX G PROFILES AND EXTENSIONS ............................................................................................................. 331
ANNEX DOCUMENT A CODE GENERATION ............................................................................................................... 332
ANNEX DOCUMENT B DATA MODELING ..................................................................................................................... 332
ANNEX DOCUMENT C ERROR MODEL ....................................................................................................................... 332
ANNEX DOCUMENT D BEHAVIOR MODEL .................................................................................................................. 332
ANNEX DOCUMENT E MINI ANNEXES ......................................................................................................................... 332
Annex E.1 Data Sets ................................................................................................................................................... 332
Author:Gilligan-SID:9234-GUID:52133291-155.69.4.4
SAE AS5506A - 5 -
Table of Figures
Figure 1 Example Semantic Connections ............................................................................................................................. 26
Figure 2 Component Type Extension Hierarchy ................................................................................................................... 34
Figure 3 Extension Hierarchy of Component Types and Implementations .......................................................................... 39
Figure 4 Component Containment Hierarchy ....................................................................................................................... 45
Figure 5 Thread States and Actions ..................................................................................................................................... 84
Figure 6 Thread Scheduling and Execution States............................................................................................................... 89
Figure 7 Performing Thread Execution with Recovery ......................................................................................................... 90
Figure 8 Process States and Actions .................................................................................................................................. 101
Figure 9 Processor States and Actions ............................................................................................................................... 106
Figure 10 Virtual Processor States and Actions ................................................................................................................. 109
Figure 11 Port Array in a Voting Pattern ............................................................................................................................. 127
Figure 12 Containment Hierarchy and Shared Access ....................................................................................................... 149
Figure 13 Shared Bus Access ............................................................................................................................................. 153
Figure 14 Semantic Port Connection .................................................................................................................................. 158
Figure 15 Connection Patterns in 2-Dimensional Component Array .................................................................................. 165
Figure 16 Sampling Data Port Connection ......................................................................................................................... 167
Figure 17 Timing of Immediate & Delayed Data Connections ............................................................................................ 168
Figure 18 Parameter Connections ...................................................................................................................................... 171
Figure 19 Semantic Access Connection For Data Components ........................................................................................ 173
Figure 20 Flow Specification & Flow Implementation ......................................................................................................... 181
Figure 21 Property Value Determination ............................................................................................................................. 207
Figure 22 System Instance States, Transitions, and Actions ............................................................................................. 229
Figure 23 System Mode Transition Semantics ................................................................................................................... 232
Figure 24 AADL Components Graphical Symbols .............................................................................................................. 320
Figure 25 Decorators on Threads ....................................................................................................................................... 321
Figure 26 Component Types and Implementations ............................................................................................................ 321
Figure 27 Subcomponents .................................................................................................................................................. 322
Figure 28 Component Implementation Content with Text Box ........................................................................................... 322
Figure 29 Components and Prototypes .............................................................................................................................. 322
Figure 30 Abstract Features, Ports and Connections ......................................................................................................... 323
Author:Gilligan-SID:9234-GUID:52133291-155.69.4.4
剩余332页未读,继续阅读
jiale_zhou
- 粉丝: 0
- 资源: 3
上传资源 快速赚钱
- 我的内容管理 收起
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
会员权益专享
最新资源
- c++校园超市商品信息管理系统课程设计说明书(含源代码) (2).pdf
- 建筑供配电系统相关课件.pptx
- 企业管理规章制度及管理模式.doc
- vb打开摄像头.doc
- 云计算-可信计算中认证协议改进方案.pdf
- [详细完整版]单片机编程4.ppt
- c语言常用算法.pdf
- c++经典程序代码大全.pdf
- 单片机数字时钟资料.doc
- 11项目管理前沿1.0.pptx
- 基于ssm的“魅力”繁峙宣传网站的设计与实现论文.doc
- 智慧交通综合解决方案.pptx
- 建筑防潮设计-PowerPointPresentati.pptx
- SPC统计过程控制程序.pptx
- SPC统计方法基础知识.pptx
- MW全能培训汽轮机调节保安系统PPT教学课件.pptx
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功
评论8