• 한국CDE학회논문집
• /
• 제16권2호
• /
• pp.156-164
• /
• 2011

The automation technology is able to enhance the business process more rapidly and effective. Open BIM technology which supports automation technology of building overcomes the limitations of two dimensions drawings system. The purpose of this study is on the development of open BIM based modules for creating and verifying the core model for super-tall building in the schematic design phase. The module is expected to create cases of core models automatically and it is expected to verify the requirement of building model. This module is anticipated to utilize for creating the core model rapidly in order to create the alternative plan and to make the model accurate by its verification.

• 한국항행학회논문지
• /
• 제24권3호
• /
• pp.163-172
• /
• 2020

무인항공기 사고 발생 시 사후 조사를 위한 비행자료 기록장치는 항공기 추락에 따른 극한환경에 노출된 후 비행자료를 정상 복원할 수 있도록 EUROCAE(European Organization for Civil Aviation Equipment)의 ED-112 규격을 준수하여야 한다. ED-112 규격은 유인항공기를 포함한 모든 항공기의 일반적인 요구사항을 규정하고 있기 때문에 특정 플랫폼의 형상 및 운용개념에 따라 적합한 설계 요구사항을 선택적으로 적용하여야 하므로 소프트웨어에 대한 세부 요구사항 분석이 필수적이다. 본 논문에서는 무인항공기에 적합한 소프트웨어 요구사항을 분석하고 이를 고려한 비행자료 기록장치 소프트웨어의 설계 방안을 제안한다. 또한 구현된 소프트웨어가 모든 요구사항을 고려하여 설계되었는지 확인하기 위한 각 요구사항에 대한 소프트웨어 검증 방안을 제시한다.

• Journal of Computing Science and Engineering
• /
• 제11권1호
• /
• pp.9-23
• /
• 2017

NuDE 2.0 (Nuclear Development Environment 2.0) is a formal-method-based software development, verification and safety analysis environment for safety-critical digital I&Cs implemented with programmable logic controller (PLC) and field-programmable gate array (FPGA). It simultaneously develops PLC/FPGA software implementations from one requirement/design specification and also helps most of the development, verification, and safety analysis to be performed mechanically and in sequence. The NuDE 2.0 now consists of 25 CASE tools and also includes an in-depth solution for indirect commercial off-the-shelf (COTS) software dedication of new FPGA-based digital I&Cs. We expect that the NuDE 2.0 will be widely used as a means of diversifying software design/implementation and model-based software development methodology.

• International Journal of Computer Science & Network Security
• /
• 제24권3호
• /
• pp.151-159
• /
• 2024

Twin clutch model enables the power-shifts as conventional planetary automatic transmission and eradicates the disadvantages of single clutch trans- mission. The automatic control of the dual clutches is a problem. Particularly to control the clutching component that engages when running in one direction of revolution and disengages when running the other direction, which exchange the torque smoothly during torque phase of the gearshifts on planetary-type automatic transmissions, seemed for quite a while hard to compensate through clutch control. Another problem is to skip gears during multiple gearshifts. However, the twin clutch gear control described in ["M Goetz, M C Levesley and D A Crolla. Dynamics and control of gearshifts on twin clutch transmissions, Proceedings of the Institution of Mechanical Engineers, Part D: Journal of Automobile Engineering 2005"], a significant improvement in twin clutch gear control system is discussed. In this research our objective is to formally specify the twin clutch gear control system and verify it with the help of formal methods. Formal methods have a high potential to give correctness estimating techniques. We use UPPAAL for formal specification and verification. Our results show that the twin clutch gear control model partially fulfills its functional requirements.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2005년도 추계학술대회 논문집
• /
• pp.575-580
• /
• 2005

In this study, safety requirement & criteria for high-speed rail system were developed for safety verification as a national rules and regulations. Safety criteria were presented through analysis of high-speed rail development specification, survey of related regulations for safety requirements. and review of operation compatibility with domestic rail system. Finally, safety rule consist of system safety requirements and safety criteria for technical parts.

• Journal of Advanced Marine Engineering and Technology
• /
• 제38권2호
• /
• pp.123-132
• /
• 2014

The maritime sector is advancing with dedicated endeavor to reduce greenhouse gas in addressing issues with regards to global warming. Since 01 January 2013, the International Maritime Organization (IMO) regulation mandatory requirement for Energy Efficiency Design Index (EEDI) has been in place and should be satisfied by newly-built ships of more than 400 gross tonnage and the Ship Energy Efficiency Management Plan (SEEMP) for all ships type. Therefore, compliance to this necessitates planning during the design stage whereas verification can be carried-out through an acceptable method during sea trial. The MEPC-approved 2013 guidance, ISO 15016 and ISO 19019 on EEDI serves the purpose for calculation and verification of attained EEDI value. Individual ships EEDI value should be lower than the required value set by these regulations. The key factors for EEDI verification are power and speed assessment and their synchronization. The shaft power can be measured by telemeter system using strain gage during sea trial. However, calibration of shaft power onboard condition is complicated. Hence, it relies only on proficient technology that operates within the permitted ISO allowance. On the other hand, the ship speed can be measured and calibrated by differential ground positioning system (DGPS). An actual test on a newly-built vessel was carried out to assess the correlation of power and speed. The Energy-efficiency Design Index or Operational Indicator Monitoring System (EDiMS) software developed by the Dynamics Laboratory-Mokpo Maritime University (DL-MMU) and Green Marine Equipment RIS Center (GMERC) of Mokpo Maritime University was utilized for this investigation. In addition, the software can continuously monitor air emission and is a useful tool for inventory and ship energy management plan. This paper introduces the synchronization and identification method between shaft power and ship speed for EEDI verification in accordance with the ISO guidance.

