• Journal of the Korean Society for information Management
• /
• v.15 no.2
• /
• pp.69-88
• /
• 1998

In real life, the problems that organizations face are often not well packaged: they are frequently complex and complicated, especially when it is concerned about computer network services. The principal aim of the study is to investigate what sort of network sytem will enable uni ersities to utilize the information resources they have and need in an effective and efficient way. Therfore seven stages of the Soft systems methodology were applied to get the optimal model, then networking, maintaining, monitoring and training sytems were developed as the result.

• Proceedings of the KIEE Conference
• /
• 2004.11c
• /
• pp.400-402
• /
• 2004

정보 가전 분야에 있어서 급속한 기술 발전으로 인해 하루가 다르게 새로운 기능이 추가됨에 따라 임베디드 시스템 소프트웨어의 크기 및 복잡도 또한 함께 증가하고 있고 이를 개발하고 유지보수 하는데 있어서도 막대한 비용과 노력이 요구된다. 이를 해결하기 위한 방안으로 소프트웨어의 재사용성을 높이기 위한 노력이 이어지고 있다. 본 논문에서는 프로세스 방식 기반의 OS를 적용한 소프트웨어를 스레드 방식의 OS 기반의 소프트웨어로 전환하여 임베디드 시스템을 구현하였으며 소프트웨어 방법론으로는 스레드 방식의 OS 기반 소프트웨어에 수정된 DARTS(Design Approach to Real- Time Systems) 방법론을 적용하여 시스템을 구현하였다. 이 구현된 시스템에서 재사용성을 측정하여 표로 제시하며 그 측정 결과를 분석하였다. 그리고 스레드 방식의 OS 기반 소프트웨어에 수정된 DARTS 방법론을 적응하여 코드만 재사용이 아니라 설계방법도 재사용이 가능함을 CE 제품에 보이고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.11a
• /
• pp.344-347
• /
• 2010

관점지향 개발 방법론은 시스템의 중복된 요소를 최소화 하여 높은 수준의 모듈화를 달성하기 위한 기법으로 그 적용 범위를 넓히고 있다. 특히 최근에는 임베디드 시스템 개발에 관점지향 개발 방법론을 적용한 사례가 증가하고 있다. 많은 임베디드 시스템들이 SysML과 같은 설계 언어를 이용하여 하드웨어와 소프트웨어를 동시에 설계하고 통합하는 방식으로 개발되고 있다. 그러나 이러한 하드웨어와 소프트웨어를 고려한 설계 언어들은 구조적 개발 방법론이나 객체지향 개발 방법론에 초점을 두고 있기 때문에 관점지향 개발 방법론을 지원하기에 많은 한계가 있다. 따라서 본 연구에서는 임베디드 시스템 개발에 관점 지향 개발 방법론을 지원하기 위해 확장된 SysML을 제안한다.

• 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 모델간의 통합시뮬레이션을 구현함으로써 효용을 보이고자 한다.

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

소프트웨어를 구성하는 요소들의 재사용은 소프트웨어 공학에서 가장 중요하게 생각하는 부분으로써 기존의 소프트웨어의 유지보수나 새로운 소프트웨어의 개발에서 생산성을 높일 수가 있다. 이러한 소프트웨어의 경제성 재사용성을 위한 개발방법론이 CBD(Component Based Development)이다. CBD는 소프트웨어 개발 방법론들 중의 하나로써 컴포넌트들을 특정 목적에 맞게 조립하고 배치하여 품질 보증된 높은 생산성의 컴포넌트를 재사용할 수 있게 한다 이러한 장점 때문에 CBD가 유력한 차세대 개발방법론으로 주목받고 있는 것이다. 따라서 본 논문은 기존에 구축된 on-line 심사 프로세스 지원시스템을 컴포넌트기반 시스템으로 재구축하여 컴포넌트화의 효과를 알아보고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.25-27
• /
• 2002

