A Survey On Verification And Analysis Of Non-Functional Properties Of AADL Model Based On Model Transformation

Xu, Biao; Lu, Minyan

doi:10.2991/emim-15.2015.146

Cited by 3 publications

(4 citation statements)

References 42 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Additionally, the increasing complexity and criticality of software and electronics, namely the embedded systems, required by advanced automotive functions have motivated the need for verifying system behaviors in EAST-ADL2 with the SPIN model checker (Feng et al, 2010). Moreover, the Architecture Analysis and Design Language (AADL) has been adopted as an industry standard for embedded real-time systems by the International Society for Automotive Engineers (SAE) in 2004, emphasizing the need for standardized approaches in the development of automotive embedded systems (Xu & Lu, 2015).…”

Section: Future Outlook and Emerging Trendsmentioning

confidence: 99%

The evolution of embedded systems in automotive industry: A global review

Sedat Sonko,

Cosmas Dominic Daudu,

Femi Osasona

et al. 2024

World J. Adv. Res. Rev.

View full text Add to dashboard Cite

The automotive industry has undergone a revolutionary transformation with the integration of embedded systems, marking a paradigm shift in vehicle design, performance, and safety. This global review explores the evolution of embedded systems in the automotive sector, encompassing the technological advancements, market trends, and the transformative impact on vehicle functionalities. Over the past few decades, the automotive landscape has witnessed a rapid integration of embedded systems to enhance vehicle intelligence and connectivity. These systems, ranging from Engine Control Units (ECUs) to Advanced Driver Assistance Systems (ADAS), have become pivotal in shaping the modern automotive experience. The review delves into the historical trajectory, starting from the early stages of simple control units to the sophisticated, interconnected systems prevalent in today's vehicles. The adoption of embedded systems has not been uniform across regions, and the review highlights the global trends and regional disparities in implementing these technologies. Different countries and automotive markets have exhibited diverse approaches, influenced by regulatory frameworks, consumer preferences, and the availability of infrastructure. Moreover, the review examines the symbiotic relationship between embedded systems and the emergence of electric and autonomous vehicles. As the automotive industry embraces sustainability and autonomy, embedded systems play a pivotal role in achieving these objectives by optimizing energy consumption, improving safety measures, and enabling seamless communication between vehicles and their environment. The challenges and opportunities associated with the evolution of embedded systems are also scrutinized, including cybersecurity concerns, standardization efforts, and the growing role of artificial intelligence in automotive applications. This comprehensive review contributes to a deeper understanding of the intricate dynamics between embedded systems and the automotive industry, providing valuable insights for researchers, industry professionals, and policymakers navigating the ever-evolving landscape of smart and connected vehicles.

show abstract

Section: Future Outlook and Emerging Trendsmentioning

confidence: 99%

The evolution of embedded systems in automotive industry: A global review

Sedat Sonko,

Cosmas Dominic Daudu,

Femi Osasona

et al. 2024

World J. Adv. Res. Rev.

View full text Add to dashboard Cite

show abstract

“…A more exhaustive list of analysis tools and transformations applicable to AADL models is available in [42].…”

Section: Background: Modeling and Analysis Of Real-time Architecturesmentioning

confidence: 99%

Towards the systematic analysis of non-functional properties in Model-Based Engineering for real-time embedded systems

Brau

Hugues

Navet

2018

Science of Computer Programming

View full text Add to dashboard Cite

The real-time scheduling theory provides analytical methods to assess the temporal predictability of embedded systems. Nevertheless, their use is limited in a Model-Based Systems Engineering approach. In fact, the large number of applicability conditions makes the use of real-time scheduling analysis tedious and error-prone. Key issues are left to the engineers: when to apply a real-time scheduling analysis? What to do with the analysis results? This article presents an approach to systematize and then automate the analysis of non-functional properties in Model-Based Systems Engineering. First, preconditions and postconditions define the applicability of an analysis. In addition, contracts specify the analysis interfaces, thereby enabling to reason about the analysis process. We present a proof-of-concept implementation of our approach using a combination of constraint languages (REAL for run-time analysis) and specification languages (Alloy for describing interfaces and reasoning about them). This approach is experimented on architectural models written with the Architecture Analysis and Design Language (AADL).

show abstract

“…For example, many transformations have been implemented to connect AADL models to analysis tools: real-time scheduling tools as MAST and Cheddar with the OCARINA tool suite [20] and MoSaRT [21]; model checkers as Uppaal [22], TINA [23]; dependability analyses [24]. A more exhaustive list of transformations applied to AADL models is available in a survey paper [9]. Yet, this approach suffers important limitations: multiple transformations to implement, difficulty to ensure the correctness of the transformation, etc.…”

Section: Related Workmentioning

confidence: 99%

“…Typically, a model transformation translates a model used for design in a first tool into a model used for analysis in a thirdparty tool. For instance, several model transformations have been implemented from AADL models to real-time scheduling tools [9]. Yet, we note important limitations with this approach: multiple transformations to implement, difficulty to ensure the correctness of the transformation, etc.…”

Section: Introductionmentioning

confidence: 99%

Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study

Brau

Navet

Hugues

2017

Proceedings of the 25th International Conference on Real-Time Networks and Systems

View full text Add to dashboard Cite

Brau, Guillaume and Navet, Nicolas and Hugues, Jérôme Heterogeneous models and analyses in the design of realtime embedded systems -an avionic case-study. (2017) ABSTRACTThe development of embedded systems according to Model-Driven Development relies on two complementary activities: system modeling on the one hand and analysis of the non-functional properties, such as timing properties, on the other hand. Yet, the coupling between models and analyses remains largely disregarded so far: e.g. how to apply an analysis on a model? How to manage the analysis process? This paper presents an application of our research on this topic. In particular, we show that our approach makes it possible to combine heterogeneous models and analyses in the design of an avionic system. We use two languages to model the system at different levels of abstraction: the industry standard AADL (Architecture Analysis and Design Language) and the more recent implementation-oriented CPAL language (Cyber-Physical Action Language). We then combine different real-time scheduling analyses so as to gradually define the task and network parameters and finally validate the schedulability of all activities of the system.

show abstract

A Survey On Verification And Analysis Of Non-Functional Properties Of AADL Model Based On Model Transformation

Cited by 3 publications

References 42 publications

The evolution of embedded systems in automotive industry: A global review

The evolution of embedded systems in automotive industry: A global review

Towards the systematic analysis of non-functional properties in Model-Based Engineering for real-time embedded systems

Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study

Contact Info

Product

Resources

About