본문 바로가기
HOME> 논문 > 논문 검색상세

논문 상세정보

결함허용 실시간 소프트웨어 설계를 위한 명세언어

김정술    (영남대학교 컴퓨터공학과박사과정   ); 강병욱    (영남대학교 컴퓨터공학과  );
  • 초록

    이 논문에서 우리는 결함허용 실시간 소프트웨어 설계를 위한 명세언어를 제안한다. 특히, 현재 가장 인기있는 소프트웨어 기법인 후향 오류 복구를 위한 명세언어로 N-modular redunduncy 나 voted-pairs 등에서도 사용가능하다. 지금까지의 명세 언어로는 시스템의 정상 개발 차원에서의 명세에서만 가능했다. 복잡함을 피하기 위해 객체 단위로 시스템을 이끌며, 명세서 작성시 주요한 부시스템 단위로 이 방법을 적용하면 명세 기술에 따른 오버헤드를 감소시킬 수 있다.


 저자의 다른 논문

  • 김정술 (5)

    1. 1998 "객체 및 시제논리에 기반한 실시간 시스템 모형화 방법" 정보처리논문지 = The transactions of the Korea Information Processing Society 5 (6): 1522~1536    
    2. 1998 "실시간 분산 시스템을 위한 타스크행위 명세언어" 한국산업정보학회 논문지A = Journal of the Korea Industrial Information System Society A 3 (2): 150~158    
    3. 1998 "천이 사건 순서의 표현과 정형화" 정보처리논문지 = The transactions of the Korea Information Processing Society 5 (5): 1204~1215    
    4. 1999 "A Specifying Method for Real-Time Software Requirement" 한국산업정보학회논문지 = Journal of the Korea Industrial Information Systems Research 4 (1): 1~6    
  • 강병욱 (18)

 활용도 분석

  • 상세보기

    amChart 영역
  • 원문보기

    amChart 영역

원문보기

무료다운로드
  • NDSL :
유료다운로드

유료 다운로드의 경우 해당 사이트의 정책에 따라 신규 회원가입, 로그인, 유료 구매 등이 필요할 수 있습니다. 해당 사이트에서 발생하는 귀하의 모든 정보활동은 NDSL의 서비스 정책과 무관합니다.

원문복사신청을 하시면, 일부 해외 인쇄학술지의 경우 외국학술지지원센터(FRIC)에서
무료 원문복사 서비스를 제공합니다.

NDSL에서는 해당 원문을 복사서비스하고 있습니다. 위의 원문복사신청 또는 장바구니 담기를 통하여 원문복사서비스 이용이 가능합니다.

이 논문과 함께 이용한 콘텐츠
이 논문과 함께 출판된 논문 + 더보기