-
1
-
-
85178859394
-
-
Website of
-
"Website of ABB Group," www.abb.com.
-
-
-
-
2
-
-
0029267687
-
Fixed priority pre-emptive scheduling: An historical perspective
-
N. Audsley, A. Burns, R. Davis, K. Tindell, and A.Wellings, "Fixed priority pre-emptive scheduling: an historical perspective," Real-Time Systems, vol. 8, no. 2/3, pp. 129-154, 1995.
-
(1995)
Real-Time Systems
, vol.8
, Issue.2-3
, pp. 129-154
-
-
Audsley, N.1
Burns, A.2
Davis, R.3
Tindell, K.4
Wellings, A.5
-
3
-
-
84974687699
-
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
-
C. Liu and J. Layland, "Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment," Journal of the ACM, vol. 20, no. 1, pp. 46-61, 1973.
-
(1973)
Journal of the ACM
, vol.20
, Issue.1
, pp. 46-61
-
-
Liu, C.1
Layland, J.2
-
5
-
-
77954717654
-
Timing analyzing for systems with execution dependencies between tasks
-
Y. Lu, T.Nolte, I. Bate, and C. Norström, "Timing analyzing for systems with execution dependencies between tasks," in Track on Real-Time Systems, The 25th ACM Symposium on Applied Computing (SAC2010). ACM, March 2010.
-
Track on Real-Time Systems, the 25th ACM Symposium on Applied Computing (SAC2010). ACM, March 2010
-
-
Lu, Y.1
Nolte, T.2
Bate, I.3
Norström, C.4
-
6
-
-
0022796618
-
Finding response times in a real-time system
-
October
-
M. Joseph and P. Pandya, "Finding response times in a real-time system," The Computer Journal (British Computer Society), vol. 29, no. 5, pp. 390-395, October 1986.
-
(1986)
The Computer Journal (British Computer Society)
, vol.29
, Issue.5
, pp. 390-395
-
-
Joseph, M.1
Pandya, P.2
-
7
-
-
35048862279
-
A tutorial on uppaal
-
Formal Methods for the Design of Real-Time Systems: 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, ser. M. Bernardo and F. Corradini, Eds., Springer-Verlag, September
-
G. Behrmann, A. David, and K. G. Larsen, "A tutorial on uppaal," in Formal Methods for the Design of Real-Time Systems: 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, ser. LNCS, M. Bernardo and F. Corradini, Eds., no. 3185. Springer-Verlag, September 2004, pp. 200-236.
-
(2004)
LNCS
, Issue.3185
, pp. 200-236
-
-
Behrmann, G.1
David, A.2
Larsen, K.G.3
-
8
-
-
84871800342
-
Times - A tool for modelling and implementation of embedded systems
-
London, UK: Springer-Verlag
-
T. Amnell, E. Fersman, L. Mokrushin, P. Pettersson, and W. Yi, "Times - a tool for modelling and implementation of embedded systems," in TACAS '02: Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. London, UK: Springer-Verlag, 2002, pp. 460-464.
-
(2002)
TACAS '02: Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
, pp. 460-464
-
-
Amnell, T.1
Fersman, E.2
Mokrushin, L.3
Pettersson, P.4
Yi, W.5
-
9
-
-
85178860241
-
-
"Rapita systems, www.rapitasystems.com, 2008."
-
(2008)
-
-
-
11
-
-
72349094831
-
Simulation-based timing analysis of complex real-time systems
-
M. Bohlin, Y. Lu, J. Kraft, P. Kreuger, and T. Nolte, "Simulation-based timing analysis of complex real-time systems," in The 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 09, August 2009, pp. 321-328.
-
The 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 09, August 2009
, pp. 321-328
-
-
Bohlin, M.1
Lu, Y.2
Kraft, J.3
Kreuger, P.4
Nolte, T.5
-
12
-
-
47849093897
-
Deriving exact stochastic response times of periodic tasks in hybrid priority-driven soft real-time systems
-
IEEE Industrial Electronics Society, September
-
G. A. Kaczynski, L. L. Bello, and T. Nolte, "Deriving exact stochastic response times of periodic tasks in hybrid priority-driven soft real-time systems," in Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'07). IEEE Industrial Electronics Society, September 2007, pp. 101-110.
-
(2007)
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'07)
, pp. 101-110
-
-
Kaczynski, G.A.1
Bello, L.L.2
Nolte, T.3
-
15
-
-
0000491136
-
Hard real-time scheduling: The deadline-monotonic approach
-
N. Audsley, A. Burns, M. F. Richardson, and A. J. Wellings, "Hard real-time scheduling: The deadline-monotonic approach," in in Proc. IEEEWorkshop on Real-Time Operating Systems and Software, 1991, pp. 133-137.
-
In Proc. IEEEWorkshop on Real-Time Operating Systems and Software, 1991
, pp. 133-137
-
-
Audsley, N.1
Burns, A.2
Richardson, M.F.3
Wellings, A.J.4
-
16
-
-
0000703331
-
Applying new scheduling theory to static priority pre-emptive scheduling
-
N. Audsley, A. Burns, M. Richardson, K. Tindell, and A. J. Wellings, "Applying new scheduling theory to static priority pre-emptive scheduling," Software Engineering Journal, vol. 8, pp. 284-292, 1993.
-
(1993)
Software Engineering Journal
, vol.8
, pp. 284-292
-
-
Audsley, N.1
Burns, A.2
Richardson, M.3
Tindell, K.4
Wellings, A.J.5
-
17
-
-
67249084364
-
Static-priority real-time scheduling: Response time computation is np-hard
-
Washington, DC, USA: IEEE Computer Society
-
F. Eisenbrand and T. Rothvoß, "Static-priority real-time scheduling: Response time computation is np-hard," in RTSS '08: Proceedings of the 2008 Real-Time Systems Symposium. Washington, DC, USA: IEEE Computer Society, 2008, pp. 397-406.
-
(2008)
RTSS '08: Proceedings of the 2008 Real-Time Systems Symposium
, pp. 397-406
-
-
Eisenbrand, F.1
Rothvoß, T.2
-
18
-
-
85178864473
-
-
"Airbus, www.airbus.com/en/, 2009."
-
(2009)
-
-
-
20
-
-
85178867734
-
-
"Easyfit, www.mathwave.com/products/easyfit.html, 2009."
-
(2009)
Easyfit
-
-
-
21
-
-
85178866212
-
-
Website of
-
"Website of Arcticus Systems," www.arcticus-systems.se.
-
-
-
-
22
-
-
79951665151
-
-
Maβlardalen University, Technical Report ISSN 1404-3041 ISRN MDH-MRTC-236/2009-1-SE, June
-
M. Bohlin, Y. Lu, J. Kraft, P. Kreuger, and T. Nolte, "Best-effort simulation-based timing analysis using hill-climbing with random restarts," Maβlardalen University, Technical Report ISSN 1404-3041 ISRN MDH-MRTC-236/2009-1-SE, June 2009.
-
(2009)
Best-effort Simulation-based Timing Analysis Using Hill-climbing with Random Restarts
-
-
Bohlin, M.1
Lu, Y.2
Kraft, J.3
Kreuger, P.4
Nolte, T.5
-
23
-
-
0031677889
-
A tool for statistical analysis of hard real-time scheduling algorithms
-
Washington, DC, USA: IEEE Computer Society
-
J. Goossens and C. Hernalsteen, "A tool for statistical analysis of hard real-time scheduling algorithms," in SS '98: Proceedings of the The 31st Annual Simulation Symposium. Washington, DC, USA: IEEE Computer Society, 1998, pp. 58-65.
-
(1998)
SS '98: Proceedings of the the 31st Annual Simulation Symposium
, pp. 58-65
-
-
Goossens, J.1
Hernalsteen, C.2
-
24
-
-
0142156702
-
A probabilistic framework for schedulability analysis
-
A. Burns, G. Bernat, and I. Broster, "A probabilistic framework for schedulability analysis," in Proceedings of the Third International Conference on Embedded Software (EMSOFT 2003, 2003, pp. 1-15.
-
(2003)
Proceedings of the Third International Conference on Embedded Software EMSOFT 2003
, pp. 1-15
-
-
Burns, A.1
Bernat, G.2
Broster, I.3
|