Kevin Chalmers
Verifying the CPA Networking Stack using SPIN/Promela.
Chalmers, Kevin; Kerridge, Jon
Authors
Jon Kerridge
Contributors
Peter H Welch
Editor
Frederick R M Barnes
Editor
Jan F Broenink
Editor
Kevin Chalmers k.chalmers@napier.ac.uk
Editor
Jan B�kgaard Pedersen
Editor
Adam T Sampson
Editor
Abstract
This paper presents a verification of the CPA Networking Stack, using the SPIN Model Checker. Our work shows that the system developed for general networking within CPA applications works under the conditions defined for it. The model itself focuses on ensuring deadlock freedom, and work still needs to be undertaken to verify expected behaviour of the architecture.
Citation
Chalmers, K., & Kerridge, J. (2013). Verifying the CPA Networking Stack using SPIN/Promela. In P. H. Welch, F. R. M. Barnes, J. F. Broenink, K. Chalmers, J. B. Pedersen, & A. T. Sampson (Eds.), Communicating Process Architectures 2013 (39-56)
Conference Name | 35th WoTUG conference on concurrent and parallel programming |
---|---|
Start Date | Aug 25, 2013 |
End Date | Aug 28, 2013 |
Publication Date | 2013 |
Deposit Date | Nov 27, 2014 |
Peer Reviewed | Peer Reviewed |
Pages | 39-56 |
Book Title | Communicating Process Architectures 2013 |
ISBN | 978-0-9565409-7-3 |
Keywords | distributed systems; model checking; |
Public URL | http://researchrepository.napier.ac.uk/id/eprint/7339 |
You might also like
An aspect-oriented component-based approach to seamless web service composition
(2007)
Journal Article
Visual-spatial-motor integration in a cross-section of primary-aged children: implications for assessing risk of Dyslexia
(2015)
Presentation / Conference Contribution
Performance on a tablet-based visual-spatial-motor task is compromised in adults and children with dyslexia: implications for the development of a novel screening tool
(2014)
Presentation / Conference Contribution
Achieving smooth component integration with generative aspects and component adaptation.
(2006)
Presentation / Conference Contribution
Downloadable Citations
About Edinburgh Napier Research Repository
Administrator e-mail: repository@napier.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search