• Journal of Institute of Control, Robotics and Systems
• /
• v.16 no.6
• /
• pp.559-565
• /
• 2010

In this paper, we present a transformation method of source code from a POSIX (Portable Operating System Interface) based source code into an OSEK/VDX (Offene Systeme und deren Schnittstellen fur die Elektronik in Kraftfahrzeugen/Vehicle Distributed eXecutive) source code. As the electronic parts of automobile systems increase, the use of embedded software in automobile systems is also growing. Accordingly, many electronic systems are designed in automobile system with OSEK/VDX. Otherwise, one of the major problems of embedded software would be portability to other OS's. To enhance the portability and interoperability of embedded software, we propose a source code transformation method from POSIX to OSEK/VDX based on API (Application Programming Interface) translation method. Considering the characteristics of the OSEK/VDX which uses OIL (OSEK/VDX Implementation Language) standard, transformation process is performed with source code transformation and OIL code generation. For the validity of the proposed method, the transformation experiment is given using Micro-C OS II and OSEK/VDX with XC167CI micro-controller.

• Proceedings of the KIEE Conference
• /
• 2007.04a
• /
• pp.187-189
• /
• 2007

In this paper, we present a model-driven approach for RTOS-based embedded software development and an automated tool that produces RTOS-specific code or RTOS-independent code. We define generic RTOS APIs (Application Programming Interface) that are not bound to any specific RTOS but provide most of typical RTOS services. Generic RTOS APIs can be used to describe application's RTOS-related behavior, The proposed API translator translates task code between C-code for specific RTOS and intermediate code using generic API. Also, the result can be extended to other RTOS's modifying XML transformation rule.

• Journal of Korean Institute of Industrial Engineers
• /
• v.23 no.4
• /
• pp.741-754
• /
• 1997

Code matrix is the matrix of which on element and its neighbors are arranged to have a code value. The code matrix was originally designed by the author for developing a vision system but has not been theoretically studied. In this paper some theoretical properties of the code matrix are investigated. The studied characteristics of the code matrix are useful for not only understanding the matrix itself but efficiently restructuring the matrix. A number of transformation functions, which enable the matrix to have different shape, are thus developed based on the investigated properties. The transformation functions are then applied to build a perfectly and uniformly structured square code matrix, which is proven useful in on image processing example. The study in this paper is expected to serve a theoretical background for the application of the code matrix in many areas.

• Journal of Engineering Education Research
• /
• v.22 no.1
• /
• pp.29-38
• /
• 2019

Integration is an important intellectual ability to reconfigure several separated elements into one unified form and to concisely and categorically express them. In this paper, we classify the types of integration in C language, and propose a systematic and incremental method to transform to better code based on the integration types. This transformation method could also be used as a means to improve integrated thinking and efficiently learn C language, and will improve development ability in C programming or other language programming.

• The KIPS Transactions:PartA
• /
• v.9A no.1
• /
• pp.37-44
• /
• 2002

Most researches of transforming sequential programs into parallel programs have been based on the loop structure transformation method. However, most programs have implicit interprocedure parallelism. This paper suggests a way of extracting parallelism from the loops with procedure calls using the data dependency elimination method. Most parallelization of the loop with procedure calls have been conducted for extracting parallelism from the uniform code. In this paper, we propose interprocedural transformation, which can be apply to both uniform and nonuniform code. We show the examples of uniform, nonuniform, and complex code parallelization. We then evaluated the performance of the various transformation methods using the CRAY-T3E system. The comparison results show that the proposed algorithm out-performs other conventional methods.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.7 no.7
• /
• pp.1462-1470
• /
• 2003

