• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.400-402
• /
• 2004

임베디드 시스템 개발의 성공여부는 정점 하드웨어에서 소프트웨어쪽으로 비중이 옮겨지고 있다. 그런데 임베디드 소프트웨어 개발은 하드웨어를 설계하고 구현하는 것에 드는 비용보다 더 않은 비용으로도 효과적이지 못한 실정이다. 또한 임베디드 소프트웨어 개발자들에게는 제한된 자원과 절러 가지 환경 변수를 고려해야 하는 부담이 따른다. 모델기반의 개발 방법은 비용-효율적이고 고품질의 소프트웨어를 개발하기 위한 연구이다. 본 논문은 임베디드 소프트웨어인 로봇 작동 프로그램을 모델기반으로 개발한 경험과 결과를 소개함으로써 임베디드 소프트웨어 개발자들이 쉽게 모델기반의 개발 방법을 적용할 수 있도록 한다.

• Proceedings of the KAIS Fall Conference
• /
• 2008.05a
• /
• pp.220-223
• /
• 2008

본 논문은 소프트웨어 설계 시 향상된 오류 검출방법을 통해서 소프트웨어 설계의 질을 향상시켜 그에 따른 소프트웨어 제품의 질을 향상시키데 목적을 두고 있다. 또한 소프트웨어 설계 방법론인 MOA(Methodology for Object to Agents)를 기초로 하고 있으며, MOA는 보편적인 정보 모델로써 온톨로지 기반 모델인 OSSD( Ontology for Sortware Specification and Desigh)모델을 이용한다. 본 논문은 OSSD 모델, 뷰-간 비일관성 검사기법, 일관성 프레임워크의 온톨로지적 특성과 연관된 규칙의 조합을 이용하여 UML모델에서 OSSD 모델로의 변환과정에서 수행되는 새로운 형식의 오류 검출방법을 정의한다. OSSD 모델로의 변환과정은 OSSD 모델의 인스턴스를 생성하기 위한 알고리즘에서 복수의 사상테이블을 이용하는 소프트웨어 설계의 어휘분석과 의미분석을 포함한다.

• Proceedings of the KIEE Conference
• /
• 2009.07a
• /
• pp.1923_1924
• /
• 2009

최근 들어 소프트웨어의 테스트에 대한 필요성이 증가함에 따라 소프트웨어 테스트 방법에 대한 연구가 활발해지고 있으며 이를 적용한 제품들도 다양한 분야에서 개발되고 있다. 또한 UML과 같은 모델 기반의 언어가 등장함에 따라 소프트웨어의 재사용성 등을 높일 수있는 설계가 가능하다. 본 논문에서는 테스트가 가능한 SDINS/GPS 통합 항법 소프트웨어 구조를 UML 모델로 제시하며, 제시한 모델에 대한 테스트 절차를 기술한다. 본 논문의 결과를 이용하여 SDINS/GPS 통합 항법 소프트웨어를 설계하면 소프트웨어를 다른 하드웨어로 이식하는 것과 다른 센서 측정치를 처리하기 위한 소프트웨어 확장이 용이하다.

• Journal of KIISE:Software and Applications
• /
• v.26 no.4
• /
• pp.521-532
• /
• 1999

소프트웨어 시스템의 설계를 나타내기 위하여 여러 가지 종류의 다이어그램이 사용된다. 다이어그램은 다른 설계 문서나 원시 코드처럼 설계 과정에서 여러 버전이 생성된다. 그러나 기존의 소프트웨어 형상관리 도구나 객체 버전을 지원하는 객체지향 데이터베이스 관리 시스템은 작은 단위 다이어그램의 버전관리에는 적합하지 못하다. 본 연구에서는 작은 단위 소프트웨어 다이어그램을 위한 오퍼레이션기반 버전모델을 제안한다. 이 모델은 다이어그램이 소프트웨어 설계 정보를 나타내기 위하여 그래픽 정보를 수단으로 사용하고 있다는 점과 다이어그램의 구조가 노드와 에지로 이루어져 있다는 점을 반영한다. 다이어그램의 버전은 오퍼레이션 델타와 객체 가시성을 이용하여 효율적으로 저장되고 검색된다. 본 연구에서는 다이어그램의 두 버전을 병합하는 방법도 제시한다.

• Journal of KIISE:Software and Applications
• /
• v.26 no.3
• /
• pp.412-421
• /
• 1999

소프트웨어 개발 및 시스템을 구현하기 위해 사용되고 있는 대표적인 프로세스 모델이 IEEESTD1074-1991, ISO/IEC DIS12207-1, SPICE 모델, MIL-STD 498이다. 이들을 실제 국내 프로젝트들에 적용하기 위해 여러 가지 해결방안이 연구되고 있다. 일반적으로 프로젝트을 수행할 때, 개발 이전 단계 프로세스 설계의 실패는 전체 프로젝트 공정에 영향을 준다. 본 논문에서는 프로세스 중심 소프트웨어 엔지니어링 환경을 기반으로 하여 개발 이전 단계의 프로세스를 설계하는 방법을 제안한다. 이 방법은 프로세스, 활동, 테스크들의 연관관계를 도식화하고 있다. 그리고 설계된 결과를 국내 프로젝트들에 적용, 그 결과를 분석한다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2017.07a
• /
• pp.413-414
• /
• 2017

