• The Journal of the Korea institute of electronic communication sciences
• /
• v.10 no.4
• /
• pp.513-519
• /
• 2015

Static analysis is one of the software source code analysis tools. 9 static analysis methods of three groups are recommended by international electro-technical commission about software safety related standard in IEC 62279. In this paper we choose the proper static analysis method from IEC 62279 about the train wayside communication system, Shorten the time of railway signalling software development using LDRA tools. And it wil be useful to improve the effective development of the safety-related software.

• Journal of Aerospace System Engineering
• /
• v.16 no.2
• /
• pp.13-24
• /
• 2022

As the scale of airborne system software increases, the use of OOT (Object-Oriented Technology) is increasing for functional expansion, efficient development, and code reuse, but the verification method for airborne object-oriented software is conducted from the perspective of the existing procedure-oriented program. The purpose of this paper was to analyze the characteristics of OOT and the vulnerabilities derived from the functional characteristics of OOT, and present a verification method applicable to each software development process (Design, Coding and Testing) to ensure the functional safety integrity of aviation software to which OOT is applied. Additionally, we analyzed the meaning of the static analysis results among the step-by-step verification measures proposed by applying LDRA, a static analysis automation tool, to PX4, an open source used to implement flight control software.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.49 no.6
• /
• pp.473-480
• /
• 2021

In this paper, We analyze and present improvements to problems in software quality through Static Analysis for Open Source, which is widely used as the Flight Controller software for small unmanned aerial vehicle drones. MISRA coding rules, which are widely applied based on software quality, have been selected. Static analysis tools were used by LDRA tools certified international tools used in all industries, including automobiles, railways, nuclear power and healthcare, as well as aviation. We have identified some safety-threatening problems across the quality of the software, such as structure of open source modules, analysis of usage data, compliance with coding rules, and quality indicators (complexity and testability), and have presented improvements.

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

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.50 no.3
• /
• pp.181-192
• /
• 2022

Active vibration control system(AVCS) for helicopter enables to control the vibration generated from the main rotor and has the superb vibration reduction performance with low weight compared passive vibration reduction device. In this paper, FxLMS algorithm-based vibration control software of the light civil helicopter tansmits the control command calculated using the signals of the tachometer and accelerometers to the circular force generator(CFG) is developed and verified. According to the RTCA DO-178C/DO-331, the vibration control software is developed through the model based design technique, and real-time operation performance is evaluated in PILS(processor in-the loop simulation) and HILS(hardware in-the loop simulation) environments. In particular, the reliability of the software is improved through the LDRA-based verification coverage in the PIL environments. In order to AVCS to light civil helicopter(LCH), the dynamic response characteristic model is obtained through the ground/flight tests. AVCS configuration which exhibits the optimal performance is determined using system optimization analysis and flight test and obtain STC certification.

• Journal of Veterinary Clinics
• /
• v.37 no.4
• /
• pp.169-174
• /
• 2020

The purpose of this study was to establish normal values for the thoracic limb joint reference angles in Shih Tzu dogs and to describe the standardized CT methodology for measuring the joint reference angle of the humerus. Five pairs of thoracic limbs of Shih Tzu dogs were collected for the CT scans in this study. Three blinded observers measured the joint reference angle of the humerus and radius for each dog by using CT scans in the frontal, sagittal, and axial planes. The means (± SDs) for the average of the right and left humeral joint reference angles were as follows: mMPHA, 83.74 ± 3.95°; mLDHA, 85.04 ± 2.57°; mCaPHA, 46.75 ± 2.20°; mCrDHA, 79.47 ± 1.97°; and HTA, 19.16 ± 2.38°. Means (± SD) for the average of right and left of the radial joint reference angles were as follows: aMPRA, 85.04 ± 1.58°; aLDRA, 87.59 ± 1.37°; aCrPRA, 84.60 ± 1.46°; aCdDRA, 84.27 ± 1.79°; and RTA, 20.91 ± 3.00°. The intraclass correlation coefficients (ICCs) of the joint reference angles for the inter- and intraobserver reliability were good to excellent, except those for the mCrHA and HTA were moderate. Our results suggest that the method of measuring joint reference angles of other long bones by using CT can be applied to thoracic limbs and can extract valid values for one specific breed.