ORIS: a tool for state-space analysis of real-time preemptive systems

@article{Bucci2004ORISAT,
  title={ORIS: a tool for state-space analysis of real-time preemptive systems},
  author={Giacomo Bucci and Luigi Sassoli and Enrico Vicario},
  journal={First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings.},
  year={2004},
  pages={70-79}
}
Formal methods based on state-space enumeration, such as timed automata and time Petri nets (TPN), have been proposed for designing and validating reactive real-time systems. The great expressiveness of these methods is counterbalanced by the increased complexity of the analysis, which may grow exponentially. Furthermore, the enumerated state-space needs to be inspected to identify critical behaviors with respect to sequencing and timing requirements. This naturally leads to the implementation… CONTINUE READING

References

Publications referenced by this paper.
SHOWING 1-10 OF 16 REFERENCES

Timed state space analysis of real-time preemptive systems

  • IEEE Transactions on Software Engineering
  • 2004
VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

Timing Assumptions and Verification of Finite-State Concurrent Systems

  • Automatic Verification Methods for Finite State Systems
  • 1989
VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

Recoverability of Communication Protocols - Implications of a Theoretical Study

  • IEEE Transactions on Communications
  • 1976
VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

Static Analysis and Dynamic Steering of Time Dependent Systems Using Time Petri Nets

E.Vicario
  • IEEE Trans.on Soft.Eng., Vol.27, No.8, pages 728- 748, August 2001. Proceedings of the First International Conference on the Quantitative Evaluation of Systems (QEST’04) 0-7695-2185-1/04 $ 20.00 IEEE
  • 2001
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Automata for modeling real-time systems

VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Preemptive multiprocessor scheduling anomalies

B.Andersson, J.Jonsson
  • Proceedings of IPDPS 2002, pages: 12-19, 2002
  • 2002
VIEW 1 EXCERPT

The tool KRONOS

C.Daws, A.Olivero, S.Tripakis, S.Yovine
  • R.Alur, T.A.Henzinger, E.D.Sontag, editors, Hybrid Systems III, LNCS 1066, pages 208- 219, Springer-Verlag, 1996.
  • 1996
VIEW 3 EXCERPTS

Similar Papers

Loading similar papers…