• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2005년도 심포지엄 논문집 정보 및 제어부문
• /
• pp.155-157
• /
• 2005

The Electrical Test Bed(ETB) integrates the test environment, required for acceptance tests of system level, prior to FM testing. The ETB will be used for the validation of system-level functions and interface between each subsystem. The FTB supports early functional and limited performance checkout of electrical subsystems. Therefore, it provides the environment for the verification of the Flight Software including AOCS, EPS, and TC&R simulators. These ETB will be composed of engineering version of spacecraft BUS, which are laid on the laboratory table.

• 한국전산유체공학회:학술대회논문집
• /
• 한국전산유체공학회 2010년 춘계학술대회논문집
• /
• pp.431-436
• /
• 2010

Recently, several open source codes for computational fluid dynamics (CFD) have been emerged and are spreading fast. Our group has chosen OpenFOAM as a platform to develop our own in-house code. In this paper, we would like to share the information on the codes and what we have experienced so far. We introduce several features of OpenFOAM, which include the performance compared with commercial packages, estimation for current user population and our own prospect for future improvement in performance and growth in user population. In addition, we briefly introduce our experience gained in embedding the level set method into the OpenFOAM.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2001년도 춘계종합학술대회
• /
• pp.291-294
• /
• 2001

현재의 소프트웨어 아키텍처에 관한 연구는 컴포넌트 집합과 같은 소프트웨어 시스템을 구성하는 객체 또는 컴포넌트의 상호 동작 및 관련성을 보다 효과적으로 연결할 수 있는 다양한 기법이 제시되고 있다. 본 논문에서는 Java Beans에 기반을 둔 분산 시스템 환경에서 객체와 객체간에 관련성을 모델링하기 위해 컴포넌트, 연결자 및 컴포넌트 스키마로 구성된 구조화된 모델을 제시하고 구현한다. 특히 Java Beans에서 객체간의 관련성을 모델링하기 위한 연결자의 구성에 중점을 둔다. 본 연구에서 제시된 연결자 모델은 Java Beans기반 분산 시스템 환경에서 다양한 객체간의 의존성을 명확하게 표현하는데 효과적이며 분산되어 있는 컴포넌트를 정형화된 방법으로 통합할 수 있는 효과를 가진다.

• 제어로봇시스템학회논문지
• /
• 제4권1호
• /
• pp.113-122
• /
• 1998

This paper presents an implementation method of Profibus interface software using FMS(Fieldbus Message Specification). The Profibus interface software is implemented on PC which is widely used as an industrial computer as well as a commercial embedded controller called IUC(Intelligent Universal Controller). In order to enable the Profibus interface software to handle many application tasks and communication services, two kinds of real-time/multi-tasking operating system, OS-9 and CTask, are utilized. We also develop an experimental model of Profibus-based automation system, and evaluate the performance of the Profibus network. Through experiments, the user layer level message latency is measured with respect to the change of message length, message generation interval and TRT(Target Rotation Time). The results of experiment are compared with those of a simulation model which comprises only the physical and data link layers of Profibus. The results of this study shows that the message latency in the user layer level occupies fairly a large part of the total message latency.

• 한국정보통신학회논문지
• /
• 제7권6호
• /
• pp.1351-1359
• /
• 2003

극한 프로그래밍은 빠르게 변화되는 사업 환경에 기민하게 대응하는 애자일 소프트웨어 개발 방법론 중에서 가장 대표적인 방법론이다. 소프트웨어 산업이 성숙됨에 따라 소프트웨어 품질 요소중 사용성이 점차 강조되고 있으나, 극한 프로그래밍에서 사용성을 확보하기 위한 노력이 부족한 실정이다. 극한 프로그래밍의 사용성 향상을 위하여 본 논문에서는 소프트웨어 생명주기를 조사, 계획, 릴리즈 반복, 제품화, 유지보수, 사망의 6단계로 정의한다. 사용성 평가를 위한 통합시험과 인수시험을 포함한 11개의 활동을 정의하여 사용성을 향상시킬수 있는 극한 프로그래밍 프로세서를 제안한다. 제안한 프로세서의 타당성을 4가지 측면에서 확인하였다. 제안한 프로세스는 극한 프로그래밍 프로세스가 인수시험 활동을 지원하도록 개선하였으며, 극한 프로그래밍 프로세스가 CMM 레벨4를 지원하도록 하며, CMM 품질보증 실무를 지원하도록 하였다.

• 소프트웨어공학소사이어티 논문지
• /
• 제29권1호
• /
• pp.7-12
• /
• 2020

