• Journal of Platform Technology
• /
• v.8 no.4
• /
• pp.47-58
• /
• 2020

DO-330 Software Tool Qualification Considerations is a guideline for development of tools used to develop/verify software and hardware installed on aircraft. And among several processes, the verification process is very crucial as it occupies a large proportion for DO-330. Especially, in order to qualify tool with high safety level, test objectives must be performed with independence, accordingly, more time, cost, and manpower are required than other objectives. In addition, even if the test cases or test procedures are well defined, the higher the complexity of the test the higher probability of human error occurs. In this paper, we propose Script-based Test Automation Agent software structure for efficient DO-330 verification process of A661UAGEN tool developed by Hanwha Systems. Compared to the test performed manually by the test engineer, testing time of the Script-based Test Automation Agent is reduced by 87.5% and testing productivity is increased by 43.75%.

• Journal of Digital Convergence
• /
• v.10 no.1
• /
• pp.357-364
• /
• 2012

For the resistance of the closed intellectual property license from the Free Software Movement. It's free and also can adapt have been widely used. Software for the resistance of the closed intellectual property rights have been promoted by the free software movement. Implementation of the proposed changes in the license that anyone can freely use the software and adapt open source software is widely used. The product of open source software can reduce development time and cost. Many people who use it will improve, verification and developed. However, indiscriminate use of these advantages, as well as the risk of dispute is high. This study is analyzed open source software dispute cases for piracy protection and will show duly open source software available to users by user environment.

• Journal of the Institute of Convergence Signal Processing
• /
• v.11 no.2
• /
• pp.177-182
• /
• 2010

The flow of a universal system-level design methodology consists of system specification, system-level hardware/software partitioning, co-design, co-verification using virtual or physical prototype, and system integration. In the developing process of a hardware component in system, the design phase has been regarded as a phase consuming lots of time and cost. However, the verification phase in which functionality of the designed component is verified has recently been considered as a much important phase. In this paper, the implementation of a verification environment which is based on SystemC infrastructure and verifies the functionality of a hardware component is described. The proposed verification system uses SystemC user-defined channel as communication interface between variables of SystemC module and registers of Verilog module. The functional verification of an UART is performed on the proposed verification system. SystemC provides class library for hardware modeling and has an advantage of being able to design a system consisting hardware and software in higher abstraction level than register transfer level. Source codes of SystemC modules are reusable with a minor adaptation on verifying functionality of another hardware component.

• Journal of Satellite, Information and Communications
• /
• v.12 no.3
• /
• pp.93-97
• /
• 2017

In satellites, even a small error in flight software could cause a failure of missions. Therefore, there are strict development and verification processes for a high reliability of flight software. However, satellites on orbits could meet unexpected situations including hardware malfunction. In this case, it is necessary for flight software to be updated to cope with the unexpected situations and to continue their missions. This paper reviews reprogramming capability of next generation LEO satellites.

• Proceedings of the KIEE Conference
• /
• 2011.07a
• /
• pp.1252-1253
• /
• 2011

The railway signaling system is being converted to the computer system from the existing mechanical device, and the dependency on software is being increased rapidly. Though the size and degree of complexity of software for railway signaling system are slower than the development speed of hardware, it is expected that the size will be grown bigger gradually and the degree of complexity will be increased also. Accordingly, the validation of reliability and safety of embedded software for train control system was started to become influential as the important issue. In this paper, we presented boundary value analysis tool for railway signaling system software, and presented its result of implementation.

• The KIPS Transactions:PartD
• /
• v.8D no.1
• /
• pp.62-70
• /
• 2001

Correct descriptions for software component functions become a strong requirement in developing critical software especially on the area of real-time applications. In this paper, we introduce both formalization of software design using patterns and verification methods in order for the components to increase their understandability. In particular, the paper investigates into a means of formal description techniques based on VDM++ for the software components, and provides adequacy proof steps for a given functional descriptions.

• Journal of Communications and Networks
• /
• v.15 no.5
• /
• pp.538-542
• /
• 2013

This paper proposes a broadcast software download (BSD) scheme for a 10-gigabit-capable passive optical network (XG-PON), which dramatically reduces the time required to update a remotely-located user terminal's software. The performance of the proposed BSD is examined by numerical analysis and demonstrated by experimental verification on our XG-PON test platforms. The results show that the BSD takes less than 5 minutes to update 45 user-terminal software, while the conventional unicast software download scheme normally takes more than one and half hours.

• Journal of Applied Reliability
• /
• v.2 no.1
• /
• pp.23-32
• /
• 2002

As the function of digital products gets diverse and complex, more than 30~40% job of software developing and testing group within its development cycle, concentrates on the software testing[1]. To cope with consumers'quickly changing needs, development cycle time gets short, and the number of model and test items increase steadily This is why automating software basic function and UI(User Interface) verification is needed [4][5][6]. This paper draws many strength and weakness defines Input/Output through integrating mobile phone, DVDP, PDA, and Black-Box (Intrusive (mobile) or Non-Intrusive(DVDP, PDA)) testing systematically, which brought above the 64% average of automation rate, and ensure 80% of test coverage [4][5][6].

• Journal of Educational Research in Mathematics
• /
• v.12 no.4
• /
• pp.543-556
• /
• 2002

The purpose of this study is to find a method to improve geometry instruction. For this purpose, I have investigated aims and problems of geometry education. I also reviewed related literature about discovery methods as well as verification. Through this review, “Mathematising teaching and learning methods” by Freudenthal is Presented as an alternative to geometry instruction. I investigated the capability of dynamic software for realization of this method. The result of this investigation is that dynamic software is a powerful tool in realizing this method. At last, I present one example of mathematic activity using dynamic software that can be used by school teachers.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.13 no.5
• /
• pp.852-860
• /
• 2010

An environment in which the software is operated become more complex and changed dynamically. Such software requires the ability to adapt in accordance with operating environments, by monitoring the changes of user requirements and operating environments. Especially, the mobile device used in military operation requires more dynamical adaptation than the mobile device in normal environment. In this paper, we propose MOSAIC architecture based on Self-Adaptive Software suitable for military mobile device and verify the results. The proposed architecture consists of context manager, evaluation manager and adaptation manager. We simulate the MOSAIC architecture by modelling PRE(Position Reporting Equipment) used in the army and verify four types of operational mode and dynamical reconfiguration of user interface.