• The KIPS Transactions:PartD
• /
• v.15D no.6
• /
• pp.785-792
• /
• 2008

In spite of the various techniques on the testing of embedded software, operation failures of embedded systems such as robot or satellite applications, are occurred frequently. The critical reason of these failures is due to the fact that software is embedded into a target system with inherent faults. Therefore, in order to prevent the failure owing to such faults, it needs a technique to test the embedded software which operates in real environment. In this paper, we propose a testing technique, aspect-based On-the-Fly testing that is to test the functionality and performance at real operation time. Our proposed technique gives some benefits of real test of unexpected input conditions, prevention of software malfunction, and reusability of aspect components for the testing.

• Proceedings of the IEEK Conference
• /
• 2005.11a
• /
• pp.1181-1184
• /
• 2005

In this paper, we proposed small scale real-time operating system for embedded system. Real-time system is characterized by the severe consequences that result if logical as well as timing correctness properties of system are not met. On real-time system, real-time operating system allows real-time applications to be designed and expanded easily. Functions can be added without requiring major changes to the software. We design small scale real-time operating system for preemptive kernel, and design kernel component such as multitasking, scheduler, task priority, semaphore, inter-task communication, clock tick timer, ISR(Interrupt Service Routine) mechanism has low interrupt latency.

• Journal of the Korea Society of Computer and Information
• /
• v.24 no.11
• /
• pp.21-27
• /
• 2019

Recently, embedded systems have been introduced in various fields such as smart factories, industrial drones, and medical robots. Since sensor data collection and IoT functions for machine learning and big data processing are essential in embedded systems, it is essential to port the operating system that is suitable for the function requirements. However, in embedded systems, it is necessary to separate the hard real-time system, which must process within a fixed time according to service characteristics, and the flexible real-time system, which is more flexible in processing time. It is difficult to port the operating system to a low-performance embedded device such as 8BIT MCU to perform simultaneous real-time. When porting a real-time OS (RTOS) to a low-specification MCU and performing a number of tasks, the performance of the real-time and general processing greatly deteriorates, causing a problem of re-designing the hardware and software if a hard real-time system is required for an operating system ported to a low-performance MCU such as an 8BIT MCU. Research on the technology that can process real-time processing system requirements on RTOS (ported in low-performance MCU) is needed.

• Proceedings of the KSRS Conference
• /
• 2008.10a
• /
• pp.84-87
• /
• 2008

ATTOL is a software unit testing tool produced by the ATTOL Testware SA in France. It automates the entire software unit testing process: test plan template and test program generation, test program execution, test result analysis and test report generation. ATTOL is suited for the development of embedded software as it allows programmers to operate in native and cross development environments. Particularly, it is used for the development of the flight software which is embedded in the Communication Ocean Meteorological Satellite (COMS). As the flight software is mission-critical, it requires the strict software quality and high testing constraints. The flight software of COMS is verified by ATTOL in native and cross platforms. In 2002, ATTOL was taken over by the IDM Rational Software and has been supplied with the name of Test RealTime (TestRT). The test process of TestRT becomes different from that of ATTOL as TestRT provides the new functionalities that were absent from ATTOL. TestRT provides the new features in the test script language, as well. In this paper, we compare the test process of ATTOL to TestRT With an example of COMS and explain what has been changed in the test script language.

• Journal of Institute of Control, Robotics and Systems
• /
• v.5 no.5
• /
• pp.622-629
• /
• 1999

This paper discusses a real time multi-tasking system model and a development environment for an elevator control system. Recently, as the elevator systems become large-scaled and operate with high speed, there are lots of software tasks to be processed with time constraints. Thus, the control systems are designed with distributed control structure and characteristics of typical real time systems. For stuructural design of such real time system, we introduce a multi-tasking model based on a real time operating system model and an software development environment based on virtual protopyping which simulates real system operation in the cross development of a new elevator system with distributed control structure and its system reliability can be verified through numerous field tests.

• Journal of Advanced Marine Engineering and Technology
• /
• v.28 no.5
• /
• pp.811-817
• /
• 2004

Recently embedded systems are widely used in various industrial fields as supervisory controller because they have many merits. One of merits seems to be that operating environment of embedded system is the same as development environment using PC. That makes developing and manufacturing period shorten and also proper time to market Most of all machinery have sequential control system for their maneuvering which is composed of relays. contacts. timers. etc. In this paper. software sequential control system is proposed to be able to replace hardware sequential control system by using embedded system A lot of merits by the software sequential control system can be expected in the respect of economic reproduction, intelligent technologies and utilities, And porting of LINUX operating system to embedded system is carried out and device drivers and interface boards for LINUX 05 are designed for controlling air compressor by software Internet remote control and monitoring system of air compressor is implemented with Java script and CGI for these purposes. The experiment for operating air compressor system is taken through internet networks. The results show that developed system can be used for real plant.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.10 no.4
• /
• pp.20-29
• /
• 2007

The engagement control software embedded in the weapon control computer of the fire control center for air defense missile system is large-scale real-time software. The use of typical software development methodologies is not appropriate to develop such large-scale embedded software in terms of reusability, reliability, and productivity for the reason that it is significantly complicated, and highly dependent on hardware platforms and developers. In this paper, a model-based software architecture using components based on UML 2.0 for the engagement control software is presented in order to solve these problems. This software architecture is verified using the black-box test, the scenario-based test, and the Ethernet packet monitoring test methods. The results demonstrate that the developed software architecture can be employed to enhance reusability, maintainability, and productivity of large-scale embedded software.

• Journal of the military operations research society of Korea
• /
• v.33 no.2
• /
• pp.49-60
• /
• 2007

Recently, the application area of an embedded software become larger and larger rapidly due to the development of the wire and wireless communication, the expansion of the digital information device and the convergence of the digital devices and emphasize the effort of the development of more complete software. As a consequence, the importance of the software test process was raised to discover the defects of the software early and improve the quality of an embedded software. However there was no test process model for applying the embedded software which is required the highly precision and the real-time process. In this paper, therefore, we propose the design procedure and case study for the test maturity model of an embedded software(Emb-TMM) which reflects the characteristics of the embedded software and test process. for this, we suggest the three category of the proposed procedure which consists of the selection of the reference model and the derivation of the area, the categorization of the area level, and design model. Then we suggest the case study how the proposed procedure can be applied to the development of an embedded software actually.

• Journal of the Korea Safety Management & Science
• /
• v.14 no.4
• /
• pp.219-227
• /
• 2012

The trend is going to obtain the accurate and fast information to the development of information technology and electronic technology as an important part of corporate management. Press equipment to produce products that target is small and medium businesses. Became so economical real-time production information system(R-PIS) model has been implemented. R-PIS configure the embedded hardware and PC application software. This system is easy maintenance and upgrade that general-purpose PC and a modular hardware devices. Consists of modules such as wireless communication, LCD, Key-pad, memory control, and sensor signal. R-PIS is efficient materials and product management to maximize the productivity of the enterprise.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.2
• /
• pp.89-97
• /
• 2009

Embedded systems widely used in ubiquitous environments usually employ an event-driven programming model instead of thread-based programming model in order to create a more robust system that uses less memory. However, as the software for embedded systems becomes more complex, it becomes hard to program as a single event handler using the event-driven programming model. This paper discusses the implementation of non-preemptive real-time scheduling theory for the design of embedded systems. To this end, we present an efficient schedulability test method for a given non-preemptive task set using a sufficient condition. This paper also shows that the notion of sub-tasks in embedded systems can overcome the problem of low utilization that is a main drawback of non-preemptive scheduling.