Title :
Analysis of Real Time Systems through the ORIS Tool
Author :
Sassoli, L. ; Vicario, Enrico
Author_Institution :
Dipartimento Sistemi e Informatica, Firenze Univ., Florence
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;
Conference_Titel :
Quantitative Evaluation of Systems, 2006. QEST 2006. Third International Conference on
Conference_Location :
Riverside, CA
Print_ISBN :
0-7695-2665-9
DOI :
10.1109/QEST.2006.4