According to the necessity about information security as well as the advance of IT system and the spread of the Internet, a variety of cryptography algorithms are being developed and put to practical use. In addition the technique about cryptography attack also is advanced, and the algorithms which are strong against its attack are being studied. If the linear transformation matrix in the block cipher algorithm such as Substitution Permutation Networks(SPN) produces the Maximum Distance Separable(MDS) code, it has strong characteristics against the differential attack and linear attack. In this paper, we propose a new algorithm which cm estimate that the linear transformation matrix produces the MDS code. The elements of input code of linear transformation matrix over GF$({2_n})$ can be interpreted as variables. One of variables is transformed as an algebraic formula with the other variables, with applying the formula to the matrix the variables are eliminated one by one. If the number of variables is 1 and the all of coefficient of variable is non zero, then the linear transformation matrix produces the MDS code. The proposed algorithm reduces the calculation time greatly by diminishing the number of multiply and reciprocal operation compared with the conventional algorithm which is designed to know whether the every square submatrix is nonsingular.

• Journal of KIISE
• /
• v.43 no.9
• /
• pp.953-962
• /
• 2016

Model-based testing is a technique for performing the test by using a model that represents the behavior of the system as a system specification. Industrial domains such as automotive, military/aerospace, medical, railway and nuclear power generation require model-based testing and code coverage-based testing to improve the quality of software. Despite the fact that both model-based testing and code coverage-based testing are required, difficulty in achieving a high coverage using model-based testing caused by the abstraction level difference between the test model and the source code, results in the need for performing model-based testing separately. In this study, to overcome the limitations of the existing model-based testing, we proposed the state machine transformation method to effectively improve the code coverage using the protocol state machine, one of the typical modeling methods is used as the test model in model-based testing, as the test model. In addition, we performed a case study of both systems and analyzed the effectiveness of the proposed method.

• Journal of Navigation and Port Research
• /
• v.28 no.1
• /
• pp.23-29
• /
• 2004

This paper deals with Reed-Solomon Coding for EUROFIX system EUROFIX is an integrated navigation and communication system, which combines Differential GNSS and Loran-C EUROFIX transmits DGNSS(Differential Global Navigation Satellite Systems) (data by pulse position modulation of Loran-C pulses. Loran-C system is regarded as a satellite backup system in recent. And now, it is important to detect and correct much errors in communication systems. Error corrections or correction algorithm is actively studied nowadays because of this. In this paper, we study and design encoder and decoder of Reed Solomon Code using Finite Galois Field Fourier Transformation for error corrections in EUROFIX data transmission. Through extensive simulation, the designed Reed Solomon code is shown to be effective for error correction in EUROFIX data transmission.

• Wind and Structures
• /
• v.23 no.5
• /
• pp.421-447
• /
• 2016

Wind-induced and earthquake-induced excitations on tall structures can be effectively controlled by Tuned Liquid Damper (TLD). This work presents a numerical simulation procedure to study the performance of tuned liquid tank- structure system through ${\sigma}$-transformation based fluid-structure coupled solver. For this, a 'C' based computational code is developed. Structural equations are coupled with fluid equations in order to achieve the transfer of sloshing forces to structure for damping. Structural equations are solved by fourth order Runge-Kutta method while fluid equations are solved using finite difference based sigma transformed algorithm. Code is validated with previously published results. The minimum displacement of structure is observed when the resonance condition of the coupled system is satisfied through proper tuning of TLD. Since real-time excitations are random in nature, the performance study of TLD under random excitation is also carried out in which the Bretschneider spectrum is used to generate the random input wave.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.8
• /
• pp.2027-2040
• /
• 1998

In this paper, we present efficient reconfigurable mesh algorithms for transforming between a binary image and its corresponding boundary code. These algorithms use $n\timesn\timesn$ processors when the size of the binary image is $n\timesn$. Recent published results show that these transformations can be done in O(1) time using $O(n^4)$ processors. The number of processors used by these algorithms is very large compared to the number of pixels in the image. Here, we present fast transformation algorithms which use $n^3 processors only. the transformation from a houndary code to a binary image takes O(1) time, and the converse transformation takes O(log n) time.