夏普

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


zbMATH中的参考文献(参考文献42条)

显示第1到第20个结果,共42个。
按年份排序(引用)
  1. 拉利,哈金德辛格;德巴蒂斯塔,库尔特;Bal,Jay:网络安全中攻击图和攻击树可视化语法述评(2020)
  2. 波扎诺,马可;亚历山德罗·西马蒂;Mattarei,Cristian:冗余架构的形式可靠性分析(2019)
  3. Provan,Gregory:使用max plus代数方法诊断混合动力系统(2018)
  4. 古普塔,万达那;达摩拉贾。;Arunachalam,Viswanathan:VoIP网络延迟分析的随机建模(2015)
  5. 塞博尔德,洛萨;维特扎克,马金;马吉兹克,帕维;Stetter,Ralf:电池装配系统的鲁棒预测容错控制(2015)
  6. 月亮,年轻的乔;席尔瓦,亚历山德拉;克劳斯,基督徒;Arbab,Farhad:随机Reo连接器端到端QoS推理的组合模型(2014)
  7. 穆尼尔,阿尔斯兰;戈登·罗斯,安;兰卡,桑杰;Koushanfar,Farinaz:低功耗多核嵌入式系统性能评估的排队论方法(2014)
  8. 塞巴斯蒂奥,斯特凡诺;特里维迪,基索尔S。;王大志;尹晓燕:双端网络可靠性界限的快速计算(2014)
  9. 迪斯特法诺,萨尔瓦托;朗戈,弗朗西斯科;Trivedi,Kishor S.:通过状态空间模型调查动态可靠性和可用性(2012)
  10. 亚科诺,M。;巴比亚托E。;Gribaudo,M.:simthesys多格式建模框架(2012)ioport公司
  11. 帕文,萨齐亚;侯赛因,法鲁克哈迪尔;朴钟秀;Kim,Dong Seong:无线传感器网络中的生存性模型(2012)
  12. 阿拉霍,卡洛斯;保罗,马西尔;阿明·齐默尔曼;安德拉德,埃米森;索萨,埃里卡;卡洛,古斯塔沃;库尼亚,保罗:电子资金转移系统的可执行性模型(2011)ioport公司
  13. 格罗特克,迈克尔;阿普特,瓦尔沙;特里维迪,基索尔S。;Steve Woolet:队列网络中的响应时间分布(2011)
  14. 古普塔,万达那;达摩拉贾。;龚明伟:无线局域网中TCP流的分析建模(2011)ioport公司
  15. 巴赞,彼得;German,Reinhard:用WinPEPSY QNS对大型随机模型的近似瞬态分析(2009)
  16. Distefano,Salvatore:如何捕捉可靠系统的动态行为(2009)
  17. 登,丹达;Park,Jong Sou:使用软件复兴和虚拟化的应用服务器可用性分析(2009)ioport公司
  18. 赵金喜;陈雷;Eltoweissy,Mohamed:无线网络中安全组通信的最优批处理密钥更新(2008)ioport公司
  19. 阿明:随机离散事件系统。建模、评估、应用。(2008年)
  20. 沙玛,拉吉夫·库马尔;库马尔,迪内什;Kumar,Pradeep:FM——一个用于建模、分析和预测工业系统复杂行为的实用工具(2007)