ORIS Tool

Analysis of timed and stochastic Petri nets

Pinned Repositories

eulero
The Eulero library for quantitative modeling and evaluation of complex workflows
Language:Java02
faultflow
The FaultFlow library for dependability evaluation of component-based systems of systems
Language:Java1 1 00
omnibus
The OMNIBUS library for the analysis of multimodal urban intersections
Language:Java00
omnibus-sumo-experimentation
Using the SUMO traffic simulator to analyze urban intersections
Language:Java0 1 00
oris-tool.github.io
The ORIS Website
Language:HTML1 5 10
pyramis
The PYRAMIS library for compositional analysis of hierarchical UML statecharts
Language:Java0 3 00
sar
Modeling and evaluation of Software Aging and Rejuvenation (SAR) models beyond the enabling restriction
Language:Python00
sirio
The Sirio library for the analysis of stochastic time Petri nets
Language:Java13 4 31
sirio-examples
A ready-to-use project for the Sirio API
3 5 00
tool-paper-example
A ready-to-use project on the running example of "The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems", by M. Paolieri, M. Biagi, L. Carnevali, and E. Vicario, published on the IEEE Transactions on Software Engineering, vol. 47, no. 6, pp. 1211-1225, June 2021.
Language:Java00

oris-tool/sirio
The Sirio library for the analysis of stochastic time Petri nets
Language:Java13 4 31
oris-tool/sirio-examples
A ready-to-use project for the Sirio API
3 5 00
oris-tool/faultflow
The FaultFlow library for dependability evaluation of component-based systems of systems
Language:Java1 1 00
oris-tool/oris-tool.github.io
The ORIS Website
Language:HTML1 5 10
oris-tool/eulero
The Eulero library for quantitative modeling and evaluation of complex workflows
Language:Java02
oris-tool/omnibus
The OMNIBUS library for the analysis of multimodal urban intersections
Language:Java00
oris-tool/omnibus-sumo-experimentation
Using the SUMO traffic simulator to analyze urban intersections
Language:Java0 1 00
oris-tool/pyramis
The PYRAMIS library for compositional analysis of hierarchical UML statecharts
Language:Java0 3 00
oris-tool/sar
Modeling and evaluation of Software Aging and Rejuvenation (SAR) models beyond the enabling restriction
Language:Python00
oris-tool/tool-paper-example
A ready-to-use project on the running example of "The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems", by M. Paolieri, M. Biagi, L. Carnevali, and E. Vicario, published on the IEEE Transactions on Software Engineering, vol. 47, no. 6, pp. 1211-1225, June 2021.
Language:Java00
oris-tool/eulero_2.0
Refactoring of Eulero library, in order to enable semantics customizations
Language:Java0 01
oris-tool/WoSAR-2024-replica-pool-rep-pkg
Language:Java1 0