See this document in CiteSeerX!

Timed State Space Analysis of Real Time Preemptive Systems  (Make Corrections)  
G. Bucci, A. Fedeli, L. Sassoli, E. Vicario



  Home/Search   Context   Related

 
View or download:
dsi.unifi.it/~vicario/R...Iron_TSE04.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  dsi.unifi.it/~v...eactive_systems (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: A modeling notation is introduced which extends Time Petri Nets with an additional mechanism of resource assignment which makes 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... (Update)

Active bibliography (related documents):   More   All
0.8:   Static Analysis and Dynamic Steering of Time-Dependent Systems - Vicario (1998)   (Correct)
0.7:   A Discrete Time Model for Performance Evaluation and.. - Bucci, Sassoli, Vicario   (Correct)
0.5:   Preemptive Multiprocessor Scheduling Anomalies - Andersson, Jonsson (2001)   (Correct)

Similar documents based on text:
1.0:   Modeling Flexible Real Time Systems with Preemptive Time.. - Bucci Fedeli Sassoli   (Correct)
0.2:   David Cavallini - University Of Florence   (Correct)

BibTeX entry:   (Update)

@misc{ bucci-timed,
  author = "G. Bucci and A. Fedeli and L. Sassoli and E. Vicario",
  title = "Timed State Space Analysis of Real Time Preemptive Systems",
  url = "citeseer.ist.psu.edu/716272.html" }
Citations (may not include all citations):
1582   Scheduling Algorithms for Multiprogramming in a Hard-RealTim.. - Liu, Layland - 1973
528   Priority Inheritance Protocols: an Approach to Real Time Syn.. (context) - Sha, Rajkumar et al. - 1990
368   Analysis and Applications (context) - Murata, Nets - 1989
184   Automata for Modeling Real-Time Systems (context) - Alur, Dill - 1990
137   Prentice Hall (context) - Ahuja, Magnanti et al. - 1993
98   Petri Nets (context) - Peterson - 1977
69   Generalized Rate Monotonic Scheduling Theory: a Framework fo.. (context) - Sha, Rajkumar et al. - 1994
57   Scheduling Algorithms and Operating System Support for Real .. - Ramamritham, Stankovic - 1994
54   Recoverability of Communication Protocols (context) - Merlin, Farber - 1976
47   On Satisfying Timing Constraints in Hard Real Time Systems (context) - Xu, Parnas - 1993
30   Timing Analysis for Fixed Priority Scheduling of Hard Real T.. (context) - Harbour, Klein et al. - 1994
28   Timing Analysis of Ada Tasking Programs - Corbett - 1996
27   Bounding Completion Times of Jobs with Arbitrary Release Tim.. - Sun, Gardner et al. - 1997
21   Automatic Symbolic Veri cation of Embedded Systems - Alur, Henzinger et al. - 1996
20   Compositional Validation of Time-Critical Systems Using Comm.. - Bucci, Vicario - 1995
19   Modeling and Veri cation of Time Dependent Systems Using Tim.. (context) - Berthomieu, Diaz - 1991
19   Suspension Automata: A Decidable Class of Hybrid Automata (context) - McManis, Varaiya - 1994
16   An Enumerative Approach for Analyzing Time Petri Nets - Berthomieu, Menasche - 1983
14   Timing Assumptions and Veri cation of Finite-State Concurren.. (context) - Dill - 1989
12   UPPAAL: a Tool-Suite for Automatic Veri cation of Real-Time .. - Bengtsson, Larsen et al. - 1996
11   The Impressive Power of Stopwatches - Cassez, Larsen - 2000
11   Timed Automata with Asynchronous Processes: Schedulability a.. - Fersman, Pettersson et al. - 2002
10   Times - A Tool for Modelling and Implementation of Embedded .. (context) - Amnell, Fersman et al. - 2002
9   Automated Derivation of Time Bounds in Uniprocessor Concurre.. - Avrunin, Corbett et al. - 1994
8   Static Analysis and Dynamic Steering of Time Dependent Syste.. - Vicario - 2001
7   Compiling Real-Time Speci cations into Extended Automata (context) - Nicollin, Sifakis et al. - 1992
7   Scheduler Modeling Based on the Controller Synthesis Paradig.. (context) - Altisen, Goessler et al. - 2002
3   A Process Algebraic Approach to the schedulability Analysis .. (context) - Ben-Abdallah, Choi et al. - 1998
2   Preemptive multiprocessor scheduling anomalies - Andersson, Jonsson - 2002
2   M-Timed Petri Nets, Priorities, Preemptions, and Performance.. (context) - Zuberek - 1985
2   A Modelling Framework to implement preemption policies in no.. (context) - Bobbio, Pulia et al. - 2000
1   Applications of non-Markovian Stochastic Petri Nets - Fricks, Pulia et al. - 1998
1   Hybrid Systems III (context) - Daws, Olivero et al. - 1996
1   Preemptive D-timed Petri Nets, Timeouts, Modelling and Analy.. (context) - Zuberek - 1987

Documents on the same site (http://www.dsi.unifi.it/~vicario/Research/Reactive_Systems/reactive_systems.html):   More
Modeling Flexible Real Time Systems with Preemptive Time.. - Bucci Fedeli Sassoli   (Correct)
Compositional Validation of Time-Critical Systems Using.. - Bucci, Vicario (1995)   (Correct)
A Discrete Time Model for Performance Evaluation and.. - Bucci, Sassoli, Vicario   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC