The Computational Modeling Work-Bench can be accessed by the following link.
Go to the CMWB
Models-of-computation are the foundation building blocks of a model-based, or model-driven, design process and the design-automation methods that deliver such a process.
The Computational Modeling Workbench is an educational tool and a playground for some of the most basic models of computation: regular languages (Finite Automata, Regular Expressions, Linear Temporal Logic); Discrete-Time Markov Chains; Timed Dataflow and Max-plus-linear Algebra.
The Computational Modeling Work-Bench is developed by the Model-Based Design Lab
Also see our GitHub page: Model-Based-Design-Lab on GitHub
The Computational Modeling Workbench (CMWB) is an educational tool and experimental playground for some of the most basic models of computation:
- Finite Automata
- Regular Expressions
- Linear Temporal Logic
- Discrete-Time Markov Chains
- Timed Dataflow
- Max-plus-linear Algebra
dataflow graph LittleXCPS {
inputs inBottom, inTop
outputs out
// inputs
inBottom -------> InB
inTop -------> InT
// input coordination tops and bottoms
InB[0] -------> Pass1
Pass1[1] -- 1 --> InT
InT[0] -------> Pass2
Pass2[1] -------> InB
// bottom piece pipeline
InB -------> BB
BB[4] -------> Rot
Rot[2] -- 1 --> PaP
PaP[3] -------> Exit
BB -------> Exit
PaP -------> Rot
// top piece pipeline
InT -------> BT
BT[7] -------> PaP
// the output
Exit[6] ---> out
}
input signals
inBottoms = [0, -inf, -inf, -inf, -inf]
inTops = [0, -inf, -inf, -inf, -inf ]Analysis Output
The throughput analysis of the graph LittleXCPS is as follows.
Throughput:
0.2