loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
L. Sassoli, Universita di Firenze, Italia
E. Vicario, Universita di Firenze, Italia
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.