H. Sun. Modelling and Schedulability of RealTime Tasks with Timed Automata. In Proceedings of International Conference on Parallel and Distributed Processing Techniques and Application, volume 4, pages 2146--2151. CSREA Press, 2001.  Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Developing a Formal Specification for the Mission System of a.. - Petrucci, al. (2003) (Correct)
....a generic airborne mission system [10] with the purpose of investigating scheduling. Design CPN [5] was then used to find a schedule. Scheduling of tasks was treated as a reachability problem, using a state space search. The use of state space methods for scheduling was motivated by recent work [2, 3, 6, 17] in the area of timed automata [1] where state space methods have been used to synthesize schedules for the control of real time systems. The advantage of formal modelling and state space methods in this setting is that the same model of the system can be used to analyse scheduling as well as ....
H. Sun. Modelling and Schedulability of RealTime Tasks with Timed Automata. In Proceedings of International Conference on Parallel and Distributed Processing Techniques and Application, volume 4, pages 2146--2151. CSREA Press, 2001.
Formal Specification And Analysis Of Airborne Mission.. - Kristensen, Billington.. (Correct)
....data transfer across the mission data buses connecting the various sub systems. 2 1. 2 Real Time Scheduling Scheduling of tasks in real time systems has traditionally been conducted using a purely algorithmic approach [3] Recently, there has been an increasing interest in applying timed automata [4] and model checking techniques to scheduling problems [5, 6, 7] The basic idea is to turn the scheduling problem into a reachability [8,16] problem that can be solved by analysis tools using a state space search. The advantages of formal modelling and state space methods in this setting is that ....
Sun, H., 2001, Modelling and Schedulability of Real-Time Tasks with Timed Automata, Proceedings of International Conference on Parallel and Distributed Processing Techniques and Application, Vol. 4, CSREA Press, pp. 2146-2151.
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