Proceedings of the Korea Society for Industrial Systems Conference (한국산업정보학회:학술대회논문집)

Korea Society of Industrial Information Systems (한국산업정보학회)
권호 표지

분산환경의 결험허용 응용소프트웨어 개발을 위한 명세방법

  • 김정술 (영남대학교 컴퓨터공학과) ;
  • 강병욱 (영남대학교 컴퓨터공학과)
  • Published : 1998.03.01

⟨ Previous Next ⟩

Abstract

이 논문에서 우리는 분산환경의 결함허용 응용소프트웨어 개발을 위한 명세방법을 제안한다. 즉, 시스템의 오류시에도 복구 가능한 논리전달을 위한 명세언어를 제공하는데 분산환경에 적합한 package개념과 객체에 기반하여 시스템을 이끈다. 이 명세방법을 이용하면 triple modular redundancy 나 voted-process pairs 등이 쉽게 명세 가능하다. 특히 , 본 논문은 DARTS 설계방법의 모듈객체와의 접목을 통하여 자연스럽게 실시간 설계로 유도한다.

Keywords