• 시스템엔지니어링학술지
• /
• 제13권1호
• /
• pp.1-6
• /
• 2017

A stores management software which is embedded in the stores management system requires high-level reliability and real-time processing. It also required to implement and verify protocols which requires timing constraints to control various weapons. In this paper, we propose design methodology to design a stores management software and its support middleware based on the TMO (Time-triggered Message-triggered Object) model.

• 인터넷정보학회논문지
• /
• 제24권5호
• /
• pp.51-66
• /
• 2023

본 논문에서는 비즈니스 프로세스 모델의 생명주기관리를 지원하는 대표적인 지식발견기술인 프로세스 마이닝과 지식개선기술인 프로세스 리엔지니어링 접근방법을 기반으로 하는 새로운 유형의 프로세스 발견 프레임워크를 제안한다. 또한, 제안된 프레임워크를 기반으로 하는 프로세스 마이닝 시스템을 개발하고, 이를 통한 실험적 검증을 수행한다. 실험적 효과검증에 적용된 프로세스 실행 이벤트 로그를 특별히 프로세스 빅-로그(Process BIG-Logs)라고 정의하고, 분산 비즈니스 프로세스 관리 시스템의 로깅메커니즘과 연계된 조각-실행로그이력들을 클러스터링하는 전처리과정을 거친 마이닝의 입력데이터세트로 활용한다. 결과적으로, 본 논문에서는 구조적 정보제어넷기반 프로세스 마이닝 알고리즘인 ρ-알고리즘을 개선한 제어경로기반 프로세스 그룹 발견 알고리즘과 프레임워크를 설계 및 구현하고, 구현된 시스템을 이용하여 제안한 알고리즘과 프레임워크의 정확성을 실험적으로 검증한다.

• 시스템엔지니어링학술지
• /
• 제4권2호
• /
• pp.1-13
• /
• 2008

The development of hull curved plate forming automation system in ship production field begins from the need of stakeholders such as enterprise organization, who need the reduction of cost and time and improvement of productivity, and end users who work for this production process. Even though hull curved plate forming automation system has small scale, it is reasonable to consider the system as an interdisciplinary system, because the system includes all of hardware, software, human and information and has a specified objective to be performed. In this paper, introduction of 4 leading Model-Based Systems Engineering (MBSE)methodologies is described and SysML(Systems Modeling Language), which is designed to analyze, specify, design, and verify complex systems, is introduced in order to support those methodologies. Especially, SysML is applied to system modeling of hull curved plate forming automation system and focused on. The structure diagrams and behavior diagrams based on operational context of the automation system are used to make system architecture. The performed application of SysML to the hull curved plate forming automation system shows an example of applying SysML to the development of other autonomous systems in ship production domain.

• 한국마린엔지니어링학회:학술대회논문집
• /
• 한국마린엔지니어링학회 2005년도 후기학술대회논문집
• /
• pp.206-207
• /
• 2005

해상에서 인터넷을 사용하는 데 많은 기술적, 경제적 제약이 따른다. 육상의 인터넷 서비스를 바다 위에서 실현하기 위해서는 기지국과 같은 중앙 통제 시스템이 없는 MANET을 기반으로 하는 해상통신망이 새롭게 구축되어야 한다. 본 논문에서는 해상환경과 선박 내 단말장치의 특성을 최대한 고려한 해상 MANET 모델을 새롭게 설계하였다. 원양에서 선박들이 주로 주어진 항로를 기준으로 항해하는 특성을 고려하여, 개별적 이동노드(선박)를 대상으로 경로를 찾는 것이 아니라 정적 정보인 항로와 동적 정보인 선박을 복합적으로 활용하여 최단경로를 찾아내는 복합적 항로기반 라우팅(HCBR) 프로토콜을 제안하였다. 지리 정보를 이용하는 LAR 프로토콜과 성능 비교에서 경로 발견 시 제어패킷을 전혀 쓰지 않으면서 최단 경로를 훨씬 더 잘 찾아내는 특성을 실험적으로 파악하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (2)
• /
• pp.292-294
• /
• 1999

최근에 데이터베이스 기술에 이은 차세대 사무업무 전산화의 핵심 기술일 뿐만 아니라 CALS/EC의 핵심기술인 워크플로우 기술에 많은 관심이 집중되고 있다. 워크플로우 기술은 사무업무의 흐름을 자동화하기 위한 일종의 운영체계 역할을 수행하는 워크플로우 관리 시스템분야와 그 워크플로우 관리 시스템의 이론적 기반일 뿐만 아니라 사무업무의 흐름 자체를 정의하고 분석하는 워크플로우 모델 분야로 나뉘어 진다. 본 논문에서는 대표적인 워크플로우 모델중의 하나인 ICN (Information Control Nets) 모델을 기반으로 하는 모델링 도구의 설계 및 구혀에 관하여 기술하였다. 본 워크플로우 모델링 도구는 자바 기반의 워크플로우 정의 및 분석 환경을 제공함으로서 컴퓨터 시스템에 의존적인 기존의 모델링 도구가 갖는 단점을 개선하였으며, 또한 ICN으로 정의된 사무업무 워크플로우를 국제표준의 워크플로우 정의 언어인 WPDL(Workflow Procedure Description Language)로 변환시킴으로써 워크플로우 관리 시스템에 독립적인 워크플로우 모델링 환경을 제공하는 것을 특징으로 한다. 결론적으로, 본 ICN 모델링 도구는 사무업무 흐름과 리엔지니어링을 위한 분석 도구로서 확장될 수 있을 뿐만 아니라 분석된 결과인 사무업무 프로세스를 다른 워크플로우 관리 시스템에 직접 적용할 수 있게 하는 Streamlining 워크플로우 정의 업무의 기반이 된다.

