• ETRI Journal
• /
• v.39 no.4
• /
• pp.605-613
• /
• 2017

Simulated fault injection (SFI) is widely used to assess the effectiveness of fault tolerance mechanisms in safety-critical embedded systems (SCESs) because of its advantages such as controllability and observability. However, the long test time of SFI due to the large number of test cases and the complex simulation models of modern SCESs has been identified as a limiting factor. We present a method that can accelerate an SFI tool using a checkpoint forwarding (CF) technique. To evaluate the performance of CF-based SFI (CF-SFI), we have developed a CF mechanism using Verilog fault-injection tools and two systems under test (SUT): a single-core-based co-simulation model and a triple modular redundant co-simulation model. Both systems use the Verilog simulation model of the OpenRISC 1200 processor and can execute the embedded benchmarks from MiBench. We investigate the effectiveness of the CF mechanism and evaluate the two SUTs by measuring the test time as well as the failure rates. Compared to the SFI with no CF mechanism, the proposed CF-SFI approach reduces the test time of the two SUTs by 29%-45%.

• Journal of the Korean Society of Systems Engineering
• /
• v.16 no.1
• /
• pp.68-77
• /
• 2020

The shipbuilding and offshore industry is a large and complex assembly industry, which causes many safety accidents. The major accidents in the shipbuilding and offshore industry workplaces are stenosis, falling objects, dust, fire, explosions, and gas poisoning. The accident by worker in this industry mainly has three factors: frequent movement, narrow work space, and increased use of subcontractors. To control these factors, it is necessary to monitor the worker's location and work status. In this paper, a worker location monitoring system using inaudible sound wave was designd that can be used in environments with many metal barriers. The process included deriving stakeholder requirements, transforming to system requirements, designing system architecture, and developing prototype. The prototype was validated by third-party testing agency. As a result, it satisfied the designed performance and verified its feasibility.

• Proceedings of the Korea Crystallographic Association Conference
• /
• 2002.11a
• /
• pp.54-55
• /
• 2002

The fabrication, characterization and manipulation of nanoparticle system brings together physics, chemistry, materials science and biology in an unprecedented way. Phenomena occurring in such systems are fundamental to the workings of electronic devices, but also to living organisms. The ability to fabricate the surface of nanoparticles Is essential in the further development of functional devices that incorporate nanoscale features. Even more essential is the ability to introduce a wide range of chemical and materials flexibility into these structures to build up more complex nanostructures that can ultimately rival biological nanosystems. In this respect, polymers are potentially ideal nanoscale building blocks because of their length scale, well-defined architecture, controlled synthesis, ease of processing and wide range of chemical functionality that can be incorporated. In this presentation, we will look at a number of promising polymer-based nanoparticle fabrication strategies that have been developed recently, with an emphasis on those techniques that incorporate nanostructured polymeric particles into electronic devices or biomedical applications. And functional nanoparticles deliberately designed using several powerful process methods and their application will be discussed. Nanostructured nanoparticles, what we called, implies dispersed colloids with the size ranged from several nanometers to hundreds of nanometer. They have extremely large surface area, thus it is very important to control the morphology or surface functionality fitted for adequate objectives and properties. Their properties should be controlled for various kind of bio-related technologies, such as immunomagnetic cell separation, drug delivery systems, labeling and identification of lymphocyte populations, extracorporeal and hemoperfusion systems, etc. Well-defined polymeric nanoparticles can be considered as smart bomb or MEMS.

• Journal of the Korea Society of Computer and Information
• /
• v.24 no.1
• /
• pp.257-263
• /
• 2019

This paper is a study on mathematical aspects that can be basic for understanding and applying the contents of machine learning. If you are familiar with mathematics in the field of computer science, you can create algorithms that can diversify researches and implement them faster, so you can implement many real-life ideas. There is no curriculum standard for mathematics in the field of machine learning, and there are many absolutely lacking mathematical contents that are taught in the curriculum presented at existing universities. Machine learning now includes speech recognition systems, search engines, automatic driving systems, process automation, object recognition, and more. Many applications that you want to implement combine a large amount of data with many variables into the components that the programmer generates. In this course, the mathematical areas required for computer engineer (CS) practitioners and computer engineering educators have become diverse and complex. It is important to analyze the mathematical content required by engineers and educators and the mathematics required in the field. This paper attempts to present an effective range design for the essential processes from the basic education content to the deepening education content for the development of many researches.

• International Journal of Computer Science & Network Security
• /
• v.21 no.2
• /
• pp.130-141
• /
• 2021

