• 한국IT서비스학회:학술대회논문집
• /
• 2005.05a
• /
• pp.399-407
• /
• 2005

소프트웨어 산업은 급속한 기술의 발전과 적용분야의 복잡성 및 다양성 등으로 제품 품질 및 성능에 대한 정확한 평가분석이 어렵다. 그러나 산업에서 필요로 하는 소프트웨어를 적재적소에 공급하거나 신규 시장 진출을 위한 마케팅 활동, 동종 소프트웨어간의 비교평가를 통한 제품 개선 등과 같은 요구사항의 증대로 소프트웨어 벤치마킹의 중요성이 더욱 부각되고 있는 상황이다. 또한 이러한 제품 간 비교${\cdot}$평가를 올바르게 수행하기 위해서는 신뢰할 만한 결과의 획득과 효율적인 수행이 필수적이다. 이에 본 논문에서는 주로 성능측면의 소프트웨어 벤치마크 테스트를 수행하는데 있어 현실적이고 신뢰할만한 그리고 정확한 사용자 요구사항을 반영할 수 있도록 벤치마크 테스트 계획 수립과 설계의 주요 기본단계를 경험적 지식에 기반을 두어 사례 중심으로 소개하고자 한다.

• Proceedings of the Safety Management and Science Conference
• /
• 2010.04a
• /
• pp.573-585
• /
• 2010

최근 철도차량은 안전성과 신뢰성 향상을 위해 점차 복잡하게 설계 제작되고, 품질에 대한 기대와 요구수준이 점차 높아짐에 따라 운영기관에서는 과학적이고 체계적인 예방 정비를 통한 안전성과 가용성 향상을 위해 노력하고 있다. 이러한 목적을 달성하기 위하여 여러 방안들이 연구되고 있으며, 대표적으로 신뢰성 기반 유지보수(RCM; Reliability Centered Maintenance)가 철도분야에 지속적으로 도입되고 있는 추세이다. 본 연구에서는 새로운 예방정비 기술로 대두되고 있는 RCM의 기본이론에 대한 고찰과 RCM의 일반적 실시 절차를 소개하고, RCM의 국제규격인 IEC 60300-3-11, NAVAIR 00-25-403, MIL-STD-2173을 비교 분석하여 이를 바탕으로 철도차량에 RCM 도입 시 효과적이고 적합한 절차 및 방안을 제시하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10c
• /
• pp.160-162
• /
• 2003

분산 시스템 상에서 SDR 소프트웨어 시스템을 구현하려면 재구성성과 유연성이 필요하다. 따라서 이를 충족시켜줄 수 있는 객체지향 컴퓨팅 기술이 필요하게 된다. 이러한 분산 객체 구조를 가능하게 하는 핵심은 CORBA 미들웨어이다. CORBA는 소프트웨어 버스로서 분산성와 이종성을 숨기고 분산 객체들이 유연하게 통신할 수 있게 해주는 핵심 역할을 담당한다. 분산 네트워크 환경 하에서 CORBA의 네이밍 서비스는 네임 서버에 저장한 논리적 이름을 통해서 객체의 위치 정보를 얻는다. 이 방식은 서버의 물리적인 위치 변화에 상관없이 객체의 위치 투명성을 제공한다. 본 논문에서는 SDR 시스템에서 클라이언트가 재구성을 위한 소프트웨어를 다운로드를 받기위해 서버의 구현객체에 논리적인 이름을 이용하여 접근을 가능하게 해주는 신뢰성 있는 CORBA 네이밍 서비스를 설계함으로써 SDR 시스템의 지역적 투명성을 지원하는 모델을 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.376-378
• /
• 2001

