Paulo's professional page

Software

PEPS - Performance Evaluation of Parallel Software

  • Despite the name, this software is actually a solver for Stochastic Automata Networks models. Basically PEPS receives a .san file and computes the probability vector with transient or stationary with the model exact solution. The results are also delivered as integrations (weights, rewards, etc) over the resulting probability vector.
  • PEPS latest version is PEPS 2015 and further information on PEPS can be found here. Soon more information about PEPS will be available here.
  • A web service version (called PEPS 2011) is available at http://paleoprospec.pucrs.br:16000/peps2011/Dashboard.do
  • To cite PEPS 2015, use the reference below:
  • FERNANDES, P.; SALES, A.; ZANI, L. PEPS2015 - Stochastic Automata Networks Software Tool. 31st UK Performance Engineering Workshop (UKPEW 2015), Leeds, UK, 2015.

    Plat - Production Lines Analysis Tool

  • This software tool generates a SAN model describing a production line with unreliable stations, and solves it using PEPS or SAN Lite Solver. The user needs only to choose the parameters of its production line, and several predictions regarding model stationary solution are made available for each station, namely, throughput, buffer utilization, sojurn time and busy time.
  • A web service version for reliable product lines (without station pane and repair) is available at http://paleoprospec.pucrs.br:16000/plat/Dashboard.do
  • A web service version for unreliable product lines (with station pane and repair) is available at http://paleoprospec.pucrs.br:16000/bigplat/Dashboard.do
  • To cite PLAT, use the references below:
  • FERNANDES, P.; OKELLY, M. E. J.; PAPADOPOULOS, C. T.; SALES, A. Analysis of Exponential Reliable Production Lines using Kronecker Descriptors. International Journal of Production Research (JCR Impact Factor 1.477), v. 51, n.14, p. 4240-4257, 2013.
    FERNANDES, P.; OKELLY, M. E. J.; PAPADOPOULOS, C. T.; SALES, A. Analysis of Exponential Unreliable Production Lines using Kronecker Descriptors. In: 9th Stochastic Models of Manufacturing and Service Operations (SMMSO 2013), Kloster Seeon, Germany, 2013.

    MQNA - Markovian Queueing Networks Analyser

  • MQNA is a software tool to model and obtain the stationary solution of a large class of Queueing Networks. It can directly solve open and closed product-form queueing networks using classic algorithms. For finite capacity queueing models, MQNA generates Markovian description in Stochastic Automata Networks (SAN) and Stochastic Petri Nets (SPN) formalisms. Such description can be exported to PEPS (Performance Evaluation of Parallel Systems) and SMART (Stochastic Model checking Analyzer for Reliability and Timing) software tools that can solve SAN and SPN models respectively.
  • A linux version of MQNA is available at http://www.inf.pucrs.br/~paulof/mqna_linux_v2.1.tar
  • A windows version of MQNA is available at http://www.inf.pucrs.br/~paulof/mqna_windows.exe
  • SOLITER

  • SOLITER - Iterative Solution of Linear Systems. In portuguese: Solução Iterativa para Sistemas Lineares The main objective of SOLITER is to facilitate the solution of small linear systems using iterative methods. SOLITER may be applied to the solution of Markov Chains since the input can be the related transition matrix or infinitesimal generator. The input is a matrix in Harwell-Boeing Format representing the model.
  • A windows version of SOLITER is available at http://www.inf.pucrs.br/~paulof/soliter_windows.exe




  • "Everything should be made as simple as possible,
    but not simpler."
    Albert Einstein.