• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.44 no.12
• /
• pp.1103-1111
• /
• 2016

Korea Astronomy and Space Science Institute (KASI) has been operating SLR (Satellite Laser Ranging) system with 2kHz repetition rate for satellite precise orbit and spin determination as well as space geodesy. But the SLR system was improved to be capable of laser ranging with high repetition rate, up to 10kHz by developing new operation software and novel range gate generator, called HSLR-10. The HSLR-10 will contribute to the accurate spin rate determination of geodetic satellites and geodetic research due to its largest repetition rate in the world. In this study, the development methodology and configuration of operation software are addressed, and its validation results are also presented.

• Proceedings of the KSR Conference
• /
• 2011.05a
• /
• 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.

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.5
• /
• pp.303-310
• /
• 2013

Agile software development methodology is a lightweight software development method, plays an important role in the software development team. In this paper, we propose programs that in when agile development co-operation, team management, team collaboration and project management tasks can be high efficiency and allocation of human resources. The proposed model, the use of 6-Sigma priority assignment, established a mathematical model of the operation and distribution of human resources is the most reasonable people go to work. Cooperation makes team-based agile development can improve efficiency. This method improve staff efficiency by teamwork to improve the productivity of software development.

• Journal of the Korea Society of Computer and Information
• /
• v.23 no.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.

• Journal of KIISE:Software and Applications
• /
• v.27 no.7
• /
• pp.691-701
• /
• 2000

Software documents consists of a number of objects and relationships between them, and structure of documents can be changed frequently. In this paper, we propose a version storage and consistency management model for fine-grained software objects based on operations applied to edit software objects. An object has an interface and can be updated only through operations defined in its interface. Operations applied to objects are recorded in the operation history, which is used to retrieve versions of a document and manage consistency between documents. Because versions of an object are stored and retrieved using the operation delta, it is not needed to compare versions of a document to extract delta and it is easy to identify the changes between versions in order to propagate the changes. Consistencies between documents are managed using dependencies between objects and kinds of the operations applied to the objects. Therefore unnecessary version propagation can be avoided. This paper presents a formal model of version retrieval and consistency management at the fine-grained level based on operations applied to the objects.

• Journal of Information Technology Applications and Management
• /
• v.15 no.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
• /
• v.9 no.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.

• Proceedings of the KSR Conference
• /
• 2001.05a
• /
• 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.

• The Bulletin of The Korean Astronomical Society
• /
• v.44 no.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.

• Proceedings of the KSRS Conference
• /
• 2007.10a
• /
• 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.