夏普

SHARPE(符号分层自动可靠性和性能评估器)是一个用于指定和分析性能、可靠性和可执行性模型的工具。它已经安装在250多个地点。它是一个工具箱,为性能、可靠性和可执行性建模的大多数常用模型类型提供规范语言和解决方案方法。模型类型包括组合模型,如故障树和排队网络,状态空间模型,如马尔可夫和半马尔可夫奖励模型和随机Petri网。可以计算稳态、瞬态和间隔测量。一个模型的输出测度可以作为其他模型的参数。这有助于不同模型类型的分层组合。


zbMATH参考文献(39篇文章引用)

显示第1到第20个结果,共39个。
按年份排序(引用)
  1. Marco Bozzano;Cimatti,Alessandro;Mattarei,Cristian:冗余架构的形式可靠性分析(2019)
  2. Hoque,Khaza Anuarul;Mohamed,Otmane Ait;Savaria,Yvon:基于FPGA的空间应用早期可靠性和可执行性分析的SEU缓解形式分析(2017)
  3. Seybold,Lothar;Witchzak,Marcin;Majdzik,Paweł;Stetter,Ralf:电池装配系统的鲁棒预测容错控制(2015)
  4. Moon,Young Joo;Silva,Alexandra;Krause,Christian;Arbab,Farhad:随机Reo连接器端到端QoS推理的组合模型(2014)
  5. Munir,Arslan;Gordon Ross,Ann;Ranka,Sanjay;Koushanfar,Farinaz:低功耗多核嵌入式系统性能评估的排队论方法(2014)
  6. Sebastio,Stefano;Trivedi,Kishor S.;Wang,Dazhi;Yin,Xiaoyan:双端网络可靠性边界的快速计算(2014)
  7. Distefano,Salvatore;Longo,Francesco;Trivedi,Kishor S.:通过状态空间模型调查动态可靠性和可用性(2012)
  8. Iacono,M.;Barbierato,E.;Gribaudo,M.:simthesys多格式建模框架(2012)ioport公司
  9. Parvin,Sazia;Hussain,Farookh Khadeer;Park,Jong Sou;Kim,Dong Seong:无线传感器网络中的生存性模型(2012)
  10. Araújo,Carlos;Maciel,Paulo;Zimmermann,Armin;Andrade,Ermeson;Sousa,Erica;Callou,Gustavo;Cunha,Paulo:电子资金转账系统的可执行性建模(2011年)ioport公司
  11. Grottke,Michael;Apte,Varsha;Trivedi,Kishor S.;Woolet,Steve:队列网络中的响应时间分布(2011年)
  12. Bazan,Peter;German,Reinhard:用WinPEPSY QNS对大型随机模型的近似瞬态分析(2009)
  13. Salvatore动态捕捉系统(2009年)
  14. Thein,Thandar;Park,Jong Sou:使用软件复兴和虚拟化的应用服务器可用性分析(2009)ioport公司
  15. Cho,Jin Hee;Chen,Ing Ray;Eltowessy,Mohamed:无线网络中安全组通信的最优批量密钥更新(2008)ioport公司
  16. 阿明:随机离散事件系统。建模、评估、应用。(2008年)
  17. Sharma,Rajiv Kumar;Kumar,Dinesh;Kumar,Pradeep:FM——一种用于建模、分析和预测工业系统复杂行为的实用工具(2007年)
  18. 郭辉;王云鹏;王志光;周景丽:通过链路中继技术提高网络服务性能和可靠性(2006)
  19. Hallerstede,Stefan;Butler,Michael:概率作用系统的性能分析(2004)
  20. Vittorini,V.;Iacono,M.;Mazzoca,N.;Franceschinis,G.:系统多形式建模的osmosys方法(2004)ioport公司