메뉴 건너뛰기




Volumn 33, Issue 1-3, 2006, Pages 77-100

Verifying distributed real-time properties of embedded systems via graph transformations and model checking

Author keywords

Component middleware; Distributed real time; Embedded systems; Model checking; Schedulability analysis

Indexed keywords

COMPONENT MIDDLEWARE; DISTRIBUTED REAL-TIME; MODEL CHECKING; SCHEDULABILITY ANALYSIS;

EID: 33746907040     PISSN: 09226443     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11241-006-6883-y     Document Type: Article
Times cited : (25)

References (51)
  • 7
    • 0019342681 scopus 로고
    • Scheduling subject to resource constraints: Classification and complexity
    • Blazewicz J, Lenstra J, Kan AR (1983) Scheduling subject to resource constraints: Classification and complexity. Discrete Applied Mathematics, pp 11-24
    • (1983) Discrete Applied Mathematics , pp. 11-24
    • Blazewicz, J.1    Lenstra, J.2    Kan, A.R.3
  • 8
    • 35048823744 scopus 로고    scopus 로고
    • The IF toolset. Formal methods for the design of real-time systems
    • Bozga M, Graf S, Ober I, Ober I, Sifakis J (2004) The IF toolset. Formal Methods for the Design of Real-Time Systems, LNCS 3185, pp 237-267
    • (2004) LNCS , vol.3185 , pp. 237-267
    • Bozga, M.1    Graf, S.2    Ober, I.3    Ober, I.4    Sifakis, J.5
  • 9
    • 84887462531 scopus 로고    scopus 로고
    • Verification of real-time designs: Combining scheduling theory with automatic formal verification
    • Braberman VA, Felder M (1999) Verification of real-time designs: Combining scheduling theory with automatic formal verification. In Software Engineering-ESEC/FSE 99, pp 494-510
    • (1999) Software Engineering-ESEC/FSE 99 , pp. 494-510
    • Braberman, V.A.1    Felder, M.2
  • 12
    • 10444267328 scopus 로고    scopus 로고
    • Rate monotonic vs. EDF: Judgment day
    • Buttazzo GC (2005) Rate monotonic vs. EDF: Judgment day. Real-Time Systems 29:5-26
    • (2005) Real-time Systems , vol.29 , pp. 5-26
    • Buttazzo, G.C.1
  • 15
    • 0242696251 scopus 로고    scopus 로고
    • Time weaver: A software-through-models framework for real-time systems
    • de Niz D, Rajkumar R (2003) Time weaver: A software-through-models framework for real-time systems. In Proceedings of LCTES
    • (2003) Proceedings of LCTES
    • De Niz, D.1    Rajkumar, R.2
  • 24
    • 0346935136 scopus 로고    scopus 로고
    • An end-to-end tool chain for multi-view modeling and analysis of Avionics mission computing software
    • Gu Z, Wang S, Kodase S, Shin KG (2003) An end-to-end tool chain for multi-view modeling and analysis of Avionics mission computing software. In Proceedings of Real-Time Systems Symposium
    • (2003) Proceedings of Real-time Systems Symposium
    • Gu, Z.1    Wang, S.2    Kodase, S.3    Shin, K.G.4
  • 26
    • 0034559432 scopus 로고    scopus 로고
    • Experimental evaluation of state-of-the-art heuristics for the resource-constrained project scheduling problem
    • Hartmann S, Kolisch R (2000) Experimental evaluation of state-of-the-art heuristics for the resource-constrained project scheduling problem. European Journal of Operations Research, 394-407
    • (2000) European Journal of Operations Research , pp. 394-407
    • Hartmann, S.1    Kolisch, R.2
  • 32
    • 35048885122 scopus 로고    scopus 로고
    • Decidable and undecidable problems in schedulability analysis using timed automata
    • Jensen K, Podelski A (eds), Proc. of TACAS'04, Barcelona, Spain, ser., Springer-Verlag
    • Erčál P, Yi W (2004) Decidable and undecidable problems in schedulability analysis using timed automata. In Jensen K, Podelski A (eds), Proc. of TACAS'04, Barcelona, Spain, ser. Lecture Notes in Computer Science, Springer-Verlag, vol. 2988, pp 236-250
    • (2004) Lecture Notes in Computer Science , vol.2988 , pp. 236-250
    • Erčál, P.1    Yi, W.2
  • 35
    • 84974687699 scopus 로고
    • Scheduling algorithms for multiprogramming in a hard-real-time environment
    • Liu CL, Layland JW (1973)Scheduling algorithms for multiprogramming in a hard-real-time environment. J ACM 20(1):46-61
    • (1973) J ACM , vol.20 , Issue.1 , pp. 46-61
    • Liu, C.L.1    Layland, J.W.2
  • 37
    • 29244444178 scopus 로고    scopus 로고
    • Model-based analysis of distributed real-time embedded system composition
    • Madl G, Abdelwahed S (2005) Model-based Analysis of Distributed Real-time Embedded System Composition. In EMSOFT 2005
    • (2005) EMSOFT 2005
    • Madl, G.1    Abdelwahed, S.2
  • 38
    • 0347781235 scopus 로고    scopus 로고
    • [Online]
    • Object Management Group (2002a) CORBA component model. [Online], Available: http://www.omg.org
    • (2002) CORBA Component Model
  • 39
    • 3042591192 scopus 로고    scopus 로고
    • OMG document formal/02-08-02 ed.
    • Object Management Group (2002b) Real-time CORBA Specification. OMG document formal/02-08-02 ed.
    • (2002) Real-time CORBA Specification


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