Analysis of Real Time Systems through the ORIS Tool

	This Article
	Subscribers, please Login Purchase article: $19 PDF RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by L. Sassoli Articles by E. Vicario

Third International Conference on the Quantitative Evaluation of Systems - (QEST'06)

Riverside, California

September 11-September 14

ISBN: 0-7695-2665-9

	ASCII Text	x
	L. Sassoli, E. Vicario, "Analysis of Real Time Systems through the ORIS Tool," Quantitative Evaluation of Systems, International Conference on, pp. 127-128, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06), 2006.

	BibTex	x
	@article{ 10.1109/QEST.2006.4, author = {L. Sassoli and E. Vicario}, title = {Analysis of Real Time Systems through the ORIS Tool}, journal ={Quantitative Evaluation of Systems, International Conference on}, volume = {0}, year = {2006}, isbn = {0-7695-2665-9}, pages = {127-128}, doi = {http://doi.ieeecomputersociety.org/10.1109/QEST.2006.4}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Quantitative Evaluation of Systems, International Conference on TI - Analysis of Real Time Systems through the ORIS Tool SN - 0-7695-2665-9 SP127 EP128 A1 - L. Sassoli, A1 - E. Vicario, PY - 2006 KW - null VL - 0 JA - Quantitative Evaluation of Systems, International Conference on ER -

L. Sassoli, Universita di Firenze, Italia

E. Vicario, Universita di Firenze, Italia

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.