WoTUG - The place for concurrent processes

Paper Details

@InProceedings{McEwanSchneider07,
  title = "{M}odeling and {A}nalysis of the {AMBA} {B}us {U}sing {CSP} and {B}",
  author= "McEwan, Alistair A. and Schneider, Steve",
  editor= "McEwan, Alistair A. and Schneider, Steve and Ifill, Wilson and Welch, Peter H.",
  pages = "379--398",
  booktitle= "{C}ommunicating {P}rocess {A}rchitectures 2007",
  isbn= "978-1-58603-767-3",
  year= "2007",
  month= "jul",
  abstract= "In this paper, we present a formal model and analysis of the
     AMBA Advanced High-performance Bus (AHB) on-chip bus. The
     model is given in
     CSP\textbar\textbarB\&\#8212;an integration of the process
     algebra CSP and the state-based formalism B. We describe the
     theory behind the integration of CSP and B. We demonstrate
     how the model is developed from the informal ARM
     specification of the bus. Analysis is performed using the
     model-checker ProB. The contribution of this paper may be
     summarised as follows: presentation of work in progress
     towards a formal model of the AMBA AHB protocol such that it
     may be used for inclusion in, and analysis of, co-design
     systems incorporating the bus, an evaluation of the
     integration of CSP and B in the production of such a model,
     and a demonstration and evaluation of the ProB tool in
     performing this analysis. The work in this paper was carried
     out under the Future Technologies for Systems Design Project
     at the University of Surrey, sponsored by AWE."
}

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.

Pages © WoTUG, or the indicated author. All Rights Reserved.
Comments on these web pages should be addressed to: www at wotug.org

Valid HTML 4.01!