DocumentCode
2619149
Title
Analysis of Real Time Systems through the ORIS Tool
Author
Sassoli, L. ; Vicario, Enrico
Author_Institution
Dipartimento Sistemi e Informatica, Firenze Univ., Florence
fYear
2006
fDate
11-14 Sept. 2006
Firstpage
127
Lastpage
128
Abstract
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
Keywords
Petri nets; formal verification; real-time systems; software tools; task analysis; ORIS tool; TPN formalisms; complex tasking sets; real time systems; release policies; time Petri nets; Analytical models; Animation; Computer architecture; Inspection; Logic; Petri nets; Power system modeling; Real time systems; Stochastic processes; Timing;
fLanguage
English
Publisher
ieee
Conference_Titel
Quantitative Evaluation of Systems, 2006. QEST 2006. Third International Conference on
Conference_Location
Riverside, CA
Print_ISBN
0-7695-2665-9
Type
conf
DOI
10.1109/QEST.2006.4
Filename
1704001
Link To Document