원격 진료 또는 원격 강의와 같은 신뢰적인 멀티캐스트 다자간 통신에서는 멀티캐스트 기능 뿐 만 아니라, 모든 수신자에게 신뢰적인 정보 전들을 요구한다. 이를 위해, 네트워크 자원을 효과적으로 이용하고, 재전송 데이터의 전달 시간 단축, 그리고 그룹 멤버의 가입/이탈 시의 손쉬운 멤버쉽 관리를 위해서는 멀티캐스트 트리를 구성해야 한다. 본 논문에서 제안한 멀티캐스트 구성 알고리즘은 송신자가 수신자에 의해 전송되는 ICMP 메시지의 학장을 이용하여 송신자로부터 수신자까지의 경로를 계산하고, 그 경로에 따라서 최소 비용 멀티캐스트 트리를 구성하는 방법이다. 본 알고리즘은 다른 계층의 프로토콜과는 독립적으로 동작할 수 있고, ICMP 메시지 확장뿐만 아니라, IP 옵션의 확장을 통해서도 제공될 수 있다. 본 논문에서는 최근 인터넷 표준 초안으로 제안된 ICMP 메시지 확장을 기반으로 기술하였다. 본 알고리즘을 통해 적정한 재정 재전송자와 재전송 도메인이 구성되는 것을 간단한 프로그래밍을 통해 확인 할 수 있었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.563-565
• /
• 1999

실시간 시스템은 응용분야의 특성상 높은 신뢰성을 요구하므로 설계시 시스템의 정확성과 안전성을 보장하는 것은 매우 중요하다. 신뢰성 보장을 위한 방법으로 정형기법(formal method)을 이용한 명세 방법이 연구되어 왔다. 정형적인 명세를 사용하는 경우 원하는 시스템의 특성에 대한 검증이 가능하며 자연어로 명세한 경우보다 모호함이 줄어들어 의사소통을 하는데 있어서 명확성을 제공한다. 그러나 이런 장점에도 불구하고 객체 지향 개발 방법론에서의 정형적인 명세에 관한 연구가 미흡하다. 본 논문에서는 객체 지향적 모델을 기반으로 하는 실시간 시스템을 위한 정형명세 언어인 Timed State Chart(TSC)를 제안한다. TSC는 Statecharts와 같은 계층적 상태 기계 모델(state machine model)로서 다양한 시간 제약사항의 명세를 위해 클릭 변수(clock variable)를 도입하여 실시간 객체(Real-Time Object 또는 RTO)를 명세한다. TSC를 이용하여 기존의 연구에서 표현할 수 없었던 주가와 마감시간과 같은 실시간 시스템의 다양한 요구사항을 효과적으로 표현할 수 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2018.05a
• /
• pp.262-265
• /
• 2018

MQTT 프로토콜은 저전력 대비 고성능으로 모바일 디바이스의 실시간 메시지 전송 시스템에 사용한다. 실시간 메시지 시스템을 구축하기 위해서는 신뢰적인 메시지 전송과 메시지간 순서 보장이 반드시 이루어져야 한다. 기존 연구에서는 MQTT 프로토콜의 QoS 2 레벨을 이용하여 메시지 순서를 보장하는 신뢰적인 메시지 시스템을 설계 및 구현하였으나, QoS 1 레벨보다 성능이 낮아진다. 따라서 본 논문에서는 MQTT 프로토콜의 QoS 1 레벨을 사용하고, Publish Queue를 이용하여 순서 보장과 함께 성능 향상을 고려한 메시지 전송 기법을 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.477-480
• /
• 2004

인터넷의 급격한 발달과 사용자의 증가로 인하여 클라이언트와 서버로 구성된 기존의 웹 환경에서는 EC(Electronic Commerce)서비스 제공이 원활하지 못하였다. 시스템의 안정성 및 신뢰성이 미약하게 되면서 이를 보완하기 위한 새로운 환경으로 분산처리 기술의 필요성이 부각되었다. 본 연구는 현재 활용되고 있는 EC Server에서 상품관리에 대한 안정성과 신뢰성 제고 등의 문제에 대한 해결방안으로, 핵심 비즈니스 프로세스를 컴포넌트로 변환 적용하는 내용을 담고 있다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2023.01a
• /
• pp.217-218
• /
• 2023

