ipc

ipc: Imperial PEPA Compiler. Over the last 10 years, the PEPA paradigm has become a popular choice among performance engineers for analysing quantities such as utilisation and throughput in their software and hardware designs. ipc is a tool that aims to extend PEPA’s modelling capability by allowing engineers to extract a larger number of performability measures (i.e. performance and reliability metrics) from their PEPA models. ipc compiles PEPA models (in the form of .pepa) files to Will Knottenbelt’s DNAmaca format (in the form of .mod) files. DNAmaca is well suited to this as it specialises disk-based (out-of-core) storage and analysis of very large systems. In particular, DNAmaca is adept at: analysing very large Markov models; producing passage-time distributions and reliability quantiles or bounds