• International Journal of Internet, Broadcasting and Communication
• /
• v.14 no.1
• /
• pp.1-9
• /
• 2022

Recently, a large number of cryptocurrencies and block chains have been continuously released. However, these cryptocurrencies and block chains are open to users without authorized verification and testing procedures, causing various reliability problems. Existing cryptocurrencies and blockchain test methods build a blockchain Testnet for a certain period of time by the developer without external verification by a third party, and after repeatedly self-testing and self-operating processes, commercialization is in progress by switching to the Mainnet. This self-verification method does not guarantee objectivity and publicness, and high reliability of customers cannot be realized. This study proposes a cryptocurrency and blockchain test interface and test control system as a third-party open test method.

• International Journal of Internet, Broadcasting and Communication
• /
• v.12 no.1
• /
• pp.104-110
• /
• 2020

In the 4th Industrial Revolution, the competitiveness of the software industry is important, and as a solution to fundamentally secure the competitiveness of the software industry, education classes should be provided to educate high quality software personnel in educational institutions. Despite this social situation, software-related classes in universities are largely composed of competitive or individual learning structures. Cooperative learning is a learning model that can complement the problems of competitive and individual learning. Cooperative learning is more effective in improving academic achievement than individual or competitive learning. In addition, most learners have the advantage of having a more desirable self-image by having a successful experience. In this paper, we apply a pair check model, which is a type of cooperative learning, in operating system classes. In addition, the class procedure and instruction plan are designed to apply the pair check model. We analyze the test results to analyze the performance of the cooperative learning model.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1994.04a
• /
• pp.344-354
• /
• 1994

In the development of executive information systems (EIS) the selection of an appropriate software package as a system building tool is regarded as a key technology. This paper attempts to shed some light on the evolving field of EIS software packages and provides a helpful Guideline for selecting the most suitable product by addressing significant considerations. A framework is presented that includes a six-step evaluation process: need analysis, team building, vendor survey, identification of decision criteria, and building an evaluation model and its verification. The major evaluation criteria of the full-featured software include: special functionality, reporting, graphics. decision support capability user friendliness, general functionality physical requirements, communication linkage, vendor support, cost related factors, performance, and documentation capability. An illustrative model using the analytic hierarchy process (AHP) method is also discussed to prove the appropriateness of our approach.

• Journal of Computing Science and Engineering
• /
• v.3 no.3
• /
• pp.181-194
• /
• 2009

Flash memory is increasingly being used in a wide range of storage applications because of its low power consumption, low access latency, small form factor, and high shock resistance. However, the current platforms for flash memory software development do not meet the ever-increasing requirements of flash memory applications. This paper presents three different hardware platforms for flash memory/NVRAM (non-volatile RAM) software development that overcome the limitations of the current platforms. The three platforms target different types of host system and provide various features that facilitate the development and verification of flash memory/NVRAM software. In this paper, we also demonstrate the usefulness of the three platforms by implementing three different types of storage system (one for each platform) based on them.

• 제어로봇시스템학회:학술대회논문집
• /
• 2000.10a
• /
• pp.450-450
• /
• 2000

This paper presents a software design simulation method for controlling multiple mechanism carrier system (MMCS), which is mainly used in a wrapping machine or a case packing machine. This method uses a mechanical tool-work interactive model proposed in this paper, in order to represent the interactive behaviors between some tools and a work driven by their tools, in which low effect states of a work are defined. Based on this method, a 3-D simulation system has been built. It consists of shape modeling of each device, behavior definitions of tools, and control logic using if-then expression. By applying it to a ase packing machine having about 30 mechanical devices and 100 inputs/outputs for control, the effectiveness of this method has been shown in general verification of control logic specification in an early software design phase and the possibility of smooth communication tool between mechanical and software designers.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.3
• /
• pp.808-817
• /
• 2000

Component specification languages in consideration of reuse are essential factor in classification, verification and retrieval of components. A number of legacy specification languages have already been used, however, they are complex and include many necessary elements in the specification for implementation. In this paper, we present XML-based component specification and software architecture specification language to solve these problems of legacy specification languages. The presented specification languages consist of component specification, which is composed of signature specification, interface specification and message specification, and software architecture specification providing graphical notations and textural notations. Component specification supports component retrieval with behavioral match and black-box reuse of component. In addition to this, it improves the efficiency of retrieval and document management with XML-based component specification. Software architecture specification supports the structural reuse of architecture, which is white-box reuse, through mesage-based architecture specification.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.17 no.4
• /
• pp.31-42
• /
• 2021

In the modern era, radio wave analysis is necessary for various fields of engineering, and interpretation of this is also indispensable. Self-driving cars need multiple different electronic components, and thus accurate and fast electromagnetic simulator for this kind of complex radio environment is required for self-driving simulations. Accordingly, the demand for self-driving simulators as well as existing electromagnetic analysis software has increased. This paper briefly describes the characteristics of numerical analysis techniques for electromagnetic analysis, self-driving simulation software, and conventional electromagnetic simulation software and also summarizes the characteristics of each software. Finally, the verification of the result from in-house code compared to HFSS is demonstrated.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.1275-1278
• /
• 2004

최근 이동환경에서 고속 데이터 서비스를 제공하기 위해 WLAN망과 3G망의 각각의 장점을 취하기 위한 상호 보완관계로의 로밍에 관한 연구들이 많이 진행되고 있다. 따라서 본 논문에서는 IPv6의 장점을 그대로 수용하면서 단말의 이동성을 제공해 주는 MIPv6를 이용하여 전세계 70% 이상의 사용자를 보유한 3GPP(WCDMA)망과 WLAN망간의 로밍을 설계하고 검증하였다.

• Nuclear Engineering and Technology
• /
• v.41 no.1
• /
• pp.91-98
• /
• 2009

The "3+3 Process" for safety critical software for nuclear power plants' I&C (Instrumentation and Control system) has been developed in this work. The main idea of the "3+3 Process" is both to simplify the software development and safety analysis in three steps to fulfill the requirements of a software safety plan [1]. The "3-Step" software development process consists of formal modeling and simulation, automated code generation and coverage analysis between the model and the generated source codes. The "3-Step" safety analysis consists of HAZOP (hazard and operability analysis), FTA (fault tree analysis), and DV (design validation). Put together, these steps are called the "3+3 Process". This scheme of development and safety analysis minimizes the V&V work while increasing the safety and reliability of the software product. For assessment of this process, validation has been done through prototyping of the SDS (safety shut-down system) #1 for PHWR (Pressurized Heavy Water Reactor).

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.11 no.2
• /
• pp.1217-1233
• /
• 2017

Effective monitoring and testing during each step are essential for document verification in research and development (R&D) projects. In software development, proper testing is required to verify it carefully and constantly because of the invisibility features of software. However, not enough studies on test processes for R&D projects have been done. Thus, in this paper, we introduce a Test Maturity Model integration (TMMi)-based software field R&D test process that offers five integrity levels and makes the process compatible for different types of projects. The Software & Systems Process Engineering Metamodel (SPEM) is used widely in the software process-modeling context, but it lacks built-in enactment capabilities, so there is no tool or process engine that enables one to execute the process models described in SPEM. Business Process Model and Notation (BPMN)-based workflow engines can be a solution for process execution, but process models described in SPEM need to be converted to BPMN models. Thus, we propose an approach to support enactment of SPEM-based process models by converting them into business processes. We show the effectiveness of our approach through converting software R&D test processes specified in SPEM in a case study.