Bus Extended Regular Expression (BusERE) Plugin

From FSL

Jump to: navigation, search


Private:MOP Languages Matrix
MOP Languages

MOP

Private:MOP Logic Repository Matrix
MOP LogicRepository
    

FSM

ERE

CFG

PTLTL

FTLTL

PTCaRet

...

JavaMOP

JavaFSM

JavaERE

JavaCFG

JavaPTLTL

JavaFTLTL

JavaPTCaRet

...

BusMOP

BusFSM

BusERE
...

BusPTLTL

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


BusERE is an instance of MOP for monitoring PCI Bus traffic and for ERE specifications. This instance is technically unnecessary, since one can simply run BusMOP with ERE specifications, which is precisely what the online interface below does. BusERE has, however, conceptual (and potentially theoretical) value; many Bus users prefer to specify properties exclusively as extended regular patterns. Enter your ERE specification in the form below or chose (and modify) one example from the menu - provided examples are also reachable from the menu of the main BusMOP interface. Go to BusMOP for instructions on how download

Note: if there are any technical difficulties please alert pmeredit@cs.uiuc.edu

Choose an example:
  • InterruptFix
  • SafeConversionSpeed
  • SafeCounterModify
 

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

Views
Personal tools