• Nuclear Engineering and Technology
• /
• v.48 no.2
• /
• pp.470-481
• /
• 2016

Field-programmable gate arrays (FPGAs) have received much attention from the nuclear industry as an alternative platform to programmable logic controllers for digital instrumentation and control. The software aspect of FPGA development consists of several steps of synthesis and refinement, and also requires verification activities, such as simulations that are performed individually at each step. This study proposed an integrated software-testing framework for simulating all artifacts of the FPGA software development simultaneously and evaluating whether all artifacts work correctly using common oracle programs. This method also generates a massive number of meaningful simulation scenarios that reflect reactor shutdown logics. The experiment, which was performed on two FPGA software implementations, showed that it can dramatically save both time and costs.

• Journal of Korea Multimedia Society
• /
• v.12 no.2
• /
• pp.231-243
• /
• 2009

Currently interests of embedded software in various areas such as automotive field, ship field, robot field is increasing according to expand market of embedded systems. Various researches such as embedded operating systems, embedded software modeling technique, embedded software testing, and so on are going in progress. However systematic engineering approach in embedded system development is poor because embedded areas focus on hardware parts until now. Furthermore, framework-based de sign technique considering reusability is not reflected in embedded system development. Those development results in many of dead codes scattered in system, and results in poor reusability of system. This paper suggests a framework of embedded system for reusability and a static meta-model for reuse framework. Proposed meta-model expresses not only the structure of reuse framework, but also allows a designer to extend and design easily models of embedded system based on reuse framework according to various embedded system types.

• Journal of KIISE:Computing Practices and Letters
• /
• v.12 no.1
• /
• pp.43-55
• /
• 2006

In this paper, we present a framework which is used to develop, modify, maintain and extend a control and monitoring software easily for any kind of automatic instruments. The proposed framework is composed of three XML documents (IID, MAP, CMIML) and two tools (Virtual Instrument Wizard, Generator). Interface information of behaviors and states of instrument is written on IID. Mapping information between the interface information in IID and API of a real instrument driver is written on MAP Final information of the control and monitoring software is written on CMIML, IID, MAP and CMIML are written by XML format to provide a common usage and platform independence of the proposed framework. Vl Wizard generates CMIML intermediate platform independent document using IID and existing CMIML, and Generator generates the source code of a control and monitoring software platform dependent code automatically using CMIML and MAP. The suggested framework provides an easy development and maintenance because it automatically generates a control and monitoring software in GUI environment and it also provides common usage and platform independence in virtue of using description document of XML format. Also, reusability can be increased by reusing platform independent software description document and not reusing platform dependent software code.

• Journal of the Korea Society for Simulation
• /
• v.18 no.3
• /
• pp.113-122
• /
• 2009

Software is getting more complex due to a variety of requirements that include desired functions and properties. Therefore, verifying and testing the software are complicated problems. Moreover, if the software is already implemented, inserting and deleting tracing/logging code into the source code may cause several problems, such as the code tangling and the code scattering problems. This paper proposes the Aspect DEVS Verification Framework which supports the verification and testing process. The Aspect DEVS Verification Framework utilizes Aspect Oriented Programming features to handle the code tangling and the code scattering problems. By applying aspect oriented features, a user can find and fix the inconsistency between requirement and implementation of a software without suffering the problems. The first step of the verification process is the building aspect code to make a software act as a generator. The second step is developing a requirement specification using DEVS diagrams and implementing it using the DEVSIM++. The final step is comparing the event traces from the software with the possible execution sequences from DEVS model.

• 제어로봇시스템학회:학술대회논문집
• /
• 2003.10a
• /
• pp.1071-1076
• /
• 2003

In this work, we propose a new framework of robot control for a variety of applications to our unstructured everyday environments. Programming robots can be a very time-consuming process and seems almost impossible for ordinary end users. To cope with this, this work is to provide a software framework for building robot application programs automatically, where we have robots learn how to accomplish a commanded task from the object. An integrated sensing and computing tag is embedded into every single object in the environment. In the robot controller, only the basic software libraries for low-level robot motion control are provided from the robot manufacturer. The main contributions of this work is to develop a server platform that we call Omniscient Server that generates the application programs and send them to the robot controller through the network. The object-related information from the object server merges into robot control software to generate a detailed application program based on the task commands from the human. We have built a test bed and demonstrated that a robot can perform a common household task within the proposed framework.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.14 no.5
• /
• pp.145-151
• /
• 2014

