• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.454-456
• /
• 2000

다른 여느 분야의 소프트웨어 개발 분야보다도 형상관리의 필요성의 나타나는 분야로 위성탑재 소프트웨어 분야를 꼽을 수 있는데 이는 위성소프트웨어의 기본적인 특성에 기인한다고 볼 수 있다. 위성 탑재 소프트웨어는 여느 소프트웨어보다도 그 신뢰성을 중시하고 있으며 이러한 신뢰성은 개발 과정상의 잘 정의되어진 형상관리에 있다. 본 논문에서는 아리랑 위성 탑재 소프트웨어 개발에 과정에서의 형상관리 방법 및 절차를 기술하였으며 이러한 형상관리하에 아리랑 위성 탑재 소프트웨어는 개발되고 위성에 탑재되어 그 임무를 훌륭히 수행하고 있다. 이 논문을 통해서 고도의 신뢰성을 요구하는 소프트웨어 개발에 있어서의 형상관리 방법에 도움이 되고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10c
• /
• pp.239-241
• /
• 2000

이동에이전트 시스템의 상용화 시작과 더불어 이동에이전트 시스템에 대한 신뢰성 향상의 노력이 시작되었다. 이러한 노력에 부응하여 이동에이전트 시스템 XMAS에서는 신뢰성 향상을 위한 방법으로 트랜잭션 개념을 도입하고 있다. 트랜잭션 개념의 도입으로 이동에이전트 수행결과의 일관성 유지가 가능하여 데이터에 대한 신뢰성 향상을 기대할 수 있다. 이동에이전트는 기존 트랜잭션 모델과는 다른 다양한 특성을 갖는다. 따라서 이동에이전트가 하나의 트랜잭션으로 처리되기 위해서는 기존 트랜잭션 모델과는 다른 트랜잭션 처리방법이 고려되어야 한다. 본 논문에서는 기존 트랜잭션 모델에서 발견되지 않는 이동에이전트의 특성을 알아보고 이러한 특성들이 트랜잭션 모델과 트랜잭션 처리방법에 미치는 영향을 살펴본다.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2003.05a
• /
• pp.443-450
• /
• 2003

양방향 모바일 시스템 구현을 통해 예약 확인 시스템을 구축하고 예약 손실 방지에 대한 이점을 선보인바 있다. 하지만 이런 시스템도 안정성 및 신뢰성이 떨어진다면 사용자에게 불편함을 가져오며 따라서 양방향 SMS 시스템의 근본 취지 마저도 무너지게 된다. 본 논문에서는 양방향 SMS 시스템의 안정성과 신뢰성을 높이고 일정 수준 이상의 성능을 유지하기 위해 대규모 transaction 처리 및 장애 방지 기술을 도입하여 사용자에게 신뢰성 있는 편안한 서비스를 제공하고, 또한 모바일 시스템 및 네트워크의 효율적인 transaction 처리 구현을 시도하였다.

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

전자 상거래에서 보안과 신뢰성을 보장하는 것은 매우 중요하다. 공개키 기반 구조에서는 인증서를 사용 함으로서 암호 및 인증기능을 제공하나, 신뢰성 있는 부인 방지 기능을 제공하기 위해서는 상위 기관의 인증기관이나 타임 스탬프 기능과 공증 기능을 위한 제 3의 신뢰성 있는 공증 기관이 필요하다. 본 논문에서는 전자공증의 기능과 필요성 및 동향에 대하여 소개한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.04a
• /
• pp.658-660
• /
• 2012

