Timed state space analysis of real-time preemptive systems

@article{Bucci2004TimedSS,
  title={Timed state space analysis of real-time preemptive systems},
  author={Giacomo Bucci and Andrea Fedeli and Luigi Sassoli and Enrico Vicario},
  journal={IEEE Transactions on Software Engineering},
  year={2004},
  volume={30},
  pages={97-111}
}
A modeling notation is introduced which extends time Petri nets with an additional mechanism of resource assignment making the progress of timed transitions be dependent on the availability of a set of preemptable resources. The resulting notation, which we call preemptive time Petri nets, permits natural description of complex real-time systems running under preemptive scheduling, with periodic, sporadic, and one-shot processes, with nondeterministic execution times, with semaphore… CONTINUE READING

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-10 OF 75 CITATIONS, ESTIMATED 98% COVERAGE

Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches

VIEW 14 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Formal Modeling and Analysis of Timed Systems

  • Lecture Notes in Computer Science
  • 2014
VIEW 10 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Compositional Verification for Hierarchical Scheduling of Real-Time Systems

  • IEEE Transactions on Software Engineering
  • 2013
VIEW 14 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Oris: a tool for modeling, verification and evaluation of real-time systems

  • International Journal on Software Tools for Technology Transfer
  • 2010
VIEW 7 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Time Analysis of the State Space of Real-time Preemptive Systems.

VIEW 5 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets

VIEW 7 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

2003
2017

CITATION STATISTICS

  • 24 Highly Influenced Citations

References

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