Analysis of real time systems through the ORIS tool

Third International Conference on the Quantitative Evaluation of Systems, QEST 2006

Volumn , Issue , 2006, Pages 127-128

  Sassoli, L ^a   Vicario, E ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

SYSTEMS ANALYSIS; TOOLS;

ANALYSIS TECHNIQUES; MODULES; ORIS TOOL; TPN FORMALISMS;

REAL TIME SYSTEMS;

EID: 41149130337     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QEST.2006.4     Document Type: Conference Paper

References (7)

1. E. Vicario, "Static analysis and dynamic steering of time dependent systems using time petri nets," IEEE Trans. on Soft. Eng., August 2001.
2. G.Bucci, A. Fedeli, L. Sassoli, and E. Vicario, "Timed state space analysis of real time preemptive systems," IEEE Trans.on Soft.Eng., vol. 30, no. 2, pp. 97-111, February 2004.
3. G. Bucci, L. Sassoli, and E. Vicario, "Correctness verification and performance analysis of real time systems using stochastic preemptive time petri nets," IEEE Trans. on Soft. Eng., no. 11, pp. 913-927, November 2005.
4. G. Bucci, R.Piovosi, L. Sassoli, and E. Vicario, "Introducing probability within state class analysis of dense time dependent systems," Proc. of the 2st Int. Conf. on the Quant. Evaluation of Sys.(QEST), September 2005.
5. W. Research, "Mathemathica 5.1," www.wolfram.com.
6. W. C. Technologies, "Java toolkit: J/link," http://www.wolfram.com/solutions/mathlink/jlink/.
7. E. Gamma, R. Helm, R. Johnson, and J. Vlissides, "Design patterns," Addison-Wesley.