CASCADE: A Tool Kernel Supporting a Comprehensive Design Method for Asynchronous Controllers

CASCADE is a tool kernel that supports the synthesis of asynchronous controllers. It uses a generalized STG (an interpreted Petri net) as a unified design entry and allows the designer to choose between several appropriate design methods. It then transforms the initial specification into the design entry required by the chosen style, and interfaces with existing synthesis tools (petrify for SI circuits, 3D for XBM synthesis). By decomposition, certain problems involving output concurrency and MOC behaviour are made XBM-feasible.

[1]  Kjeld Høyer Mortensen,et al.  Modelling the Work Flow of a Nuclear Waste Management Program , 1994, Application and Theory of Petri Nets.

[2]  Peter Buchholz,et al.  Apnned -a Net Editor and Debugger within the Apnn Toolbox , 1998 .

[3]  Giovanni Chiola,et al.  GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets , 1995, Perform. Evaluation.

[4]  J. Davenport.  Editor , 1960 .

[5]  Stephen H. Unger,et al.  Asynchronous sequential switching circuits , 1969 .

[6]  Fabrice Kordon,et al.  FrameKit, an Ada framework for a fast implementation of CASE enviroments , 1998, ALET.

[7]  Y. Guiard.  Asymmetric division of labor in human skilled bimanual action: the kinematic chain as a model. , 1987, Journal of motor behavior.

[8]  Giovanni Chiola,et al.  Operational analysis of timed Petri nets and application to the computation of performance bounds , 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.

[9]  Jordi Cortadella,et al.  Petri Net Analysis Using Boolean Manipulation , 1994, Application and Theory of Petri Nets.

[10]  Luis Gomes,et al.  Hardware Design and Petri Nets , 2000 .

[11]  Wendy E. Mackay,et al.  Users and customizable software : a co-adaptive phenomenon , 1990 .

[12]  Giovanni Chiola,et al.  Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications , 1993, IEEE Trans. Computers.

[13]  Ralf Wollowski,et al.  Comprehensive Causal Specification of Asynchronous Controller and Arbiter Behaviour , 2000 .

[14]  Bernd Grahlmann,et al.  The State of PEP , 1999, AMAST.

[15]  Hartmann J. Genrich,et al.  Formal Verification of an Arbiter Cascade , 1992, Application and Theory of Petri Nets.

[16]  Marco Ajmone Marsan,et al.  Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications , 1993, IEEE Trans. Software Eng..

[17]  Giuliana Franceschinis,et al.  Parametric Stochastic Well-Formed Nets and Compositional Modelling , 2000, ICATPN.

[18]  Philippe A. Palanque,et al.  Formal Specification and Prototyping of CORBA Systems , 1999, ECOOP.

[19]  Tony DeRose,et al.  Toolglass and magic lenses: the see-through interface , 1993, SIGGRAPH.

[20]  Richard C. Holt,et al.  A framework for using formal methods in object-oriented software development , 1992, OOPS.

[21]  Jean-Daniel Fekete,et al.  Using the multi-layer model for building interactive graphical applications , 1996, UIST '96.

[22]  Michel Beaudouin-Lafon,et al.  Instrumental interaction: an interaction model for designing post-WIMP user interfaces , 2000, CHI.

[23]  Ole Lehrmann Madsen,et al.  Object-oriented programming in the BETA programming language , 1993 .

[24]  Lars Michael Kristensen,et al.  Design/CPN - A Computer Tool for Coloured Petri Nets , 1997, TACAS.

[25]  Wendy E. Mackay,et al.  Video artifacts for design: bridging the Gap between abstraction and detail , 2000, DIS '00.

[26]  Walter Vogler,et al.  An Improvement of McMillan's Unfolding Algorithm , 1996, Formal Methods Syst. Des..

[27]  Kurt Jensen.  Coloured Petri Nets , 1992, EATCS Monographs in Theoretical Computer Science.

[28]  William Buxton,et al.  User learning and performance with marking menus , 1994, CHI '94.

[29]  Lars Michael Kristensen,et al.  The practitioner’s guide to coloured Petri nets , 1998, International Journal on Software Tools for Technology Transfer.

[30]  David L. Dill,et al.  Synthesis of Asynchronous Controllers for Heterogeneous Systems , 1994 .

[31]  Ludmila Cherkasova,et al.  On scalable net modeling of OLTP , 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.

[32]  Alexandre Yakovlev,et al.  Hazard-free implementation of speed-independent circuits , 1998, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[33]  Janne Halme,et al.  PROD Reference Manual , 1995 .

[34]  Gert Scheschonk,et al.  Simulation and Analysis of a Document Storage System , 1994, Application and Theory of Petri Nets.

[35]  Philippe A. Palanque,et al.  A Petri Net based Environment for the Design of Event-driven Interfaces , 1995, Application and Theory of Petri Nets.

[36]  Giovanni Chiola,et al.  A symbolic simulation mechanism for well-formed coloured Petri nets , 1992, Annual Simulation Symposium.

[37]  Ajmone MarsanMarco,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984 .

[38]  Philippe A. Palanque,et al.  Petri Net Based Behavioural Specification of CORBA Systems , 1999, ICATPN.

[39]  Ben Shneiderman,et al.  Direct Manipulation: A Step Beyond Programming Languages , 1983, Computer.

[40]  Jonathan Billington,et al.  Designing and Verifying a Communications Gateway Using Coloured Petri Nets and Design/CPN , 1996, Application and Theory of Petri Nets.

[41]  Wendy E. Mackay,et al.  Reification, polymorphism and reuse: three principles for designing visual interfaces , 2000, AVI '00.

[42]  Jens Linneberg Rasmussen,et al.  Designing a Security System by Means of Coloured Petri Nets , 1996, Application and Theory of Petri Nets.

[43]  Kurt Jensen.  Second Workshop on Practical Use of Coloured Petri Nets and Design/CPN. , 1999 .

[44]  Torben Bisgaard Haagh,et al.  Optimis-ing a coloured Petri net simulator , 1994 .

[45]  Yves Guiard,et al.  Evaluating two-handed input techniques: rectangle editing and navigation , 1999, CHI EA '99.

[46]  Jeffrey D. Ullman.  Elements of ML programming , 1994 .

[47]  Wendy E. Mackay,et al.  Triggers and barriers to customizing software , 1991, CHI.

[48]  Giuliana Franceschinis,et al.  Towards performance analysis with partially symmetrical SWN , 1999, MASCOTS '99. Proceedings of the Seventh International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems.

[49]  Giuliana Franceschinis,et al.  The PSR Methodology: Integrating Hardware and Software Models , 1996, Application and Theory of Petri Nets.

[50]  Ralf Wollowski,et al.  From STG to extended-burst-mode machines , 1999, Proceedings. Fifth International Symposium on Advanced Research in Asynchronous Circuits and Systems.