E.Vicario, \Static Analysis and Dynamic Steering of Time Dependent Systems Using Time Petri Nets," IEEE Trans.on Soft.Eng., August 2001. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Tools for Controller Synthesis of Timed Systems - Altisen, Tripakis (Correct)
....and are currently used in SynthKro. They are based on a direct way of eliminating quantifiers, without complementation. Some examples of how this is done can be found in [24] We report performance results on three case studies treated with SynthKro. We first considered a robotic arm case study [18]. The arm is programmed to take objects from a conveyor belt, store them in a shelf and eventually put them into a basket. The system is controlled by five processes sharing a CPU, namely a trajectory controller, a lifter and a putter, a sensor reader and a motion planner (for refining ....
....a controller which ensures mutual exclusion (two processes do not use the CPU at the same time) and that no deadlines are missed (both properties can be expressed as invariance) The results are shown in Table 1. The second study considers scheduling three processes sharing three resources [18]. The first process is periodic with an initial jitter; the other two processes are sporadic with minimum inter arrival times. The first and second processes are mandatory. The goal is to compute a controller that allocates the mutually exclusive resources so that the deadlines of the processes ....
L. Lusini and M. Vicario. Static analysis and dynamic steering of time dependent systems using petri nets. Technical Report 28.98, University of Florence, 1998.
Petri Nets with Discrete Phase Type Timing: A Bridge Between.. - Bobbio, Horvath (2001) (1 citation) (Correct)
.... is assigned as intervals, and ring may be forced when the maximum time expires (strong ring semantics) or ring may be not mandatory when the maximum time expires (weak ring semantics) Analysis of TPN models involves the search for reachable conditions through the exploration of ring zones [4,22]. Since the initial work in [20,19] SPN have found a sound theoretical base and consolidated applications when the ring time assigned to timed transitions is an exponentially distributed random variable, so that the evolution of the system throughout its reachability graph is mapped into a ....
E. Vicario. Static analysis and dynamic steering of time dependent systems. IEEE Transactions on Software Engineering (to be published), 2001.
Petri Nets with Discrete Phase Type Timing: A Bridge Between.. - Bobbio, Horvath (2001) (1 citation) (Correct)
.... is assigned as intervals, and ring may be forced when the maximum time expires (strong ring semantics) or ring may be not mandatory when the maximum time expires (weak ring semantics) Analysis of TPN models involves the search for reachable conditions through the exploration of ring zones [4,22]. Since the initial work in [20,19] SPN have found a sound theoretical base and consolidated applications when the ring time assigned to timed transitions is an exponentially distributed random variable, so that the evolution of the system throughout its reachability graph is mapped into a ....
E. Vicario. Static analysis and dynamic steering of time dependent systems. IEEE Transactions on Software Engineering (to be published), 2001.
A Framework for Scheduler Synthesis - Altisen, Gößler, Pnueli, Sifakis.. (1999) (24 citations) (Correct)
....fyg z 0) c 2 y 5 (z 5 z 5 x g c 2 5 y 7) z 5 x (z 10 Figure 11. Controller obtained by synthesis. 4. 2 A system of three tasks We consider here a system of three processes P 1 , P 2 and P 3 sharing three non preemptable resources R 0 , R 1 and R 2 , as described in [13]. P 1 is a periodic process of period equal to 9 and deadline equal to 8. After an initial jitter of at most 1, P 1 uses R 0 for some time between 2 and 3 and later R 0 and R 1 for a time between 1and2. P 1 releases R 0 between the two utilisations. P 2 is an aperiodic process with a ....
....deadlines cannot be met. This means that unreachabilityoferr i implies liveness of P i . The size of the corresponding TAD is shown in table 2. The problem to be addressed consists in finding a scheduler that guarantees that every process meets its deadline (i.e. 2: err 1 err 2 err 3 ) In [13], P 1 and P 2 are assumed to be mandatory whereas P 3 is optional, i.e. can be rejected if the deadlines of the others are compromised. Ascheduler is provided for the system composed of the two processes P 1 and P 2 , but for the full system, no complete scheduler is given. We have ....
[Article contains additional citation context not shown here]
M. Lusini and E. Vicario. Static analysis and dynamic steering of time-dependent systems using Petri Nets. Technical Report # 28.98, University of Florence, 1998.
A Framework for Scheduler Synthesis - Altisen, Gößler, Pnueli, Sifakis.. (1999) (24 citations) (Correct)
....fyg fyg z 0) c 2 y 5 (z 5 z 5 x g c 2 5 y 7) z 5 x (z 10 Figure 11. Controller obtained by synthesis. 4. 2 A system of three tasks We consider here a system of three processes P 1 , P 2 and P 3 sharing three non preemptable resources R 0 , R 1 and R 2 , as described in [13]. P 1 is a periodic process of period equal to 9 and deadline equal to 8. After an initial jitter of at most 1, P 1 uses R 0 for some time between 2 and 3 and later R 0 and R 1 for a time between 1 and 2. P 1 releases R 0 between the two utilisations. P 2 is an aperiodic process with a ....
....= 8 [0; 1] 2; 3] 1; 2] period = 9 Figure 12. A system with three tasks. liveness of P i . The size of the corresponding TAD is shown in table 2. The problem to be addressed consists in finding a scheduler that guarantees that every process meets its deadline (i.e. 2: err 1 err 2 err 3 ) In [13], P 1 and P 2 are assumed to be mandatory whereas P 3 is optional, i.e. can be rejected if the deadlines of the others are compromised. A scheduler is provided for the system composed of the two processes P 1 and P 2 , but for the full system, no complete scheduler is given. We have ....
[Article contains additional citation context not shown here]
M. Lusini and E. Vicario. Static analysis and dynamic steering of time-dependent systems using Petri Nets. Technical Report # 28.98, University of Florence, 1998.
Timed State Space Analysis of Real Time Preemptive Systems - Bucci, Fedeli, Sassoli.. Self-citation (Vicario) (Correct)
No context found.
E.Vicario, \Static Analysis and Dynamic Steering of Time Dependent Systems Using Time Petri Nets," IEEE Trans.on Soft.Eng., August 2001.
Static Analysis and Dynamic Steering of Time-Dependent Systems - Vicario (1998) (5 citations) Self-citation (Vicario) (Correct)
No context found.
M.Lusini, E.Vicario, \Static Analysis and Dynamic Steering of Time-Dependent Systems using Time Petri Nets," Tech. Rep. #28.98, Dip. Sistemi e Informatica, University of Florence, 1998.
A Discrete Time Model for Performance Evaluation and.. - Bucci, Sassoli, Vicario Self-citation (Vicario) (Correct)
No context found.
E. Vicario. Static analysis and dynamic steering of time dependent systems using time petri nets. IEEE Trans.Soft.Eng., August 2001.
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