• Annual Conference of KIPS
• /
• 2006.05a
• /
• pp.203-206
• /
• 2006

Ada는 객체지향 특성과 소프트웨어 모듈화 및 일반화 메커니즘을 통해 프로그래밍 언어 차원에서 소프트웨어의 재사용성을 제공하고 있다. 그러나 특정 언어 자체를 이용하는 것만으로 소프트웨어의 재사용이 확보되지는 않으며 설계자가 컴포넌트간의 유기적인 관계를 파악하고 재사용을 통해 얻을 수 있는 장.단점을 판단할 수 있어야 한다. 본 논문은 재사용 가능한 소프트웨어 객체와 인터페이스를 식별하고 재사용 모듈의 설계에 필요한 요소들을 파악함과 동시에 소프트웨어 설계 시 적용할 수 있는 코딩 패턴을 제시한다. 또한 이들을 보다 효율적인 설계도구인 Statemate에서 재사용 모듈로 활용할 수 있도록 기존 generic chart의 한계를 고려한 확장 개념의 재사용 모듈을 작성한다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2009.10a
• /
• pp.1063-1066
• /
• 2009

최근 유비쿼터스 컴퓨팅 환경의 실현 가능성이 높아지면서 동적으로 변화하는 외부 환경에서의 소프트웨어 역할이 중요해지고 있다. 유비쿼터스 환경에서는 소프트웨어가 외부환경의 변화를 감지하고 이에 대응하는 적절한 서비스를 제공하기 위해서 지속적으로 외부환경에 대한 정보를 이용하게 된다. 이러한 외부환경에 대한 정보, 즉 상황정보를 이용하는 상황인식 애플리케이션을 개발하기 위해서는 소프트웨어의 기능을 분석하고 설계하는 것뿐만 아니라 소프트웨어가 동작하는 외부환경의 변화를 분석하고 설계하는 것이 병행되어야 한다. 기존의 소프트웨어 설계 방법들은 소프트웨어가 동작하는 외부환경의 변화를 분석하고 이를 상황정보로서 획득하기 위한 방법에 대한 고려가 부족하였다. 본 논문에서는 상황인식 애플리케이션을 위해 획득되어야 하는 상황정보를 분석하고 모델링하는 방법을 제시한다. 또한 이를 이용하여 상황인식 애플리케이션이 수행해야 하는 상황규칙을 정의하는 방법을 제시한다. 본 논문에서 제시한 방법을 적용한 상황인식 강의실 관리시스템에 대한 개발 사례연구를 소개한다.

• Annual Conference of KIPS
• /
• 2010.11a
• /
• pp.260-263
• /
• 2010

본 논문은 전자제어 시스템들의 소프트웨어의 설계 및 구현 과정에서 나타날 수 있는 의사 전달의 애매모호함을 줄여 요구사항 명세와 구현 시스템 사이의 불일치를 없애기 위한 실시간 제어 소프트웨어의 정형 명세 기법을 제안한다. 실시간 제어 시스템 이론은 미적분학에 바탕을 두고 있는 반면, 실제 동작은 대다수 임베디드 프로세서에 의해 동작함에 따라 제어기의 설계 시 고안된 연속적인 미분 방정식의 이산화 과정을 거쳐 소프트웨어로서 구현이 된다. 이 때, 시스템 설계 엔지니어와 소프트웨어 구현 엔지니어 사이의 이해도의 불일치와 구현 엔지니어의 시스템 이론의 이해 부재로 시스템에 심각한 오류를 야기할 수 있다. 이에 본 논문에서는 이러한 실시간 제어 시스템의 기능 및 동작에 대한 그래픽 기반 정형적 명세 기법을 제안하여 요구사항 명세 과정에서 구현 방식을 구체화하는 방향을 제시한다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.37 no.9
• /
• pp.923-930
• /
• 2009

In this paper, we introduce a satellite conceptual design software which can be used for outlining a new satellite as well as for educational purpose. This software consists of three commercial tools: MATLAB, STK(Satellite Tool Kit), and Excel. The management of the design software is done by MATLAB which provides basic calculations, GUI(Graphical User Interface), Excel data base management, and STK control. STK, an orbital simulation software developed by AGI, takes a part of obtaining accurate orbital information of a satellite. Excel, a product of Microsoft, is used for the data base of previous satellites and for the saving place of temporary and final results of the software. The conceptual design of a satellite is to roughly estimate power system and mass. In the power system design, the sizes of solar array and battery are determined. Based on the database of existing satellites, we can estimate the subsystems's mass fraction of a target satellite. Design examples for Kompsat 1 and 2 are suggested for verification of the developed software.

• The Bulletin of The Korean Astronomical Society
• /
• v.37 no.2
• /
• pp.158.1-158.1
• /
• 2012

