지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2019.1
- 수록면
- 1,289 - 1,296 (8page)
이용수
초록· 키워드
오류제보하기
Non-functional requirements plays a critical role in designing variety of applications domain ranges fromsafety-critical systems to simple gaming applications. Performance is one of the crucial non-functionalrequirement, especially in control and safety systems, that validates the design. System risk can bequantified as a product of probability of system failure and severity of its impact. In this paper, we devisea technique to do the performance analysis of safety critical and control systems and to estimate performancebased risk factor. The technique elaborates Petri nets to estimate performability to ensuresystem dependability requirements. We illustrate the technique on a case study of Nuclear Power Plantsystem. The technique has been validated on 17 safety critical and control systems of Nuclear PowerPlant.
목차
등록된 정보가 없습니다.
참고문헌 (13)
참고문헌 신청
Lalit Kumar Singh / 2014 / Design verification of instrumentation and control systems of NPP / IEEE Trans. Nucl. Sci 61:921~930
L.K. Singh / 2012 / Modeling and prediction of performability of safety critical computer based systems using Petri nets / 2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops :85~94
Lalit Kumar Singh / 2017 / Dependability analysis of safety critical realtime systems by using Petri nets / IEEE Trans. Control Syst. Technol :1~12
Lalit Singh / 2016 / Computing Transition Probability in Markov Chain for Early Prediction of Software Reliability / Quality and Reliability Engineering International 32(3):1253~1263
Lalit Singh / 2016 / Ensuring safety in design of safety critical computer based systems / Annals of Nuclear Energy 92:289~294
L.K. Singh / 2012 / Modeling and prediction of performability of safety critical computer based systems using Petri nets / 2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops :85~94
Lalit Kumar Singh / 2017 / Dependability analysis of safety critical realtime systems by using Petri nets / IEEE Trans. Control Syst. Technol :1~12
Lalit Singh / 2016 / Computing Transition Probability in Markov Chain for Early Prediction of Software Reliability / Quality and Reliability Engineering International 32(3):1253~1263
Lalit Singh / 2016 / Ensuring safety in design of safety critical computer based systems / Annals of Nuclear Energy 92:289~294
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
Performance evaluation of safety-critical systems of nuclear power plant systems
Nuclear Engineering and Technology
2020 .01
-
Performance measurement of safety-critical systems based on ordinary differential equations and Petri nets: A case study of nuclear power plant
Nuclear Engineering and Technology
2023 .03
-
Petri Net Modeling for Performance Analysis of FF-Based Process Control in Terms of Safety and Availability Enhancement
제어로봇시스템학회 국제학술대회 논문집
2017 .10
-
Computational complexity of state number calculation problem of some bounded classes of Petri net
ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications
2015 .06
-
STPA와 Petri Nets의 연계: 음성인식 기반 제조 안전시스템 사례 연구
한국통신학회 학술대회논문집
2024 .06
-
Current Status and Issues of Nuclear Safety Culture
대한인간공학회지
2016 .08
-
Critical Item Control Requirements에 대한 고찰
항공우주시스템공학회 학술행사 논문집
2019 .05
-
Development Requirements of Indicators to monitor Nuclear Safety Culture
대한인간공학회 학술대회논문집
2015 .10
-
Risk Critical Point (RCP): A Quantifying Safety-Based Method Developed to Screen Construction Safety Risks
Industrial Engineering & Management Systems
2015 .09
-
Model-Based Design and Control of Distributed DNA-Based Systems by Petri Nets
NANO
2016 .01
-
Petri Net 모델 시뮬레이션을 통한 게임플레이 분석방법
한국게임학회 논문지
2015 .10
-
원전 이벤트 원인분석 과정에서의 원자력 안전문화 검토
대한인간공학회 학술대회논문집
2022 .10
-
Suggestions for More Reliable Measurement of Korean Nuclear Power Industry Safety Culture
대한인간공학회지
2016 .04
-
Optimization of preventive maintenance of nuclear safety-class DCS based on reliability modeling
Nuclear Engineering and Technology
2022 .10
-
Consistency issues in quantitative safety goals of nuclear power plants in Korea
Nuclear Engineering and Technology
2019 .01
-
혼합 중요도 시스템에서 안전 필수 응용의 성능 고립화 방법
전자공학회논문지
2019 .12
-
Instrumentation and control systems design for nuclear power plant: An interview study with industry practitioners
Nuclear Engineering and Technology
2021 .11
-
Risk Assessment on Hazards for Safety of Nuclear Power Plant Decommissioning
한국방사성폐기물학회 학술대회
2018 .01
-
관절 각도 제약을 지닌 T-로봇의 안전 중시 제어
제어로봇시스템학회 국내학술대회 논문집
2022 .06
-
원전의 원자력 안전문화 평가 방법 개선
한국에너지학회 학술발표회
2023 .10
이 논문의 저자 정보
최근 본 자료
댓글(0)
0