• Smart Media Journal
• /
• v.7 no.1
• /
• pp.37-44
• /
• 2018

Utilizing sequence control and numerical computing, embedded devices are used in a variety of automated systems, including those at industrial sites, in accordance with their control program. Since embedded devices are used as a control system in corporate industrial complexes, nuclear power plants and public transport infrastructure nowadays, deliberate attacks on them can cause significant economic and social damages. Most attacks aimed at embedded devices are data-coded, code-modulated, and control-programmed. The control programs for industry-automated embedded devices are designed to represent circuit structures, unlike common programming languages, and most industrial automation control programs are designed with a graphical language, LAD, which is difficult to process static analysis. Because of these characteristics, the vulnerability analysis and security related studies for industry automation control programs have only progressed up to the formal verification, real-time monitoring levels. Furthermore, the static analysis of industrial automation control programs, which can detect vulnerabilities in advance and prepare for attacks, stays poorly researched. Therefore, this study suggests a method to present a discussion on an industry automation control program designed to represent the circuit structure to increase the efficiency of static analysis of embedded industrial automation programs. It also proposes a medium term translation technology exploiting LLVM IR to comprehensively analyze the industrial automation control programs of various manufacturers. By using LLVM IR, it is possible to perform integrated analysis on dynamic analysis. In this study, a prototype program that converts to a logical expression type of medium language was developed with regards to the S company's control program in order to verify our method.

• Journal of Korean Society of Disaster and Security
• /
• v.16 no.2
• /
• pp.1-13
• /
• 2023

As interest in urban safety has increased since COVID-19, various institutions have developed and used indicators that evaluate the safety city model. Yongsan-gu was ranked No. 1 in 2021 by Social Safety Index evaluation and was selected as the safest city in Korea. However, the Itaewon disaster in Yongsan-gu in 2022 caused many casualties. The study of indicators for evaluating cities' safety was necessary. This study aims to examine domestic and foreign safe city models and review the differences between each model and the indicators used to evaluate safe cities. As a result of collecting 11 safe city models and analyzing each evaluation index, safe city models can be classified into program-based safe city models, such as the World Health Organization's International safe community and the UN Office for Disaster Risk Reduction's International Safe city. Considering the diversification of threats to safety, it is reasonable to comprehensively consider digital security, health safety, infrastructure safety, personal safety, environmental safety, traffic safety, fire safety, crime safety, life safety, suicide, and infectious diseases when evaluating safe cities as evaluation parameters.

• Journal of Plant Biotechnology
• /
• v.37 no.1
• /
• pp.25-46
• /
• 2010

The demand for fuel and energy resources continues to grow due to increased consumption and emerging economies in all parts of the world. With this increase in demand, crude oil prices in the international market has jumped dramatically. Global warming, which is a consequence of increasing greenhouse gas (GHG) emissions, has become scientific, social, and political concerns. To cope with global warming and energy crisis, cost-competitive biofuels are urgently needed. In addition, development of an infrastructure, which supplies energy stably and diversifies energy resources, as well as new cost-saving technologies should be developed to reduce the costs of producing biofuels. Due to high oleic acid content, rapeseed (Brassica napus L.) is currently the potential feedstock for biodiesel production in temperate zone region and the production and use of rapeseed oil is already commercialized in Europe. In Korea double-cropping (rice and rapeseed) became more prevalent because it reduces competitions from land constraints. Production of rapeseed as a biodiesel feedstock may reduce the influence of rising oil prices and nation's dependence on imported petroleum and increase job opportunities and farm incomes.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.14 no.3
• /
• pp.1428-1438
• /
• 2013

Services take place in Internet environment, a formation of the trust relationship between user and service provider for services. Different authentication schemes such as using Certificate of Public Key Infrastructure authentication and using ID/PW for a simple user authentication have been proposed for trust relationship. In addition, in the case of electronic financial transactions, transaction integrity and non-repudiation features are provided. These services are provided in Internet environment, use various measures to ensure service safety. However, it was difficult to prevent attacks using existing security technology because of emergence of MITB attack that manipulate the memory area of the Web browser and social engineering attacks such as phishing/pharming, requires application of new security technologies became. In this paper, we propose a concept of smart secure-pad, and utilize it safely formed a trust relationship between user and service provider, a model has been proposed to ensure safety of data transmission. Proposed model's security evaluation results show security against to MITB attack and phishing/pharming that can't be prevent attack using existing security technology. In addition, service provider can easily apply the model in safe environment can provide Internet service using provided representative services applying the proposed model.

• Spatial Information Research
• /
• v.21 no.5
• /
• pp.43-51
• /
• 2013

In this study, the concept of spatial big data and effective ways to build a spatial big data system are presented. Big Data is defined as 3V(volume, variety, velocity). Spatial big data is the basis for evolution from 3V's big data to 6V's big data(volume, variety, velocity, value, veracity, visualization). In order to build an effective spatial big data, spatial big data system building should be promoted. In addition, spatial big data system should be performed a national spatial information base, convergence platform, service providers, and providers as a factor of production. The spatial big data system is made up of infrastructure(hardware), technology (software), spatial big data(data), human resources, law etc. The goals for the spatial big data system build are spatial-based policy support, spatial big data platform based industries enable, spatial big data fusion-based composition, spatial active in social issues. Strategies for achieving the objectives are build the government-wide cooperation, new industry creation and activation, and spatial big data platform built, technologies competitiveness of spatial big data.

