Bus Finite State Machine (BusFSM) Plugin

Jump to: navigation, search


MOP Languages 3MOP Languages

MOP

Special:LogicRepository3MOP LogicRepository

FSM

ERE

CFG

PTLTL

LTL

PTCaRet

SRS

...

JavaMOP

JavaFSM

JavaERE

JavaCFG

JavaPTLTL

JavaLTL

JavaPTCaRet

JavaSRS

...

BusMOP

BusFSM

BusERE

...

BusPTLTL

... ... ... ...
... ... ... ... ... ... ... ... ...
MOP Matrix: a clickable map of MOP pages.


BusFSM is an instance of MOP for monitoring PCI Bus traffic and for FSM specifications. This instance is technically unnecessary, since one can simply run BusMOP with FSM specifications, which is precisely what the online interface below does. BusFSM has, however, conceptual (and potentially theoretical) value; many Bus users prefer to specify properties exclusively as finite state machines.

Funding

This work was supported in part by NSF grant CNS-0720512. Any opinions, findings, and conclusions or recommendations expressed in this web-site are those of the authors and do not necessarily reflect the views of the NSF.


Run BusFSM Online

Enter your specification or chose (and modify) one example from the menu - provided examples are also reachable from the menu of the main BusMOP interface. Click Run to run BusFSM.

Choose an example:
  • InterruptFix
  • NoDisableWhileConverting
  • SafeConversionSpeed
  • SafeCounterModify
  • SafeDivrModify
 

Please press the Run button once and wait; it may take a few seconds to run BusMOPFSM; the execution of BusMOPFSM using this web interface is limited to 2 minutes of CPU time and 500 MB of RAM.

Personal tools
Namespaces

Variants
Views
Actions
Navigation