ORIS 1.0

Analysis of timed and preemptive Petri nets

Download (Linux 64 bit) Download (Linux 32 bit) Download (Windows XP)

Unzip and launch runme.sh (Linux) or runme.bat (Windows).

ORIS 1.0 runs on Linux 64 bit, Linux 32 bit, and Windows XP. A how-to about installation and use of Windows XP Mode in Windows 7 is available here. If you need further assistance please ask for .

A new release of the ORIS Tool with support for the analysis of timed and stochastic Petri nets is available at http://www.oris-tool.org.

Features

ORIS Tool 1.0 screenshot

Publications

  1. I. Bicchierai, G. Bucci, L. Carnevali and E. Vicario, Combining UML-MARTE and preemptive Time Petri Nets: An Industrial Case Study, IEEE Transactions on Industrial Informatics, vol. 9, no. 4, pp. 1806-1818, November 2013 .
  2. L. Carnevali, A. Pinzuti and E. Vicario, Compositional Verification for Hierarchical Scheduling of Real-Time Systems, IEEE Transactions on Software Engineering, vol. 39, no. 5, pp. 638-657, May 2013.
  3. L. Ridi, J. Torrini and E. Vicario, Developing a Scheduler with Difference-Bound Matrices and the Floyd-Warshall Algorithm, IEEE Software, Vol.9, No.1, Jan/feb 2012, pp: 76-83.
  4. L. Carnevali, L. Ridi and E. Vicario, Putting preemptive Time Petri Nets to work in a V-Model SW life cycle, IEEE Transactions on Software Engineering, vol. 37, no. 6, pp. 826-844, November/December 2011.
  5. L. Carnevali, G. Lipari, A. Pinzuti and E. Vicario, A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems, in Proc. of the International Conference on Reliable Software Technologies (Ada-Europe), Lecture Notes in Computer Science (LNCS), pp. 118-131, Springer-Verlag, 2011.
  6. G. Bucci, L. Carnevali, L. Ridi and E. Vicario, Oris: a Tool for Modeling, Verification and Evaluation of Real-Time Systems, International Journal of Software Tools for Technology Transfer, Volume 12, Number 5, 2010.
  7. L. Carnevali, L. Ridi and E. Vicario, Stochastic Fault Trees for cross-layer power management of WSN monitoring systems, Proceedings of the the 14th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA09), Mallorca, Spain, September 2009.
  8. L. Carnevali, D. D'Amico, L. Ridi and E. Vicario, Automatic Code Generation from Real-Time Systems Specifications, Proceedings of the IEEE/IFIP International Symposium on Rapid System Prototyping (RSP09), June 2009, Paris.
  9. L.Carnevali, L.Grassi and E.Vicario, A tailored V-Model exploiting the theory of preemptive Time Petri Nets, Ada Europe: 13th Int. Conference on Relieable SW Technologies, Venice, June 2008 (Proceedings Series: Lecture Notes in Computer Science, Vol. 5026/2008).
  10. L.Carnevali, L.Sassoli and E.Vicario, Sensitization of symbolic runs in Real-Time Testing using the ORIS tool, in Proc. of Emerging Technologies and Factory Automation (ETFA07), Sept. 2007, Patras (Greece).
  11. L.Carnevali, L.Sassoli and E.Vicario, Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software, in Proc. of Euromicro Conference on Real Time Systems (ECRTS07), July 2007, Pisa.
  12. L. Sassoli,E. Vicario and Analysis of real time systems through the ORIS tool, in Proc. of Quantitative Evaluation of Systems (QEST06), Sept. 2006, Riverside.
  13. G. Bucci, L. Sassoli, E. Vicario and Correctness verification and performance analysis of real time systems using stochastic preemptive Time Petri Nets, IEEE Trans. On Software Engineering, Vol. 31, No. 11, November 2005.
  14. G.Bucci, R.Piovosi, L.Sassoli and E.Vicario, Introducing probability within state class analysis of dense-time-dependent systems, in Proc. of Quantitative Evaluation of Systems (QEST05), Sept. 2005, Torino.
  15. G. Bucci, A.Fedeli, L.Sassoli and E. Vicario, Timed state space analysis of real-time preemptive systems, IEEE Trans. On Software  Engineering, Vol. 30, No 2, February 2004.
  16. G.Bucci, L.Sassoli and E.Vicario, ORIS: a tool for state-space analysis of real-time preemptive systems, in Proc. of Quantitative Evaluation of Systems (QEST04), Sept. 2004, Twente.
  17. G.Bucci, A.Fedeli, L.Sassoli and E.Vicario, Modeling Flexible Real Time Systems with Preemptive Time Petri Nets, in Proc of Euromicro Conference on Real-Time Systems (ECRTS03), Porto, July 2003.
  18. E.Vicario, Engineering the Usability of a Visual Formalism for Real-time Temporal Logic, Journal of Visual Languages & Computing, Vol. 12, No. 6, Dec 2001, pp. 573-599.
  19. E.Vicario, Static analysis and dynamic steering of time-dependent systems, IEEE Trans. On Software Engineering, Vol 27, No. 8, August 2001.
  20. G.Bucci and E.Vicario, Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets, IEEE Trans. on Software Engineering, Vol.SE-21, No.12, pp.969-992, Dec.1995.

Contributors

People that gave major contributions: Prof. Enrico Vicario, Prof. Giacomo Bucci, Luigi Sassoli, Jacopo Torrini, Francesco Poli, Fabrizio Baldini, Marco Lusini (Oris was the name of his grandfather), Laura Carnevali, Lorenzo Ridi, Leonardo Grassi, Dario D'Amico.