지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2021.1
- 수록면
- 131 - 141 (11page)
- DOI
- https://doi.org/10.1016/j.net.2020.06.017
이용수
초록· 키워드
오류제보하기
Simulation is a widely used functional verification method for FBD programs of PLC-based digital I&Csystem in nuclear power plants. It is difficult, however, to estimate the thoroughness (i.e., effectiveness orquality) of a simulation in the absence of any clear measure for the estimation. This paper proposes twosets of structural coverage adequacy criteria for the FBD simulation, toggle coverage and modified condition/decision coverage, which can estimate the thoroughness of simulation scenarios for FBD programs,as recommended by international standards for functional safety. We developed two supporting tools togenerate numerous simulation scenarios and to measure automatically the coverages of the scenarios.
The results of our experiment on five FBD programs demonstrated that the measures and tools can helpsoftware engineers estimate the thoroughness and improve the simulation scenarios quantitatively
목차
등록된 정보가 없습니다.
참고문헌 (35)
참고문헌 신청
E. -S. Kim / 2016 / MC/DC and toggle coverage measurement tool for FBD program simulation / Transactions of the Korean Nuclear Society Spring Meeting
International Atomic Energy Agency (IAEA) / 1999 / Verification and Validation of Software Related to Nuclear Power Plant Instrumentation and Control
R. Alur / 2008 / Symbolic analysis for improving simulation coverage of simulink/stateflow models / Proceedings of the 8th ACM International Conference on Embedded Software
International Electrotechnical Commission(IEC) / 2003 / IEC 61131-3, Programmable Controllers: Part 3dProgramming Languages, second ed
R. G. Sargent / 2013 / Verification and validation of simulation models / J. Simulat 7:12~24
International Atomic Energy Agency (IAEA) / 1999 / Verification and Validation of Software Related to Nuclear Power Plant Instrumentation and Control
R. Alur / 2008 / Symbolic analysis for improving simulation coverage of simulink/stateflow models / Proceedings of the 8th ACM International Conference on Embedded Software
International Electrotechnical Commission(IEC) / 2003 / IEC 61131-3, Programmable Controllers: Part 3dProgramming Languages, second ed
R. G. Sargent / 2013 / Verification and validation of simulation models / J. Simulat 7:12~24
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
FBD 프로그램에 대한 뮤테이션 연산자 확장 정의 및 적용
정보과학회 컴퓨팅의 실제 논문지
2018 .11
-
FBD 프로그램 대상 뮤테이션 충분성 만족 테스트 데이터 생성 기법
한국정보과학회 학술발표논문집
2018 .06
-
FBD 프로그램 대상 구조적 커버리지를 만족시키는 테스트 시퀀스 생성 알고리즘
한국정보과학회 학술발표논문집
2015 .06
-
안전 필수 시스템을 구현한 FBD 프로그램 대상 테스팅 기법의 진화 사례 분석
정보과학회지
2021 .10
-
FBD 프로그램 대상 뮤테이션 기반 오류 위치 추정 기법의 활용 가능성 분석
한국정보과학회 학술발표논문집
2015 .06
-
FBD로부터 C프로그램 코딩 가이드라인을 준수하는 C코드 변환규칙
한국정보과학회 학술발표논문집
2020 .12
-
전문가 경험과 머신러닝 결과를 비교할 수 있는 「Ranked-FBD 기반 시각화」 방법
한국조명·전기설비학회 학술대회논문집
2022 .05
-
FBD 프로그램에 대한 포괄적 뮤테이션 연산자 정의
한국정보과학회 학술발표논문집
2017 .12
-
FBDtoVHDL: An Automatic Translation from FBD into VHDL for FPGA Development
Journal of KIISE
2016 .05
-
FBDtoVHDL : FPGA 개발을 위한 FBD로부터 VHDL 자동 변환 도구
한국정보과학회 학술발표논문집
2015 .12
-
FBD 프로그램 뮤테이션 기반 오류 위치 추정 기법 적용 사례연구
정보과학회 컴퓨팅의 실제 논문지
2016 .03
-
전력패턴·제어특성·운전조건 데이터를 활용한 생산설비 이상 탐지를 위한 AI 모델링 방법 연구
조명·전기설비학회논문지
2022 .07
-
A Partial Discharge Diagnostic System for Power Cable Using FBDS(Frequency Band Detection Sensor
전자공학회논문지
2017 .01
-
Assessment of collapse safety margin for DDBD and FBD-designed RC frame buildings
Structural Engineering and Mechanics, An Int＇l Journal
2022 .07
-
Effects of integrated simulation education among nursing students during the COVID-19 pandemic in Korea
International JOURNAL OF CONTENTS
2021 .09
-
Performance assessment of RC frame designed using force, displacement & energy based approach
Structural Engineering and Mechanics, An Int＇l Journal
2020 .01
-
Medical Simulation
대한기계학회 춘추학술대회
2017 .04
-
Can irregular bridges designed as per the Indian standards achieve seismic regularity?
Advances in computational design
2017 .01
-
Development of a Scenario Metamodel based on the Conceptualization of a Scenario for Verification and Validation of a Software System
한국정보과학회 학술발표논문집
2021 .06
-
콘크리트 SHPB 쪼갬 인장실험에서 FBD 방법에 따른 동적 응력 평형 평가
한국콘크리트학회 학술대회 논문집
2021 .11
이 논문의 저자 정보
최근 본 자료
댓글(0)
0