도움말

안전 필수 철도 시스템 개발을 위한 요구 사항의 정형 명세 작성

Development of the Formal Requirements Specification of the Safety-critical Railway Systems
정보과학회논문지 : 소프트웨어 및 응용 제35권 제12호, 2008.12, 731-740 (10 pages)
인용정보 복사
Quick View Quick View
구매하기 6,000원
인용하기
이용수 : 140건
피인용수 : 1건
분야내 활용도 : 18%
자세히 보기 >

· 이용수 : 2010년부터 집계한 원문다운로드수

· 피인용수 : DBpia 논문 가운데 해당 논문을 인용한 논문수

· 분야내 활용도 : 최근 24개월간 DBpia 이용수를 기준으로 산출 / 0%에 가까울 수록 활용도가 높고, 100%에 가까울 수록 활용도가 낮음

초록
철도 제어 시스템은 대표적인 안전필수 시스템이다. 국제 규격의 컴퓨터 기반의 철도 제어 시스템을 개발하기 위해서 정형 기법을 이용한 요구사항 명세와 검증이 요구된다. 본 논문에서는 정형 기법을 사용하여 요구사항 명세를 작성하는 지침서(guideline)을 개발하고, 컴퓨터 기반의 열차 제어 장치 시스템에 대한 실제 적용 사례를 제시한다. 정형 명세를 위해 상태차트(statechart)와 Z를 사용하고, 정형 명세의 일치성(consistency)과 완전성(completeness)을 검증한다.

A railway control system is one of the typical safety-critical systems. It is required to use formal methods for the requirements specification and verification in order to develop the global-standard railway control systems based on the computer systems. In this paper, we develop a guideline for requirements specification using formal methods, and present a case study of the development of a computer-based railway control system through the application of the proposed guideline. We use the Statechart and the Z method for the formal requirements specifications and verify the consistency and completeness of the formal specifications of the requirements.

목차
요약
Abstract
1. 서론
2. 관련 연구
3. 철도 시스템을 위한 정형 요구사항 명세 지침서
4. 정형 명세 기법의 적용
5. 분석
6. 결론
참고문헌
키워드
참고문헌 (25)

현재 논문의 참고문헌을 찾아 신청해주세요!

  1. Bowen, J , 1993 , Formal methods in safety-critical standards , 1993 Software Engineering Standards Symposium : 168 ~ 177

  2. Clarke, E.M , 1996 , Formal Methods: State of the Art and Future Directions , ACM Computing Surveys

  3. Monin,J-F , 2003 , Understanding Formal Methods , Springer-Verlag

  4. Zowghi, D , 2002 , The three Cs of Requirements: Consistency, completeness, and Correctness, Proc , 8th International Requirements Engineering: foundation for software quality

  5. , 2005 , IEC Std. 62425, "Railway applications-Communication, signaling and processing systems–safety- related electronic systems for signaling,"

  6. , 1474 , IEEE Std 1474.1-2004, "Standard for Communications-Based Train Control Performance and Functional Requirements"

  7. , 1998 , IEC Std. 61508, "Functional safety of electrical, electronic, programmable electronic safety-related systems,"

  8. , 1998 , IEEE Std. 830, "IEEE Recommended Practice for Software Requirements Specifications,"

  9. Harel, D , 1998 , Modeling Reactive Systems with Statescharts , McGraw-Hill

  10. Potter, B , 1996 , Introduction to Formal Specification and Z , Prentice-Hall

  • 처음
  •  
  • 이전
  •  
  • 1
  •  
  • 2
  •  
  • 3
  •  
  • 다음
  •  
  • 마지막
인용된 논문 (1)

알림서비스 신청하고 '인용된 논문' 정보를 메일로 확인 하세요!

제 1 저자의 다른 논문 (48)

이진호 식별저자 저자의 상세정보를 확인해 보세요.

  • 처음
  •  
  • 이전
  •  
  • 1
  •  
  • 2
  •  
  • 3
  •  
  • 4
  •  
  • 5
  •  
  • 다음
  •  
  • 마지막
권호 내 다른 논문 (10)

정보과학회논문지 : 소프트웨어 및 응용 제35권 제12호 의 상세정보를 확인해 보세요.

추천 논문 (10)

DBpia 추천논문과 함께 다운받은 논문을 제공합니다. 논문 초록의 텍스트마이닝과 이용 및 인용 관계 분석을 통해 추천해 드리는 연관논문을 확인해보세요.

DBpia 추천논문

더 많은 추천논문을 확인해 보세요!

함께 다운받은 논문

지표

이용현황

· 이용수

· 이용순위 상위 Top3

자세히 보기 >
No 상위 이용이관 이용수
1 고려대학교 15
2 아주대학교 12
3 서울과학기술대학교 6

활용도

· 활용지수

· 논문의 활용도 추이 (주제분야 기준)

자세히 보기 >

: %

2016-09
2016-10
2016-11
2016-12
0
20
40
60
80
100
  • 0%
  • 20%
  • 40%
  • 60%
  • 80%
  • 100%

피인용수

상세정보
저작권 정책

누리미디어에서 제공되는 모든 저작물의 저작권은 원저작자에게 있으며, 누리미디어는 각 저작물의 내용을 보증하거나 책임을 지지 않습니다. 단, 누리미디어에서 제공되는 서지정보는 저작권법에 의해 보호를 받는 저작물로, 사전 허락 없이 임의로 대량 수집하거나 프로그램에 의한 주기적 수집 이용, 무단 전재, 배포하는 것을 금하며, 이를 위반할 경우, 저작권법 및 관련법령에 따라 민, 형사상의 책임을 질 수 있습니다.

맨 위로 이동