An Architecture-Based Verification Technique for AADL Specifications

Johnsen, Andreas; Pettersson, Paul; Lundqvist, Kristina

doi:10.1007/978-3-642-23798-0_11

Cited by 5 publications

(4 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Muccini et al present a continuation study for their previous work, in which a chemical abstract machine model is replaced by finite state process model, and the same process of the test model of the type labeled transition systems is generated. Johnsen et al present an ACAMBT approach based on architecture analysis and design language (AADL) and Uppaal Model (timed automata). Here, AADL is used for representing architecture and timed automata is used as a test model for generating test cases.…”

Section: Related Workmentioning

confidence: 99%

“…On the basis of the industrial context, our study presents an approach in which we make the assumption that the architecture is correct and that it is required to check whether the provided code conforms to the architecture. The assumption that the architecture is correct while the code needs to be aligned with the architecture has also been addressed in various different studies …”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Architecture conformance analysis using model‐based testing: A case study approach

Uzun

Tekinerdoğan

2018

Softw Pract Exp

View full text Add to dashboard Cite

Context:The architectural drift problem defines the discrepancy between the architecture description and the code. Deviations of the code from the architecture can occur if architectural constraints as defined in the architectural models are not implemented in the code. For large-scale systems, manually checking the consistency of the architecture with the code is not trivial and cumbersome.Objective: The overall objective of this paper is to propose and analyze the effectiveness and practicality of an architecture conformance analysis approach using model-based testing (ACAMBT) approach for checking the consistency between architectural models and the code. Hereby, we consider the case whereby the architecture is assumed correct, and the code needs to align with the architecture.Method: We propose a model-based testing that uses architectural views to automatically derive test cases for checking the architectural constraints in the code. We have evaluated the approach and the corresponding toolset for a real industrial case study using a systematic case study protocol. Further, we have adopted exhaustive fault-injection techniques to detect the constraint violations.Results: The evaluation of the approach on real code showed that deviations with the architectural constraints could be easily detected in the code. Conclusion:We can conclude that ACAMBT is effective for identifying inconsistencies between the architecture views and the code for the defined view constraints. Our survey study with practitioners showed that adopting the ACAMBT approach is practical and easy to use. The approach as such can be considered as a complimentary tool to the existing testing and reflexion modeling approaches.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Architecture conformance analysis using model‐based testing: A case study approach

Uzun

Tekinerdoğan

2018

Softw Pract Exp

View full text Add to dashboard Cite

show abstract

“…Thread dispatching, fixed-priority preemptive scheduling, port communication are supported. By using the verification technique proposed in [40], control-flow reachability, data-flow reachability and other properties can be verified by the UPPAAL tool.…”

Section: Related Workmentioning

confidence: 99%

Exploring AADL verification tool through model transformation

Zhang

Yang

et al. 2015

Journal of Systems Architecture

View full text Add to dashboard Cite

OATAO is an open access repository that collects the work of Toulouse researchers and makes it freely available over the web where possible. a b s t r a c tArchitecture Analysis and Design Language (AADL) is often used to model safety-critical real-time systems. Model transformation is widely used to extract a formal specification so that AADL models can be verified and analyzed by existing tools. Timed Abstract State Machine (TASM) is a formalism not only able to specify behavior and communication but also timing and resource aspects of the system. To verify functional and nonfunctional properties of AADL models, this paper presents a methodology for translating AADL to TASM. Our main contribution is to formally define the translation rules from an adequate subset of AADL (including thread component, port communication, behavior annex and mode change) into TASM. Based on these rules, a tool called AADL2TASM is implemented using Atlas Transformation Language (ATL). Finally, a case study from an actual data processing unit of a satellite is provided to validate the transformation and illustrate the practicality of the approach.

show abstract

“…Muccini et al [17] presents a continuation study for [59] in which CHAM model is replaced by finite state process (FSP) model and same process of test model of type LTS is generated. Johnsen et al [65] presents a ACAMBT approach based on architecture analysis and design language (AADL), and Uppaal Model (timed automata). AADL is used for representing architecture and timed automata is used as a test model for generating test cases.…”

Section: Related Workmentioning

confidence: 99%

Model-driven software architecture conformance analysis

Uzun¹

View full text Add to dashboard Cite

The software architecture of systems contains vital information for both functional and nonfunctional requirements of system stakeholders. Software systems are designed and implemented with respect to their architectures in mind. Hence, architecture conformance analysis is important to ensure that the implemented system has not deviated from the intended architecture and thus the requirements.Software architectures can be used when guiding software development, communicating between stakeholders, deciding on organizational structures and analysing software systems. Therefore, deviating from intended software architecture can create both organizational and system-wise flaws. Domain Driven AnalysisIn order to answer RQ3 in chapter 5, we adopted a domain-driven analysis methodology. A well-known process for analysing and modelling the current state of the art of a particular domain is domain analysis. Domain analysis is the process of identifying and capturing domain knowledge about the problem domain with the purpose of making it reusable when creating new systems [41][46][53][84]. The aforementioned domain refers to "an area of knowledge or activity characterized by a set of concepts and terminology understood by practitioners in that area". Like many application domains Big Data has become a very important driver for innovation and growth for e-government which aims to automate the public services to citizens. In general, e-government systems are often characterized as big data systems in which data storage and processing is one of the business-critical concerns. However, different features are required for different e-government systems, and likewise the corresponding big data architectures will need to be different as well. In this chapter, we present a systematic approach for the design of various big data architectures within the e-government domain. In this context, we adopt a big data reference architecture with a variability model for big data systems and e-government systems. We discuss the design decisions, the experiences and the lessons learned for deriving application architectures for different e-government systems.

show abstract

An Architecture-Based Verification Technique for AADL Specifications

Cited by 5 publications

References 3 publications

Architecture conformance analysis using model‐based testing: A case study approach

Architecture conformance analysis using model‐based testing: A case study approach

Exploring AADL verification tool through model transformation

Model-driven software architecture conformance analysis

Contact Info

Product

Resources

About