• 한국항공우주학회지
• /
• 제44권12호
• /
• pp.1103-1111
• /
• 2016

한국천문연구원은 인공위성 정밀궤도 결정, 우주측지 및 인공위성 자세역학 연구를 위해서 2kHz 반복율을 가지는 SLR 시스템을 운영하고 있다. 그러나 측지위성의 회전속도를 보다 정밀히 결정하고 거리 측정 정밀도 향상을 위해서 고반복율의 SLR 관측 데이터가 요구된다. 따라서 고반복율 시스템 구현을 위해 운영 소프트웨어 및 레인지 게이트 생성기를 개발하여 최대 10kHz 반복율로 레이저추적이 가능한 HSLR-10(High repetition-rate Satellite Laser Ranging-10kHz) 시스템으로 개선하였다. 본 연구에서는 10kHz 반복율을 가지는 HSLR-10 시스템의 운영 소프트웨어 개발 방법, 구성 및 검증 결과를 제시한다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2011년도 춘계학술대회 논문집
• /
• pp.910-917
• /
• 2011

CBTC(Communication Based Train Control) car-borne equipment, a part of the communication based train control system, mainly consists of automatic train protection(ATP) functions, automatic train operation(ATO) functions as well as the interface functions with other equipment including CBTC wayside equipment and train control management system etc. The CBTC car-borne software implementing ATP/ATO functions is a real-time embedded software requiring a high level of safety and reliability. To satisfy the requirements of the CBTC car-borne software, the model-based design techniques are applied with SCADE(Safety-Critical Application Development Environment) to the development of the CBTC car-borne software. In this paper, we illustrate the process modeling the car-borne ATP/ATO functions satisfying system requirement specification with system requirement management, modeling and document generation tools etc. supported by SCADE. In addition, the developed models corresponding to the ATP/ATO functions are applied to the train with CBTC car-borne equipment through its corresponding EN-50128 standards-compliant C code generated by the code generator. It is shown from the test result that the ATP/ATO models developed by SCADE work well while the trains are running in driverless operation mode.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제2권5호
• /
• pp.303-310
• /
• 2013

애자일 소프트웨어 개발 방법은 경량 소프트웨어 개발 방법으로 소프트웨어 개발에서 팀워크가 중요한 역할을 한다. 본 논문에서는 애자일 개발에서 공동 작업을 할 때 팀워크, 팀 관리, 프로젝트 관리를 효율적으로 수행할 수 있는 작업과 인적자원을 분배하는 방안을 제시한다. 제안모델은 작업과 인적자원 분배를 위한 수학적 모델을 재시하고 6-시그마의 우선순위를 적용해서 작업에 가장 합당한 인력을 할당한다. 그리고 개발인력 관계모델을 이용하여 작업에 할당된 인력의 적절성을 검증한다. 제안된 방법은 인원배치의 효율성을 통한 팀워크를 개선함으로써 SW개발 생산성을 높였다.

• 한국컴퓨터정보학회논문지
• /
• 제23권12호
• /
• pp.115-122
• /
• 2018

As the proportion of software in weapon systems increases, the impact of software on the overall system is growing. As a result, software quality management becomes important, and related regulations and work manuals for quality assurance activities at each stage in the R & D process are becoming more sophisticated. However, due to the characteristics of the weapon system software that is developed as a customized form for the purpose of a specific mission, there are limits to specifying and definitizing the detailed requirements (upper and lower level) according to various operational concepts during the development process. Due to this, software modification (patch change, shape change due to upgrade, etc.) occurs on account of many defects and performance improvement in the mass production and operation stage after the development is completed. In this study, we analyze the characteristics of these weapon system softwares and propose quality improvement methods based on ISO / IEC / IEEE 29119 test method.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권7호
• /
• pp.691-701
• /
• 2000