현재 전 세계의 스마트폰 사장은 아이폰과 안드로이드폰의 구도로 되어 있다고 해도 과언이 아니다. 아이폰의 앱 스토어에 어플리케이션을 올리기 위해서는 애플의 검증을 거쳐야 가능하지만, 안드로이드의 안드로이드마켓은 구글의 검증 없이 누구나 자유롭게 올릴 수 있다. 그렇기 때문에 스마트폰의 보안문제가 대두되고 있는 요즘, 안드로이드마켓에서 내려 받는 어플리케이션에 대한 신뢰성이 떨어지는 것이 사실이다. 본 논문에서는 이러한 안드로이드 어플라케이션의 신뢰성 검증을 위한 인증 어플리케이션을 제안함으로써 사용자가 악의적으로 변조된 어플리케이션에 대한 대응이 가능하도록 하고자 한다. 마지막으로 테스트를 통하여 본 연구의 효율성 및 타당성을 입증하였다.

• Journal of The Korean Association of Information Education
• /
• v.13 no.1
• /
• pp.96-104
• /
• 2009

We want to achieve the reliable information system such as e learning system in the internet environments. The difficulty of the program reliability estimation comes from faults that occurred from program and data files are distributed among several servers. This paper is focus on a modeling approach based on Colored Petri Nets to estimate the program reliability in an internet environment. The procedure of analyzing the reliability is as follows. At first, we propose an internet program model. This model is transformed into a Colored Petri net, and the reliability is estimated. We adapt this model to the analyzing the reliability in the internet environment. This method is very simple, and is very helpful to develope program

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

유무선이 혼합된 망에 적용할 수 있는 신뢰적 멀티캐스트를 지원하기 위해서는 피드백 포구, 재전송 노출등의 문제를 해결하여 효율성과 확장성을 보장해야한다. 이를 위해서 유선망과 무선망의 특성을 함께 고려한 적절한 방법이 필요하였다. 본 논문에서는 유선 망에서는 신뢰성을 보장하기 위해 NACK 기반의 신뢰성 전송기법을 사용하고, 무선 망에서는 ACK와 NAK를 병행하는 방법으로 제어 패킷의 수와 복구시간을 줄여 효율적인 신뢰적 멀티캐스트 서비스를 지원하도록 하였다.

• Proceedings of the Korean Reliability Society Conference
• /
• 2000.11a
• /
• pp.415-428
• /
• 2000

• 한국IT서비스학회:학술대회논문집
• /
• 2003.11a
• /
• pp.399-406
• /
• 2003

최근의 정보시스템의 개발환경은 급변하고 있으며, 웹 관련 기술의 급속한 발전으로 인한 웹 어플리케이션의 효율적인 개발방법이 필요하게 되었다. 현재 활용되고 있는 정보시스템 감리의 점검 항목은 기존의 구조적방법론과 정보공학방법론에 입각한 것으로 최근의 정보시스템 개발환경의 감리현장에서 활용하기에는 많은 어려움이 따르고 있다. 본 연구에서는 이러한 웹 기반 정보시스템 감리의 문제점을 해결하기 위한 웹 기반 정보시스템의 감리점검항목을 도출하고, 이들 감리점검 항목이 감리의 본래 목적을 충족시키는 지에 대해 실제 웹 기반 정보시스템을 감리해본 경험이 있는 감리인을 중심으로 점검항목의 타당성 및 측정가능성 그리고 중요성 등을 종합적으로 조사하여, 이들 감리 점검항목을 판단하였다. 연구결과 웹 기반의 정보시스템이 효율성, 신뢰성, 안전성 등의 목표를 가지고 구축하기 위해서는 현재의 감리점검항목으로는 부족하며, 웹 기반환경에서는 본 연구에서 제시된 웹 기반 감리점검항목의 추가가 타당하다는 결론이 도출되었다.

• Journal of KIISE:Information Networking
• /
• v.31 no.2
• /
• pp.224-232
• /
• 2004

To guarantee the reliability in multicast transmission, researches providing reliability through hierarchical control tree which is independent on data channel tree are known to provide high scalability. However, the logical control tree in transport layer constructed without topology information of the corresponding network layer tree may inefficiently use the network resources because the logical control tree is not closely related to the tree topology of the network layer. A router assisted control tree mechanism presented in this paper would improve the efficiency of the link as well as it would remove the replicated data. In addition, it requires to a router a small change which examines the message type of the control tree.