article · International Journal of Computer Applications · 2012

Model Checking BRS based AADL Specification

Nadira Benlahrache, Faïza Belala, Taha Abdelmoutaleb Cherfia

Cited by 3Open access

Abstract

Although the architecture description language AADL differs from other ADLs by its possibility to describe both hardware and software aspects of a system, it does not provide a formal notation for describing the deployment operation which is crucial in systems where hardware and software components are tightly coupled such as embedded systems. In this paper, we show the relevance of bigraphical reactive systems (BRS) to formalize the deployment operation of AADL architectures. The proposed approach allows, firstly a formal description of the two structures of AADL architectures, namely the platform and the application scenario, and secondly a natural modelization of the installation and the reconfiguration of AADL specification thanks to composition and transformaton operations of BRS. To validate the obtained model, we use a model checker dedicated to BRS.

Cite this paper

APA 7

Benlahrache, N., Belala, F., & Cherfia, T. A. (2012). Model Checking BRS based AADL Specification. International Journal of Computer Applications, 52(21), 43–52. https://doi.org/10.5120/8338-1955

MLA 9

Benlahrache, Nadira, et al. “Model Checking BRS based AADL Specification.” International Journal of Computer Applications, vol. 52, no. 21, 2012, pp. 43–52, https://doi.org/10.5120/8338-1955.

Chicago

Benlahrache, Nadira, Faïza Belala, and Taha Abdelmoutaleb Cherfia. 2012. “Model Checking BRS based AADL Specification.” International Journal of Computer Applications 52 (21): 43–52. https://doi.org/10.5120/8338-1955.

Harvard

Benlahrache, N., Belala, F. and Cherfia, T.A. (2012) ‘Model Checking BRS based AADL Specification’, International Journal of Computer Applications, 52(21), pp. 43–52. Available at: https://doi.org/10.5120/8338-1955.

BibTeX

@article{benlahrache2012model,
  title = {{Model Checking BRS based AADL Specification}},
  author = {Benlahrache, Nadira and Belala, Faïza and Cherfia, Taha Abdelmoutaleb},
  journal = {International Journal of Computer Applications},
  volume = {52},
  number = {21},
  pages = {43--52},
  year = {2012},
  doi = {10.5120/8338-1955}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.