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

컴퓨터 기술의 발전으로 정보화 시대를 맞이한 현대에 있어서 “보안 기능의 정형화 설계 방법 연구”는 정보 보호와 완벽한 보안 때문에 매우 중요하다. 이러한 추세에서 전 세계적으로 보안 시스템에 대한 등급을 나누고 있고, 국내에서도 한국정보보호센터에서 침입차단시스템에 대해 K1에서 K7까지의 등급을 매기고 있다. 이 등급을 살펴보면 정형 언어를 사용하여 시스템 명세를 수행하여야만 K5이상의 고 등급을 획득할 수 있다. 또한 최근에 들어서 소프트웨어 개발 방법에 객체지향 방법론이 많이 사용되고 있는 시점에서 이러한 방법론으로 개발되는 시스템에 대한 정형적인 설계방법이 필요하다. 본 논문은 실제 간단한 규모의 보안 시스템 설계에 직접 적용될 수 있는 수준의 정형기법을 제시하는 것을 목표로 한다. 여기서는 passive attack에 대해 사용자의 패스워드를 보호하기 위한 간단한 스킴이 S/KEY 인증 시스템에 객체지향 정형명세언어인 ZEST와 UML을적용해 본 결과를 기반으로 보안 시스템을 정형 명세한 경험을 기술한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10b
• /
• pp.39-41
• /
• 2000

S/W 산업 시대의 국방정보시스템은 대규모화되고 높은 실시간성과 정확성의 요구로 S/W의 복잡성이 증가하고 있으며, 요구되는 기능과 성능이 매우 다양해지고, 사용자의 요구사항도 매우 가변적인 방향으로 발전하고 있다. 본 논문에서는 국방정보시스템의 특성을 명확히 파악하고, 특성에 따라 국방정보시스템 S/W 개발비용 산정에 영향을 미치는 영향요소를 식별한 후, 기존의 '한소협' 모델을 바탕으로 S/W 개발비용 보정계수로 적용할 영향요소와 기능점수를 산정하기 위한 기술적 복잡도 요소로 재분류하였으며, 기존의 '한소협' 모델의 절차와 각종 보정계수의 적용방법을 국방정보시스템에 적합하도록 수정 보완하는 방식으로 국방정보시스템의 S/W 개발비용 산정 지원용 전문가시스템의 도메인 지식을 개발하였으며, 이러한 도메인 지식 개발은 궁극적으로 완벽한 전문가시스템 개발에 밑거름이 될 것이다.

• 제어로봇시스템학회:학술대회논문집
• /
• 1993.10a
• /
• pp.570-575
• /
• 1993

화학 공정에서의 이상 진단 시스템 개발 및 응용에 대한 연구는 지난 5년간 많은 발전이 이루어졌다. 화학 공정의 본질적인 특성으로 대형 시스템, 비선형 특성, 모델링 자체의 어려움, 공정 변수의 large dead time 및 복잡한 인과 관계등을 들수 있으며, 이러한 어려움에도 불구하고 적절한 이상 진단 시스템의 중요성을 인식하여, 초기에는 주로 rule-based approach가 도입되어 현장에서의 조업에 많은 도움을 주었었다. 그러나 개발 기간의 단축화, 개발 과정의 표준화 뿐 아니라 개발된 시스템 자체의 일관성 등을 위하여 체계적인 접근 방법이 필요하게 되었으며, 그중 지식 베이스 합성 문제는 그 동안 활발하게 연구되어 오고 있는 분야이다. 이에 본 연구에서는 기호화된 정성적인 정보를 얻기위한 기존의 실험 방법의 한계를 극복하고자 동적 모사를 이용하여 정량적인 정보로부터 정성적인 정보를 생성시키는 방법론에 대해 연구하였다. CSTR(Continuous Stirred Tank Reactor)에서 나타날수 있는 이상의 종류에 대한 동적 모사를 수행하여 이상 진단 시스템을 위한 지식이 생성되는 과정을 보였다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.3 no.4
• /
• pp.715-722
• /
• 1999

This paper was studied on developmental direction of Telecommunications system for aged welfare policy. The results of this study is as follow: An economic needs must development of home shopping system, home banking system and telecommuting system. A medical needs must development of medical support system, medical information system and telemedical support system. A house needs must development of home automatic system, internet system. A culture needs must development of event system, leisure information system. A traffic needs must development of automatic traffic geographical system, automatic operating system. An education needs must development of teleeducation system, knowledge studying support system.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10a
• /
• pp.469-474
• /
• 2006