• 시스템엔지니어링학술지
• /
• 제8권1호
• /
• pp.29-39
• /
• 2012

The conventional systems engineering has been performed mainly based on documentation artifacts. Although the Document-Based Systems Engineering has played a very important role in developing and deploying systems, it is difficult for systems engineers to build, to clarify, and to reuse the operational, functional and physical views of the System of Interest (SOI) efficiently. An information-age approach to this problem is the Model-Based Systems Engineering which has been emerging as a very productive solution for stakeholders to define, and understand the desired systems easily, to communicate and collaborate efficiently among each other, and also to verify and validate the systems solutions effectively. This paper proposes a set of MBSE process, methods, and models for use during the systems analysis and design phase of the naval combat system development. An example application of the proposed approach was exercised and a set of artifacts was generated for an export combat system project to demonstrate its effectiveness.

• 시스템엔지니어링학술지
• /
• 제13권1호
• /
• pp.57-65
• /
• 2017

Recently, the ratio of electrical part and embedded software has grown in automotive industry. ISO 26262, 'Road Vehicles - Functional Safety', was published to guide development of automotive electrical and electronic part in 2011. This paper describes definition of functional safety and analyzes ISO 26262. The comparison of ISO 26262 and DO-178C is made, then difference between them is identified. DO-178C provides guidance for the production of software for airborne system and equipment. The core of DO-178C is a relatively minor update to the previous DO-178B, however, the big changes are captured in the supplemented documents such as DO-331, 'Model-Based Development and Verification Supplement to DO-178C and DO-278A'. Model-based design is important to develop automotive and aircraft meeting the guidelines of ISO 26262 and DO-178C. In this paper, the sample case of applying MBSE(Model-Based Systems Engineering) to AVCS(Active Vibration Control System) software development is discussed.

• 한국멀티미디어학회논문지
• /
• 제5권6호
• /
• pp.730-744
• /
• 2002

최근의 정보시스템의 전형적인 형태인 웹기반 정보시스템(WBIS)은 계속적으로 재구성되어 야만 사용자의 욕구를 만족시킬 수 있으며 수익을 창출할 수 있다. 이를 위해, 시스템의 항해구조를 모델링하고 분석해야 하며 로그파일을 통해 사용자의 행동을 모델링하여 시스템의 재구성시에 활용해야한다. 이에 따라, 본 논문에서는 쇼핑몰을 포함한 WBIS의 재구성(또는 튜닝)을 위한 항해구조의 모델링 및 사용자행동 모델링 방법을 제시한다. 항해구조의 모델링을 위해 구조모델, 상태전이 모델 및 패트리넷 모델 및 분석방법을 제시하였다. 또한, 사용자행동 모델링을 위한 로그분석을 위해, 사용자행동 모델링 알고리즘을 제시하고 이를 구현하였다. 끝으로, 재구성 휴리스틱을 제시하였으며 제시한 방법들은 사례 WBIS에 적용하였다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2009년도 춘계학술대회 논문집
• /
• pp.1029-1034
• /
• 2009

3자원 정보모델에 기반한 건설프로세서의 혁신이 새로운 추세가 되고 있고 고속철도와 같이 시스템엔지니어링에 해당하는 경우에는 가장 좋은 활용 사례가 될 수 있다. 정보모델은 3차원 영상에 기반하고 다양한 구성요소가 가진 기본정보와 설계와 유지관리에 이르는 생애주기 정보를 저장하고 재활용할 수 있도록 한다. 이 논문에서는 호남고속철도의 한 구간을 대상으로 이미 제안된 철도시설물정보모델의 개념에 근거하여 3차원 정보모델을 구성하였다. 구성된 정보모델에 기반하여 2차원도면, 해석, 견적, 시뮬레이션 등의 각 솔루션으로의 연동성 확보를 위한 시범사업의 결과를 정리하였다. 콘크리트 박스 교량을 대상으로 하는 시범사업을 통해서 생산성 향상 및 3차원 모델의 재활용성을 확보하였다.

• 한국철도학회논문집
• /
• 제9권3호
• /
• pp.330-334
• /
• 2006

To maintain design-knowledge database and manage configuration for requirement of performance tests and safety standards of High Speed Railway(HSR), It is established that management system of performance tests and safety standards and then constructed that design-knowledge database and documented a performance test and safety specifications for supporting performance test and safety system using Model-Based Systems Engineering(MBSE) tool.