G. Bucci, A. Fedeli, L. Sassoli, E. Vicario  Home/Search
Context
Related
| dsi.unifi.it/~vicario/R...Iron_TSE04.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dsi.unifi.it/~v...eactive_systems (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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