http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : Ashutosh Kabra (검색결과 1 건)
- 무료
- 기관 내 무료
- 유료
-
Amol Wakankar,Ashutosh Kabra,A.K. Bhattacharjee,Gopinath Karmakar 한국원자력학회 2019 Nuclear Engineering and Technology Vol.51 No.2
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).
연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
