• Journal of the Korea Society of Computer and Information
• /
• v.18 no.8
• /
• pp.105-111
• /
• 2013

This paper presents a virtual sensor system that is an effective method to test application software of smart sensors. The common way of testing sensor application is to build a test board, connect sensors to the board, and test sensor applications on the board with sensor's measurements as inputs. The problem of testing sensor application software with sensor's measurements as inputs is the restriction of test data. In other words, software testers cannot manipulate test data, because test data is generated by sensors. To solve this problem a virtual sensor system is presented in this paper. The virtual sensor system enables software testers to manipulate measurements of sensors. In the virtual sensor system, generation of virtual sensors comprises three stages - sensor selection, sensor characterization, and determination of output patterns. Sensor's measurements that can be manipulated through the virtual sensor system make the process of testing efficient. To show the usefulness of our virtual sensor system, it is applied to sensor applications in Android platform and the result of experiments is shown.

• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.65 no.4
• /
• pp.242-249
• /
• 2016

The railway 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 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 railway system was started to become influential as the important issue. Accordingly, various software test and validation activities are highly recommended in the international standards related railway software. In this paper, we presented a software coding analysis tool using symbolic execution for railway system, and presented its result of implementation.

• Journal of Advanced Navigation Technology
• /
• v.27 no.2
• /
• pp.228-234
• /
• 2023

As the increasing demand for high-quality software, there is huge requiring for quality certification of international standards, industrial functional safety (IEC 61508), automotive (ISO 26262), embedded software guidelines for weapon systems, etc., in the industry. Software companies are very difficult to systematically acquire the quality certification in terms of cost and manpower of Startup, venture small-sized companies. For their companies one test case automatic generation is considered as a core technique to evaluate or improve software quality. This paper proposes a test case automatic generation method based on the design decision table for system and software design verification. We apply the proposed method with OMG's standard techniques of metamodel and model transformation for automatically generating test cases. To do this, we design the metamodels of design decision table (Model) and test case document (Text) and define model transformation to automatically generate test cases, which will expect to easily work MC/DC coverage.

• Proceedings of the KIEE Conference
• /
• 2008.07a
• /
• pp.1957-1958
• /
• 2008

The Logic Built In Self Test (LBIST) technique is substantially applied in chip design in most many semiconductor company in despite of unavoidable overhead like an increase in dimension and time delay occurred as it used. Currently common LBIST software uses the MISR (Multiple Input Shift Register) However, it has many considerations like defining the X-value (Unknown Value), length and number of Scan Chain, Scan Chain and so on for analysis of result occurred in the process. So, to solve these problems, common LBIST software provides the solution method automated. Nevertheless, these problems haven't been solved automatically by Tri-state Bus in logic circuit yet. This paper studies the simulator and algorithm that judges whether Tri-state Bus lines is the circuit which have X-value or One-hot Value after presuming the control signal of the lines which output X-value in the logic circuit to solve the most serious problems.

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

• International Journal of Naval Architecture and Ocean Engineering
• /
• v.11 no.1
• /
• pp.274-284
• /
• 2019

The control architectures of Chuan Suo (CS) deep submergence rescue vehicle are introduced. The hardware and software architectures are also discussed. The hardware part adopts a distributed control system composed of surface and underwater nodes. A computer is used as a surface control machine. Underwater equipment is based on a multi-board-embedded industrial computer with PC104 BUS, which contains IO, A/D, D/A, eight-channel serial, and power boards. The hardware and software parts complete data transmission through optical fibers. The software part involves an IPC of embedded Vxworks real-time operating system, upon which the operation of I/O, A/D, and D/A boards and serial ports is based on; this setup improves the real-time manipulation. The information flow is controlled by the software part, and the thrust distribution is introduced. A submergence vehicle heeling control method based on ballast water tank regulation is introduced to meet the special heeling requirements of the submergence rescue vehicle during docking. Finally, the feasibility and reliability of the entire system are verified by a pool test.

• 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.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.11a
• /
• pp.25-26
• /
• 2009

아두이노 보드는 Atmel 8 비트 RISC 마이크로프로세서를 이용해서 제작된 임베디드 보드이다. 마이크로프로세서 내부에 프로그램을 쓸 수 있다는 기능과 하드웨어 설계도가 오픈소스로 제작된다는 점, 일반 사용자들을 위해서 제공되는 쉬운 개발 언어 및 개발 환경을 제공한다. 본 논문에서는 아두이노 보드 위에서 동작하는 임베디드 소프트웨어에 대해 테스트하는 방법과 앞으로의 테스트 방법에 대한 개발방향에 대하여 논한다.

• Journal of Institute of Control, Robotics and Systems
• /
• v.19 no.12
• /
• pp.1125-1131
• /
• 2013

Nowadays, embedded software development using the MATLAB/Simulink system is gradually emerging. Studies generating the parts of embedded S/W in a Rapid Prototype are presented. In this paper, a method to generate the entire embedded S/W of enhanced AC motor control is proposed. High performance motor control could not be achieved with the basic Simulink library and RAppID Toolbox library as it does not have PWM based Interrupt, an ASAC (Analog Sensing for AC Motors) function and other special functions of the Freescale MPC555x. Consequently, the required libraries for enhanced AC motor control are created by Legacy code tool, TLC (Target Language Compiler) and S-Function (System-Function) of MATLAB/ Simulink and utilized in the Rapid Prototype. Motor control performance and execution time are compared automatically to the generated-code S/W with the hand coded S/W. The IPMSM (Interior Permanent Magnet Synchronous Motor) and MPC5553 board that were designed as the AC motor controller for hybrid electrical vehicle are used for the test. The performances meet the requirements and satisfactory results are acquired.

• Proceedings of the Korean Society For Composite Materials Conference
• /
• 2003.04a
• /
• pp.57-60
• /
• 2003

This Paper contains the development procedure of Mach small-scaled composite rotor blade for helicopter articulated rotor system. This mach small-scaled composite blade design is conducted by using CORDAS program developed by KARI. The Dynamic analysis for an articulated rotor system with this blade is conducted by using FLIGHTLAB which is commercial software for helicopter analysis. Also the optimizing procedure of iterative design was described. The designed composite blades were manufactured after establishing the effective curing method. For small-scaled rotor test, strain gauges were embedded in composite blade spar to obtain bending & torsion strain value. To verify sectional properties of a blade, the bench test is accomplished. After comparing a designed data and tested data, Dynamic Calculation was repeated using tested data. Through this research, experiences of mach small-scaled composite blade development were accumulated and will be applied to the related research field.