• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제15권6호
• /
• pp.435-439
• /
• 2009

안전-필수 분야에 사용되는 소프트웨어의 신뢰도(dependability)를 보장하기 위해 소프트웨어의 테스팅과 확인 및 검증활동이 매우 중요하다. 본 연구에서는 위험수준이 높은 소프트웨어 모듈을 소프트웨어 수명수기 초기에 예측하여, 테스팅과 확인 및 검증 활동에 대한 자원할당을 도울 수 있게 해준다. 다중 클래스 분류를 지원하는 SVM(Support Vector Machine)을 이용하여 소프트웨어 모듈의 잠재위험수준 을 예측한다 잠재위험수준이 상대적으로 높게 나온 모듈들에 대해 테스팅과 확인 및 검증을 집중적으로 실시함으로써 보다 효과적으로 소프트웨어의 품질을 향상시킬 수 있다. 또한, 원전의 계측제어계통에 사용되는 안전-필수 소프트웨어의 안전성 심사를 위한 대상 모듈을 샘플링할 때 활용할 수 있을 것으로 기대된다.

• 정보처리학회논문지A
• /
• 제12A권5호
• /
• pp.395-404
• /
• 2005

컴퓨터 시스템의 내/외부에 침입(attacks), 고장(failures)이 발생되더라도 적절한 방법으로 중요한 임무에(mission-critical) 해당한 역할을 수행하는 능력의 척도로 정의되는 생존성(survivability)에 대한 관심이 커지고 있다. 특히, 침입에 의해 시스템 일부가 손상(partially compromised) 되더라도, 최소한의 필수 서비스를 지속적으로 제공할 수 있게 해주는 침입감내시스템(intrusion tolerance system)의 설계시에 생존성 분석은 신뢰성(reliability), 가용도(availability)등과 같은 컴퓨터 시스템의 정량적 신인도(dependability) 분석과 함께 중요한 요소기술 중의 하나이다. 본 논문에서는 침입감내시스템의 방어능력을 평가하기 위해 자율컴퓨팅(autonomic computing)의 핵심 기술인 자가치유(self-healing) 메커니즘의 두 가지 요소(결함모델 및 시스템반응)를 활용하여, 주서버와 보조서버로 구성된 침입감내시스템의 상태천이(state transition)를 표현하였다. 또한, 침입감내시스템의 생존성, 가용도 및 다운타임 비용(downtime cost)을 정량적으로 정의한 후 시뮬레이션 실험 및 취약성(vulnerability) 공격에 대한 사례 연구를 수행하였다. 이를 통해 시스템의 신인도 향상 측면에서 초기상태에서의 침입감내능력 향상이 가장 중요한 요소임을 검증할 수 있었다.

• 대한안전경영과학회:학술대회논문집
• /
• 대한안전경영과학회 2001년도 춘계학술대회
• /
• pp.161-166
• /
• 2001

IEC 60300에서 규정한 신뢰성시험으로부터 얻은 시험자료(Test Data)의 형태와 자료분석에 쓰이는 통계적 도구와 자료분석도구와 분석과정에 대해서 수리가능한 제품과 불가능한 제품으로 구분하여 설명한다.

• 대한안전경영과학회:학술대회논문집
• /
• 대한안전경영과학회 2007년도 춘계학술대회
• /
• pp.309-322
• /
• 2007

This paper shows application guide of dependability data from the field, life cycle costing, and maintainability. Moreover, this study introduces mathematical expressions and predictions for reliability, availability and maintainability. This paper also shows compliance test procedures for steady-state availability, and application of Markov techniques.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제14권4호
• /
• pp.1479-1501
• /
• 2020

Dependable functioning of dynamic networks is essential for delivering ubiquitous services. Faults are the root causes of network outages. The comparison diagnosis model, which automates fault's identification, is one of the leading approaches to attain network dependability. Most of the existing research has focused on stationary networks. Nonetheless, the time-free comparison model imposes no time constraints on the system under considerations, and it suits most of the diagnosis requirements of dynamic networks. This paper presents a novel protocol that diagnoses faulty nodes in diagnosable dynamic networks. The proposed protocol comprises two stages, a testing stage, which uses the time-free comparison model to diagnose faulty neighbour nodes, and a disseminating stage, which leverages a Random Linear Network Coding (RLNC) technique to disseminate the partial view of nodes. We analysed and evaluated the performance of the proposed protocol under various scenarios, considering two metrics: communication overhead and diagnosis time. The simulation results revealed that the proposed protocol diagnoses different types of faults in dynamic networks. Compared with most related protocols, our proposed protocol has very low communication overhead and diagnosis time. These results demonstrated that the proposed protocol is energy-efficient, scalable, and robust.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(B)
• /
• pp.33-36
• /
• 2011

본 논문에서는 SMART(Self-Monitoring Analysis and Reporting Technology)를 기반으로 SSD(Solid State Drives) 저장 장치의 신뢰성을 분석할 수 있는 방법론과 도구를 제안한다. 방법론은 SSD를 구성하는 플래시 메모리의 결함 종류, 결함들을 효과적으로 모니터링 할 수 있는 SMART 속성과 임계값, 그리고 이를 기반으로 SSD의 신뢰성을 예측할 수 있는 모델로 구성된다. 이 방법론은 신뢰성 분석 도구로 구현 되었으며, 이 도구는 Workload generator, SMART monitor, Dependability analyzer, 그리고 GUI viewer로 구성된다. 실제 두 회사에서 생산한 6개의 SSD를 이용하여 실험한 결과, SMART를 기반으로 SSD의 고장 예측이 가능하며, 여러 속성들을 동시에 고려하였을 때 예측의 정확도가 높아짐을 발견하였다.

