Log in

Relevant bibliographies by topics / Architecture Analysis and Design Language (AADL)

Contents

Journal articles

Academic literature on the topic 'Architecture Analysis and Design Language (AADL)'

Author: Grafiati

Published: 4 June 2021

Last updated: 25 May 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Architecture Analysis and Design Language (AADL).'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Architecture Analysis and Design Language (AADL)"

1

Chen, Ya Qin, Dian Fu Ma, Ying Wang, and Xian Qi Zhao. "A Mapping Simulation of Code Generation for Partitioned System." Applied Mechanics and Materials 325-326 (June 2013): 1759–65. http://dx.doi.org/10.4028/www.scientific.net/amm.325-326.1759.

Full text

Abstract:

It is crucial for real-time embedded system to design and verify for a little fault may lead to a catastrophe. Architecture Analysis and Design Language (AADL) is a modeling language used to design and analysis the architecture of real-time embedded system based on Model Driven Architecture (MDA). Code generation of AADL model to codes running on the Real-time Operation System can avoid hand-writing mistakes and improve the efficiency of development. Partitioning is introduced into embedded system to control fault transmission. This paper presents a mapping approach to generate codes from AADL model for partitioned system, and the generated codes which include configuration codes and C codes will run on a partitioned platform.

APA, Harvard, Vancouver, ISO, and other styles

2

Hatcliff, John, Danielle Stewart, Jason Belt, Robby ., and August Schwerdfeger. "An AADL Contract Language Supporting Integrated Model- and Code-Level Verification." ACM SIGAda Ada Letters 42, no. 2 (2023): 45–54. http://dx.doi.org/10.1145/3591335.3591339.

Full text

Abstract:

Model-based systems engineering approaches support the early adoption of a model - a collection of abstractions - of the system under development. The system model can be augmented with key properties of the system including formal specifications of system behavior that codify portions of system and unit-level requirements. There are obvious gaps between the model with formally specified behavior and the deployed system. Previous work on component contract languages has shown how behavior can be specified in models defined using the Architecture Analysis and Design Language (AADL) - a SAE International standard (AS5506C). That work demonstrated the effectiveness of model-level formal methods specification and verification but did not provide a strong and direct connection to system implementations developed using conventional programming languages. In particular, there was no refinement of model-level contracts to programming language-level contracts nor a framework for formally verifying that program code conforms to model-level behavioral specifications. To address these gaps and to enable the practical application of model-contract languages for verification of deployed high-integrity systems, this paper describes the design of the GUMBO AADL contract language that integrates and extends key concepts from earlier contract languages. The GUMBO contract language (GCL) is closely aligned to a formal semantics of the AADL run-time framework, which provides a platform- and language- independent specification of AADL semantics. We have enhanced the HAMR AADL code generation framework to translate model-level contracts to programming language-level contracts in the Slang high-integrity language. We demonstrate how the Logika verification tool can automatically verify that Slang-based AADL component implementations conform to contracts, both at the code-level and model-level. Slang-based implementations of AADL systems can be executed directly or compiled to C for deployments on Linux or the seL4 verified microkernel.

APA, Harvard, Vancouver, ISO, and other styles

3

Tan, Yu, Yongwang Zhao, Dianfu Ma, and Xuejun Zhang. "A Comprehensive Formalization of AADL with Behavior Annex." Scientific Programming 2022 (January 4, 2022): 1–26. http://dx.doi.org/10.1155/2022/2079880.

Full text

Abstract:

In safety-critical fields, architectural languages such as AADL (Architecture Analysis and Design Language) have been playing an important role, and the analysis of the languages and systems designed by them is a challenging research topic. At present, a formal method has become one of the main practices in software engineering for strict analysis, and it has been applied on the tools of formalization and analysis. The formal method can be used to find and resolve the problems early by describing the system with precise semantics and validating the system model. This article studies the comprehensive formal specification and verification of AADL with Behavior annex by the formal method. The presentation of this specification and semantics is the aim of this article, and the work is illustrated with an ARINC653 model case study in Isabelle/HOL.

APA, Harvard, Vancouver, ISO, and other styles

4

Singhoff, Frank, Jerome Hugues, Hai Nam Tran, et al. "ADEPT 2022 workshop: a summary of strengths and weaknesses of the AADL ecosystem." ACM SIGAda Ada Letters 43, no. 1 (2023): 37–41. http://dx.doi.org/10.1145/3631483.3631485.

Full text

Abstract:

The Architecture Analysis and Design Language (AADL) is a SAE Standard for the modeling of both the hardware and the software of embedded systems. The AADL standard is now mature and is today employed by numerous stakeholders in the domain of critical embedded real-time systems to address a large set of concerns: performances (latency, schedulability), safety, or security, ... The ADEPT workshop aims to present and report on current projects in the field of design, implementation, and verification of critical systems where AADL is a first-citizen technology. This article is a summary of the ADEPT 2022 workshop.

APA, Harvard, Vancouver, ISO, and other styles

5

Bardaro, Gianluca, and Matteo Matteucci. "Modelling Robot Architectures with AADL." ACM SIGAda Ada Letters 43, no. 1 (2023): 59–63. http://dx.doi.org/10.1145/3631483.3631491.

Full text

Abstract:

Robots are complex systems composed of many interacting subsystems, each coordinating a multitude of hardware and software components. In the last twenty years, robotic frameworks helped accelerate the development process by providing a reference structure and publicly available software components. However, current practices are not sustainable for modern robotic systems. In this work, we present a modelling approach based on the Architecture Analysis and Design Language (AADL) to define robotic systems and enhance software development practices for robotics. Additionally, we exploit the model to perform automatic code generation, which reduces development time and guarantees a more reliable and robust implementation.