• 플랜트 저널
• /
• 제13권2호
• /
• pp.39-45
• /
• 2017

본 논문은 시스템엔지니어링기법을 이용하여 해양플랜트 산업의 소형 유틸리티 장비의 입찰단계에서 사용가능한 FEED 검증 수행모델에 대한 연구이다. 현재 국내 해양플랜트 기자재산업계는 해양플랜트에 진출하면서 프로젝트 수행에 따른 재정적 위험에 직면한 상태이며, 그 주요한 원인으로 기자재업체의 발주처(COMPANY 또는 EPC: Engineering, Procurement and Construction) 로부터 제공받은 FEED 결과물에 대한 검증능력부족으로 조사되었다. 이에 요구사항 분석, 기능, 성능분석 및 물리적아키텍처 구축프로세스를 순차적으로 적용하는 시스템 엔지니어링 기법을 간략화 한 FEED 설계 검증방법을 제안하고 이를 소형 유틸리티 장비(Air Compressor)를 대상으로 기존의 경험에 의존한 검증방법과 개발한 FEED 검증 모델을 적용한 결과를 비교함으로써 개발된 모델의 사용적정성을 검증하였다.

• 디지털융복합연구
• /
• 제12권2호
• /
• pp.243-248
• /
• 2014

스마트폰의 보급으로 여러 사용자가 그룹을 만들어 함께 대화하는 메신저 서비스에 대한 관심이 급증하고 있다. 모바일 회의는 회의 참석자가 스마트폰 메신저를 이용하여 장소에 구애받지 않고 회의에 참가하여 토론하는 것을 의미한다. 모바일 회의의 실용화를 위해서는 회의 참석자의 이동성과 프라이버시가 보장되어야 한다. 이동성은 장소에 구애받지 않는 것으로 회의 참석자 대신 다른 사람이 회의에 참석할 수 없어야 한다. 프라이버시는 회의 참석자들이 회의 결과에 동의하고 그 내용에 대해서 부인할 수 없는 것을 의미한다. 본 논문에서는 이동성과 프라이버시를 제공하는 모바일 회의 인증 기법을 제안한다. 제안한 기법은 회의 그룹 생성, 그룹 공통키 생성, 그룹 서명 생성 및 검증 프로토콜로 구성된다. 도전-응답 방식의 그룹 서명 검증은 회의 참석자가 모두 참여해야만 검증이 가능하다. 따라서 제안한 방법은 이해 관계에 있는 참석자들의 공모 공격에 대해서 안전하다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권1호
• /
• pp.1-12
• /
• 2000

모델체킹은 검증하려는 대상 시스템의 동작 모델이, 그 시스템이 만족해야 할 성질을 만족시키는지를, 시스템의 상태공간을 검사해 봄으로써 알아보는 정형 검증 기법의 하나이다. 이러한 모델체킹 기법을 병렬 객체지향 시스템에 적용하기 위해 기존의 모델체커인 SPIN에서 지원하는 모델링 언어인 Promela를 병렬객체지향 개념을 추가하여 확장한 언어인 APromela를 제안하였다. 이는 Promela가 프로세스를 단위로 하는 병렬성만을 지원하는데 반해, 액터 모델에 기반한 객체지향 병렬성을 지원한다. 또한 우리는 이 언어로 작성된 모델을 자동으로 Promela로 변환하는 규칙을 제안하였다. 이를 통해, 기존의 모델체커를 이용해 병렬 객체지향 시스템의 검증을 수행할 수 있다. 이 언어의 응용으로 UML 로 기술된 명세의 검증을 수행하는 과정을 제시하였다.

• 한국산업융합학회 논문집
• /
• 제22권6호
• /
• pp.785-795
• /
• 2019

This paper is a study on the modeling of the quantity estimation model for offshore plant Material handling equipment in FEED(Front End Engineering Design) verification stage using system engineering approach which is an engineering design methods. The relevant engineering execution procedure is not systemized although the operation method and Material handling equipment selection with weight and space constraints is a key part of the FEED. Using the system engineering process, the stakeholder requirements analysis process, the system requirements analysis, and the final system architecture design were sequentially performed, and the process developed through the functional development diagram and Requirement traceability matrix (RTM) was verified. In addition, based on the established process, we propose a Material handling quantity estimation model and Quantity calculation verification Table that can be applied at the FEED verification stage and we verify the applicability through case studies.