![]() |
![]() |
Home | Conferences | Links | Reference | About | Search |
|
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.
Pages © WoTUG, or the indicated author. All Rights Reserved.
Comments on these web pages should be addressed to:
www at wotug.org