• Proceedings of the Korea Association of Information Systems Conference
• /
• 1997.10a
• /
• pp.413-425
• /
• 1997

실시간 시스템(realtime system)은 외부환경에서 보내진 요구사항(requirement)에 정해진 시간 내에 반응(action)해야만 한다. 시스템의 외부환경은 실세계(real world)의 물리 적인 요소(physical element)가 되며 이러한 물리적인 요소는 객체지향 설계 (object-oriented design) 개념에서 객체(object)이다. 또한 시스템을 설계하는 경우는 객체 지향 방법론을 적용함으로서 보다 명확한 표현이 가능하게 되며 실세계의 물리적인 각 요소 가 부품단위(component units)로 동작하는 형태를 소프트웨어로 설계하는 것이 용이하게 된다. 따라서 본 논문에서는 실시간 시스템설계에서 객체지향 방법을 사용하고, 원시 (source) 소프트웨어의 분석(analysis)과 검증(verification) 및 흐름(flow)를 슬라이스 기법을 사용하여 표현함으로써 시스템의 전체적인 구성을 명확하게 표현하며 클래스(class) 단위로 슬라이스 된 각 부분으로 상속(inheritance)과 메시지 전달(message sending)의 흐름을 파 악할 수가 있다. 그리고, 보다 효율적인 시스템의 외부환경의 오동작 처리 및 시스템 흐름 을 감시 추적(monitoring and tracing)할 수 있도록 슬라이싱 맵을 데이터베이스로 구축하 여 활용하는 방법을 제시한다. 또한 슬라이싱 맵 표현 방벙에 있어서 기존의 표현을 보다 구체적이고 실제적인 표현기호를 제시한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.487-489
• /
• 2001

현재 임베디드 시스템을 위한 객체지향 개발 방법론이 많이 제시되고 있지만, 이들 방법론에서 요구사항 분석 모델은 하드웨어와 소프트웨어를 포함하는 임베디드 시스템의 특징을 반영하지 못하고 있다. 즉, 개발하고자 하는 시스템의 경계를 명확히 하지 못하고 있다. 본 논문에서 제시하고 있는 중첩된 구조의 유즈케이스 모델에서는 하드웨어를 포함한 시스템 경계와 소프트웨어 시스템 경계를 나누고 이와 관련된 모델링 요소들-액터와 유즈케이스-을 명확히 구분한다. 명확한 시스템 경계는 시스템의 환경을 포함한 시스템을 이해하는 데 도움을 주며, 하드웨어 측면의 개발이 소프트웨어 측면의 개발에 선행하는 일반적인 임베디드 시스템 개발 과정에 적합하고, 이후 분석 과정과도 자연스럽게 연결된다. 또한 제시된 유즈케이스 모델을 이용한 모델링 절차를 제시하며, 모델의 구성요소를 효율적으로 추출할 수 있는 방법을 제시 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.11a
• /
• pp.814-817
• /
• 2008

최근 임베디드 소프트웨어가 다양한 분야에서의 개발이 증대되면서 요구사항도 변화되고 있다. 즉, 임베디드 시스템이 단순하고 독립적인 소형시스템에 정착되어 운영되었던 과거와는 달리 최근에는 초정밀의 동작제어와 함께 복잡하고 다양한 플랫폼 환경을 요구하거나 다수의 소프트웨어 통합하고 제어하는 시스템 중속적인 요구사항들이 많이 발생하고 있다. 기존의 개발방법들은 하드웨어와의 밀접한 관계, 여러 유사 도메인에 대한 고수준의 재사용성 요구 등 임베디드 소프트웨어가 갖고 있는 특성들을 효과적이로 반영하지 못하고 있다. 본 연구에서는 개발 프로세스 혁신하고 오류를 최소화하기 위해서는 "계획 ⇒ 설계 ⇒ 구현 ⇒ 테스팅" 단계와 같은 임베디드 소프트웨어 개발 프로세스를 정립하고 각 단계에서 필요한 최적의 품질관리 체계를 구축함으로써 경쟁력 있는 임베디드 소프트웨어 제품의 개발을 지원할 수 있는 방법론을 확립하였다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2000.11a
• /
• pp.208-212
• /
• 2000

최근들어 B2C, B2B로 불리는 인터넷 기반의 전자상거래 시스템의 성공적인 구축이 기업의 비즈니스 성공의 열쇠로 간주될 만큼 그 중요성이 커지고 있다. 본 논문에서는 상거래 행위에 개입하는 다자간의 비즈니스 플로우를 효과적으로 모델링하여 분석할 수 있는 DEVS(Discrete Event Modeling System)이론에 기반한 새로운 비즈니스 모델링/해석 방법론을 제안한다 제안하는 방법은 비즈니스 플로우를 기술할 수 있는 언어를 정의하고, 정의된 언어를 이용하여 기술되는 전자상거래에 개입하는 개체간 거래 행위를 DEVS 모델로 자동 변환하는 방법을 제시한다. 변환된 모델은 이산사건 시뮬레이션 환경인 rDEVSim++ 시뮬레이션 소프트웨어를 이용하여 실행된 후에 그래픽 인터페이스 환경에서 비쥬얼화되어 시스템의 동작 및 성능을 분석 가능하도록 지원한다. 위의 전과정을 포함하도록 개발된 소프트웨어는 기업의 비즈니스 모델 구축용으로 활용이 가능할 뿐만 아니라 전자상거래 관련 인력 양성을 위한 교육용 소프트웨어로도 활용이 가능하다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1997.05a
• /
• pp.233-238
• /
• 1997