최근 기능 안전에 대한 관심이 높아짐에 따라 다양한 산업 분야에서 기능 안전 표준의 적용이 요구되고 있다. 기능 안전 표준은 시스템의 오작동을 방지하기 위해 필요한 기능 안전 관련 활동들을 정의한 문서이다. 이 표준에 정의된 모든 활동들은 시스템의 위험 분석 및 평가를 통해 산출된 등급 분류 결과에 따라 차등적으로 요구된다. 국내 무기체계 분야에는 방위사업청에서 발간한 무기체계 소프트웨어 개발 및 관리 매뉴얼이 존재한다. 이 매뉴얼은 기능 안전 관련 활동으로 소프트웨어 정적 및 동적 분석 활동을 요구한다. 하지만 해당 매뉴얼에는 선행 활동으로 요구되는 위험 분석 및 평가를 통한 등급 분류 활동 관련 내용이 구체적으로 언급되고 있지 않다. 따라서 본 연구에서는 대표적인 기능 안전 표준들을 기반으로 무기체계 소프트웨어 개발 및 관리 매뉴얼의 문제점을 분석하고 이에 대한 개선 방안을 제시하도록 한다.

• 산업경영시스템학회지
• /
• 제40권4호
• /
• pp.55-66
• /
• 2017

Korean small and medium sized software companies have tried to export their solutions or services to overseas markets. In 2016, exports of the software industry increased by 6.0% from the previous year, and the value added of the industry was 2.2 times higher than that of the manufacturing industry. From a long-term perspective, it is important to secure a global competitive advantage in order to sustain the export high value-added of the software industry. The obstacles to entry into the overseas market of small to medium enterprises are as follows: first, difficulty in product development and localization of marketing; second, lack of investment for overseas expansion; and finally, competitiveness of software technology. In particular, To overcome such obstacles, Korean small and medium sized software companies should increase the technical perfection and secure software export competitiveness. The paper presents a payment settlement framework enabling adaptive reuse and semiautomatic development of global payment settlement services. The quantitative and qualitative evaluation results are presented with domestic and overseas case studies as follows: Firstly, semi-automatic development is realized successfully by applying the framework. Secondly, it is possible to maintain consistent quality of software and to deliver maintenance services without relying on the internal human resources. Thirdly, it is possible to reduce the project duration of the same development cope to less than 50% by applying the framework. Finally, because it is based on BPMN 2.0, which is a high level design diagram, it is expected that it will be easy to implement through components connection and reduce difficulties in technology transfer and localization. Also, at the time of runtime operation, it will be effective to understand the design idea easily and to carry out additional developments without human resource who participated in the initial project.

• 항공우주기술
• /
• 제11권1호
• /
• pp.49-56
• /
• 2012

위성의 기본적인 상태를 모니터링하며 자세 제어 및 위성 고유의 임무를 수행하는 위성비행소프트웨어는 운용 환경 및 그 특수성으로 인하여 매우 높은 수준의 신뢰성이 요구된다. 이를 위하여 개발 과정에서 다양한 활동이 이루어지게 된다. 실제 하드웨어 또는 하드웨어를 모사하는 시뮬레이터를 통해 위성비행소프트웨어를 동작시키고 지상 명령의 전송, Telemetry의 수신을 통한 검증의 경우, 매우 다양한 지원환경이 요구된다. 위성비행소프트웨어팀에서는 이러한 검증 활동을 보다 효과적으로 수행하고 이를 통해 소프트웨어의 신뢰성을 향상하고, 다양한 위성 개발에 공통으로 사용될 수 있는 위성 비행 소프트웨어 통합 검증 시스템을 구축하고 있다. 본 논문에서는 위성비행소프트웨어의 효과적인 검증을 위한 통합 검증 시스템의 설계 및 구축 방안에 대하여 소개한다.

• 공학교육연구
• /
• 제17권3호
• /
• pp.34-41
• /
• 2014

In distance education, use of proper software tools can greatly enhance student's attention and learning efficiency. In such software tools, offering diverse multimedia information is one of the most critical factors. However, integration and synchronization of the various media types has been relatively difficult parts of implementation. This paper proposes a prototype system that uses a metafile and event handling mechanism for the uniform treatment of various media types. This event-level integration and synchronization of multimedia makes the implementation relatively simple. With this approach, instructor's behaviors are automatically recorded, and the instructors can freely choose and show any type of multimedia contents while lecturing. Current commercial or non-commercial lecture management systems could incorporate this approach, so that the distance education market could be expanded with richer multimedia contents.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2006년도 하계종합학술대회
• /
• pp.781-782
• /
• 2006

This treatise proposed environment for Embedded system's development. Virtual platform can help to solve problem that hardware designer can experience at design process of hardware. Compose circuit of most suitable that is verified before mix parts by various kinds method and compose circuit by board level because can do simulation with software and software that is optimized to hardware and offer flexibility that can test. Therefore, can shorten expense that is cost in development and time. Embody development platform for 8051 systems for verification of development platform, and compose and verified system in various kinds structure.