skip to main content
10.1145/3150928.3158361acmotherconferencesArticle/Chapter ViewAbstractPublication PagesvaluetoolsConference Proceedingsconference-collections
tutorial

An introduction to the ORIS tool

Published: 05 December 2017 Publication History

Abstract

ORIS provides a graphical interface to draw Petri nets, analysis engines for different classes of underlying stochastic process, and visualization of reward-based metrics. It also includes a Java API for model definition and analysis, which can be used to carry out parametric performance studies. ORIS implements methods for steady-state and transient analysis of Semi-Markov Processes (SMPs), Markov Regenerative Processes (MRPs), Generalized Semi-Markov Processes (GSMPs), and Continuous-Time Markov Chains (CTMCs).

References

[1]
A. Avritzer, L. Carnevali, L. Happe, A. Koziolek, D. S. Menasche, M. Paolieri, and S. Suresh. 2014. A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids. In QEST'14 (LNCS), Vol. 8657. Springer, 345--367.
[2]
M. Biagi, L. Carnevali, M. Paolieri, T. Papini, and E. Vicario. 2017. Exploiting non-deterministic analysis in the integration of transient solution techniques for MRPs. In QEST'17. 20--35.
[3]
M. Biagi, L. Carnevali, M. Paolieri, and E. Vicario. 2017. Performability evaluation of the ERTMS/ETCS -- Level 3. Transportation Research Part C: Emerging Technologies 82 (2017), 314--336.
[4]
L. Carnevali, L. Grassi, and E. Vicario. 2009. State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models. IEEE Trans. Softw. Eng. 35, 2 (March 2009), 178--194.
[5]
L. Carnevali, M. Paolieri, K. Tadano, and E. Vicario. 2013. Towards the quantitative evaluation of phased maintenance procedures using non-Markovian regenerative analysis. In EPEW'13 (LNCS), Vol. 8168. Springer, 176--190.
[6]
L. Carnevali, M. Paolieri, F. Tarani, and E. Vicario. 2013. Quantitative Evaluation of Availability Measures of Gas Distribution Networks. In VALUETOOLS'13. ACM, 145--154.
[7]
R. German. 2000. Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets. Wiley.
[8]
A. Horváth, M. Paolieri, L. Ridi, and E. Vicario. 2012. Transient analysis of non-Markovian models using stochastic state classes. Perform. Eval. 69, 7--8 (July 2012), 315--335.
[9]
A. Horváth, L. Ridi, and E. Vicario. 2010. Transient Analysis of Generalised Semi-Markov Processes Using Transient Stochastic State Classes. In QEST'10. IEEE, 231--240.
[10]
S. Martina, M. Paolieri, T. Papini, and E. Vicario. 2016. Performance evaluation of Fischer's protocol through steady-state analysis of Markov regenerative processes. In MASCOTS'16. Springer, 355--360.
[11]
M. Paolieri, A. Horváth, and E. Vicario. 2016. Probabilistic Model Checking of Regenerative Concurrent Systems. IEEE Trans. Softw. Eng. 42, 2 (Feb 2016), 153--169.
[12]
K. S. Trivedi. 2001. Probability and statistics with reliability, queuing, and computer science applications. John Wiley and Sons, New York.
[13]
K. S. Trivedi and R. Sahner. 2009. SHARPE at the age of 22. SIGMETPICS Perform. Eval. Rev. 36, 4 (March 2009), 52--57.
[14]
E. Vicario. 2001. Static Analysis and Dynamic Steering of Time-Dependent Systems. IEEE Trans. Softw. Eng. 27, 8 (Aug. 2001), 728--748.
[15]
E. Vicario, L. Sassoli, and L. Carnevali. 2009. Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems. IEEE Trans. Softw. Eng. 35, 5 (Sept./Oct. 2009), 703--719.

Cited By

View all
  • (2021)The ORIS Tool: Quantitative Evaluation of Non-Markovian SystemsIEEE Transactions on Software Engineering10.1109/TSE.2019.291720247:6(1211-1225)Online publication date: 1-Jun-2021
  • (2019)A Continuous-Time Model-Based Approach for Activity Recognition in Pervasive EnvironmentsIEEE Transactions on Human-Machine Systems10.1109/THMS.2019.2903091(1-11)Online publication date: 2019
  • (2019)Learning Marked Markov Modulated Poisson Processes for Online Predictive Analysis of Attack Scenarios2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE)10.1109/ISSRE.2019.00028(195-205)Online publication date: Oct-2019
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences
VALUETOOLS 2017: Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools
December 2017
268 pages
ISBN:9781450363464
DOI:10.1145/3150928
Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

In-Cooperation

  • EAI: The European Alliance for Innovation

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 05 December 2017

Check for updates

Author Tags

  1. Markov Regenerative Processes
  2. Non-Markovian Processes
  3. Steady-State Probabilities
  4. Stochastic Petri Nets
  5. Tools
  6. Transient Analysis

Qualifiers

  • Tutorial
  • Research
  • Refereed limited

Conference

VALUETOOLS 2017

Acceptance Rates

Overall Acceptance Rate 90 of 196 submissions, 46%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)6
  • Downloads (Last 6 weeks)1
Reflects downloads up to 20 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2021)The ORIS Tool: Quantitative Evaluation of Non-Markovian SystemsIEEE Transactions on Software Engineering10.1109/TSE.2019.291720247:6(1211-1225)Online publication date: 1-Jun-2021
  • (2019)A Continuous-Time Model-Based Approach for Activity Recognition in Pervasive EnvironmentsIEEE Transactions on Human-Machine Systems10.1109/THMS.2019.2903091(1-11)Online publication date: 2019
  • (2019)Learning Marked Markov Modulated Poisson Processes for Online Predictive Analysis of Attack Scenarios2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE)10.1109/ISSRE.2019.00028(195-205)Online publication date: Oct-2019
  • (2018)Model-Based Quantitative Evaluation of Repair Procedures in Gas Distribution NetworksACM Transactions on Cyber-Physical Systems10.1145/32840373:2(1-26)Online publication date: 10-Dec-2018
  • (2018)Evaluation of stochastic bounds on the remaining completion time of products in a buffered sequential workflow2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA)10.1109/ETFA.2018.8502542(456-463)Online publication date: Sep-2018
  • (2018)Towards Probabilistic Modeling and Analysis of Real-Time SystemsComputer Performance Engineering10.1007/978-3-030-02227-3_11(157-172)Online publication date: 3-Oct-2018

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media