• 한국정보과학회논문지:시스템및이론
• /
• 제29권4호
• /
• pp.176-184
• /
• 2002

본 논문은 고신뢰 실시간 시스템에 체크포인팅을 적용할 수 있도록 실시간성과 신뢰성을 모두 고려하는 체크포인팅 프레임워크를 제공한다. 실시간 태스크의 시간 예측성은 할당된 체크포인트의 수와 태스크가 실행 중에 감내 해야하는 고장의 수를 기반으로 태스크의 최악 실행 시간(WCET: Worst Case Execution Time)을 산출함으로써 보장된다. 태스크가 실행 중에 극복해야하는 고장의 수는 태스크의 신뢰성 요구조건을 기반으로 산출됨으로써 태스크의 신뢰성이 보장되도록 한다. 이렇게 얻어진 태스크들의 WCET와 태스크가 극복해야 하는 고장의 수를 이용하여, 각 태스크의 스케줄 가능성을 보장하기 위해 요구되는 최소의 체크포인트 수를 유도하는 알고리즘을 제안한다. 본 논문에서 제안하는 프레임워크는 체크포인팅의 시간 중복량을 기반으로 하므로, 다른 시간 중복 기법에 대해서도 확장이 용이하다.

• International Journal of Internet, Broadcasting and Communication
• /
• 제15권3호
• /
• pp.191-202
• /
• 2023

This study aims to propose a framework for evaluating the impact of artificial intelligence (AI) services, based on the concept of AI service impact. It also suggests a model for evaluating this impact and identifies relevant factors and measurement approaches for each item of the model. The study classifies the impact of AI services into five categories: ethics, safety and reliability, compliance, user rights, and environmental friendliness. It discusses these five categories from a broad perspective and provides 21 detailed factors for evaluating each category. In terms of ethics, the study introduces three additional factors-accessibility, openness, and fairness-to the ten items initially developed by KISDI. In the safety and reliability category, the study excludes factors such as dependability, policy, compliance, and awareness improvement as they can be better addressed from a technical perspective. The compliance category includes factors such as human rights protection, privacy protection, non-infringement, publicness, accountability, safety, transparency, policy compliance, and explainability.For the user rights category, the study excludes factors such as publicness, data management, policy compliance, awareness improvement, recoverability, openness, and accuracy. The environmental friendliness category encompasses diversity, publicness, dependability, transparency, awareness improvement, recoverability, and openness.This study lays the foundation for further related research and contributes to the establishment of relevant policies by establishing a model for evaluating the impact of AI services. Future research is required to assess the validity of the developed indicators and provide specific evaluation items for practical use, based on expert evaluations.

• Asia pacific journal of information systems
• /
• 제31권1호
• /
• pp.102-120
• /
• 2021

E-learning is a planned effort towards providing interactive and experiential learning having flexibility in terms of time, place, pace, participation and accessibility. Globalization has set the stage for a social transformation of the world economy driven by technological innovation, emphasizing knowledge-based processes. While the tertiary education enrolments in wealthy nations have gone up incrementally, the same cannot be said to be right about developing economies. E-Learning can streamline enrolments to higher education, in developing nations by being a cost-effective and flexible alternative. The objective of this paper is to draw attention to the similarities in the national culture of these two countries and compare students' perception on e-learning in India and Sri Lanka along eight dimensions viz., viability, dependability, flexibility, inclusivity, power, pertinence, challenge and equitability. The results reveal that e-learning is equally popular among students from both countries, and they have a high perception score towards e-learning on each of the measured eight dimensions. Hence results are indicative of an opportunity of tapping the potential of e-learning in reaching out to a broader audience of underprivileged students and onboarding them into the knowledge economy.

• 한국산학기술학회논문지
• /
• 제19권5호
• /
• pp.323-330
• /
• 2018

본 연구는 측정학적 특성을 바탕으로 교육과학기술부에서 표준안으로 보급한 교직 적성 인성 검사를 교육대학원의 예비공학교사에게 실시하는 것이 적절한지를 살펴보며, 교직 적성 인성 검사가 적정 수준의 신뢰도에 도달할 수 있는 효율적인 측정 조건을 제시하였다. 이를 위해 수도권에 소재한 한 교육대학원에서 2013년부터 2017년까지 공학교육전공의 예비공학교사 99명을 대상으로 실시한 교직 적성 인성 검사자료에 일반화가능도 분석을 수행하였다. 주요 분석결과는 다음과 같다. 첫째, 교직 적성 인성 검사점수에 미치는 요인의 상대적인 영향력은 일반적으로 잔차, 영역 내 문항, 피험자, 피험자와 영역의 상호작용, 영역, 그리고 시행횟수 크기의 순으로 나타났다. 둘째, 고전검사이론을 바탕으로 한 Cronbach's ${\alpha}$는 측정 구조를 적합하게 반영하지 못함으로써 과대추정 될 수 있으므로 준거참조검사에서는 의존도계수와 같은 보다 정밀한 신뢰도를 추정할 필요가 있다. 셋째, 교직 적성 인성 검사 표준안은 의존도계수를 바탕으로 교육대학원의 예비공학교사에게 적용 가능하다는 경험적 근거를 제시하였다. 넷째, 교직 적성 인성 검사가 적정 수준의 신뢰도에 도달할 수 있는 효율적인 측정 조건은 총 문항 수를 기준으로 시행횟수는 2회, 영역은 12개, 그리고 영역 내 문항은 8개로 원자료인 총 210개 문항을 96개로 축소할 수 있는 것으로 나타났다. 마지막으로 본 연구의 제한점과 후속 연구를 위한 방향을 제시하였다.