This paper is in the intersection of software engineering and system engineering, two intimately intertwined disciplines. A dominating theme in this paper is the integral conceptualization of systems at large, as well as an underlying concern with software systems. In the software development life cycle, challenges still exist in translating requirements into a design artifact and then into an implementation (e.g., coding), then validating the results. From our perspective, software engineering requires an integrating paradigm toward a unified modeling orientation. Many methodologies, languages, and tools exist for facilitating system development processes. This paper is a venture into project development. To focus the materials, we concentrate on Harel's novel (and classic) development environment, which integrates a scenario-based engineering object orientation and statecharts through developing a railcar system. The railcar system is used as a detailed sample of translating requirements into a design artifact and then into an implementation, then validating the result. The project is re-cased as a single integrated modeling endeavor to be contrasted with the scenario and statecharts' development. The result of this scheme is an enriched understanding through experimenting with and contrasting various development methods of software projects.

• International Journal of Stem Cells
• /
• v.17 no.1
• /
• pp.30-37
• /
• 2024

The lung is a complex organ comprising a branched airway that connects the large airway and millions of terminal gas-exchange units. Traditional pulmonary biomedical research by using cell line model system have limitations such as lack of cellular heterogeneity, animal models also have limitations including ethical concern, race-to-race variations, and physiological differences found in vivo. Organoids and on-a-chip models offer viable solutions for these issues. Organoids are three-dimensional, self-organized construct composed of numerous cells derived from stem cells cultured with growth factors required for the maintenance of stem cells. On-a-chip models are biomimetic microsystems which are able to customize to use microfluidic systems to simulate blood flow in blood channels or vacuum to simulate human breathing. This review summarizes the key components and previous biomedical studies conducted on lung organoids and lung-on-a-chip models, and introduces potential future applications. Considering the importance and benefits of these model systems, we believe that the system will offer better platform to biomedical researchers on pulmonary diseases, such as emerging viral infection, progressive fibrotic pulmonary diseases, or primary or metastatic lung cancer.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.39 no.3
• /
• pp.83-89
• /
• 2016

The group formation problem of the machine and part is a critical issue in the planning stage of cellular manufacturing systems. The machine-part grouping with alternative process plans means to form machine-part groupings in which a part may be processed not only by a specific process but by many alternative processes. For this problem, this study presents an algorithm based on self organizing neural networks, so called SOM (Self Organizing feature Map). The SOM, a special type of neural networks is an intelligent tool for grouping machines and parts in group formation problem of the machine and part. SOM can learn from complex, multi-dimensional data and transform them into visually decipherable clusters. In the proposed algorithm, output layer in SOM network had been set as one-dimensional structure and the number of output node has been set sufficiently large in order to spread out the input vectors in the order of similarity. In the first stage of the proposed algorithm, SOM has been applied twice to form an initial machine-process group. In the second stage, grouping efficacy is considered to transform the initial machine-process group into a final machine-process group and a final machine-part group. The proposed algorithm was tested on well-known machine-part grouping problems with alternative process plans. The results of this computational study demonstrate the superiority of the proposed algorithm. The proposed algorithm can be easily applied to the group formation problem compared to other meta-heuristic based algorithms. In addition, it can be used to solve large-scale group formation problems.

• 한국디지털정책학회:학술대회논문집
• /
• 2004.11a
• /
• pp.39-53
• /
• 2004

Data production systems are generally very large, distributed and complex systems used for creating advanced (mainly statistical) reports. Typically, data is gathered periodically and then subsequently aggregated and separated during numerous production steps. These production steps are arranged in a specific sequence (workflow or production chain), and can be located worldwide. Today, a need for improving and automating methods of supervision for data production systems has been recognized. Supervision in this context entails planning, monitoring and controlling data production. Two significant approaches are introduced here for improving this supervision. The first is a 'closely-coupledd' approach (meaning direct communication between production jobs and supervisory tool, informing the supervisory tod immediately about delays in production) - based upon traditional production planning methods typically used for manufacturing (goods) and adopted for working with data production. The second is a 'loosely-coupled' approach (meaning no direct communication between supervisory tool and production jobs is used) - having its origins in proven traditional project management. The supervisory tool just enquires continuously the progress of production. In both cases, dates, costs, resources, and system health information is made available to management. production operators and administrators to support a timely and smooth production of periodic data. Both approaches are theoretically described and compared. The main finding is that, both are useful, but in different cases. The main advantages of the closely coupled approach are the large production optimisation potential and a production overview in form of a job execution plan, whereas the loosely coupled method mainly supports unhindered job execution and offers a sophisticated production overview in form of a milestone schedule. Ideas for further research include investigation of other potential approaches and theoretical and practical comparison.

