• 정보처리학회논문지A
• /
• 제17A권4호
• /
• pp.203-212
• /
• 2010

최근 자동차 산업에서는 하드웨어 부품에 대한 연구뿐만 아니라 하드웨어를 제어하는 임베디드 소프트웨어에 대한 연구가 점차 증가하고 있다. 기존 임베디드 소프트웨어 개발은 자동차 제작사별로 독자적으로 이루어져 소프트웨어 재사용성, 상호운용성 등의 문제점이 대두되었다. AUTOSAR는 이러한 문제점을 해결하기 위해 제시된 컴포넌트 기반의 자동차 소프트웨어 아키텍처 표준이다. AUTOSAR에서는 다양한 다이어그램들을 작성하고 이들간의 연관성을 유지시켜야 하므로 도구 지원이 요구된다. 현재 몇몇 외국기업에서 고가의 AUTOSAR 지원 개발도구의 프로토타입을 선보이고 있다. 이 연구에서는 이클립스 GMF 기술을 이용하여 AUTOSAR 3.0 표준을 충실히 따르면서 기존 도구들의 단점을 보완하는 차량용 소프트웨어의 컴포넌트 모델링 도구를 개발한다. 개발된 도구는 크게 그래픽 기반의 컴포넌트 모델링 도구와 네트워크 토폴로지 도구로 구성된다. 이러한 도구들은 직접 구현된 것이 아니라 개발 업체에 맞게 손쉽게 이클립스 GMF로 생성할 수 있으므로 개발업체 맞춤화 및 국제표준 발전에 쉽게 발맞출 수 있는 장점이 있다.

• 한국컴퓨터정보학회논문지
• /
• 제27권5호
• /
• pp.109-116
• /
• 2022

최근 대규모 소프트웨어 개발하는 데 있어 불명확한 의사소통을 해결하기 위해 가독성이 높은 표준화된 UML(Unified Modeling Language) 모델 중심의 모델 기반 개발 방법이 적용되고 있다. 하지만 소프트웨어 개발자들의 숙련도, 모델 및 모델링 도구의 이해도에 따라 대규모 소프트웨어에 일관성 있는 UML 모델을 적용하기에는 어려움이 발생한다. 이에 본 논문에서는 소프트웨어 개발에 일관성 있는 UML 모델을 적용하기 위한 모델 검증 시스템 개발 방법을 제시한다. 그리고 개발된 모델 검증 시스템을 함정 전투체계 소프트웨어 개발에 일부 적용하여 기능을 입증한다. 모델 검증 시스템은 개발자들이 작성한 모델들을 도메인 특성에 맞게 자동으로 검증할 수 있는 기능을 제공한다. 본 논문에서 제안한 모델 검증 시스템을 사용하면 함정 전투체계 소프트웨어 개발에 좀 더 쉽게 일관성 있는 UML 모델을 적용할 수 있는 장점을 가진다.

• Asian Journal of Atmospheric Environment
• /
• 제11권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.

• 한국산학기술학회논문지
• /
• 제10권12호
• /
• pp.3668-3674
• /
• 2009

유즈케이스 다이어그램은 사용자와 시스템간의 상호작용을 정의하는데 사용되어 진다. 소프트웨어 개발에 있어서 사용자의 요구사항을 도출하고 정의하는 것은 가장 중요한 일중에 하나이다. 본 논문에서는 클래스 추출 및 정의를 위하여 계층화 된 유즈케이스 모델링 과정을 제안하였다. 본 논문에서 제안하는 모델링 과정에서는 먼저, 여러 계층에 걸쳐서 유즈케이스 다이어그램을 정의하고 다음단계로서 각 계층별 클래스를 추출하고자 하였다. 즉, 소프트웨어 개발에 있어서의 사용자 요구사항 정의단계에서 도출된 유즈케이스 다이어그램과 클래스 다이어그램들의 상호작용을 비교 검증함으로써 보다 효율적인 객체지향모델링 과정을 수행할 수 있게 된다.

• 농업과학연구
• /
• 제43권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.

• 산업공학
• /
• 제9권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.

• 한국산학기술학회논문지
• /
• 제14권8호
• /
• pp.3999-4005
• /
• 2013

스마트 폰 2천만 시대가 도래 하면서 향후 모바일 시장의 규모는 엄청나게 거대해질 것으로 전망되고 있다. 이러한 흐름에 동반하여 소프트웨어 개발의 형태도 웹 기반 소프트웨어에서 모바일 기반의 앱 형태나 클라우드 컴퓨팅 기반의 서비스 형태로 변화되고 있다. 현재 전 세계적으로 스마트폰을 위한 플랫폼으로는 구글의 안드로이드와 애플의 IOS가 양대 산맥을 이루고 있다. 이러한 플랫폼 하에서 실행되는 모바일 앱을 개발할 경우 기존의 소프트웨어 모델링 기법을 그대로 적용할 수가 없다. 따라서 본 연구에서는 기존의 소프트웨어 모델링 기법을 안드로이드 기반의 소프트웨어 개발에 맞도록 특화된 모델링 기법을 제안한다. 안드로이드 기반의 모바일 스마트 환경에 필요한 분석 및 설계 기법을 모델링 기법으로 제안한다.

• 한국통신학회논문지
• /
• 제34권7B호
• /
• pp.744-750
• /
• 2009

본 논문에서는 신뢰성을 명가하는 데 있어서 소프트웨어 및 하드웨어 측면을 고려한 통합된 마코브 모델링(Markov modeling)으로 AVTMR(AlI Voting Triple Modular Redundancy) 시스템의 신뢰성을 분석한다. 본 시스템의 모델링은 하드웨어의 경우에 고장율이 시불변 특성을 가지며, 소프트웨어 경우에는 시 가변 특성으로 모델링되어 AVTMR 시스템과 단일 시스템에 대한 신뢰성 비교를 한다. 특히, 소프트웨어적인 특성은 G-O/NHPP 기법을 이용하여 분석이 되며, AVTMR 시스템의 전체적인 특성을 소프트웨어 및 하드웨어적인 관점에서 고장율 따른 특성을 이해할 수 있게 된다. 평가된 AVTMR 은 엄베디드 통신 시스템, 항공기 등의 결함 허용 시스댐에 요구되는 스팩에 맞도록 설계를 하기 위한 기반을 제시한다.

• International Journal of Computer Science & Network Security
• /
• 제21권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.

• 품질경영학회지
• /
• 제23권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.