반응형 실시간 시스템의 특성을 가진 원자력 발전소 제어시스템은 안정성이 크게 중요시되며, 소프트웨어의 오류가 많은 인적 물질적 피해를 줄 수 있는 시스템이므로 높은 신뢰도를 가지고 있는 소프트웨어가 요구된다. 높은 신뢰도를 뒷받침하기 위해 내장되는 소프트웨어는 적합한 정형명세기법과 정형검증기법의 적용이 필요하다. 소프트웨어 개발시 적용되는 정형기법은 명세의 모호성을 제거하고 검증을 수행하기에 용이하게 하므로, 높은 신뢰도를 요구하는 반응형 실시간 시스템인 원자력 분야의 소프트웨어 개발에 유용하다. 그러므로, 본 논문에서는 반응형 실시간 시스템의 특성을 가진 원자력분야의 소프트웨어 개발시 유용하게 적용할 수 있는 정형기법을 기반으로 한 소프트웨어 개발 방법론을 제시하고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.04a
• /
• pp.70-71
• /
• 2016

현재의 소프트웨어 개발 방법론은 소프트웨어 개발에만 국한 되어서 사용되지는 않고 있다. 도리어 인프라 시스템 구축방안에서 사용하는 것이 개발 방법론을 적용하는데 있어 더욱 정확하고, 인프라 시스템 요구분석 기술을 적용하는데 있어서도 개발 방법론이 부족하지 않다. 소프트웨어를 개발하는데 있어서 인도되는 시간을 프로젝트 초기에 산정하기가 매우 어려운 경우가 많지만 인프라 시스템 구축에서는 정확한 인도시간을 산정할 수 있다. 또한 소프트웨어 개발 프로젝트는 성공과 실패에 대한 기준을 설정하기가 모호한 경우가 많지만 인프라 시스템 프로젝트는 성공과 실패에 대한 명확한 기준을 설정 할 수가 있다. 하지만, 이러한 명확한 인프라시스템 구축에 있어 소프트웨어 개발 방법론을 적용시키는 경우는 거의 없다. 시스템 엔지니어의 시선으로는 소프트웨어 개발 방법론은 개발자만이 지켜야 하는 것이라는 생각이 크다. 이러한 문제를 해결하고, 인프라시스템 구축 방법에 소프트웨어 개발 방법론을 적용시켜서 표준화 하는 방법을 테스트 하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10c
• /
• pp.164-166
• /
• 1999

본 연구에서는 객체지향적 CASE 툴인 ObjecTime을 이용하여 지능형 제조 운영 시스템을 설계/구현하였다. 객체지향적 프로그래밍 방법론과 ROOM(Real-time Object-Oriented Modeling) 방법론을 사용하여 지능형 제조 운영 시스템에서 필요한 객체를 설계하였으며, 이들 객체의 계층도와 관계를 정의하였다. 객체지향적 설계 방법론을 사용하여 설계한 시스템은 모델링 과정에서 실행화일을 얻는 과정까지 발생하는 오류를 최소화할 수 있다는 장점이 있다. 또한, 본 연구에서는 제조 시스템의 모니터링과 제조시스템 운영 소프트웨어의 자료 입력 및 수정을 위한 그래픽 사용자 인터페이스 툴을 제작하였다.

• Journal of KIISE:Software and Applications
• /
• v.34 no.8
• /
• pp.721-730
• /
• 2007

UML (Unified Modeling Language) is widely used to analyze and design target software. Developers also implement the target software based on the UML artifacts. However, it is difficult to validate whether the artifacts are generated to correspond to the modeling guidelines because the guidelines for UML modeling are described in natural language. This paper discusses rule based model checker focused on whether models are designed according to modeling methodology. We propose rules and their own checker, named GARDIAN, for UML model validation. The checkers are designed for COMET method for the real-time embedded system. We illustrate our checkers using Intelligent Robot system to validate our approach.

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

소프트웨어의 위기를 극복하고자 하는 하나의 해결책으로 등장하기 시작한 소프트웨어 개발 방법론이다. 국내에서는 '80 년대 후반부터 방법론의 도입이 시작되었고 시스템 통합 사업의 팽창으로 '90 년대부터는 더욱 가속화되었다. 구조적, 정보공학, 객체지향으로 이어진 국내 방법론 시장은 최근에는 작은 단위의 소프트웨어 부품을 조립하여 더 큰 소프트웨어 시스템을 구축하자는 컴포넌트 기반 개발에 관심을 가지기 시작하면서 컴포넌트 기반 시스템 개발 방법론에의 관심이 커지고 있다. 이에 본 고에서는 본 연구원에서 개발한 컴포넌트 기반 시스템 개발 방법론, 마르미-III 버전 2.0을 소개하고자 한다.