Proceedings of the 2015 International Conference on Education, Management, Information and Medicine 2015
DOI: 10.2991/emim-15.2015.146 View full text |Buy / Rent full text
|
|

Abstract: Abstract. Architecture Analysis and Design Language (AADL) is an architecture description language that has been adopted as an industry standard for embedded real-time systems by the International Society for Automotive Engineers (SAE) in 2004.To meet the need of verification and analysis of the AADL models, model transformation technologies are generally used to automatically extract a formal specification suitable for verification and analysis.This paper surveys the research and practice of verification and … Show more

Help me understand this report

Search citation statements

Order By: Relevance
Select...
1
1
1
0
3
0

Year Published

2017
2017
2018
2018

Publication Types

Select...
1
1

Relationship

0
2

Authors

Journals

0
3
0
Order By: Relevance
“…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
Create an account to read the remaining citation statements from this report. You will also get access to:
  • Search over 1.2b+ citation statments to see what is being said about any topic in the research literature
  • Advanced Search to find publications that support or contrast your research
  • Citation reports and visualizations to easily see what publications are saying about each other
  • Browser extension to see Smart Citations wherever you read research
  • Dashboards to evaluate and keep track of groups of publications
  • Alerts to stay on top of citations as they happen
  • Automated reference checks to make sure you are citing reliable research in your manuscripts
  • 7 day free preview of our premium features.

Trusted by researchers and organizations around the world

Over 130,000 students researchers, and industry experts at use scite

See what students are saying

rupbmjkragerfmgwileyiopcupepmcmbcthiemesagefrontiersapsiucrarxivemeralduhksmucshluniversity-of-gavle
“…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
“…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
“…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