인공지능은 디지털 대전환 시대의 핵심적인 기술로 사회 전반에 변화를 주도하였다. 우리나라는 인공지능을 이해하고 이를 활용하는 역량을 길러주기 위해 전 국민을 대상으로 교육을 진행하고 있다. 그러나 초등학생 대상 인공지능 교육 프로그램은 체험 및 놀이 실습으로 한정되어 교육적 효과에 한계가 있다. 그러므로 본 연구에서는 생산적 실패를 활용하여 인공지능에 대한 개념적 이해 및 실생활 전이를 촉진하는 교육 프로그램을 개발하였다. 연구 대상은 초등학교 5~6학년이며 2022 개정 교육과정에서 강조하는 자기 주도적 학습 역량과 실생활 연계 교육을 반영하여 설계한 6차시 분량의 프로그램이다. 본 연구에서 개발한 교육 프로그램은 향후 타당성 및 신뢰도 검증을 거쳐 현장에 적용하는 후속 연구로 이어질 것이다.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.34 no.11
• /
• pp.1691-1696
• /
• 2010

The efforts of reflecting the system's uncertainties in design step have been made and robust optimization or reliabilitybased design optimization are examples of the most famous methodologies. The statistical moments of a performance function and the constraints corresponding to probability conditions are involved in the formulation of these methodologies. Therefore, it is essential to effectively and accurately calculate them. The sensitivities of these methodologies have to be determined when nonlinear programming is utilized during the optimization process. The sensitivity of statistical moments and probability constraints is expressed in the integral form and limited to the normal random variable; we aim to expand the sensitivity formulation to nonnormal variables. Additional functional calculation will not be required when statistical moments and failure or satisfaction probabilities are already obtained at a design point. On the other hand, the accuracy of the sensitivity results could be worse than that of the moments because the target function is expressed as a product of the performance function and the explicit functions derived from probability density functions.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1999.04a
• /
• pp.110-114
• /
• 1999

본 연구는 Zeigler가 제안한 이산 사건 시스템 형식론(DEVS: Discrete Event System Specification)을 이용한 거시적 및 미시적 교통류 시뮬레이션 방법론의 개발을 주 목적으로 한다. 도로 교통망의 모델링 방법은 미시적(microscopic)방법과 거시적(macroscopic)방법으로 분류된다. 이러한 모델링 방법들은 그 목적에 따라 각기 표현되어 제각기 사용되어 왔으나, 시스템 이론적으로 이들은 독립적 모델이 아니며 오히려 이들은 서로 동질적 추상화 관계에 있어서, 통합 모델링 환경의 구축시 미시적 모델들로부터 추상화에 의한 거시적 모델의 자동생성 등 설계상의 효율뿐 아니라 모델간의 일관성을 통한 모델 유효성을 보장할 수 있는 장점이 제공될 수 있다. 따라서, 본 논문에서는 서로 다른 표현 방법(즉, 이산시간 형식론과 이산사건 형식론)간의 통합 표현을 기반으로 양자간의 추상화 관계를 도출하고, 이를 이용한 모델 추상화를 통해 거시적 및 미시적 교통류 시뮬레이션 방법론을 제안한다. 시스템 이론적 접근을 토대로 접근한 통합 교통류 시뮬레이션 환경은 미국 Berkeley 대학 교통 연구소에서 개발한 SHIFT 등과 같은 최첨단 교통류 시뮬레이션 도구에 비하여 SES/MB를 기반을 시스템 이론적이며 소프트웨어공학적인 접근을 통하여, 1) 기존 제어 방식의 검증 및 신뢰도 분석, 2) 각종 사건, 사고의 시간별 파급효과 분석, 3) 도로건설 계획안에 대한 타당성 검토, 4) 운전자 및 관리자를 위한 예측된 교통정보 등을 제공할 수 있을 것으로 기대된다.