Earticle

현재 위치 Home

Computing and Communications

Runtime Verification in Distributed Computing

첫 페이지 보기
  • 발행기관
    한국정보기술융합학회 바로가기
  • 간행물
    JoC 바로가기
  • 통권
    Volume2 Number1 (2011.06)바로가기
  • 페이지
    pp.1-10
  • 저자
    Somayeh Malakuti, Mehmet Aksit, Christoph Bockisch
  • 언어
    영어(ENG)
  • URL
    https://www.earticle.net/Article/A188422

※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.

원문정보

초록

영어
Runtime verification aims to check whether an application executes its behaviour as specified. Thereby the active execution trace of an application is checked in terms of the actual execution context; diagnosis and, possibly, recovery actions are taken when the specification is violated. In today’s practices, software is increasingly distributed over multiple processes, potentially running at different locations. This is supported by middleware that, to some extent, allows implementing applications in a distribution-transparent way. To enable effective runtime verification in distributed software we focus in this paper on three requirements: (1) distribution-transparent specification of software behaviour, as software is also implemented in such a way, (2) end-to-end verification of behaviour, and (3) automatic generation of verification modules for arbitrary process and distribution structures. We present a novel runtime verification approach satisfying these requirements and present its implementation in the EventChaser system. Furthermore we present an approach that at least minimizes the distribution-awareness of specifications to an acceptable level for software not using supported middleware for inter-process communication.

목차

Abstract
 I. INTRODUCTION
 II. BACKGROUND: RUNTIME VERIFICATION
 III. PROBLEM STATEMENT
  A. An Illustrative Example: Document-Editing Application
  B. Requirements for the Runtime Verification of Distributed Messages
  C. Shortcomings of the Existing Runtime Verification Systems
 IV. THE EVENTCHASER VERIFICATION SYSTEM
  A. Code Analyser
  B. Causal Thread Manager
  C. Code Generator
 V. A SAMPLE SPECIFICATION
 VI. THE ASPECT-ORIENTED REALIZATION OF EVENTCHASER
 VII. DESCRIPTION OF EVENTCHASER'S SEMANTICS FOR DISTRIBUTED CASE
 VIII. EVALUATION
 IX. DISTRIBUTION-SENSITIVITY IN EVENTCHASER
 X. CONCLUSION AND FUTURE WORK
 References

키워드

runtime verification distribution transparency end-to-end properties

저자

  • Somayeh Malakuti [ Department of Computer Science, University of Twente, P.O. Box 217 7500 AE Enschede, The Netherlands ]
  • Mehmet Aksit [ Department of Computer Science, University of Twente, P.O. Box 217 7500 AE Enschede, The Netherlands ]
  • Christoph Bockisch [ Department of Computer Science, University of Twente, P.O. Box 217 7500 AE Enschede, The Netherlands ]

참고문헌

자료제공 : 네이버학술정보

간행물 정보

발행기관

  • 발행기관명
    한국정보기술융합학회 [Korea Information Technology Convergence Society]
  • 설립연도
    2008
  • 분야
    공학>전자/정보통신공학
  • 소개
    본 학회는 IT 활용 및 융합에 관한 연구 및 교류를 촉진하고 학문의 발전과 응용에 공헌함을 목적으로 한다.

간행물

  • 간행물명
    JoC [Journal of Convergence]
  • 간기
    계간
  • pISSN
    2093-7741
  • eISSN
    2093-775X
  • 수록기간
    2010~2015
  • 십진분류
    KDC 004 DDC 004

이 권호 내 다른 논문 / JoC Volume2 Number1

    피인용수 : 0건 (자료제공 : 네이버학술정보)

    함께 이용한 논문 이 논문을 다운로드한 분들이 이용한 다른 논문입니다.

      출처 : 네이버학술정보

        0개의 논문이 장바구니에 담겼습니다.

        페이지 저장
        소속기관 조회
        이용자님의 소속기관(단체)이 서비스에 가입되어 있는지 확인해 보십시오.
        기관회원에 소속되어 있는 이용자는 원문을 무료로 이용할 수 있습니다.