• 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 Aerospace System Engineering
• /
• v.17 no.1
• /
• pp.79-87
• /
• 2023

To design a control law of an aircraft, an accurate aircraft dynamic model is required. To obtain an aerodynamic database (DB) to build a dynamic model, a large number of wind tunnel tests are typically required. However, when flight test data of target aircraft exist such as in the process of unmanned conversion of a manned aircraft, an aircraft dynamic model can be obtained through a parameter estimation method and a DB tuning procedure. This paper describes a nonlinear model construction process and a verification method for KC-100 OPV aircraft. Flight data compatibility analysis was performed to determine suitability of the estimation method application. Linear model estimation was performed using the maximum likelihood estimation method. Results of aerodynamic DB tuning process and verification applying the FFS standard to the nonlinear model constructed are presented.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.34 no.2
• /
• pp.229-244
• /
• 2024

Recently, supply chain attacks against nuclear facilities such as "Evil PLC" are increasing due to the application of digital technology in nuclear power plants such as the APR1400 reactor. Nuclear supply chain security requires a asset management system that can systematically manage a large number of providers due to the nature of the industry. However, due to the nature of the control system, there is a problem of inconsistent management of attribute information due to the long lifecycle of software assets. In addition, due to the availability of the operational technology, the introduction of automated configuration management is insufficient, and limitations such as input errors exist. This study proposes a systematic asset management system using SBOM(Software Bill Of Materials) and an improvement for input errors using natural language processing techniques.

• Food Science and Preservation
• /
• v.10 no.1
• /
• pp.28-31
• /
• 2003

For safe storage of agricultural products in the cold storage house, accurate monitoring of temperature, humidity and gas conditions is necessary. This study was conducted to develop an environmental monitoring and warning system for the cold storage house to improve safety of storage. The system developed in this study is able to monitor temperature, humidity and $CO_2$concentration in the storage house and to send alarm signal to the farmer by telephone and beeper when abnormal conditions have been occurred in the storage house. And the developed system use internet network so we can supervise storage conditions in the home. From the results of the performance test, it was found that the temperature and relative humidity can be controlled within the range of 0.5$^{\circ}C$ and $\pm$2 percent. And farmer's response was fair.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.11 no.11
• /
• pp.4460-4467
• /
• 2010

Recent advances in computer technology have brought more dependence on software to railway systems and changed to computer systems. Hence, the reliability and safety assurance of the vital software running on the embedded railway system is going to tend toward very critical task. Accordingly, various software test and validation activities are highly recommended in the international standards related railway software. In this paper, we presented an automated analysis tool and standard for software testing coverage in railway system, and presented its result of implementation. We developed the control flow analysis tool estimating test coverage as an important quantitative item for software safety verification in railway software. Also, we proposed judgement standards due to railway S/W Safety Integrity Level(SWSIL) based on analysis of standards in any other field for utilizing developed tool widely at real railway industrial sites. This tool has more advantage of effective measuring various test coverages than other countries, so we can expect railway S/W development and testing technology of real railway industrial sites in Korea.

• KIPS Transactions on Computer and Communication Systems
• /
• v.11 no.10
• /
• pp.345-352
• /
• 2022

Recent LiDAR(Light Detection And Ranging) sensor is used for scanning object around in real-time. This sensor can detect movement of the object and how it has changed. As the production cost of the sensors has been decreased, LiDAR begins to be used for various industries such as facility guard, smart city and self-driving car. However, LiDAR has a large input data size due to its real-time scanning process. So another way for processing a large amount of data are needed in LiDAR system because it can cause a bottleneck. This paper proposes edge computing to compress massive point cloud for processing quickly. Since laser's reflection range of LiDAR sensor is limited, multiple LiDAR should be used to scan a large area. In this reason multiple LiDAR sensor's data should be processed at once to detect or recognize object in real-time. Edge computer compress point cloud efficiently to accelerate data processing and decompress every data in the main cloud in real-time. In this way user can control LiDAR sensor in the main system without any bottleneck. The system we suggest solves the bottleneck which was problem on the cloud based method by applying edge computing service.

• Journal of Internet Computing and Services
• /
• v.4 no.5
• /
• pp.11-19
• /
• 2003

