Oris: a tool for modeling, verification and evaluation of real-time systems

@article{Bucci2010OrisAT,
  title={Oris: a tool for modeling, verification and evaluation of real-time systems},
  author={Giacomo Bucci and Laura Carnevali and Lorenzo Ridi and Enrico Vicario},
  journal={International Journal on Software Tools for Technology Transfer},
  year={2010},
  volume={12},
  pages={391-403}
}
Oris is a tool for qualitative verification and quantitative evaluation of reactive timed systems, which supports modeling and analysis of various classes of timed extensions of Petri Nets. As most characterizing features, Oris implements symbolic state space analysis of preemptive Time Petri Nets, which enable schedulability analysis of real-time systems running under priority preemptive scheduling; and stochastic Time Petri Nets, which enable an integrated approach to qualitative verification… CONTINUE READING
Highly Cited
This paper has 68 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
34 Citations
43 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 34 extracted citations

68 Citations

01020'12'14'16'18
Citations per Year
Semantic Scholar estimates that this publication has 68 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 43 references

Partial stochastic characterization of timed runs over DBM domains

  • L. Carnevali, L. Ridi, E. Vicario
  • Proc. of the 9th International Workshop on…
  • 2009

Similar Papers

Loading similar papers…