지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 정보과학회논문지 : 소프트웨어 및 응용 정보과학회논문지 : 소프트웨어 및 응용 제32권 제12호
- 발행연도
- 2005.12
- 수록면
- 1,178 - 1,192 (14page)
이용수
초록· 키워드
오류제보하기
본 논문은 NuSCR 정형 명세 언어로 작성된 소프트웨어 요구 명세로부터 소프트웨어 고장 수목을 생성하는 방법에 대하여 제안하였다. 본 연구에서 제안하는 소프트웨어 고장 수목은 소프트웨어의 구조와 동작에 대한 요구 사항을 반영하는 통합된 형태의 고장 수목으로, 안전성에 대한 복합적인 분석이 가능하다. 이러한 소프트웨어 고장 수목을 생성하기 위하여 NuSCR 정형 명세언어의 구성 요소 각각에 대한 템플릿을 정의하고, 이들 템플릿을 사용하여 소프트웨어 고장 수목을 생성하는 방법을 제안하였다. 그리고, 제안된 방법의 유용성을 평가하기 위해 현재 국내 원전계측제어시스템 개발사업단에서 개발 중인차세대 원자력 시스템 APR1400에 사용될 원자로 보호 시스템의 핵심 트립 논리에 대하여 고장 수목을 생성하고 분석 하였다.
목차
요약
Abstract
1. 서론
2. 관련 연구
3. 고장 수목 생성
4. 사례 연구
5. 결론
참고문헌
저자소개
참고문헌 (24)
참고문헌 신청
[학술지(정기간행물)] - T. Kim / fmw2001 / NuSCRsoftware requirements specification language
[학술지(정기간행물)] - J. Yoo / 2005. / A formal software requirements specification method for digital nuclear plants protection systems 74 : 73 ~ 83
[학술지(정기간행물)] - N. Leveson / sept.1983. / Analyzing software safety 9 : 569 ~ 579
[학술지(정기간행물)] - N. Leveson / 1991.07 / Safety verification of ada programs using software fault trees 8 : 48 ~ 60
[학술지(정기간행물)] - S. Min / 1999. / Safety verification of ada95 programs using software fault trees : 226 ~ 238
[학술지(정기간행물)] - J. Yoo / 2005. / A formal software requirements specification method for digital nuclear plants protection systems 74 : 73 ~ 83
[학술지(정기간행물)] - N. Leveson / sept.1983. / Analyzing software safety 9 : 569 ~ 579
[학술지(정기간행물)] - N. Leveson / 1991.07 / Safety verification of ada programs using software fault trees 8 : 48 ~ 60
[학술지(정기간행물)] - S. Min / 1999. / Safety verification of ada95 programs using software fault trees : 226 ~ 238
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
디지털 원자로 보호 시스템을 위한 정형 소프트웨어 요구사항 명세
정보과학회논문지 : 소프트웨어 및 응용
2004 .06
-
NuSCR 정형 요구 명세에서 UML2.0 Activity Diagram으로의 변환 규칙
한국정보과학회 학술발표논문집
2018 .06
-
정형 소프트웨어 요구사항으로부터 PLC 디자인의 체계적 생성
정보과학회논문지 : 소프트웨어 및 응용
2005 .02
-
NuSCR 정형 요구사항 명세로부터 FBD 프로그램 자동생성을 위한 CASE 도구
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2009 .04
-
통신 소프트웨어의 정형적 명세 방안
한국통신학회 학술대회 및 강연회
1997 .01
-
NuSCR 정형 요구사항명세로부터 FBD 프로그램 자동생성을 위한 도구(NuSCRtoFBD) 개발
한국정보과학회 학술발표논문집
2008 .10
-
고장 데이터를 이용한 변압기 퍼지 고장수목 분석
대한전기학회 학술대회 논문집
2017 .11
-
고장 데이터를 이용한 변압기 퍼지 고장수목 분석
대한전기학회 학술대회 논문집
2017 .11
-
NuSCRtoFBD 4.0: NuSCR 정형명세언어로부터 FPGA 개발용 FBD프로그램 자동생성 도구
한국정보과학회 학술발표논문집
2014 .06
-
SMV를 이용한 Structural Decision Table 명세의 정형검증
한국정보과학회 학술발표논문집
2006 .06
-
도시속의 수목
건축사
1976 .01
-
소프트웨어 요구명세와 설계 명세간의 부합성 검사
한국정보과학회 학술발표논문집
2004 .10
-
PVS를 이용한 SCR 스타일의 소프트웨어 요구사항 명세에서 기능 요구 사항의 정형 검증
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2002 .02
-
결함허용 실시간 소프트웨어 설계를 위한 명세언어
한국산업정보학회 학술대회논문집
1997 .11
-
내장 소프트웨어에서의 신뢰도와 고장율 예측
(구)정보과학회논문지
1994 .01
-
요구명세언어 및 요구분석 지원시스템 개발 ( Development of Software Specification Language and Software Requirements Analysis System )
특정연구 결과 발표회 논문집
1990 .01
-
하천 내 수목의 내력 시험
한국수자원학회논문집
1997 .01
-
비행조종컴퓨터 소프트웨어 기반 고장허용 설계 기법 연구
한국항공우주학회지
2016 .03
-
통신 소프트웨어 개발 환경의 설계 및 명세 작성기의 구현
한국정보과학회 학술발표논문집
1999 .04
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-569-015241520