본문 바로가기 주메뉴 바로가기
22대 대한민국 국회 국회정보길라잡이 국회의원검색
회원가입 로그인
HOME

정보검색

소장정보 검색

국회도서관 홈으로 정보검색 소장정보 검색

결과 내 검색

동의어 포함

고급검색

인명/단체명

저자정보 상세정보
인명/단체명을 입력하세요.

키워드

  • 대표어

  • 외국어

-

목차보기

목차

안전 필수 철도 시스템 개발을 위한 요구 사항의 정형 명세 작성 / 이진호 ; 황대연 ; 김진현 ; 박준길 ; 최진영 ; 황종규 ; 윤용기 ; 조현정 1

요약 1

Abstract 1

1. 서론 1

2. 관련 연구 2

2.1. 철도 시스템 관련 표준 2

2.2. 정형 기법 3

2.3. 요구사항 공학(requirements engineering) 3

3. 철도 시스템을 위한 정형 요구사항 명세 지침서 3

3.1. 정형 요구사항 명세 지침서 3

4. 정형 명세 기법의 적용 4

4.1. 철도 제어 시스템 4

4.2. 철도 제어 시스템의 정형 명세 4

5. 분석 7

5.1. 완전성(completeness) 7

5.2. 일치성(consistency) 8

6. 결론 8

참고문헌 9

[저자소개] 9

초록보기

철도 제어 시스템은 대표적인 안전필수 시스템이다. 국제 규격의 컴퓨터 기반의 철도 제어 시스템을 개발하기 위해서 정형 기법을 이용한 요구사항 명세와 검증이 요구된다. 본 논문에서는 정형 기법을 사용하여 요구사항 명세를 작성하는 지침서(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.

권호기사

권호기사 목록 테이블로 기사명, 저자명, 페이지, 원문, 기사목차 순으로 되어있습니다.
기사명 저자명 페이지 원문 목차
UML 프로파일 메커니즘을 이용한 이종 소형 무인지상차량 설계 자동화 김우열 ;손현승 ;김영철 pp.705-715

보기
자율 컴퓨팅을 적용한 SOA 서비스 결함 관리 기법 천두완 ;이재유 ;라현정 ;김수동 pp.716-730

보기
안전 필수 철도 시스템 개발을 위한 요구 사항의 정형 명세 작성 이진호 ;황대연 ;김진현 ;박준길 ;최진영 ;황종규 ;윤용기 ;조현정 pp.731-740

보기
횡단관심사 추적을 위한 관점지향 슬라이싱 기법 박종각 ;박옥자 ;유철중 pp.741-752

보기
비디오에서 불투명 및 반투명 TV 로고 인식을 위한 로고 전이 검출 방법 노명철 ;강승연 ;이성환 pp.753-763

보기
온톨로지 디버깅을 위한 종속 부호 기반 비논리적 공리 탐지 김제민 ;박영택 pp.764-773

보기
Topic Signature를 이용한 댓글 분류 시스템 배민영 ;차정원 pp.774-779

보기
3차원 손 모델링 기반의 실시간 손 포즈 추적 및 손가락 동작 인식 석흥일 ;이지홍 ;이성환 pp.780-788

보기
3차원 물체 재구성 과정이 통합된 실시간 3차원 특징값 추출 방법 홍광진 ;이철한 ;정기철 ;오경수 pp.789-799

보기
프로그래밍 언어 메타이론의 정형화 및 변수 묶기 이계식 pp.800-807

보기

참고문헌 (25건) : 자료제공( 네이버학술정보 )

참고문헌 목록에 대한 테이블로 번호, 참고문헌, 국회도서관 소장유무로 구성되어 있습니다.
번호 참고문헌 국회도서관 소장유무
1 Bowen, J, (1993) Formal methods in safety-critical standards, 1993 Software Engineering Standards Symposium 미소장
2 Formal methods 네이버 미소장
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 미소장
11 (2002) IEC Std. 62278, "Railway applications-Specification and demonstration of reliability," availability, maintainability and safety(RAMS), 미소장
12 (2003) IEC Std. 62279, "Railway applications-Software for railway control and protection systems,", 미소장
13 (2002) IEC Std. 62280, "Railway applications-Communication, signaling and processing systems,", 미소장
14 (1996) IEEE Std 12207, "Standard for Information Technology–Software life cycle processes,", 미소장
15 (1998) IEEE Std. 1233, "IEEE Guide for Developing System Requirements Specifications,", 미소장
16 Lecomte, T., (2007) Formal Methods in safety-critical railway system, Proc. Of Brazilian Symposium on formal methods (SBFM) 미소장
17 Janota, A.:, (2000) Using Z specification for railway interlocking safety, Periodica Polytechnica Ser. Transportation Engineering 미소장
18 Horste, M.M, (1999) Modelling and simulation of train control systems using Petri nets, Springer-Verlag 미소장
19 Abdulla, P.A., (2006) Designing Safe, Reliable systems using SCADE 미소장
20 Model Checking Safety-Critical Software with SPIN: An Application to a Railway Interlocking System 네이버 미소장
21 On visual formalisms 네이버 미소장
22 Requirements engineering for e-business advantage 네이버 미소장
23 Grady, J, (2006) System Requirements Analysis, Elsevier 미소장
24 Hartley, D., (2000) Process for System Architecture and Requirements Engineering, Dorset House 미소장
25 Bjorner, D., (2006) Software Engineering, Springer 미소장

추천서가 (다양한 추천 자료를 만나보세요)

권호기사보기

권호기사 목록 테이블로 기사명, 저자명, 페이지, 원문, 기사목차 순으로 되어있습니다.
기사명 저자명 페이지 원문 기사목차

권호

기사명 원문보기 기사목차
닫기