SHARPE

SHARPE, (Symbolic Hierarchical Automated Reliability and Performance Evaluator) is a tool for specifying and analyzing performance, reliability and performability models. It has been installed at over 250 sites. It is a toolkit that provides a specification language and solution methods for most of the commonly used model types for performance, reliability and performability modeling. Model types include combinatorial one such as fault-trees and queuing networks and state-space ones such as Markov and semi-Markov reward models as well stochastic Petri nets. Steady-state, transient and interval measures can be computed. Output measures of a model can be used as parameters of other models. This facilitates the hierarchical combination of different model types.


References in zbMATH (referenced in 39 articles )

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

1 2 next

  1. Bozzano, Marco; Cimatti, Alessandro; Mattarei, Cristian: Formal reliability analysis of redundancy architectures (2019)
  2. Hoque, Khaza Anuarul; Mohamed, Otmane Ait; Savaria, Yvon: Formal analysis of SEU mitigation for early dependability and performability analysis of FPGA-based space applications (2017)
  3. Seybold, Lothar; Witczak, Marcin; Majdzik, Paweł; Stetter, Ralf: Towards robust predictive fault-tolerant control for a battery assembly system (2015)
  4. Moon, Young-Joo; Silva, Alexandra; Krause, Christian; Arbab, Farhad: A compositional model to reason about end-to-end QoS in stochastic Reo connectors (2014)
  5. Munir, Arslan; Gordon-Ross, Ann; Ranka, Sanjay; Koushanfar, Farinaz: A queueing theoretic approach for performance evaluation of low-power multi-core embedded systems (2014)
  6. Sebastio, Stefano; Trivedi, Kishor S.; Wang, Dazhi; Yin, Xiaoyan: Fast computation of bounds for two-terminal network reliability (2014)
  7. Distefano, Salvatore; Longo, Francesco; Trivedi, Kishor S.: Investigating dynamic reliability and availability through state-space models (2012)
  8. Iacono, M.; Barbierato, E.; Gribaudo, M.: The simthesys multiformalism modeling framework (2012) ioport
  9. Parvin, Sazia; Hussain, Farookh Khadeer; Park, Jong Sou; Kim, Dong Seong: A survivability model in wireless sensor networks (2012)
  10. Araújo, Carlos; Maciel, Paulo; Zimmermann, Armin; Andrade, Ermeson; Sousa, Erica; Callou, Gustavo; Cunha, Paulo: Performability modeling of electronic funds transfer systems (2011) ioport
  11. Grottke, Michael; Apte, Varsha; Trivedi, Kishor S.; Woolet, Steve: Response time distributions in networks of queues (2011)
  12. Bazan, Peter; German, Reinhard: Approximate transient analysis of large stochastic models with WinPEPSY-QNS (2009)
  13. Distefano, Salvatore: How to capture dynamic behaviours of dependable systems (2009)
  14. Thein, Thandar; Park, Jong Sou: Availability analysis of application servers using software rejuvenation and virtualization (2009) ioport
  15. Cho, Jin-Hee; Chen, Ing-Ray; Eltoweissy, Mohamed: On optimal batch rekeying for secure group communications in wireless networks (2008) ioport
  16. Zimmermann, Armin: Stochastic discrete event systems. Modeling, evaluation, applications. (2008)
  17. Sharma, Rajiv Kumar; Kumar, Dinesh; Kumar, Pradeep: FM - a pragmatic tool to model, analyse and predict complex behaviour of industrial systems (2007)
  18. Guo, Hui; Wang, Yunpeng; Wang, Zhiguang; Zhou, Jingli: Improving network service performance and reliability via links trunking technologies (2006)
  19. Hallerstede, Stefan; Butler, Michael: Performance analysis of probabilistic action systems (2004)
  20. Vittorini, V.; Iacono, M.; Mazzocca, N.; Franceschinis, G.: The osmosys approach to multi-formalism modeling of systems (2004) ioport

1 2 next