소프트웨어 문서는 수많은 논리적인 객체와 객체간의 관계로 이루어진 구조를 가지고 있으며 그 구조가 빈번하게 변경될 수 있다. 본 논문에서는 소프트웨어 편집 과정에서 적용되는 연산에 기반한 미세 단위 소프트웨어 객체의 버전 및 일관성 관리 모델을 제안하였다. 모든 소프트웨어 객체는 연산으로 구성된 인터페이스를 가지고 객체의 편집은 연산을 통해서 이루어진다. 편집기를 통하여 객체에 적용된 연산은 연산 히스토리에 기록되고 버전 관리와 소프트웨어 구성 요소간의 일관성 관리에 이용된다. 객체의 버전은 연산 히스토리를 이용한 델타를 이용하여 저장되고 검색되므로 델타 추출을 위한 비교 과정이 필요 없으며 버전간의 변경 내용을 쉽게 파악하여 버전 전파 여부를 결정지을 수 있다는 장점이 있다. 일관성은 객체간의 종속성과 객체에 적용된 연산의 종류에 의해 관리되므로 불필요한 변경 전파를 피할 수 있다. 본 논문에서는 객체에 적용된 연산을 기반으로 하여 버전 검색 및 미세 단위 일관성에 대한 정형적인 모델을 제시하였다.

• Journal of Information Technology Applications and Management
• /
• 제15권3호
• /
• pp.61-77
• /
• 2008

Research results show (1) there are two dimensions characterizing Korean IS practitioners : 'project -operation' and 'product-orientation-strategic-orientation', (2) there are two distinctive and main career paths of Korean IS practitioners : generalists who support using information systems in the context of operation and specialists who are engaged in software development or improvement projects, and (3) Korean IS practitioners are experiencing serious and pervasive knowledge and skill deficiencies. Research results also provide clear evidence that Korean universities fail to provide eligible entry-level software developers and that the shortage of eligible entry-level software developers distorts both IS specialists' careers and knowledge and skill requirements for them.

• Journal of Information Processing Systems
• /
• 제9권3호
• /
• pp.499-510
• /
• 2013

Hardware-Software co-simulation of a multiple image encryption technique shall be described in this paper. Our proposed multiple image encryption technique is based on the Latin Square Image Cipher (LSIC). First, a carrier image that is based on the Latin Square is generated by using 256-bits of length key. The XOR operation is applied between an input image and the Latin Square Image to generate an encrypted image. Then, the XOR operation is applied between the encrypted image and the second input image to encrypt the second image. This process is continues until the nth input image is encrypted. We achieved hardware co-simulation of the proposed multiple image encryption technique by using the Xilinx System Generator (XSG). This encryption technique is modeled using Simulink and XSG Block set and synthesized onto Virtex 2 pro FPGA device. We validated our proposed technique by using the hardware software co-simulation method.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2001년도 춘계학술대회 논문집
• /
• pp.319-326
• /
• 2001

Railway signaling safety system organizes equipments and facilities of railway, increases transport efficiency and assures safe operation of railway. In the early days of signaling system railway managers made sure of safety by using relay logic technology based on fail-safe concept. But the development result of computer and science having been introduced to railway industry, railway signaling equipments begin to be operated through micro electronic control system. Accordingly high speed and high density operation of train became possible. Software reliability and safety technology that controls important systems of railway was highlighted. In the middle of 1990s the standard or guideline of railway reliability and safety were studied and established, and are being reviewing in Europe, Japan etc. Our reliability and safety technology have depended largely on foreign countries. In this study we performed a basic study about the reliability of software that controls the railway signaling system.

• 천문학회보
• /
• 제44권2호
• /
• pp.46.2-46.2
• /
• 2019

The software group in Giant Magellan Telescope Organization (GMTO) is developing the GMT Software Development Kit (SDK) for the device control and the telescope operations. The SDK is dived into the modeling and the operation defining. In the modeling process, Domain Specific Language (DSL) can validate the availability of a model and generate a skeleton code automatically. After the modeling, the developer can simply define the device operation. All devices are connected via EtherCAT, and the SDK simplifies the network connection. This presentation will give an overview of the modeling process and development examples using the GMT SDK.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2007년도 Proceedings of ISRS 2007
• /
• pp.175-178
• /
• 2007

COMS (Communication Ocean Meteorological Satellite) is the geostationary satellite being developed by Korea Aerospace Research Institute for multi-mission: experimental communication, ocean monitoring and meteorological observations. The COMS operation is controlled by the on-board software running on the spacecraft central computer. The software is written in ADA language and developed under the software life cycle: Requirement analysis, Design, Implementation, Component test and Integration test. Most functional requirements are tested at component level on a software component testing tool, ATTOL. ATTOL provides a simple way to define the test cases and automates the test program generation, test execution and test analysis. When two or more verified components are put together, the integration test starts to check the non-functional requirements: real-time aspect, performance, the HW/SW compatibility and etc. This paper introduces the COMS on-board software and explains what to test and how to test the on-board software at component level using ATTOL.