본 논문에서는 Safety-critical 소프트웨어를 위한 V'||'&'||'V 지침서(guideline) 개발 방법론을 제시한다. 즉, 기존의 산업계 표준인 IEEE Std-1012, IEEE Std-1059에서 논의되고 있는 개념을 근간으로 "독립성(independence)", "소프트웨어 안전성 분석(software safety analysis)", "COTS 평가(evaluation) 기준", "다른 보증(assurance) 조직들간의 관련성(relationship)" 등의 필수 안전 항목들을 추가하여 원전 안전성 시스템(NPP safety system)을 위한 V'||'&'||'V 지침서 개발 방법론을 제시하였다 제시된 방법론에는 V'||'&'||'V 지침서의 범위(scope), 승인기준(acceptance criteria) 부분인 지침서 프레임(guideline framework), V'||'&'||'V activities 및 methods 부분인 타스크(task) entrance 및 exit 기준(criteria), 리뷰 및 감사(review and audit), 테스팅 그리고 V'||'&'||'V material의 QA 레코드(records) 및 형상관리, 소프트웨어 검증 및 확인 계획서(Software Verification and Validation Plan : SVVP) 생성 등의 내용을 기술하고, Safety-critical 소프트웨어 V'||'&'||'V 방법론도 함께 제시하였다.

• 한국IT서비스학회:학술대회논문집
• /
• 2008.11a
• /
• pp.281-284
• /
• 2008

종래의 방법론은 분석대상 시스템의 기능적 요구사항을 추출하는데 초점이 맞춰져 있어서 상대적으로 시간 제한과 같은 개념은 다루어지고 있지 않다. 시간 제한과 같은 개념이 개발 시에 제대로 적용되지 않거나 간과하게 됨으로써 개발된 시스템의 성능은 예측 불가능하게 되며 시스템을 구현완료하고 테스팅 단계에서 시스템이 잘 못 개발되었다는 것을 확인하게 된다. 본 연구는 일반 업무용 소프트웨어 시스템의 개발에 있어서 비 기능적 요구사항으로 다루어지는 성능 관련 항목을 시스템 개발과정에 강제 시킴으로써 예측 가능한 소프트웨어 시스템을 구성할 수 있게 한다. 또한 하드웨어 중립적인 시간 개념을 사용함으로써 소프트웨어가 작동하는 하드웨어의 성능에 맞는 적절한 소프트웨어를 개발해 낼 수 있도록 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• pp.7-9
• /
• 2003

대부분의 객체지향 방법론은 객체를 중심으로 한 객체 모델링을 바탕으로 소프트웨어를 개발한다. 물론, 객체 모델링 방법은 여러 가지 장점을 가지고 있지만 복잡한 문제를 가진 대규모의 시스템에는 적합하지 않다. 따라서, 이런 복잡한 대규모 시스템을 객체의 패턴에 따라 간단한 모델로 분할할 필요성이 있으며 이를 위하여 역할 모델링 방법이 제안되었다. 본 논문은 객체의 패턴들을 추상화하고 복잡한 대규모 시스템을 관계의 분리를 통하여 간단한 모델로 생성할 수 있도록 객체 중심이 아닌 역할을 중심으로 한 역할 모델링 방법을 연구하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11c
• /
• pp.1999-2002
• /
• 2002

임베디드 소프트웨어의 품질시험을 통해 임베디드 시스템 구매자들의 요구에 부합되는 고품질의 시스템을 구현할 수 있도록 지원할 수 있다. 지금까지 일반적인 SI 소프트웨어에 대한 품질평가 방법론이나 평가 기법, 평가 도구 등이 개발된 사례가 있으나 임베디드 소프트웨어의 경우에는 아직까지 국내에서 활용할 수 있는 구체적인 체계가 구축되어 있지 않은 실정이다. 최근 다양한 임베디드 시스템들이 출시되어 소비자의 선택을 기다리고 있으나 품질면에서 많은 문제점들이 노출되고 있다. 본 연구에서는 임베디드 소프트웨어 평가를 위해 ISO/IEC 12119를 근간으로 하여 평가를 수행한 수 있는 평가모델과 품질검사표를 개발하여 임베디드 소프트웨어 평가에 적용할 수 있도록 하였다.

• Journal of the Korea Society of Computer and Information
• /
• v.3 no.4
• /
• pp.70-77
• /
• 1998

The performance evaluation of system can be divided into software and hardware. Recently, many hardware evaluations have been developed as many fields, however, performance of software without any solution have been also developed. As a matter of cource, in a foreign country, software development tools and methodologies related to problems of performance engineering are suggested by paying much attentions on the software performance engineering. However in Korea, researches on those issues are wholly lacking. Therefore, in this paper, a software development methodology will be discussed and its contents will be compared as well.

• Proceedings of the Korea Contents Association Conference
• /
• 2004.05a
• /
• pp.439-442
• /
• 2004

CBD 개발 방법론의 발전으로 많은 컴포넌트가 개발되면서 소프트웨어의 빠른 기술변화는 시스템 개발 생명주기가 갈수록 짧아지고 있으며, 최근 들어 시스템 개발에 있어서 오프라인보다 온라인으로 시스템 개발이 늘고 있다. 때문에 실시간으로 컴포넌트 형상관리의 필요성이 나타나고 있으며, 보다 향상된 기술의 개발방법이 요구되고 있다. 본 연구에서는 이를 위한 하나의 해결방법인 형상관리(Configuration Management)를 제안하고, 실시간 컴포넌트 형상관리 작업에 필요한 요구사항에 대해 기술하였다.