• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.41 no.6
• /
• pp.488-494
• /
• 2013

The control law design and analysis environment of the FBW helicopter system have been developed using model base design method. The model based design is generally used in a aircraft, unmanned aerial system and automobile as well as rotorcraft development. The model based design provides many advantages such as development risk and schedule reduction using simulation and autocode generation. This paper describes a development of process for verification and validation of auto generated code for FBW helicopter flight control law. And this process is applied for Fly-By-Wire Helicopter Development Project. The results of functional test for auto generated code meet several specific requirements.

• Journal of the Korea Society for Simulation
• /
• v.27 no.1
• /
• pp.25-32
• /
• 2018

This paper presents an efficient software reliability testing method for the model based auto-generated code and reify a dynamic test procedure. The benefits of executing the model-based each static/dynamic reliability test before the code-based static/dynamic reliability test are described. Also, The correlations of code/model based reliability test are demonstrated by using model testing tool, Model Advisor and Verification and Validation, and the code testing tool, PolySpace and LDRA. The result of reliability test is indicated in this paper.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.23 no.4
• /
• pp.926-931
• /
• 1998

In this paper, a code sequence generation method of the Suehiro sequence is suggested. In this method, a code sequence is generated only with integer sums and modular techniques. the auto-correlation and cross-correlation characteristics of the sequence generated by the method are investigated. The sequence generated by the suggested method has the orthogonality and satisfies the mathematical lower bound of the cross-correlation.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.13 no.9
• /
• pp.3849-3855
• /
• 2012

This paper describes a control algorithm and test results of an automated manual transmission clutch actuated by a stepping motor. The control algorithm extracts driver's demand from CAN signals and decides the exact timing to engage or disengage the clutch based on the demand. A pulse signal is generated to drive the clutch and the travel of the clutch can be calculated by accumulating the pulse signal. An auto code generation method was introduced in implementing the control logic to the micro-processor of the prototype controller and a series of basic tests were carried out to validate its performance.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.13 no.2
• /
• pp.9-14
• /
• 2013

Model based design method reduces product development period and increases system software safety. In this paper, a BLDC motor controller based on model based design method is designed with Simulink and implemented with auto generated code which is written in C language. To retain the safety of software, this model is implemented according to MISRA AC SLSF guide. The validity of the implemented controller is verified with a real position control experiment, and execution times of each control loops are measured to compare the system performance of the conventional design and the model based design.

• Journal of KIISE
• /
• v.44 no.12
• /
• pp.1307-1312
• /
• 2017

Due to their convergence with state-of-the-art ICT technologies, the complexity and reliability demands of industrial automation systems have been rapidly increasing. In recent years, to cope with these demands, several research works have been carried out to adopt formal methods to the application development cycle at the early design stage. In this paper, we propose an automated code generation framework for industrial automation applications, based on a timed automata model. As a case study, we developed a formal model for a traffic light control system and verified the timing properties described in the specification. We finally demonstrated that the operation of a test-bed based on the auto-generated native code was identical to that of the model specification.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.12 no.8
• /
• pp.3790-3803
• /
• 2018

Content-based image retrieval is an approach used to query images based on their semantics. Semantic based retrieval has its application in all fields including medicine, space, computing etc. Semantically generated binary hash codes can improve content-based image retrieval. These semantic labels / binary hash codes can be generated from unlabeled data using convolutional autoencoders. Proposed approach uses semi-supervised deep hashing with semantic learning and binary code generation by minimizing the objective function. Convolutional autoencoders are basis to extract semantic features due to its property of image generation from low level semantic representations. These representations of images are more effective than simple feature extraction and can preserve better semantic information. Proposed activation and loss functions helped to minimize classification error and produce better hash codes. Most widely used datasets have been used for verification of this approach that outperforms the existing methods.

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

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.37 no.4
• /
• pp.359-366
• /
• 2009

MATLAB Autocode generation is a feature that converts a block diagram model in Simulink to a c program. Utilizing this function makes MATLAB/Simulink an integrated developing environment, from controller design to implementation. It can reduce development cost and time significantly. However, this automated process requires high reliability on the software, especially the original Simulink block diagram model. And thus, the verification of the codes becomes important. In this study, a UAV flight program which is generated with Simulink is validated and modified according to DO-178B. As a result of applying the procedures, the final program not only satisfied the functional requirement but is also verified with structural point of view with Decision Coverage 93%, Condition Coverage 95% and MC/DC 90%.

• 전자공학회논문지 IE
• /
• v.44 no.3
• /
• pp.23-34
• /
• 2007

For an effective phase multiplexing in a volume holographic system, four types of phase code, pseudo random code(PSC), Hadamard matrix(HAM), pure random code(PRC), equivalent random code(ERC), used as reference beams are generated. In case of $32{\times}32$ address beam, a phase error with 0%, 5%, 10%, 15%, 20%, and 25% error rate, is purposely added to the real phase values in order to consider the practical SLM's nonlinear characteristics of phase modulation in computer simulation. Crosstalks and SNRs(signal-to-ratio) are comparatively analyzed for these phase codes by the auto-correlation and cross-correlation. PSC has the lowest cross-correlation mean value of 0.067 among four types of phase code, which means the SNR of the pseudo random phase code is higher than other phase codes. Also, the standard deviation of the pseudo random phase code indicating the degree of recalled data degradation is the lowest value of 0.0113. In order to analyze the affect by variation of pixel size, simulation is carried out by same method for the case of $32{\times}32$, $64{\times}64$, $128{\times}128$, $256{\times}256$ address beams.