메뉴 건너뛰기




Volumn , Issue , 2010, Pages 169-179

Statistical-based response-time analysis of systems with execution dependencies between tasks

Author keywords

[No Author keywords available]

Indexed keywords

INTELLIGENT SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; MONTE CARLO METHODS; RESPONSE TIME (COMPUTER SYSTEMS);

EID: 78449302367     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: 10.1109/ICECCS.2010.26     Document Type: Conference Paper
Times cited : (15)

References (24)
  • 1
    • 85178859394 scopus 로고    scopus 로고
    • Website of
    • "Website of ABB Group," www.abb.com.
  • 2
    • 0029267687 scopus 로고
    • 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 scopus 로고
    • 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
  • 7
    • 35048862279 scopus 로고    scopus 로고
    • 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
  • 9
    • 85178860241 scopus 로고    scopus 로고
    • "Rapita systems, www.rapitasystems.com, 2008."
    • (2008)
  • 17
    • 67249084364 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • "Airbus, www.airbus.com/en/, 2009."
    • (2009)
  • 20
    • 85178867734 scopus 로고    scopus 로고
    • "Easyfit, www.mathwave.com/products/easyfit.html, 2009."
    • (2009) Easyfit
  • 21
    • 85178866212 scopus 로고    scopus 로고
    • Website of
    • "Website of Arcticus Systems," www.arcticus-systems.se.
  • 23
    • 0031677889 scopus 로고    scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.