search

heron-solver / heron

🏺 Simulation Solver for Timed Causality Models in TESL
MIT License
5 stars 1 forks source link

Missing information in TikZ output for ConcurrentComputations #62

Closed hai-nguyen-van closed 5 years ago

hai-nguyen-van commented 5 years ago 
compA sporadic 10
tag relation compA = 1 * CPU1t + 0
compA time delayed by 5 on CPU1t implies Aavail

compB sporadic 20
tag relation compB = 1 * CPU2t + 0
compB time delayed by 15 on CPU2t implies Bavail

Aavail sustained immediately from Bavail to compAB implies compAB
Bavail sustained immediately from Aavail to compAB implies compAB

compAB time delayed by 10 on CPU1t implies ABavail

@dumpres
@policy asap
@output tikz select compA CPU1t Aavail compB CPU2t Bavail compAB ABavail