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 条

[31] Formal semantics of an IoT-specific language
Cacciagrano, Diletta Romana
Culmone, Rosario
2018 32ND INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS WORKSHOPS (WAINA), 2018, : 579 - 584
[32] Codability and Robustness in Formal Natural Language Semantics
Liefke, Kristina
NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, JSAI-ISAI 2014, 2015, 9067 : 6 - 22
[33] Formal semantics of a classical-quantum language
Deng, Yuxin
Feng, Yuan
THEORETICAL COMPUTER SCIENCE, 2022, 913 : 73 - 93
[34] Formal semantics for an abstract agent programming language
Hindriks, KV
de Boer, FS
van der Hoek, W
Meyer, JJC
INTELLIGENT AGENTS IV: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, 1998, 1365 : 215 - 229
[35] The SAE architecture analysis & design language (AADL) A standard for engineering performance critical systems
Feiler, Peter H.
Lewis, Bruce A.
Vestal, Steve
2006 IEEE CONFERENCE ON COMPUTER-AIDED CONTROL SYSTEM DESIGN, VOLS 1 AND 2, 2006, : 302 - 307
[36] Formal Action Semantics for a UML Action Language
Yang, Mikai
Michaelson, Greg J.
Pooley, Rob J.
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2008, 14 (21) : 3608 - 3624
[37] FORMAL SEMANTICS OF THE UNIFIED MODELING LANGUAGE LU
HONG, SN
MANNINO, MV
DECISION SUPPORT SYSTEMS, 1995, 13 (3-4) : 263 - 293
[38] On the Formal Semantics of MiniMaple and its Specification Language
Khan, Muhammad Taimoor
10TH INTERNATIONAL CONFERENCE ON FRONTIERS OF INFORMATION TECHNOLOGY (FIT 2012), 2012, : 169 - 174
[39] TOWARD GENERATING SYSTEM ARCHITECURE AND FORMAL FUNCTIONAL DESCRIPTION IN THE ARCHITECTURE ANALYSIS & DESIGN LANGUAGE (AADL) WITH STRUCTURED NATURAL LANGUAGE
Chauhan, Anshumaan
Ganeriwala, Parth
Sen, Chiradeep
Bhattacharyya, Siddhartha
PROCEEDINGS OF ASME 2022 INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, IDETC-CIE2022, VOL 2, 2022,
[40] DESIGN OF A FORMAL ESTELLE SEMANTICS FOR VERIFICATION
BREDEREKE, J
GOTZHEIN, R
VOGT, FH
IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1993, 10 : 153 - 168

← 1 2 3 4 5 →