• The KIPS Transactions:PartA
• /
• v.17A no.4
• /
• pp.203-212
• /
• 2010

Recently, in automotive industry, there have been many researches related with hardware components and embedded software which controls hardware components. Since most of embedded software is tightly dependent on car manufacturers, there were some problems in reusability and interoperability of automotive software. In order to solve these problems, AUTOSAR standardized the component-based software architecture of automotive software. In AUTOSAR, several modeling diagrams should be described and their dependencies are also checked. Currently, a few company developed the prototypes of tools supporting AUTOSAR. In this paper, a component modeling tool based on AUTOSAR 3.0 is developed for enhancing the usability of existing tools using Eclipse GMF. The tool is composed of a graphical component modeling tool and a graphical network topology tool. Since these tools are generated based on GMF without hard coding, it is relatively easy to customize the tools for adopting company‘s needs and easy to follow the improvement of the standard and development environments.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.5
• /
• pp.109-116
• /
• 2022

Recently, a model-based development method centered on highly readable and standardized UML (Unified Modeling Language) models has been applied to solve unclear communications in large-scale software development. However, it is difficult to apply consistent UML models depending on software developers' proficiency, understanding of models and modeling tools. In this paper, we propose a method for developing a Model Verification System to apply an consistent UML model to software development. Then, the developed Model Verification System is partially applied to the Naval Combat System Software development to prove its function. The Model Verification System provides automatic verification of models created by developers according to domain characteristics. If the Model Verification System proposed in this paper is used, It has the advantage of being able to apply the consistent UML model more easily to Naval Combat System Software Development.

• Asian Journal of Atmospheric Environment
• /
• v.11 no.4
• /
• pp.330-343
• /
• 2017

Climate change is an important issue, with many researches examining not only future climatic conditions, but also the interaction of climate and air quality. In this study, a new version of the emissions processing software tool - Python-based PRocessing Operator for Climate and Emission Scenarios (PROCES) - was developed to support climate and atmospheric chemistry modeling studies. PROCES was designed to cover global and regional scale modeling domains, which correspond to GEOS-Chem and CMAQ/CAMx models, respectively. This tool comprises of one main system and two units of external software. One of the external software units for this processing system was developed using the GIS commercial program, which was used to create spatial allocation profiles as an auxiliary database. The SMOKE-Asia emissions modeling system was linked to the main system as an external software, to create model-ready emissions for regional scale air quality modeling. The main system was coded in Python version 2.7, which includes several functions allowing general emissions processing steps, such as emissions interpolation, spatial allocation and chemical speciation, to create model-ready emissions and auxiliary inputs of SMOKE-Asia, as well as user-friendly functions related to emissions analysis, such as verification and visualization. Due to its flexible software architecture, PROCES can be applied to any pregridded emission data, as well as regional inventories. The application results of our new tool for global and regional (East Asia) scale modeling domain under RCP scenario for the years 1995-2006, 2015-2025, and 2040-2055 was quantitatively in good agreement with the reference data of RCPs.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.10 no.12
• /
• pp.3668-3674
• /
• 2009

Use case diagram is used for defining inter-action between users and systems in object-oriented modeling. It is very important to defining users' requirements for efficient software development. In this paper, we propose a object-oriented modeling process using hierarchical use case analysis for designing class model. First, We define many use case diagrams by several hierarchical modeling level. And next, we can also design class model using the use case diagrams. Our proposed modeling process provides interaction between use case model and class model. That can make us to check the modeling process during the software development. Using the proposed object-oriented modeling we can develop software based on users' requirements. It is very useful for class modeling.

• Korean Journal of Agricultural Science
• /
• v.43 no.2
• /
• pp.163-175
• /
• 2016

