지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2019.1
- 수록면
- 463 - 478 (16page)
이용수
초록· 키워드
오류제보하기
The most important non-functional requirements for dependability of any Embedded Real-Time SafetySystems are safety, availability and reliability requirements. System architecture plays the primary role inachieving these requirements. Compliance with these non-functional requirements should be ensuredearly in the development cycle with appropriate considerations during architectural design. In this paper,we present an application of system architecture modeling for quantitative assessment of systemdependability. We use probabilistic model checker (PRISM), for dependability analysis of the DTMCmodel derived from system architecture model. In general, the model checking techniques do not scalewell for analyzing large systems, because of prohibitively large state space. It limits the use of modelchecking techniques in analyzing the systems of practical interest. We propose abstraction basedcompositional analysis methodology to circumvent this limitation. The effectiveness of the proposedmethodology has been demonstrated using the case study involving the dependability analysis of safetysystem of a large Pressurized Water Reactor (PWR).
목차
등록된 정보가 없습니다.
참고문헌 (20)
참고문헌 신청
AERB / 2005 / AERB/NPP-PHWR/SG/D-10, AERB Safety Guide: Safety Systems for Pressurized Heavy Water Reactors
AERB / 2010 / AERB/NPP-PHWR/SG/D-25, AERB Safety Guide: Computer Based Systems of Pressurized Heavy Water Reactors
A. Biere / 1999 / Tools and Algorithms for the Construction and Analysis of Systems / Springer Berlin Heidelberg :193~207
E. Clarke / 2001 / Progress on the State Explosion Problem in Model Checking / Springer Berlin Heidelberg :176~194
E. M. Clarke / 1999 / Model Checking / MIT press
AERB / 2010 / AERB/NPP-PHWR/SG/D-25, AERB Safety Guide: Computer Based Systems of Pressurized Heavy Water Reactors
A. Biere / 1999 / Tools and Algorithms for the Construction and Analysis of Systems / Springer Berlin Heidelberg :193~207
E. Clarke / 2001 / Progress on the State Explosion Problem in Model Checking / Springer Berlin Heidelberg :176~194
E. M. Clarke / 1999 / Model Checking / MIT press
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
Dynamic Dependability Level Switching Strategies by Utilizing Threat Predictions
한국산업정보학회논문지
2017 .04
-
Visualized Assurance Approach for Enterprise Architecture
Journal of information and communication convergence engineering
2019 .06
-
Service-Dependability-Case based Self-Adaptation in Service-Oriented Environment
Journal of KIISE
2015 .11
-
사용자 요소 기반의 신뢰성 있는 기기 탐색을 위한 사물인터넷 통합 시스템 개발
멀티미디어학회논문지
2017 .05
-
Instrumentation and control systems design for nuclear power plant: An interview study with industry practitioners
Nuclear Engineering and Technology
2021 .11
-
웹 기반 프랑스어 음소 지각 훈련과 그 신뢰도 평가
디지털콘텐츠학회논문지
2021 .12
-
Design of Safety Critical and Control Systems of Nuclear Power Plants using Petri Nets
Nuclear Engineering and Technology
2019 .01
-
Research on design requirements for passive residual heat removal system of lead cooled fast reactor via model-based system engineering
Nuclear Engineering and Technology
2024 .08
-
[용어와 건축] 건축자산
건축
2019 .10
-
[용어와 건축] 건축기획
건축
2022 .10
-
[용어와 건축] 4차 산업혁명과 건축응용
건축
2017 .10
-
[용어와 건축] 일본식 건축용어가 보여주는 우리 건축학의 한계
건축
2016 .12
-
A Comparative Study between LSI and LDA in Constructing Traceability between Functional and Non-Functional Requirements
한국컴퓨터정보학회논문지
2019 .07
-
[건축교육제도] 건축학·건축공학 통합교육을 위한 교육과정 : 서울대 사례제시
건축
2017 .03
-
“(한국적) 건축은 공간이다.”는 (건축)역사인가 이론인가 아니면 비평인가?
건축
2017 .01
-
Comparative Study of Architectural Conceptions Between the East and the West
ARCHITECTURAL RESEARCH
2021 .09
-
Application of the Technical Safety Requirements for the Fuel Cycle Facility
한국방사성폐기물학회 학술대회
2017 .01
-
건축공학교육에 대한 산업계 수요조사 분석
건축
2016 .03
-
[용어와 건축] 공공건축 건축기획
건축
2023 .10
-
[용어와 건축] 4D 프린팅 건축: 디자인혁신과 미래
건축
2022 .06
이 논문의 저자 정보
최근 본 자료
댓글(0)
0