University | Computer Science  

      Circus Family Tools ClawCircus 




ClawCircus

ClawCircus is a collection of Java-based tools with the primary function of generating Circus models from Simulink diagrams. They include the Circus Producer ― a tool that fully automates the translation from Simulink to Circus. Beyond this, ClawCircus is also a library of reusable components that forms the basis for the development of further tools that facilitate or extends the use of ClawZ, in particular within the scope and objectives of the "Programming From Control Laws" research project.

A prototype of the ClawCircus library can be downloaded as a gzipped tar file using the following links.

Note that at present we only support compilation under the Linux operating system. Compilation requires make to be available, and in order to run the Circus Producer we also assume nedit, latex and xdvi to be installed. We are currently working on a version that will also compile and effectively be usable under Windows. For instructions on compilation and use see the README.txt file in the archives.

The most recent version of the sources can be accessed via the following subversion repository:

https://svn.cs.york.ac.uk/svn/circus-czct

The Circus Producer was presented in a paper "Mechanised Translation of Control Laws Diagrams into Circus" at iFM 2009.

 

Publications:

  • F. Zeyda and A. Cavalcanti. Mechanised Translation of Control Law Diagrams into Circus. In M. Leuschel and H. Wehrheim, editors, Integrated Formal Methods, volume 5423 of LNCS, pages 151-166. Springer, February 2009.[Bib | PDF]
  • A. L. C. Cavalcanti and P. Clayton. Verification of Control Systems using Circus. In Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems, pages 269 - 278. IEEE Computer Society, 2006.[Bib | PDF]
  • A. L. C. Cavalcanti, P. Clayton, and C. O'Halloran. Control Law Diagrams in Circus. In J. Fitzgerald, I. J. Hayes, and A. Tarlecki, editors, FM 2005: Formal Methods, volume 3582 of Lecture Notes in Computer Science, pages 253 - 268. Springer-Verlag, 2005.[Bib | PDF]

Contacts:

 

   

       Department of Computer Science

       University of York, Deramore Lane, York, YO10 5GH, UK

       Tel: 01904 325500 | Fax:01904 325599                                                                                                                    Last updated on 27 April 2011