전통적인 임베디드 시스템 개발은 하드웨어와 소프트웨어가 독립적으로 개발된다. 그러나 시스템 개발 후 오류 발생 시, 하드웨어와 소프트웨어 둘 중 어디에서 발생했는지 알아내기 어려웠다. 따라서 임베디드 시스템 개발을 위해 하드웨어/소프트웨어의 통합 설계 방법이 연구기관들에 의해 제시되어 왔다. 본 논문은 현실적으로 많이 사용되고 있는 일반 임베디드 시스템 개발 방법으로부터 접근하는 HW/SW 통합 개발 방법을 제안하였다. 즉, 이미 만들어진 하드웨어를 설계 단계로 끌어올려 정형 기법을 통해 하드웨어를 설계 및 정형 검증하여 견고한 하드웨어를 만들고, 이를 기반으로 소프트웨어를 정형 명세 및 검증하는 하드웨어/소프트웨어 통합 개발을 수행하였다. 따라서 개발 후 하드웨어 또는 소프트웨어에서 발생할 수 있는 오류를 최소화하고 오류가 발생하였다고 해도 개발 전에 설계상에서 오류를 수정할 수 있어 임베디드 시스템의 신뢰성을 보장하였다. 또한 설계 과정의 어떤 시점에서 개발 중인 가상의 하드웨어가 아닌 개발 완료된 하드웨어의 실제 코드를 테스트할 수 있으므로, 현실적인 임베디드 시스템 개발에 더 효과적인 하드웨어/소프트웨어 통합 개발 방법론을 제시하여 그 효율성을 높였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.05a
• /
• pp.285-288
• /
• 2005

개발방법론 지원도구는 개발 프로세스 정의, 방법론 참조 등의 기본적인 기능을 지원해 주는 도구가 출시되어 있으나, 최신 기술을 바로 적용하거나 프로젝트의 수행 결과 획득된 지식을 전사적 차원에서 공유하거나 조직의 개발 프로세스 향상을 위한 정량적인 관리 활동을 지원하는 기능은 전반적으로 미흡한 형편이다. 이러한 사실에 근거하여 본 연구에서는 시스템 개발자 자신이 개발해야 하는 제품, 자신의 조직, 자신이 해결해야 하는 문제 등과 같은 상황적 요소에 기반하여 다양한 시스템 개발 체계를 쉽게 정의, 조정 및 적용할 수 있도록 지원하는 도구(PRiME)를 개발하고자 한다. 즉, 방법론 관리, 프로젝트 관리 및 자산 관리를 개발방법론 지원도구의 기본 기능으로 하며 이에 기반하여 시스템 개발 지식의 재사용을 위한 체계적인 지식관리 기능을 갖출 수 있도록 지원하고자 한다.

• Bulletin of the Society of Naval Architects of Korea
• /
• v.30 no.4
• /
• pp.27-32
• /
• 1993

본 연구에서는 첫째로, 자체적으로 정립한 시스템 개발방법론인 객체지향 기술을 적용하여 선 체설계 전산시스템의 요구사양 및 기능분석을 수행하여, 유닛모델 개념(선체의 각 부분에서 보 여지는 특징적인 구조를 유닛으로 하고 선체구조정보를 설계변수화하여 파라메트릭 설계기법을 이용하여 모델링하는 방법임)의 초기 선체 모델링기법을 제시하고 이를 검증하므로써, 유조선 화물창부의 초기 모델링을 통한 구조설계 대안의 신속한 검토와 초기물량의 정확한 산출이 가 능하도록 하였다. 둘째로, 모델링 기술 분야에서는, 선박제품 모델링을 위한 기반 기술로써(여 기서, 제품모델링이란 최근 CAD/CAM 및 CIM 분야에서 거론되는 기술분야로서, 설계 및 생산의 대상이 되는 제품의 제반정보를 전산기 내에서 모델로써 표현하고자 하는 시도임) 선박 제품 모델의 표현방법론과 내부처리 기법을 정의하였고, 이 방법론에 다라 객체지향 구\ulcorner배치 프로 그램(OO_COMDEF)을 개발하여 본 연구에서 제시한 제품모델의 표현방법론을 검증하였다. 셋 째로 응용 프로그램 개발 분야에서는 선체 상세설계를 지원할 수 있는 시스템 설계를 수행하 였고, 이를 토대로 이중선체 유조선의 화물창부의 Hopper Tank부의 Stiffener 배치를 자동적으로 생성할 수 있는 시험용 프로그램을 개발하여 그 개념을 검증하였다.

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

