• 한국정보통신학회논문지
• /
• 제23권2호
• /
• pp.201-206
• /
• 2019

소프트웨어 노화에 따른 시스템의 예기치 않은 장애 발생은 재활 기능을 주기적으로 수행함으로써 줄일 수 있다. 이 시스템 재활 기능은 주로 시스템이 가장 한가한 시간에 수행하는 것이 효과적이다. 이를 통해 시스템 가용도를 높일 수 있다. 재활 기법은 크게 시간 기반과 조건 기반의 두 가지 종류로 나눌 수 있다. 시간 기반 재활은 정해진 시간 간격마다 수행되고, 조건 기반 재활은 시스템 상태가 특정 조건을 만족할 때 수행된다. 조건 기반 방식은 시스템 감시와 정보의 수집 및 통계적 분석을 통해 재활 시점을 추정해야하기 때문에 추가적인 비용이 발생한다. 본 논문은 시간 기반 소프트웨어 재활 기법을 분석할 수 있는 확률 모형을 제시한다. 제시한 모형은 재활을 주기적으로 수행하는 시간 간격을 일정하게 유지할 수 있는 현실적인 상황을 반영한다. 해당 확률 모형을 수학적으로 분석하여, 정상 상태에서의 시스템 가용도와 사용자 인지 가용도 및 이에 따른 비용을 분석한다.

• 전기학회논문지
• /
• 제66권1호
• /
• pp.33-39
• /
• 2017

A top priority in the design of underwater vehicle is to guarantee the dependability of the electric system because failure of the electrical power supply system is directly related to the life of the passengers. In this paper, we present four kinds of alternative designs to improve reliability of electrical system in underwater vehicle. To reduce the risk and to increase availability of the electrical system, we use the redundancy of the grid structure and power converter. For all design alternatives, we carry out Fault Tree Analysis. Based on the FTA result, we implement RAM simulation to compare the risk and availability for the proposed design alternatives.

• International Journal of Internet, Broadcasting and Communication
• /
• 제11권4호
• /
• pp.65-70
• /
• 2019

We are looking the impact associated with globalization in favor of small and medium enterprises (SMEs) growth and how helped to reduce the obstacle facing SMEs growth. We used empirical analysis in order to examine the relationship underlying the globalization and its impact to SME growth. We employed primarily data from Tanzania SMEs. Further we seeks to explain the negative notion that has been created that globalization is not friendly to SME growths. We employed primary data from Tanzania SMEs. The partial least squares (PLS) was used for analysis. The conclusion has indicated that globalization has a relationship with SMEs growth and has contributed to the reduction of obstacles that inhibit SMEs growth. However study confirmed controversial result on part of availability of managers and manpower with global perspectives to influence SMEs growth. The test accepted that globalization has influenced availability of managers with global perspectives but reject the availability of these managers influences the SMEs growth The results give a clear outlook to help policy maker in policy review process, formulate base for extensive study on issues for manager perspectives and draw intervention.

• 한국컴퓨터정보학회논문지
• /
• 제24권6호
• /
• pp.81-88
• /
• 2019

Based on the theory of planned behavior and the theory of legal deterrence, this study takes consumers' willingness to pay for digital music as the research object, investigates the consumers who have digital music consumption channels and behaviors, and discusses the willingness of consumers to pay for digital music and its influencing factors. The study attempts to achieve the following research purposes: First, explore the influencing factors of willingness to pay for digital music using domestic and foreign literature research and related content analysis. Second, we want to examine the effect of Attitude, Collective Specifications, Quality Sensitivity and Music affinity on willingness to pay. Third, Legal deterrence and resource availability tries to verify whether there is a moderating effect between Attitude, Collective Specifications, Quality Sensitivity and Music affinity and willingness to pay. The research data was collected in 2019 between April 6th to May 8th. Questionnaires were randomly distributed in fixed places, mainly in Hubei Province, China. A total of 393 questionnaires were selected for data analysis. Based on the previous theoretical review and empirical analysis, the study draws the following conclusions: Firstly, attitude, collective specifications, quality sensitivity and music affinity have an impact on the willingness to pay. Second, Legal deterrence has a regulatory effect on the relationship among quality sensitivity, musical affinity and the willingness to pay. Last the resource availability has a significant impact on the willingness to pay. It also has a regulatory effect on the relationship among quality sensitivity, music affinity and the willingness to pay.

• 시스템엔지니어링학술지
• /
• 제12권1호
• /
• pp.105-112
• /
• 2016

An aircraft must be designed to minimize system failure rate for obtaining the aircraft safety, because the aircraft system failure causes a fatal accident. The safety of the aircraft system can be predicted by analyzing availability, reliability, and maintainability of the system. In this study, the reliability and the maintainability of the hydraulic system are analysed except the availability, and therefore the reliability and the maintainability analysis process and the results are presented for a helicopter hydraulic system. For prediction of the system reliability, the failure rate model presented in MIL-HDBK-217F is used, and MTBF is calculated by using the Part Stress Analysis Prediction and quality/temperature/environmental factors described in NPRD-95 and MIL-HDBK-338B. The maintainability is predicted by FMECA(Failure Mode, Effect & Criticality Analysis) based on MIL-STD-1629A.

• International Journal of Contents
• /
• 제5권4호
• /
• pp.88-93
• /
• 2009

