Modeling of Architectural Reconfiguration Case Study: Automated Teller Machine

Cherfia, Taha Abdelmoutaleb; Belala, Faïza; Benlahrache, Nadira

doi:10.1109/iwaise.2012.9

Cited by 2 publications

(2 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…These proposals are all based on AADL. [14] Behavior Verification Rolland [6] Behavior Verification Bomel [15] Behavior Verification Berthomieu [9] Behavior Verification Bodeveix [16] Behavior Verification Yang [17] [18] [13] Behavior Verification Belala [19] Behavior Verification Cherfia [20] Behavior Verification Jahier [12] [21,22] Behavior Verification Niz [23] Behavior Verification Monteverde [24] Behavior Verification Zheng [25] Behavior Verification Liu Bo [26] Schedulability Chkouri [5] [27] Schedulability Sokolsky-a [8] [28] Schedulability Zhou [29] Schedulability Hugues [30] Schedulability Liu Qian [31] Schedulability Li Zhensong [32] Timing Yu [33][34][35] [36]…”

Section: Proposals For Verification and Analysismentioning

confidence: 99%

See 1 more Smart Citation

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

Xu¹,

Lu²

2015

Proceedings of the 2015 International Conference on Education, Management, Information and Medicine

View full text Add to dashboard Cite

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 analysis of non-functional properties of AADL Model based on model transformation, presents a discussion from different perspectives of the state of the art, identifies open issue and presents some future work directions in the field.

show abstract

Section: Proposals For Verification and Analysismentioning

confidence: 99%

“…Cherfia's proposal [20] uses BRS (Bigraphical Reaction System) model to formalize AADL system dynamic architecture reconstruction and analysis embedded real-time systems.…”

Section: Proposals For Verification and Analysismentioning

confidence: 99%