위성비행소프트웨어는 위성의 하드웨어와 임무 탑재체 및 서브시스템이 통합되어 궤도상에서 위성임무를 수행할 수 있도록 원격명령 및 측정데이터의 처리, 자세 및 궤도제어, 열제어, 전력제어 등의 기능을 수행한다. 위성비행소프트웨어의 개발과 같이 규모가 큰 소프트웨어는 여러 개발자가 참여해야 하고 각각의 개발자들이 작성 코드를 통합하여 빌드하고 문제 발생 시 대처하기 위하여 세부적인 설계 및 개발내용을 단계별로 문서화하는 작업이 수반되어야 한다. 기존의 위성비행소프트웨어 개발과정에서는 이러한 문서들 중 전체 위성비행소프트웨어의 단위 코드별 입출력, 수행기능 등의 상세 설계 내용을 기록하는 SDD(Software Design Description)는 개발자가 작성한 코드를 기반으로 수작업을 통하여 작성되었다. 이러한 작성방식은 작성자의 입력오류가 발생할 수도 있으며 소프트웨어 개발과 별도로 수작업이 요구되어 문서작성에 소요되는 시간적 손해가 발생하게 된다. 유럽에서는 이러한 문제점을 보완하기 위하여 C, C++, C#, JAVA, VHDL 등 다양한 언어를 사용하는 소프트웨어 개발에 적용 가능한 자동적 문서작성 도구인 Doxygen이 널리 활용되고 있다. Doxygen은 PDF, HTML, Latex, RTF 등 다양한 출력 포맷도 지원한다. 본 논문에서는 Doxygen을 활용하여 위성비행소프트웨어 개발문서의 작성 시 소요시간을 단축하고 소스코드로부터 해당 설계 내용을 추출하여 자동적으로 문서를 작성할 수 있는 방안에 대하여 소개한다.

• The Science & Technology
• /
• s.531
• /
• pp.70-73
• /
• 2013

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2016.05a
• /
• pp.42-43
• /
• 2016

해양분야에 e-Navigation 전략이 도입되면서 안전한 항행 지원을 위해 기존의 제품을 재설계 하거나 새로운 제품 설계가 이루어지고 있다. 항행 지원에 소프트웨어시스템의 영향이 커지고 있기 때문에 안전하고 견고한 시스템의 설계는 매우 중요하며, 이를 위해 높은 품질의 확보가 필요하다. IMO에서는 이러한 제품 설계를 위해 적절한 품질을 보장하고 목적에 맞는 제품 설계에 대한 내용을 담고 있는 소프트웨어 품질 보증 및 인간 중심 설계 가이드라인을 공식 승인하였다. 가이드라인에서 품질 보증은 제품 품질, 데이터 품질, 사용상 품질을 만족할 것을 포함한다. 다양한 품질 속성을 만족하기 위해서는 품질 속성간의 우선순위화가 필요하다. 본 논문에서는 안전하고 견고한 소프트웨어 시스템을 위해 AHP기법을 이용하여 제품에 따른 품질 속성을 우선순위화 하고, 전 개발 단계에 걸쳐 품질 속성이 반영되고 평가 될 수 있도록 한다.

• Proceedings of the Korean Society for Emotion and Sensibility Conference
• /
• 2001.05a
• /
• pp.244-248
• /
• 2001

본 논문에서는 온열환경 평가를 위한 다채널 온습도 분포측정 시스템을 개발하기 위하여 인체의 쾌적성에 영향을 미치는 온열환경요소를 분석, 이를 적용하기 위한 측정시스템의 설계개념과 요구사양에 고나하여 고찰하였다. 정밀도를 확보하기 위하여 센서의 응답성과 회로의 선형화에 관한 연구를 수행하고 사용자 편의를 도모하기 위한 분석 소프트웨어를 설계하였다. 소프트웨어는 의복내의 온열환경과 실내공간의 온열환경을 분석하기 위한 것으로 나누어져 있고 각각의 소프트웨어는 전처리와 후처리 프로그램 그리고 측정시스템과의 통신 인터페이스를 포함하고 있다. 이와 같은 설계 개념을 반영하여 다채널 온습도 분포측정 시스템이 개발될 경우, 각종 온열환경에 관한 연구에 널리 활용될 수 있을 것으로 기대한다.

• Annual Conference of KIPS
• /
• 2016.10a
• /
• pp.433-435
• /
• 2016

기술의 발전에 따라 첨단무기체계인 군용항공기는 전투임무 수행시 내장형소프트웨어(Embedded Software)를 통해 기체내의 항공전자 장치, 항법장치, 조종장치 등의 물리적 기계적 움직임을 제어하고 있으며, 내장형 소프트웨어의 비율은 점점 증가하고 있다. 기체의 물리적 기계적 움직임이 내장형 소프트웨어에 의해 제어 되기 때문에 군용항공기의 전투능력 보존과 국방 목적의 수행을 위해선 먼저 내장형 소프트웨어 고유의 특성을 만족하고, 나아가 소프트웨어 안전성, 신뢰성, 보안성을 확보하는 것이 필요하다. 본 논문에서는 설계 단계에서 스케줄성에 대해 정형검증 하여, 내장형 소프트웨어의 실시간성, 결정성, 생존성을 보증하고, 이러한 과정을 통해 전체적인 소프트웨어 안전성, 신뢰성, 보안성을 향상시키는 방안을 연구하며, 추가로 2011년 발표된 항공 소프트웨어 표준인 DO-178C에서 요구하는 정형검증을 적용한 국내 감항인증 표준 제정의 확대방안을 연구한다.

• Solar Energy
• /
• v.11 no.1
• /
• pp.50-60
• /
• 1991

A centrifugal pump was selected as a basic study, for it was utilized widely at the industry among various types of pumps. The purpose of this study was to develop the software for design of centrifugal pump. The step of this design was divided into two stages. First, the impeller was designed by the experiences and theory of A.J.Stepanoff, and the head was checked whether the design of impeller was acceptable. Second, the volute chamber was designed by the Archimedes spiral. Then, These procedures of impeller and volute chamber were developed into the software in C-language. Checked the validity of the developed software, the results were consistent with the actual pump produced domestically.