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


References in zbMATH (referenced in 12 articles )

Showing results 1 to 12 of 12.
Sorted by year (citations)

  1. Hayden, Richard A.; Stefanek, Anton; Bradley, Jeremy T.: Fluid computation of passage-time distributions in large Markov models (2012)
  2. Hayden, Richard A.; Bradley, Jeremy T.: A fluid analysis framework for a Markovian process algebra (2010)
  3. Benkirane, Soufiene; Hillston, Jane; Mccaig, Chris; Norman, Rachel; Shankland, Carron: Improved continuous approximation of PEPA models through epidemiological examples (2009)
  4. Benkirane, Soufiene; Hillston, Jane; Mccaig, Chris; Norman, Rachel; Shankland, Carron: Improved continuous approximation of PEPA models through epidemiological examples (2009)
  5. Bradley, Jeremy T.; Gilmore, Stephen T.; Hillston, Jane: Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models (2008)
  6. Clark, Allan; Gilmore, Stephen: State-aware performance analysis with extended stochastic probes (2008)
  7. Argent-Katwala, Ashok; Bradley, Jeremy T.: PEPA queues: capturing customer behaviour in queueing networks (2007)
  8. Argent-Katwala, Ashok; Bradley, Jeremy T.: PEPA queues: Capturing customer behaviour in queueing networks. (2007)
  9. Argent-Katwala, Ashok; Bradley, Jeremy T.: Functional performance specification with stochastic probes (2006)
  10. Bradley, Jeremy T.; Gilmore, Stephen T.: Stochastic simulation methods applied to a secure electronic voting model. (2006)
  11. Buchholtz, Mikael; Gilmore, Stephen T.; Hillston, Jane; Nielson, Flemming: Securing statically-verified communications protocols against timing attacks. (2005)
  12. Thomas, Nigel: Performability of a secure electronic voting algorithm. (2005)