• Proceedings of the Korean Institute Of Construction Engineering and Management
• /
• 2006.11a
• /
• pp.123-130
• /
• 2006

Recently, Korean government promotes BTL(Build-Transfer-Lease) for their public construction project to apply private sector's experience and finance initiatives. Many of public buildings and civil infrastructure projects were planned to be delivered by BTL and it helps to continue public projects under tight budget conditions. Since the characteristics of BTL projects, creative ideas for the project function, performance and its LCC (Life Cycle Cost) become more important than usual public work project. This paper introduces the systematic "VE job Plan" application techniques for BTL project and shows the process. This study shows the application of "VE job Plan" for BTL project to help decision making and value improvement. Also, Project cost was estimated by LCC (Life Cycle Cost) analysis. Technical "FAST diagram"was developed and used to find major functions of the project. So, it helps to improve performance of functions and make creative ideas. FAST diagram also help to find relationships between functions and cost. A case study (Daegu Art Gallery BTL Project) was conducted using proposed "VE job Plan. Study demonstrates how value management helps save money and increase functional performance. Researcher found that project can save cost and improve performance of functions significantly by using appropriate VE analysis process at appropriate time.

• Spatial Information Research
• /
• v.12 no.4 s.31
• /
• pp.299-305
• /
• 2004

According to the facility of effective search and user-friendly access to various spatial data by building GIS, the demand for application of information and social effect has been increased. To meet such domestic demands, it has become necessary to develop local, regional, and global SDI(Spatial Data Infrastructure) which can support discovery, access, and use of spatial information in the decision-making process. Many developed countries are implementing and managing GSDI in accordance with their state and purpose. There are two typical international cases; U.S. Geospatial One-Stop and European Geo-Portal. These systems are observed the international standards so they provide standardization and interoperability of GI. In domestic cases, however, each sector is managing separately geospatial data management systems. From this point of view, this paper proposed implementation approaches of GOS that can provide interchange of geospatial information between supplier and user. This paper focused on standardization, considered technical and political factors and analyzed two cases of GOS such as U.S. and Europe cases into our spatial information environments. It is possible to search and access geospatial data effectively by introducing GOS. In addition, it is possible to promote popularization of geospatial information and development of GIS industy.

• Land and Housing Review
• /
• v.3 no.4
• /
• pp.315-322
• /
• 2012

Recently multifaceted advantages of urban agriculture are emerging in civil society and related policy arena such as food safety, environment, and social welfare. This study tried an estimation of residents' willingness-to-pay for urban farming to examine feasibility of using part of urban green infrastructure as urban farm (e.g. allotment garden). A survey targeting Bundang and Dontan new-town residents was carried out and willingness-to-pay for urban farm rental was estimated by contingent valuation method (CVM). The estimated rent was cross-checked with the rental cost and travel cost paid by hobby farm users in the outskirt of metropolitan area. The result of this study showed that the potential demand for urban farming is ample if urban farms or allotment gardens are planned within new development areas. That is, 72.6 percent of new-town residents questioned had intention of using allotment garden within urban parks and green spaces. Estimated willingness-to-pay for renting a plot, $16.5m^2$ of urban farm, was about 236,000 won(KRW), which is higher than rent for a plot of allotment garden which is located out of city. Variables which were statistically significant to estimated willingness-to-pay for urban farming were sex, age, and occupation of respondents, among other explanatory socio-demographic variables, while expected frequency and duration of visit to urban farm were insignificant.

• Journal of Appropriate Technology
• /
• v.7 no.2
• /
• pp.144-150
• /
• 2021

The purpose of this paper is to introduce representative appropriate technology research organizations operating in France. Among them, we would like to investigate and introduce five institutions that have acquired a lot of experience due to their long history. Institut de Recherche pour le Développement (IRD) is a government-funded institution that strengthens science and technology infrastructure in Africa and overseas territories with the aim of supporting and educating science communities in developing countries, and conducts collaborative research with more diverse developing countries. Antenna France is an NGO organization whose main activity is to improve malnutrition in Africa. Ingénieurs sans frontiers is an NGO organization that sets sustainable development as the main goal of the association's activities and leads various activities such as education. Terre & Humanism is an NGO organization that practices ecological agriculture and carries out a social change movement urging to respect life and land, and to constitute an alternative society. Humanitarian Design Bureau is a corporation concept company that mainly carries out R&D for environmentally friendly products necessary for NGO activities.

• Korean Journal of Construction Engineering and Management
• /
• v.15 no.6
• /
• pp.35-43
• /
• 2014

Ministry of Land, Infrastructure and Transport (MOLIT) promote long-life housing to reduce social costs generated by poorly considered rebuilding and extend the life-span of housing. Long-life housing has advantages of durability, floor plan variability, efficient maintenance and ease of remodeling because it is a beam-column structure building. However, long-life housing requires somewhat higher initial construction cost than wall type apartments. It makes increase of long-life housing more difficult. In this study, we compare between wall-type apartment and beam-column structure apartment from Life-Cycle Cost's viewpoint. As a result of the study, long-life housing incurs 18% higher initial cost than wall type apartment, but is 7% more economical than wall type apartment in terms of Life Cycle Cost. Therefore, it is shown that long-life housing could be a beneficial alternative to traditional wall type apartments.