• Journal of Information Processing Systems
• /
• v.2 no.3 s.4
• /
• pp.137-142
• /
• 2006

A large portion of the embedded system development process involves the integration of hardware and software. Unfortunately, communication across the hardware/software boundary is tedious and error-prone to create. This paper presents an automatic hardware/software interface generation system. As the front-end of hardware/software co-design frameworks, a system designer defines XML specifications for hardware functions. Our system generates hardware/software interfaces including Device Driver, Driver API, and Device Controller from these specifications. Embedded software designers can easily use hardware just like system libraries. Our system reduces the mistakes and errors that can be occurred when a software programmer directly connects software to hardware, and supports balancing labors between hardware developers and software programmers. Moreover, this system can be used as the back-end for a hardware/software co-design framework.

• Journal of KIISE:Computing Practices and Letters
• /
• v.14 no.6
• /
• pp.547-558
• /
• 2008

Embedded system is tightly coupled with heterogeneous layers such as application, as kernel, device driver, HAL and hardware. Embedded system is customized for the specific purpose and hardware. In addition, the product cycle is so fast that software and hardware, which are developed by several vendors, are integrated together under unstable status. Therefore, there are lots of possibilities of faults in all layers. Because embedded software developers test their codes integrated with faulty layers, they cannot confirm 'whether testing of every aspects was completed, their code was failed, or integrated software/hardware has some problems'. In this paper, we propose an embedded software interface test method and a test tool called Justitia for detecting faults and tracing causes in the interface among heterogeneous layers. The proposed technique is an automated method which improves debugging upto professional testing using an emulator for helping developer.

• 제어로봇시스템학회:학술대회논문집
• /
• 2003.10a
• /
• pp.2116-2120
• /
• 2003

A frame buffer device is an abstraction for the graphic hardware. It allows application software to access the graphic hardware through a well-defined interface, so that the software doesn’t need to know anything about the low-level interface stuff. We develop a frame buffer driver for VIA’s CLE266 graphic system based on ‘Qplus’, an embedded linux operating system developed by ETRI. Then, it will be seen that our frame buffer system is applied to embedded solutions such as movie player and X server successfully.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.17 no.3
• /
• pp.336-342
• /
• 2007

Industrial HMI(Human Machine Interface) system is the main element among the factory automation processes and have been used to monitor and control operation and status of machine in factory with PLC. This HMI often brings heavy loads to the system development and difficult decreasing the system because it tends to use a specific system per each manufacturer. Therefore, in this thesis, we have developed an embedded linux-based embedded industrial HMI software modules which can be used for touch panel embedded system to solve these problem. In this module, we have used the Qt/Embedded software component because it can be used by all systems which support C++ compiler without modifying the existing codes. We can design more flexible system and network configuration because we have used the wireless communication module. In this thesis, we implement linux-based HMI software modules which are capable of wireless communication as well as bringing the mobility to the overall system and finally decreasing the system development loads by using the general purpose OS with competitive price.

• Journal of KIISE:Software and Applications
• /
• v.37 no.4
• /
• pp.323-339
• /
• 2010

The complexity of embedded systems and the effort to develop them has been rising in proportion with their importance. Also, the heterogeneity of the hardware and software parts in embedded systems makes it more challenging to develop. Errors caused by hardware/software interfaces, especially, account for up to 13 percent of failures with an increasing trend. Therefore, verifying the interface between hardware and software in embedded system is one of the most important research areas. However, current approaches such as co-simulation method and model checking have explicit limitations. In this paper, we propose the synthesizable interface co-verification framework for hardware/software co-design. Firstly, we introduce the separate interface specifications for the heterogeneous components to describe hardware design and software design. Our specifications are expressive enough to describe both. We also provide the transformation rules from the software specification to the hardware specification so that the whole system can be described from the software view. Secondly, we address the solution of verifying the interface of the software and hardware design by adopting and extending existing verification-techniques and extending them. In hardware interface verification, we exploit the model checking technique and provide more efficient verification by closing the hardware design from the assumption of the software behavior which is ensured by software verification step. Lastly, we generate the interface codes such as device APIs, device driver, and device controller from the specification so that verified hardware and software codes can be synthesized without extra efforts.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.21 no.5
• /
• pp.581-587
• /
• 2011

This paper presents a senior-level embedded software design course using a customized training kit. Embedded software design courses commonly entail a lot of practice hours and a semester-long project and thus requires a hardware platform on which the embedded software runs. A training kit has been designed such that both hardware system and operating system are not too complicated or heavy for undergraduate students to fully understand and to develop embedded software on their own. The course using the customized training kit gives the students hands-on experience of embedded software design and programming ranging from device drivers to user interface, thereby enabling them to have in-depth understanding of embedded software and to improve their programming skills more easily and faster than when using commercial training kits.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.5 no.1
• /
• pp.29-38
• /
• 2010

It is highly requested that the more complicated embedded software is used for high performance and multiple functions of the systems. This is inevitably increasing the errors. Therefore the embedded software testing is getting important recently. There are not general testing methods which are able to be applied for any embedded systems, but via this research, we introduce a testing method which is based on TTCN-3, a testing standard, for embedded systems. A testing environment for network-based embedded software is implemented with considering the features of TTCN-3 testing which is based on message exchange. The testing environment has two additional parts with TTCN-3 test system, the network analyzer to access the network-based systems and the communication interface which is suggested for embedded systems in previous work, and we have implemented the whole testing environment with interacting these two parts. In addition to the normal testing domain, called single node testing as a unit testing of V-model, we suggest another concept to test multiple nodes in network. It could be achieved by adding keywords such as supervisor and object which are describing the feature of TTCN-3 testing component and generating the TTCN-3 Executable code which contains new keywords. The testing has done for embedded software which is based on CAN network and the demonstration of the testing environment has been shown in this paper.

• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.64 no.3
• /
• pp.138-142
• /
• 2015

Most of the existing studies on functional safety testing for the railway signaling system software have focused on verifying the functional safety through the monitoring of internal memory embedded railway signaling system. However, the railway signaling system is one of the typical embedded control system in the railway sector, and the embedded software has a characteristic of generating an appropriate outputs through the combination of internal processing in consideration of the current internal status and external input. Therefore, the test approach of using the interface communication channel can be effective way for the functional testing for railway signaling system software in consideration of these characteristic. Since a communication interface specification of the railway signal system has a the properties of the sequence input and output signals, test-case for software testing is the most effective methodology by MSC (Message Sequence Chart) language, one of the graphic language. The MSC-based test-case generating methodology for signaling system software was proposed in this paper.

• KSCI Review
• /
• v.14 no.2
• /
• pp.153-158
• /
• 2006

A device driver is the core construction providing connectable rules between a hardware and an operating system in Embedded softwares. It provides consistent interface for the control and mutual interactions so that an application program can use hardware's functionalities. However, the device driver is suffered to develop as it is related to both hardware and software and it is also wasted to newly develop whenever hardware platform changed. Therefore, this paper researches the method to provide high portability in heterogenous hardware and finally suggests efficient device driver development.

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