Since B2C(Business to Customer) from which e-commerce had originated was replaced by B2B, e-Business has shown fast growth so fa., Recently, e-Procurement by l:n concept is on the development as self-purchase system associated with their own ERP In many conglomerates in the Korean market. However, in order to vitalize e-Biz in the plant industry, we need to set up e-marketplaces where many sellers and buyers can meet each other at the same time, which has become the essential part for success as an expanded business model. In this paper, we expect that the foundation for e-transformation in the plant industry is set up by developing Purchase Process System and related modules as the prerequisite for e-Biz in the plant industry, and this report will provide an exemplary model for e-commerce. The Purchase Process System consists of 1) e-Purchasing Module that manages bidding and contract information based on quotation inquiry, 2) e-Expediting Module that manages information to guarantee the on-time delivery, 3) e-Certification Module that controls user authentification, 4) e-Basic Module that manages the bulletin boards, Q&A, etc.

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.28 no.6
• /
• pp.1013-1022
• /
• 2022

Recently, with the worldwide development of the fourth industry, the development of technologies for smart and eco-friendly ships is accelerating. With the emergence of autonomous vessels with complete unmanned or minimum personnel on board and eco-friendly fuel (methane, ammonia, electricity, etc.), the role of existing seafarers on board is expected to change significantly. To improve the competitiveness of seafarers in the future, predicting future seafarer occupation groups, improving the educational curriculum, and creating an educational system are necessary. In this study, eight occupational groups that seafarers may have in the future were derived through a review of earlier studies and brainstorming of maritime university students, incumbent seafarers and expert groups. A survey was conducted on the eight occupational groups using the Likert scale, and based on the results, a leading occupational group related to future seafarer was derived. The most likely occupational groups with high scores were remote control centre operators and cargo remote manager. In addition, essential educational elements to be educated first for these occupational groups were derived and presented.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.39C no.10
• /
• pp.920-929
• /
• 2014

Recently, embedded system which demand is explosively increasing in the fields of communication, traffic, medical and industry facilities, expands to cyber physical system (CPS) which monitors and controls the networked embedded systems. In addition, internet of things(IoT) technology using wearable devices such as Google Glass, Samsung Galaxy Gear and Sony Smart Watch are gaining attention. In this situation, Samsung Smart Home and LG Home Chat are released one after another. However, since these services can be available only between smart phones and home appliances, there is a disadvantage that information cannot be passed to other terminals without commercial global messaging server. In this paper, to solve above issues, we propose the structure of an indoor location network based on unit space, which prevents the information of the devices or each individual person from leaking to outside and can selectively communicate to all existent terminals in the network using IoT chatting. Also, it is possible to control general devices and prevent external leakage of private information.

• Journal of Mushroom
• /
• v.15 no.4
• /
• pp.264-268
• /
• 2017

In the 21st century, information and communication technology (ICT) worldwide presents a new vision for agriculture. Time and place, as well as the high-tech industry, to overcome barriers to the fusion of the so-called "smart agriculture," are changing the agricultural landscape. Core container production in precision agriculture for mushroom cultivation, optimal temperature, humidity, irradiation, self-regulation of factors such as carbon dioxide, and environment for mushroom cultivation were adopted. Lentinula edodes (shiitake) is an edible mushroom native to East Asia, cultivated and consumed in many Asian countries. It is considered to be medicinal in certain practices of traditional medicine. We used different controlled light sources (Blue-Red-White-combined LED, blue LED, red LED, and fluorescent light) with different LED radiation intensities (1.5, 10.5, and $20.5{\mu}mol/m^2s$ for LEDs) to compare growth and development. Mushrooms were treated with light in a 12-hour-on/12-hour-off cycle, and maintained in a controlled room at $19{\sim}21^{\circ}C$, with 80~90% humidity, and an atmospheric $CO_2$ concentration of 1,000 ppm for 30 days. Growth and development differed with the LED source color and LED radiation intensity. Growth and development were the highest at $10.5{\mu}mol/m^2s$ of blue LED light. After harvesting the fruit bodies, we measured their weight and length, thickness of pileus and stipe, chromaticity, and hardness. The $10.5{\mu}mol/m^2s$ blue-LED-irradiated group showed the best harvest results with an average individual weight of 39.82 g and length of 64.03 mm, pileus thickness of 30.85 mm and pileus length of 43.22 mm, and stipe thickness of 16.96 mm with fine chromaticity and hardness. These results showed that blue LED light at $10.5{\mu}mol/m^2s$ s exerted the best effect on the growth and development of L. edodes (shiitake) mushroom in the ICT-system container-type environment.