APA, Harvard, Vancouver, ISO, and other styles

6

YANG, Zhi-Bin, Lei PI, Kai HU, Zong-Hua GU, and Dian-Fu MA. "AADL: An Architecture Design and Analysis Language for Complex Embedded Real-Time Systems." Journal of Software 21, no. 5 (2010): 899–915. http://dx.doi.org/10.3724/sp.j.1001.2010.03700.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Wang, Ying, Jian Yong Wang, and Lei Wang. "A Transformation-Based Integrated Modular Avionics Software Model Construction Approach." Applied Mechanics and Materials 668-669 (October 2014): 343–46. http://dx.doi.org/10.4028/www.scientific.net/amm.668-669.343.

Full text

Abstract:

Modern avionic software usually runs on the ARINC653-compatible OS based on the Integrated Modular Avionics (IMA) architecture. Although existing ARINC653 annex of Architecture Analysis & Design Language (AADL) can be used to construct IMA models straightforward, it is still hard and error-prone work for avionics engineers because of the complexity of ARINC653 and manual modeling. Therefore, a hierarchical transformation-based approach is proposed to obtain correct IMA models step by step from general AADL models, rather than its ARINC653 annex. The typical transformation algorithm is given and a tool is also developed to help accomplish this approach automatically and effectively.

APA, Harvard, Vancouver, ISO, and other styles

8

Wei, Xiaomin, Yunwei Dong, Pengpeng Sun, and Mingrui Xiao. "Safety Analysis of AADL Models for Grid Cyber-Physical Systems via Model Checking of Stochastic Games." Electronics 8, no. 2 (2019): 212. http://dx.doi.org/10.3390/electronics8020212.

Full text

Abstract:

As safety-critical systems, grid cyber-physical systems (GCPSs) are required to ensure the safety of power-related systems. However, in many cases, GCPSs may be subject to uncertain and nondeterministic environmental hazards, as well as the variable quality of devices. They can cause failures and hazards in the whole system and may jeopardize system safety. Thus, it necessitates safety analysis for system safety assurance. This paper proposes an architecture-level safety analysis approach for GCPSs applying the probabilistic model-checking of stochastic games. GCPSs are modeled using Architecture Analysis and Design Language (AADL). Random errors and failures of a GCPS and nondeterministic environment behaviors are explicitly described with AADL annexes. A GCPS AADL model including the environment can be regarded as a game. To transform AADL models to stochastic multi-player games (SMGs) models, model transformation rules are proposed and the completeness and consistency of rules are proved. Property formulae are formulated for formal verification of GCPS SMG models, so that occurrence probabilities of failed states and hazards can be obtained for system-level safety analysis. Finally, a modified IEEE 9-bus system with grid elements that are power management systems is modeled and analyzed using the proposed approach.

APA, Harvard, Vancouver, ISO, and other styles

9

Yang, Zhibin, Zhikai Qiu, Yong Zhou, Zhiqiu Huang, Jean-Paul Bodeveix, and Mamoun Filali. "C2AADL_Reverse: A Model-Driven Reverse Engineering Approach for Development and Verification of Safety-Critical Software." ACM SIGAda Ada Letters 43, no. 1 (2023): 50–53. http://dx.doi.org/10.1145/3631483.3631488.

Full text

Abstract:

The safety-critical system communities have been struggling to manage and maintain their legacy software systems because upgrading such systems has been a complex challenge. To overcome or reduce this problem, reverse engineering has been increasingly used in safety-critical systems. This paper proposes C2AADL_Reverse, a model-driven reverse engineering approach for safety-critical software development and verification. C2AADL_Reverse takes multi-task C source code as input, and generates AADL (Architecture Analysis and Design Language) model of the legacy software systems. Compared with the existing works, this paper considers more reversed construction including AADL component structure, behavior, and multi-threaded run-time information. Moreover, two types of activities are proposed to ensure the correctness of C2AADL_Reverse. First, it is necessary to validate the reverse engineering process. Second, the generated AADL models should conform to desired critical properties. We propose the verification of the reverse-engineered AADL model by using UPPAAL to establish component-level properties and the Assume Guarantee REasoning Environment (AGREE) to perform compositional verification of the architecture. This combination of verification tools allows us to iteratively explore design and verification of detailed behavioral models, and to scale formal analysis to large models. In addition, the prototype tool and the evaluation of C2AADL_Reverse using a real-world aerospace case study are presented.

APA, Harvard, Vancouver, ISO, and other styles

10

Wang, Ying, and Lei Wang. "Automatic C Code Generation for Avionics Software Based on VxWorks653 Platform." Applied Mechanics and Materials 687-691 (November 2014): 3124–27. http://dx.doi.org/10.4028/www.scientific.net/amm.687-691.3124.

Full text

Abstract:

At present, model-driven development method has been gradually applied in safety-critical avionics software to improve reliability and productivity. Existing ARINC653 annex of the Architecture Analysis & Design Language (AADL) is used to model avionic software based on ARINC653-compatible OS, such as VxWorks653 commercial platform. In this paper, a refined C code generation algorithm is proposed to enable automatically generate VxWorks653-runnable code from the AADL ARINC653 models. Finally, a simplified autopilot system example is as a case study to show the validity of our approch.

APA, Harvard, Vancouver, ISO, and other styles

More sources

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!