Third International Conference on the Quantitative Evaluation of Systems - (QEST'06) Analysis of Real Time Systems through the ORIS Tool Riverside, California September 11-September 14 ISBN: 0-7695-2665-9
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/QEST.2006.4
This paper gives an overview of the Oris tool. Oris comprises a rich set of modules for building, simulating, analyzing and validating real-time systems described through various TPN formalisms. After an introduction of the Oris framework, we describe a number of Oris plug-ins that have been implemented to support some recently-developed analysis techniques.
Citation:
L. Sassoli, E. Vicario, "Analysis of Real Time Systems through the ORIS Tool," qest, pp.127-128, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06), 2006 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||