For the past decades, advances in computational devices have propelled mathematical modeling to become an effective tool for solving the black box of complex biological systems because of its prominent analytical power and comprehensive insight. Nevertheless, modeling is still limitedly used in the fields of agriculture and food which generally concentrate on producing experimental data rather than processing them. This study, hence, intends to introduce modeling in terms of its procedure types of structure, formulation, analyses, and software, with reviews of current notable studies from micro to macro scales so as to propose the modeling technique as a novel approach in discerning conundrums in agriculture and food systems. We expect this review to provide an eligible source for researchers who are willing to apply modeling techniques into the unexplored fields related to bio-systems that comprehensively include biology, nutrition, agriculture, food, animal science, and ecology.

• IE interfaces
• /
• v.9 no.3
• /
• pp.249-256
• /
• 1996

The Internet e-mail security software and standards, such as PGP (Pretty Good Privacy) and PEM (Privacy Enhanced Mail), have several limitations that should be overcome for their further applications to the Internet and network environments. In order to improve and reengineer those software, details of the As-Is software processing should be analyzed. One of the possible techniques for software analysis is IDEFO function modeling. Although IDEFO has been mainly used for BPR as one of the industrial engineering techniques, it has been rarely applied to the analysis of software processing and reengineering in computer and software engineering fields. Additionally, no sufficient details of PGP and PEM processing are analyzed in the literature. The objective of this paper is to demonstrate the application of the IDEFO to the systems analysis of the Internet e-mail security software as well as to provide software developers with the basis for software improvements.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.14 no.8
• /
• pp.3999-4005
• /
• 2013

We forecast that the scale of mobile market will be large scale according to the twenty million times of smart phone's user is arrived. The type of software development is being transferred into mobile-based App. or cloud computing-based service from web-based software. Currently both Google's android and Apple's IOS are known for two prominent platforms. Existing modeling techniques cannot be applied into the case of mobile application which is executed those platforms. Therefore, we suggest a modeling technique that is customized existing modeling techniques into android-based software development. That is, we propose an analysis and design techniques which are needed into android-based mobile smart environment.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.34 no.7B
• /
• pp.744-750
• /
• 2009

In this paper, the unified Markov modeling of hardware and software for AVTMR(AlI Voting Triple Modular Redundancy) system is proposed and the dependability is analyzed. In hardware case, a failure rate is fixed to no time varying parameter. But, in software case, failure rate is applied with time varying parameter. Especially, the dependability(Reliability, Availability, Maintainability, Safety) of software is analyzed with G-O/NHPP for Markov modeling. The dependability of single and AVTMR system is analyzed and simulated with a unified Markov modeling method, and the characteristic of each system is compared accroding to failure rate. This kind of fault tolerat system can be applied to an airplane and life critical system to meet the requirement for a specific requirement.

• International Journal of Computer Science & Network Security
• /
• v.21 no.3
• /
• pp.153-164
• /
• 2021

The increasing importance of such fields as embedded systems, pervasive computing, and hybrid systems control is increasing attention to the time-dependent aspects of system modeling. In this paper, we focus on modeling conceptual time. Conceptual time is time represented in conceptual modeling, where the notion of time does not always play a major role. Time modeling in computing is far from exhibiting a unified and comprehensive framework, and is often handled in an ad hoc manner. This paper contributes to the establishment of a broader understanding of time in conceptual modeling based on a software and system engineering model denoted thinging machine (TM). TM modeling is founded on a one-category ontology called a thimac (thing/machine) that is used to elaborate the design and analysis of ontological presumptions. The issue under study is a sample of abstract modeling domains as exemplified by time. The goal is to provide better understanding of the TM model by supplementing it with a conceptualization of time aspects. The results reveal new characteristics of time and related notions such as space, events, and system behavior.

• Journal of Korean Society for Quality Management
• /
• v.23 no.3
• /
• pp.57-68
• /
• 1995

In this paper, we consider possibility that the multiple errors occur in each testing stage. At present, software reliability modeling is considered as a part of software reliability quality assurance in software engineering. However they dealt with the software growth model for the single error debugging at each testing stage until now. Hence it is necessary to study software reliability with multiple errors debugging. Therefore we propose software reliability growth modeling and estimate the parameters in the proposed software reliability growth model for the multiple errors debugging at each testing stage.