Formal Semantics of Behavior Specifications in the Architecture Analysis and Design Language Standard

被引：0

作者：

Besnard, Loic ^{[1
,2
]}

Gautier, Thierry ^{[1
,2
]}

Guy, Clement ^{[1
,2
]}

Le Guernic, Paul ^{[1
,2
]}

Talpin, Jean-Pierre ^{[1
,2
]}

Larson, Brian R. ^{[3
]}

Borde, Etienne ^{[4
]}

机构：

[1] INRIA, Rocquencourt, France

[2] IRISA, Rennes, France

[3] KSU, Manhattan, KS 66506 USA

[4] Telecom ParisTech, Paris, France

来源：

2016 IEEE INTERNATIONAL HIGH LEVEL DESIGN VALIDATION AND TEST WORKSHOP (HLDVT) | 2016年

关键词：

D O I：

暂无

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

In system design, an architecture specification or model serves, among other purposes, as a repository to share knowledge about the system being designed. Such a repository enables automatic generation of analytical models for different aspects relevant to system design (timing, reliability, security, etc.). The Architecture Analysis and Design Language (AADL) is a standard proposed by SAE to express architecture specifications and share knowledge between the different stakeholders about the system being designed. To support unambiguous reasoning, formal verification, high-fidelity simulation of architecture specifications in a model-based AADL design workflow, we have defined a formal semantics for the behavior specification of the AADL, the presentation of this semantics is the aim of this paper.

引用

页码：30 / 39

页数：10

共 50 条

[21] Formal approach to specifications in conceptual design
Kusiak, A.
Szczerbicki, E.
Journal of Mechanical Design - Transactions of the ASME, 1992, 114 (04): : 659 - 666
[22] A FORMAL APPROACH TO SPECIFICATIONS IN CONCEPTUAL DESIGN
KUSIAK, A
SZCZERBICKI, E
JOURNAL OF MECHANICAL DESIGN, 1992, 114 (04) : 659 - 666
[23] Combining formal specifications with design by contract
Valle, Begona Moros
Ros, Joaquin Nicolas
Molina, Jesus Garcia
Toval Alvarez, Jose Ambrosio
JOOP - Journal of Object-Oriented Programming, 2000, 12 (09): : 16 - 21
[24] Faster analysis of formal specifications
Bouquet, F
Legeard, B
Utting, M
Vacelet, N
FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 239 - 258
[25] A generic OO architecture language for semantics analysis of OO specification
Xia, F
PROCEEDINGS OF THE 28TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATION CONFERENCE, WORKSHOP AND FAST ABSTRACTS, 2004, : 8 - 9
[26] ON THE DEVELOPMENT OF A STANDARD FOR CONFORMANCE TESTING BASED ON FORMAL SPECIFICATIONS
HOGREFE, D
COMPUTER STANDARDS & INTERFACES, 1992, 14 (03) : 185 - 190
[27] ON THE DEVELOPMENT OF A STANDARD FOR CONFORMANCE TESTING BASED ON FORMAL SPECIFICATIONS
HOGREFE, D
IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 3 : 59 - 66
[28] FEATURES, AKA THE SEMANTICS OF A FORMAL LANGUAGE OF MANUFACTURING
BROWN, KN
MCMAHON, CA
WILLIAMS, JHS
RESEARCH IN ENGINEERING DESIGN, 1995, 7 (03) : 151 - 172
[29] A formal semantics of the MULTI-ML language
Allombert, Victor
Gava, Frederic
Tesson, Julien
2018 17TH INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED COMPUTING (ISPDC), 2018, : 180 - 187
[30] A Formal Semantics for a Quality of Service Contract Language
Braga, Christiano
Chalub, Fabricio
Sztajnberg, Alexandre
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 203 (07) : 103 - 120

← 1 2 3 4 5 →