메뉴 건너뛰기




Volumn 10, Issue , 2012, Pages 490-498

Model-driven engineering of networked ambient systems with SDL-MDD

Author keywords

Ambient systems; Energy; Model driven engineering; Modeling language; Real time; Scheduling; Task

Indexed keywords


EID: 84896917996     PISSN: 18770509     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1016/j.procs.2012.06.063     Document Type: Conference Paper
Times cited : (2)

References (18)
  • 2
    • 8844267219 scopus 로고    scopus 로고
    • Version 1.0.1, Object Management Group (OMG), Document No. omg/2003-06-01
    • J. Miller, J. Mukerji: MDA Guide Version 1.0.1, Object Management Group (OMG), Document No. omg/2003-06-01, 2003
    • (2003) MDA Guide
    • Miller, J.1    Mukerji, J.2
  • 5
    • 0041887244 scopus 로고    scopus 로고
    • Consolidating and applying the SDL-pattern approach: A detailed case study
    • R. Gotzhein: Consolidating and Applying the SDL-Pattern Approach: A Detailed Case Study, in: Information and Software Technology, 45:727-741, 2003
    • (2003) Information and Software Technology , vol.45 , pp. 727-741
    • Gotzhein, R.1
  • 6
    • 25444435442 scopus 로고    scopus 로고
    • Developing safety-critical real-time systems with SDL design patterns and components
    • I. Fliege, A. Geraldy, R Gotzhein, T. Kuhn, C. Webel: Developing Safety-critical Real-time Systems with SDL Design Patterns and Components, Computer Networks, 49(5): 689-706, 2005
    • (2005) Computer Networks , vol.49 , Issue.5 , pp. 689-706
    • Fliege, I.1    Geraldy, A.2    Gotzhein, R.3    Kuhn, T.4    Webel, C.5
  • 9
    • 38149123420 scopus 로고    scopus 로고
    • R gotzhein: Automated generation of micro protocol descriptions from SDL design specifications
    • R Reed, E. Gaudin, E. Najm (Eds.) Springer
    • I. Fliege, R Gotzhein: Automated Generation of Micro Protocol Descriptions from SDL Design Specifications, in: R Reed, E. Gaudin, E. Najm (Eds.), SDL 2007: Design for Dependable Systems, Vol. 4745 of LNCS, pp. 150-165, Springer, 2007
    • (2007) SDL 2007: Design for Dependable Systems, Vol. 4745 of LNCS , pp. 150-165
    • Fliege, I.1
  • 13
    • 38149012333 scopus 로고    scopus 로고
    • Specifying input port bounds in SDL
    • E. Gaudin, E. Najm, R Reed (Eds.) Springer
    • R. Gotzhein, R Grammes, T. Kuhn: Specifying Input Port Bounds in SDL, in: E. Gaudin, E. Najm, R Reed (Eds.), SDL 2007, Vol. 4745 of LNCS, pp. 101-116, Springer, 2007
    • (2007) SDL 2007, Vol. 4745 of LNCS , pp. 101-116
    • Gotzhein, R.1    Grammes, R.2    Kuhn, T.3
  • 15
    • 0037667738 scopus 로고    scopus 로고
    • Integrating schedulability analysis and design techniques in SDL
    • J. M. Álvarez, M. Daz, L. Llopis, E. Pimentel, J. M. Troya: Integrating Schedulability Analysis and Design Techniques in SDL, in: Real-Time Systems, 24(3): 267-302, 2003
    • (2003) Real-Time Systems , vol.24 , Issue.3 , pp. 267-302
    • Álvarez, J.M.1    Daz, M.2    Llopis, L.3    Pimentel, E.4    Troya, J.M.5
  • 18
    • 83755196745 scopus 로고    scopus 로고
    • R gotzhein: Priority scheduling in SDL
    • I. Ober, I. Ober (Eds.)
    • D. Christmann, P. Becker, R Gotzhein: Priority Scheduling in SDL, in: I. Ober, I. Ober (Eds.), SDL 2011, Vol. 7083 of LNCS, pp. 200-215, 2011
    • (2011) SDL 2011, Vol. 7083 of LNCS , pp. 200-215
    • Christmann, D.1    Becker, P.2


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