• Journal of the Korea Safety Management & Science
• /
• v.18 no.4
• /
• pp.19-30
• /
• 2016

This paper addresses the problem of how to effectively use virtual reality(VR) for improving the quality of safety training systems. As the working environment and the working system in the industry are more and more complex and large-scaled, the concern with system safety is accordingly growing. Safety training systems are regarded as an effective way for increasing workers' interest in system safety and enhancing their ability of preventing and handling accidents/incidents. Recently, it has been reported that VR would be effectively used for improving the quality of safety training systems, with its technically specialized features. However, little attention has been given to the problem of how to effectively use VR for safety training systems. In order to make the best use of new technology such as VR, it is important to examine its advantages and disadvantages and the contexts to which its use can be beneficial. This paper firstly reviews the current status of safety training systems and the use of VR for safety training systems in the inside and outside of the country. Next, we summarize the interview with safety managers in four manufacturing companies, which was conducted to understand the requirements of stake-holders of the issue. Based on the review and the interview, we suggested the ways of using VR in safety training systems in an effective manner. They are described from the four perspectives: development and maintenance cost, lack of specialized workers, design of accident scenarios used with VR, and empirical demonstration of the effectiveness of VR in safety training.

• Journal of Intelligence and Information Systems
• /
• v.25 no.2
• /
• pp.77-97
• /
• 2019

The large amount of data that emerges from the initial connection environment of the Fourth Industrial Revolution is a major factor that distinguishes the Fourth Industrial Revolution from the existing production environment. This environment has two-sided features that allow it to produce data while using it. And the data produced so produces another value. Due to the massive scale of data, future information systems need to process more data in terms of quantities than existing information systems. In addition, in terms of quality, only a large amount of data, Ability is required. In a small-scale information system, it is possible for a person to accurately understand the system and obtain the necessary information, but in a variety of complex systems where it is difficult to understand the system accurately, it becomes increasingly difficult to acquire the desired information. In other words, more accurate processing of large amounts of data has become a basic condition for future information systems. This problem related to the efficient performance of the information system can be solved by building a semantic web which enables various information processing by expressing the collected data as an ontology that can be understood by not only people but also computers. For example, as in most other organizations, IT has been introduced in the military, and most of the work has been done through information systems. Currently, most of the work is done through information systems. As existing systems contain increasingly large amounts of data, efforts are needed to make the system easier to use through its data utilization. An ontology-based system has a large data semantic network through connection with other systems, and has a wide range of databases that can be utilized, and has the advantage of searching more precisely and quickly through relationships between predefined concepts. In this paper, we propose a defense ontology as a method for effective data management and decision support. In order to judge the applicability and effectiveness of the actual system, we reconstructed the existing air force munitions situation management system as an ontology based system. It is a system constructed to strengthen management and control of logistics situation of commanders and practitioners by providing real - time information on maintenance and distribution situation as it becomes difficult to use complicated logistics information system with large amount of data. Although it is a method to take pre-specified necessary information from the existing logistics system and display it as a web page, it is also difficult to confirm this system except for a few specified items in advance, and it is also time-consuming to extend the additional function if necessary And it is a system composed of category type without search function. Therefore, it has a disadvantage that it can be easily utilized only when the system is well known as in the existing system. The ontology-based logistics situation management system is designed to provide the intuitive visualization of the complex information of the existing logistics information system through the ontology. In order to construct the logistics situation management system through the ontology, And the useful functions such as performance - based logistics support contract management and component dictionary are further identified and included in the ontology. In order to confirm whether the constructed ontology can be used for decision support, it is necessary to implement a meaningful analysis function such as calculation of the utilization rate of the aircraft, inquiry about performance-based military contract. Especially, in contrast to building ontology database in ontology study in the past, in this study, time series data which change value according to time such as the state of aircraft by date are constructed by ontology, and through the constructed ontology, It is confirmed that it is possible to calculate the utilization rate based on various criteria as well as the computable utilization rate. In addition, the data related to performance-based logistics contracts introduced as a new maintenance method of aircraft and other munitions can be inquired into various contents, and it is easy to calculate performance indexes used in performance-based logistics contract through reasoning and functions. Of course, we propose a new performance index that complements the limitations of the currently applied performance indicators, and calculate it through the ontology, confirming the possibility of using the constructed ontology. Finally, it is possible to calculate the failure rate or reliability of each component, including MTBF data of the selected fault-tolerant item based on the actual part consumption performance. The reliability of the mission and the reliability of the system are calculated. In order to confirm the usability of the constructed ontology-based logistics situation management system, the proposed system through the Technology Acceptance Model (TAM), which is a representative model for measuring the acceptability of the technology, is more useful and convenient than the existing system.