음성 통화와 데이터 통신을 결합하는 기술의 발전으로 다양한 통신 환경이 제공됨에 따라, 사용자의 온라인 여부를 알려주는 Presence 시스템이 새로운 통신 서비스 요구를 충족하는 기반 서비스로 등장하였다. Presence는 사용자의 온라인 여부와 접속 방법을 알려 줌으로써 통화 성공률을 증가시킨다. 본 고에서는 Presence 시스템의 구현을 위하여 기반 프로토콜로서 SIP(Session Initiation Protocol)를 채택하고 시스템을 설계 및 개발하는 방법을 제시한다. SIP는 음성 통신을 데이터 패킷망에서 구현하는 VoIP(Voice over IP) 시스템을 지원하기 위하여 제안되었다. 응용 레벨의 프로토콜인 SIP는 사용자가 통신망에 접속하는 지점을 변경하거나 다른 단말기를 사용하여 동일한 구별자(identifier)에 의하여 세션을 연결함으로써 사용자 이동성을 지원한다. 그러므로 SIP를 기반으로 하여, 온라인 사용자의 위치를 확인하는 Presence 시스템을 효율적으로 구현할 수 있다. 이와 같은 방법으로 개발한 Presence 시스템은 송신자에게 수신자의 상태 정보를 알려 줌으로써 통화 성공률을 증가시키며, 수산자가 때에 따라 수신 환경을 지정할 수 있도록 함으로써 통화 편리를 제공한다. 또한 이동 통신에서 위치 정보를 기반으로 하는 응용 서비스를 구현하는 기반 서비스로 적용 가능하다.

• The Journal of Information Technology and Database
• /
• v.4 no.2
• /
• pp.47-63
• /
• 1998

본 논문은 탬플릿을 기반으로 하는 새로운 정보시스템 개발 방법을 제시하고 있다. 이 개발 방법은 재사용을 극대화하여 개발 생산성을 향상시키고, 일관성 있는 설계 패턴을 유지하여 개념적 무결성을 유지하는데 목적을 두고 있다. 템플릿의 설계는 다양한 컴포넌트를 조립하여 구현하는 방법을 채택하였는데, 이는 객체지향의 중심 개념 중의 하나인 구성관계 개념에 기반을 둔 것이다. 템플릿을 적용하여 정보시스템의 개별 기능을 구현하는 방법은 유전관계 개념에 기반을 두고 있는데, 템플릿과 유전관계를 설정하여 속성과 연산을 유전 받은 후, 속성과 연산의 일부를 재구현하여 개발하는 방법을 채택하였다. 특히, 재구현을 감안한 연산에 대한 메소드 구현 방법을 제시하여 템플릿 설계의 난제를 해결하였다. 템플릿을 대상으로 성능 평가와 개선 방안도 제시하였다. 제시된 방법의 적용 사례 분석을 통해 실용성을 검증하고 있다.

• Proceedings of the Technology Innovation Conference
• /
• 2004.02a
• /
• pp.246-263
• /
• 2004

신뢰성 있는 프로젝트 가치평가를 위해서는 프로젝트 투자에 의해 발생하는 효과들을 정확하게 파악하고, 이를 계량적이고 객관적으로 측정할 수 있는 평가방법론을 개발하는 것이 매우 중요하다. 전통적으로 제조시스템에서의 프로젝트 가치평가는 재무적 방식에 의한 평가에 기초해 왔다. 그러나 제조시스템에서의 프로젝트 가치평가는 재무적 방식에 의한 평가에 기초해 왔다. 그러나 제조시스템에서 품질, 재고, 리드타임 등 비재무적 성과지표를 화폐가치로 정량화하는 것은 매우 어렵다. 따라서 최근에는 재무적 성과지표와 비재무적 성과지표를 모두 고려하는 성과지표 중심의 프로젝트 평가방법의 개발이 보편화되고 있으며, 전통적인 프로젝트 평가에서는 고려하지 않았던 불확실성을 확률분포로 고려하는 평가방법의 개발이 요구되고 있다. 그러나 현재까지 성과지표 간의 상호관계를 고려하여 프로젝트 투자에 의한 개별 성과지표의 개선을 정량적으로 평가하는 방법론에 관한 기존연구는 거의 없다. 본 논문은 제조시스템에서의 성과지표를 중심으로 공리적 설계에서의 정보공리의 정보량 개념을 이용한 프로젝트 평가방법론에 대해 제안한다. 본 논문에서는 개별 성과지표의 정보량 계산을 위한 수학적 모델링에 대해 고찰하고, 해석적 분석의 어려움을 해결하기 위해 몬테카를로 시뮬레이션의 적용에 대해 서술한다.