It is important for communication networks to possess the capability to overcome failures and provide survivable services. We address modeling and analysis of performability affected by both performance and availability of system components for a token ring network under failure and repair conditions. Stochastic reward nets (SRN) is an extension of stochastic Petri nets and provides compact modeling facilities for system analysis. In this paper, hierarchical SRN modeling techniques are used to overcome state largeness problem. The upper level model is used to compute availability and the lower level model captures the performance. And Normalized Throughput Loss (NTL) is obtained for the composite ring network for each node failures occurrence as a performability measure. One of the key contributions of this paper constitutes the Petri nets modeling techniques instead of complicate numerical analysis of Markov chains and easy way of performability analysis for a token ring network under SRN reward concepts.

• Nuclear Engineering and Technology
• /
• 제51권2호
• /
• pp.463-478
• /
• 2019

The most important non-functional requirements for dependability of any Embedded Real-Time Safety Systems are safety, availability and reliability requirements. System architecture plays the primary role in achieving these requirements. Compliance with these non-functional requirements should be ensured early 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 system dependability. We use probabilistic model checker (PRISM), for dependability analysis of the DTMC model derived from system architecture model. In general, the model checking techniques do not scale well for analyzing large systems, because of prohibitively large state space. It limits the use of model checking techniques in analyzing the systems of practical interest. We propose abstraction based compositional analysis methodology to circumvent this limitation. The effectiveness of the proposed methodology has been demonstrated using the case study involving the dependability analysis of safety system of a large Pressurized Water Reactor (PWR).

• 항공우주시스템공학회지
• /
• 제18권1호
• /
• pp.11-20
• /
• 2024

최근 뉴스페이스 시대에는 과거의 고신뢰성 위성과 다르게 낮은 신뢰성 위성을 저가의 개발/양산 비용으로 개발하여 군집위성을 발사하고 있다. 경제적인 군집위성 개발을 위해서는 위성 사용자/개발자는 군집위성으로 발사되었을 때 기대되는 수명기간 동안 임무 성능의 유지 가능성 여부를 검토해야 한다. 또한, 성능유지를 위해 임의 고장에 의한 교체 계획도 수립되어야 한다. 본 연구에서는 지구관측 군집위성의 임무 성능의 유지와 교체 전략 수립을 위해 시스템 신뢰성 및 가용성 평가 방법을 제안하였다. 본 연구에서는 위성 백업 및 지상 추가 발사 백업 상황과 군집위성에 요구되는 임무 성능을 고려한 군집위성 신뢰성 및 가용성 모델을 구성하였다. 신뢰성 모델은 k-out-of-n system의 개념으로 구성되었고 가용성 모델은 마르코프 체인 모델을 이용하였다. 제안된 신뢰성 모델을 바탕으로 임무 요구사항에 필요한 최소 위성 개수를 정의하고, 요구 임무기간 동안 요구 임무 신뢰성 만족을 위해 궤도상 필요한 위성을 계산하였다. 또한 가용성 분석을 통해 요구 서비스기간 동안 요구 가용성 만족을 위한 궤도상 위성 여분 및 지상 여분의 개수를 분석하였다. 마지막으로 비용모델을 적용하여 위성의 신뢰성 및 개발 위성 개수간에 절충분석 개념을 제안하였다.

• 한국항행학회논문지
• /
• 제15권4호
• /
• pp.510-516
• /
• 2011

위성항법시스템(GNSS)을 민간항공 분야에 활용하기 위해서는 국제민간항공기구(ICAO)가 정한 비행단계별 정확성(Accuracy), 무결성(integrity), 연속성(continuity), 가용성(availability) 성능요구조건을 만족시켜야 한다. 사용자의 무결성을 확보하기 위해서는 사용자의 보호 수준을 크게 잡아야 하고 가용성을 향상시키기 위해서는 보호수준이 작을수록 좋다. 따라서 주어진 항행요구조건을 만족하기 위해서는 사용자의 무결성을 확보하면서 보호수준을 최대한 작게 잡아야 한다. 본 논문에서는 한국형 광역보정시스템 테스트베드 중앙처리국 모듈의 현재까지 진행 상황에 대해서 설명하고 현재 사용되고 있는 무결성 관련 알고리듬을 적용하였을 때 사용자의 무결성 및 가용성 성능에 대한 예측을 수행하였다. 또한 항법위성의 궤도 및 시계오차에 대한 공분산 행렬을 사용자 무결성 감시에 적용하였을 때의 가용성 향상 정도를 시뮬레이션을 통해 예측하도록 한다.

• 한국통신학회논문지
• /
• 제37C권10호
• /
• pp.965-976
• /
• 2012

본 논문은 공지(Aeronautical to Ground) 통신 환경에서 장거리용 공용 데이터링크로 개발되는 다중플랫폼 영상 정보용 공용 데이터링크(MPI-CDL : Multi-Platform Image & Intelligence Common Data Link)의 링크 가용도 분석 방법을 제안하고 링크 가용도를 만족하기 위해 필요한 링크마진을 분석한다. 제안된 링크 가용도 분석 방법은 강우감쇄와 다중경로 페이딩 분석모델을 하나의 조건부 확률로 변환함으로써 강우감쇄와 다중경로 페이딩을 함께 고려하여 링크 가용도를 분석할 수 있다. 영상정보용 공용 데이터링크의 주파수, 운용 고도, 통달거리에 따른 링크 가용도를 만족하기 위한 링크마진을 분석하고 실제 영상정보용 데이터링크가 적용되는 무인항공기의 운용환경을 고려한 링크마진 분석결과를 제시한다.