Paper Details

%T Supporting Timed CSP Operators in CSP++
%A W. B. Gardner, Yuriy Solovyov
%E Peter H. Welch, Frederick R. M. Barnes, Kevin Chalmers, Jan Bækgaard Pedersen, Adam T. Sampson
%B Communicating Process Architectures 2012
%X CSP++ is an open\-source code synthesis tool consisting of a
   translator for a subset of CSPm and a C++ run\-time
   framework. Version 5.0 now supports Timed CSP
   operators\-\-timed interrupt, timed timeout, and
   timed prefix\-\-as well as untimed variants of interrupt and
   timeout, with only 1% additional execution and memory
   overhead, though using interrupts is more costly. We
   describe the implementation and performance of the
   new operators, illustrating their use with a robot\-vacuum
   cleaner case study. The tool thus becomes more useful for
   specifying the behaviour of soft real\-time systems, and
   generating a timing\-enabled executable program from its
   formal model.

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.