-
1
-
-
0028413052
-
A theory of timed automata
-
Rajeev Alur and David L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183-235, 1994.
-
(1994)
Theoretical Computer Science
, vol.126
, Issue.2
, pp. 183-235
-
-
Alur, R.1
Dill, D.L.2
-
2
-
-
0000703331
-
Applying new scheduling theory to static priority preemptive scheduling
-
N. C. Audsley, A. Burns, M. F. Richardson, K. Tindell, and A. J. Wellings. Applying new scheduling theory to static priority preemptive scheduling. Journal of Real-Time Systems, 8(5):284-292, 1993.
-
(1993)
Journal of Real-Time Systems
, vol.8
, Issue.5
, pp. 284-292
-
-
Audsley, N.C.1
Burns, A.2
Richardson, M.F.3
Tindell, K.4
Wellings, A.J.5
-
3
-
-
0000491136
-
Hard real-time scheduling: The deadline monotonic approach
-
N. C. Audsley, A. Burns, M. F. Richardson, and A. J. Wellings. Hard real-time scheduling: The deadline monotonic approach. In Proceedings of the 8th IEEE Workshop on Real-Time Operating Systems, pages 133-137, 1991.
-
(1991)
Proceedings of the 8th IEEE Workshop on Real-Time Operating Systems
, pp. 133-137
-
-
Audsley, N.C.1
Burns, A.2
Richardson, M.F.3
Wellings, A.J.4
-
4
-
-
0346486717
-
-
AXYS Design
-
AXYS Design. MaxSim Development Suite. http://www.axysdesign.com/products/products_maxsim.asp.
-
MaxSim Development Suite
-
-
-
5
-
-
0037269099
-
Dynamic- and static-priority scheduling of recurring real-time tasks
-
S. Baruah. Dynamic- and static-priority scheduling of recurring real-time tasks. Journal of Real-Time Systems, 24(1):93-128, 2003.
-
(2003)
Journal of Real-Time Systems
, vol.24
, Issue.1
, pp. 93-128
-
-
Baruah, S.1
-
6
-
-
0005521908
-
-
Cadence
-
Cadence. Cierto VCC Environment. http://www.cadence.com/products/vcc.html.
-
Cierto VCC Environment
-
-
-
7
-
-
0036997151
-
Approximate schedulability analysis
-
Samarjit Chakraborty, Simon Künzli, and Lothar Thiele. Approximate schedulability analysis. In Proceedings IEEE Real-Time Systems Symposium, Austin, TX, USA, 2002.
-
Proceedings IEEE Real-Time Systems Symposium, Austin, TX, USA, 2002
-
-
Chakraborty, S.1
Künzli, S.2
Thiele, L.3
-
8
-
-
0031623050
-
Modal processes: Towards enhanced retargetability through control composition of distributed embedded systems
-
San Francisco, USA, June
-
P. Chou and G. Borriello. Modal processes: Towards enhanced retargetability through control composition of distributed embedded systems. In Proc. Design Automation Conference (DAC), pages 88-93, San Francisco, USA, June 1998.
-
(1998)
Proc. Design Automation Conference (DAC)
, pp. 88-93
-
-
Chou, P.1
Borriello, G.2
-
9
-
-
0035444259
-
Viper: A multiprocessor soc for advanced set-top box and digital tv systems
-
Sip-Oct.
-
S. Dutta, R. Jensen, and A. Rieckmann, Viper: A multiprocessor soc for advanced set-top box and digital tv systems. IEEE Design & Test of Computers, pages 21-31, Sip-Oct. 2001.
-
(2001)
IEEE Design & Test of Computers
, pp. 21-31
-
-
Dutta, S.1
Jensen, R.2
Rieckmann, A.3
-
10
-
-
0347747374
-
-
ETAS, formerly Livedevices
-
ETAS, formerly Livedevices. Real-Time Architect. http://www.livedevices.co.uk/realtime.shtml.
-
Real-Time Architect
-
-
-
11
-
-
0014477093
-
Bounds on multiprocessor timing anomalies
-
March
-
R. Graham. Bounds on multiprocessor timing anomalies. SIAM Journal on Appl. Math., 1969, 17:416-429, March 1969.
-
(1969)
SIAM Journal on Appl. Math.
, vol.17
, pp. 416-429
-
-
Graham, R.1
-
12
-
-
84884635172
-
An event model for deadline verification of hard real-time systems
-
Oulu, Finland
-
K. Gresser. An event model for deadline verification of hard real-time systems. In Proceedings 5th Euromicro Workshop on Real-Time Systems, pages 118-123, Oulu, Finland, 1993.
-
(1993)
Proceedings 5th Euromicro Workshop on Real-Time Systems
, pp. 118-123
-
-
Gresser, K.1
-
14
-
-
0022796618
-
Finding response times in a real-time system
-
M. Joseph and P. Pandya. Finding response times in a real-time system. The Computer Journal, 29(5):390-395, 1999.
-
(1999)
The Computer Journal
, vol.29
, Issue.5
, pp. 390-395
-
-
Joseph, M.1
Pandya, P.2
-
17
-
-
0026237987
-
Fixed priority scheduling of periodic task sets with arbitrary deadlines
-
J. Lehoczky. Fixed priority scheduling of periodic task sets with arbitrary deadlines. In Proceedings Real-Time Systems Symposium, pages 201-209, 1990.
-
(1990)
Proceedings Real-Time Systems Symposium
, pp. 201-209
-
-
Lehoczky, J.1
-
18
-
-
0024915921
-
The rate monotonic scheduling algorithm: Exact characterization and average case behavior
-
IEEE Computer Society Press
-
J. Lehoczky, L. Sha, and Y. Ding. The rate monotonic scheduling algorithm: Exact characterization and average case behavior. In Proceedings Real-Time Systems Symposium, pages 166-171, IEEE Computer Society Press, 1989.
-
(1989)
Proceedings Real-Time Systems Symposium
, pp. 166-171
-
-
Lehoczky, J.1
Sha, L.2
Ding, Y.3
-
19
-
-
84974687699
-
Scheduling algorithms for multiprogramming in a hard-real-time environment
-
C. L. Liu and J. W. Layland. Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the ACM, 20(1):46-61, 1973.
-
(1973)
Journal of the ACM
, vol.20
, Issue.1
, pp. 46-61
-
-
Liu, C.L.1
Layland, J.W.2
-
21
-
-
84893698081
-
Bus access optimization for distributed embedded systems based on schedulability analysis
-
P. Pop, P. Eles, and Z. Peng. Bus access optimization for distributed embedded systems based on schedulability analysis. In Proc. Design, Automation and Test in Europe (DATE 2000), Paris, France, 2000.
-
Proc. Design, Automation and Test in Europe (DATE 2000), Paris, France, 2000
-
-
Pop, P.1
Eles, P.2
Peng, Z.3
-
22
-
-
5744223552
-
Schedulability analysis and optimization for the synthesis of multi-cluster distributed embedded systems
-
P. Pop, P. Eles, and Z. Peng. Schedulability analysis and optimization for the synthesis of multi-cluster distributed embedded systems. In Proc. Design, Automation and Test in Europe (DATE 2003), Munich, Germany, 2003.
-
Proc. Design, Automation and Test in Europe (DATE 2003), Munich, Germany, 2003
-
-
Pop, P.1
Eles, P.2
Peng, Z.3
-
23
-
-
84893770854
-
Event model interfaces for heterogeneous system analysis
-
K. Richter and R. Ernst. Event model interfaces for heterogeneous system analysis. In Proc. of Design, Automation and Test in Europe Conference (DATE'02), Paris, France, March 2002.
-
Proc. of Design, Automation and Test in Europe Conference (DATE'02), Paris, France, March 2002
-
-
Richter, K.1
Ernst, R.2
-
24
-
-
0036058082
-
Model composition for scheduling analysis in platform design
-
K. Richter, D. Ziegenbein, M. Jersak, and R. Ernst. Model composition for scheduling analysis in platform design. In Proceedings 39th Design Automation Conference, New Orleans, USA, June 2002.
-
Proceedings 39th Design Automation Conference, New Orleans, USA, June 2002
-
-
Richter, K.1
Ziegenbein, D.2
Jersak, M.3
Ernst, R.4
-
27
-
-
0024684902
-
Aperiodic task scheduling for hard real-time systems
-
B. Sprunt, L. Sha, and J. Lehoczky. Aperiodic task scheduling for hard real-time systems. Journal of Real-Time Systems, 1(1):27-60, 1989.
-
(1989)
Journal of Real-Time Systems
, vol.1
, Issue.1
, pp. 27-60
-
-
Sprunt, B.1
Sha, L.2
Lehoczky, J.3
-
28
-
-
0003723728
-
-
Kluwer Academic Publishers, Boston, Massachusetts, USA
-
J. Stankovic, M. Spuri, K. Ramamritham, and G. Buttazzo. Deadline Scheduling for Real-Time Systems-EDF and Related Algorithms. Kluwer Academic Publishers, Boston, Massachusetts, USA, 1998.
-
(1998)
Deadline Scheduling for Real-Time Systems-EDF and Related Algorithms
-
-
Stankovic, J.1
Spuri, M.2
Ramamritham, K.3
Buttazzo, G.4
-
29
-
-
0033682521
-
Real-time calculus for scheduling hard real-time systems
-
Lothar Thiele, Samarjit Chakraborty, and Martin Naedele. Real-time calculus for scheduling hard real-time systems. In Proceedings International Symposium on Circuits and Systems (ISCAS), Geneva, Switzerland, 2000.
-
Proceedings International Symposium on Circuits and Systems (ISCAS), Geneva, Switzerland, 2000
-
-
Thiele, L.1
Chakraborty, S.2
Naedele, M.3
-
30
-
-
0347747368
-
-
TimeSys
-
TimeSys. TimeSys. http://www.timesys.com/index.cfm?bdy=tools_bdy_model.cfm.
-
TimeSys
-
-
-
31
-
-
0003716740
-
Adding time-offsets to schedulability analysis
-
Technical Report YCS 221, Department of Computer Science, University of York, UK
-
K. Tindell. Adding time-offsets to schedulability analysis. Technical Report YCS 221, Department of Computer Science, University of York, UK, 1994.
-
(1994)
-
-
Tindell, K.1
-
32
-
-
0028396945
-
An extendible approach for analysing fixed priority hard real-time systems
-
Mar
-
K. Tindell, A. Burns, and A. Wellings. An extendible approach for analysing fixed priority hard real-time systems. Journal of Real-Time Systems, 6(2):133-152, Mar 1994.
-
(1994)
Journal of Real-Time Systems
, vol.6
, Issue.2
, pp. 133-152
-
-
Tindell, K.1
Burns, A.2
Wellings, A.3
-
33
-
-
0028418313
-
Holistic schedulability analysis for distributed real-time systems
-
(Special Issue on Parallel Embedded Real-Time Systems)
-
K. Tindell and J. Clark. Holistic schedulability analysis for distributed real-time systems. Microprocessing and Microprogramming - Euromicro Journal (Special Issue on Parallel Embedded Real-Time Systems) 40:117-134, 1994.
-
(1994)
Microprocessing and Microprogramming - Euromicro Journal
, vol.40
, pp. 117-134
-
-
Tindell, K.1
Clark, J.2
-
34
-
-
0347747372
-
-
Tri-Pacific Software, Inc.
-
Tri-Pacific Software, Inc. Rapid RMA. http://www.tripac.com/html/prod-fact-rrm-html.
-
Rapid RMA
-
-
|