항공전자 시스템 및 소프트웨어 기술의 복잡성이 증가함에 따라 소프트웨어의 신뢰성을 보장하는 방법으로 모델 기반 소프트웨어 개발의 필요성이 증가하고 있다. 본 논문에서는 모델기반 소프트웨어 설계를 이용하여 항공기 콕핏 내 주요 계기를 통합한 MFD(Multi-function Display)를 설계하고, 실시간 비행 데이터를 생성하여 시뮬레이션한 결과를 보인다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.06b
• /
• pp.134-137
• /
• 2007

임베디드 소프트웨어 모델링에서 패턴의 활용은 설계 모델의 품질을 향상시키는데 매우 중요한 역할을 수행한다. 특히 상태 기반의 모델링은 임베디드 시스템의 행위를 중심으로 표현되기 때문에 패턴의 활용은 정확한 기능의 설계 및 설계 모델의 복잡도 감소에 도움이 된다. 본 연구에서는 임베디드 소프트웨어의 상태 전이 모델의 복잡도를 감소시키기 위해 제시된 기존의 설계 패턴을 고찰하고, 이에 대한 신택스와 시맨틱의 확장을 통해 새로운 설계 패턴을 제시한다. 제시된 설계 패턴은 임베디드 소프트웨어가 갖는 비예측성(unexpected) 이벤트를 반영할 수 있도록 확장되었으며, 이는 보다 유연하고, 확장 가능한 임베디드 소프트웨어의 모델링을 가능하도록 할 것이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.415-417
• /
• 2002

컴포넌트는 소프트웨어의 재사용을 통하여 소프트웨어 제품의 향상된 생산성을 제공해 줄 수 있는 방안으로 인식되면서 , 학계와 산업계의 관심 이 집중되고 있다. 그에 대안 반영으로 컴포넌트 자체를 개발하거나, 상용 컴포넌트를 기반으로 하여 어플리케이션을 개발하기 위한 방법론들이 제안되고 있고, 이런 개발 방법론이 바로 컴포넌트 기반의 개발 방법론이다. 컴포넌트 개발 방법론이 확산됨에 따라 성공적인 컴포넌트 기반의 프로젝트의 중요한 요소로써 효과적인 컴포넌트 인터페이스 설계 기법이 부각되고, 제안되었다. 그러나, 기존의 객체지향 방식으로 구현된 모델을 컴포넌트 기반의 모델로 전환 시의 지침들이 부족하다. 따라서, 본 논문에서는 객체 지향 방식으로 모델링 한 UML동적모델에서 근거한 컴포넌트 인터페이스 설계 기법을 제안한다. 즉, 분석 단계에서 컴포넌트를 식별하고, 설계 단계의 산출물인 Use Case모델과 클래스 다이어그램을 이용하여 컴포넌트의 메소드들을 추출한다. 그리고, 컴포넌트 인터페이스를 정의한다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2002.05a
• /
• pp.73-80
• /
• 2002

UML(Unified Modeling Language)은 소프트웨어 설계뿐만 아니라 네트워크 상에서의 데이터 전송, 가상데이터를 이용한 물리현상, 회로 분석 및 설계 등 다양한 형태의 시뮬레이션에서도 사용되고 있는 모델링 언어이다. 이러한 UML로 개발된 소프트웨어 설계 모델이나 시뮬레이션 모델들을 효율적으로 저장하고 관리할 수 있는 통합 시스템의 필요성이 제기되고 있다. 이를 위하여 본 논문에서는 UML 모델들의 저장과 관리의 효율성을 높이기 위해서 저장하부 구조를 데이터베이스화할 수 있는 방법을 제안한다. 제안한 방법을 적용한 시스템은 UML 모델들을 다수의 사용자들이 서로 공유할 수 있으며 모델의 재사용성을 높이고 모델 정보의 효율적인 검색을 지원할 것이다.

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

Codesign 방법론은 하드웨어와 소프트웨어가 공존하는 시스템을 설계할 때 이드의 설계를 각각의 특성에 맞는 방법을 사용함으로써 효율적인 디자인방법을 제공한다. 전체 시스템의 동작 및 성능을 검증하기 위해서는 다른 방법으로 개발된 하드웨어와 소프트웨어를 같이 시뮬레이션해야 하는데 이를 통합시뮬레이션(Co-simulation)이라고 한다. 하드웨어와 소프트웨어를 개발하는 방법이 다르기 때문에 야기되는 통합의 문제점을 해결하기 위하여 DEVS(Discrete Event System Specification)에 기반한 중간단계형태를 통한 변환방법론을 제시하고 이를 사용하여 C++ 모델과 Verilog HDL 모델간의 통합시뮬레이션을 구현함으로써 효용을 보이고자 한다.