메뉴 건너뛰기




Volumn 6, Issue 2, 1996, Pages 161-177

Perts: A prototyping environment for real-time systems

Author keywords

Real time systems; Schedulability analysis; Validation method and tool

Indexed keywords


EID: 0003236934     PISSN: 02181940     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218194096000089     Document Type: Article
Times cited : (6)

References (15)
  • 1
    • 8644227359 scopus 로고
    • An approach to analyzing nonfunctional aspects during system definition
    • July
    • J. Salasin and D. Waugh, "An approach to analyzing nonfunctional aspects during system definition," Proceedings of DSSA Meeting, July 1993.
    • (1993) Proceedings of DSSA Meeting
    • Salasin, J.1    Waugh, D.2
  • 5
    • 0024664382 scopus 로고
    • Software evolution through rapid prototyping
    • Luqi, "Software evolution through rapid prototyping," IEEE Computer 22, 5 (1989) 13-25.
    • (1989) IEEE Computer , vol.22 , Issue.5 , pp. 13-25
    • Luqi1
  • 6
    • 84974687699 scopus 로고
    • 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," J. Assoc. Comput. Machin. 20 (1973) 46-61.
    • (1973) J. Assoc. Comput. Machin. , vol.20 , pp. 46-61
    • Liu, C.L.1    Layland, J.W.2
  • 7
    • 0020271514 scopus 로고
    • On the complexity of fixed-priority scheduling of periodic, real-time tasks
    • J. Leung and J. Whitehead, "On the complexity of fixed-priority scheduling of periodic, real-time tasks," Performance Evaluation 2 (1982) 237-250.
    • (1982) Performance Evaluation , vol.2 , pp. 237-250
    • Leung, J.1    Whitehead, J.2
  • 8
    • 0024684902 scopus 로고
    • Aperiodic task scheduling for hard real-time systems
    • B. Sprunt, L. Sha and J. P. Lehoczky, "Aperiodic task scheduling for hard real-time systems," J. Real-Time Syst. (1989) 27-60.
    • (1989) J. Real-Time Syst. , pp. 27-60
    • Sprunt, B.1    Sha, L.2    Lehoczky, J.P.3
  • 10
    • 0025488794 scopus 로고
    • Priority-inheritance protocols: An approach to real-time synchronization
    • L. Sha, R. Rajkumar and J. P. Lehoczky, "Priority-inheritance protocols: An approach to real-time synchronization," IEEE Trans. Comput. 39 (1990) 1175-1185.
    • (1990) IEEE Trans. Comput. , vol.39 , pp. 1175-1185
    • Sha, L.1    Rajkumar, R.2    Lehoczky, J.P.3
  • 13
    • 0014477093 scopus 로고
    • Bounds on multiprocessing timing anomalies
    • R. L. Graham, "Bounds on multiprocessing timing anomalies," SIAM J. Appl. Math. 17 (1969) 263-269.
    • (1969) SIAM J. Appl. Math. , vol.17 , pp. 263-269
    • Graham, R.L.1
  • 15
    • 85033009593 scopus 로고    scopus 로고
    • Theoretical foundations of efficient methods for validating real-time constraints
    • to appear edited by S. Son, Prentice Hall
    • J. W. S. Liu and R. Ha, "Theoretical foundations of efficient methods for validating real-time constraints," to appear in Principles of Real-Time Systems, edited by S. Son, Prentice Hall.
    • Principles of Real-Time Systems
    • Liu, J.W.S.1    Ha, R.2


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