If RCS-e subscribers and SMS subscribers want to exchange instant messages between each other, RCS-e app should know the presence information of the SMS subscribers. However, a RCS-e specification does not have the way to identify the information. This paper propose a software framework that makes RCS-e app can identify the information without having to modify RCS-e app. It describes the call flows between network equipments to manage the information. Also, it defines RCS-e service tags and service tuple for SMS subscribers. Performance evaluation proves that the proposed framework does not add loads to the existing network.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.13 no.2
• /
• pp.514-535
• /
• 2019

Information-centric networks operate under the assumption that all network components have built-in caching capabilities. Integrating the caching strategies of information centric networking (ICN) with wireless virtualization improves the gain of virtual infrastructure content caching. In this paper, we propose a framework for software-defined information centric virtualized wireless device-to-device (D2D) networks. Enabling D2D communications in virtualized ICN increases the spectral efficiency due to reuse and proximity gains while the software-defined network (SDN) as a platform also simplifies the computational overhead. In this framework, we propose a joint virtual resource and cache allocation solution for latency-sensitive applications in the next-generation cellular networks. As the formulated problem is NP-hard, we design low-complexity heuristic algorithms which are intuitive and efficient. In our proposed framework, different services can share a pool of infrastructure items. We evaluate our proposed framework and algorithm through extensive simulations. The results demonstrate significant improvements in terms of visiting latency, end user QoE, InP resource utilization and MVNO utility gain.

• Journal of The Korean Association of Information Education
• /
• v.18 no.4
• /
• pp.549-558
• /
• 2014

This study aims to provide suggestions for software education in an afterschool program, deriving from the analysis of student experiences of working on Scratch team projects. This study reports on the implementation of the 12 week afterschool software education program in an elementary school, where students worked in pairs to learn Scratch programming from ideation to design and presentation. For an in-depth study of student-generated artifacts, we selected three groups' Scratch projects and conducted artifact-based interviews to unpack student experiences working on Scratch projects as a group. Adopting the computational thinking framework as an overarching analytical lens, we focused on examining student experiences from three dimensions of computational thinking (CT), namely, CT concepts, CT practices, and CT perspectives. The present study provides both theoretical and practical implications. Firstly, we demonstrate the feasibility of applying the CT framework for assessing student-generated artifacts in design-oriented software education. We also believe that this study provides important suggestions to future software education programs adopting CT as an overarching design and assessment framework.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.21 no.3
• /
• pp.199-205
• /
• 2011

This paper proposes a framework to predict the mechanical fault of hot rolling mill system (HRMS). The optimum process of HRMS is usually identified by the rotating velocity of working roll. Therefore, observing the velocity of working roll is relevant to early know the HRMS condition. In this paper, we propose the framework which consists of two methods namely spectrum matrix which related to case-based fast Fourier transform(FFT) analysis, and three dimensional condition monitoring based on novel visualization. Validation of the proposed method has been conducted using vibration data acquired from HRMS by accelerometer sensors. The acquired data was also tested by developed software referred as hot rolling mill facility analysis module. The result is plausible and promising, and the developed software will be enhanced to be capable in prediction of remaining useful life of HRMS.

• Proceedings of the KAIS Fall Conference
• /
• 2009.05a
• /
• pp.50-53
• /
• 2009

This paper proposes an object-oriented software development guidance and an evaluation index for the productivity related to spring framework 2.5. Non EJB and the EJB architecture to resolve the problem with benefits to support the new architecture is a lightweight container architecture. This architecture, such as the EJB, but not heavy, to provide all of the architecture is possible. The lightweight container architecture is most often used in business spring framework is well-known architecture. Therefore, this research has the Non EJB and the EJB to solve the advantages and disadvantages developed to support the latest spring framework 2.5 lightweight container architecture based on the design and implementation of a pilot system with the objective through the specification of the software previously to provide guidance to development productivity.