Books Online
Not logged in
- Login
Not Signed In
You are here: Skip Navigation Links

Concurrent Systems Engineering Series
Volume 65, 2007
Communicating Process Architectures 2007 - WoTUG-30
Edited by Alistair A. McEwan, Steve Schneider, Wilson Ifill, Peter Welch
ISBN 978-1-58603-767-3

Design Principles of the SystemCSP Software Framework 207 - 228


Abstract

SystemCSP is a graphical design specification language aimed to serve as a basis for the specification of formally verifiable component-based designs. This paper defines a mapping from SystemCSP designs to a software implementation. The possibility to reuse existing practical implementations was analyzed. Comparison is given for different types of execution engines usable in implementing concurrent systems. The main part of the text introduces and explains the design principles behind the software implementation. A synchronization mechanism is introduced that can handle CSP kind of events with event ends possibly scattered on different nodes and OS threads, and with any number of participating event ends, possibly guarded by alternative constructs.


  Full Text PDF
Navigation
  Home
  Back
  Forward

Article
  Full Text PDF

$20.00 / € 15,00