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

UML은 객체지향 모델링에 있어서 표준으로 받아들여지고 있다. UML은 풍부한 구성요소를 가지므로 개발하고자하는 시스템을 상세하게 묘사할 수 있지만, 모델링된 다이어그램의 정확성과 일관성은 보장하지 못한다는 결점을 가진다. 따라서 개발프로세스의 초기단계에서 사용자 모델을 검증함으로써 오류를 최소화하는 것이 중요하다. 본 연구에서는 메타-메타모델과 OCL로 표현된 검증규칙을 이용하여 UML structural 다이어그램과 behavioral 다이어그램의 일관성을 검증하는 방법을 제안한다. 일관성은 하나의 요구사항을 가지고 작성된 structural 다이어그램과 behavioral 다이어그램이 일관성있게 작성되었는지를 판단하기 위한 성질이다. 검증의 첫 번째 작업으로서 UML 다이어그램과 그들사이의 관련요소로 표현된 메타-메타모델을 유도하고, 유도된 메타-메타모델로부터 일관성을 검증하기 위한 규칙을 유도하고, 유도된 검증규칙은 검증작업의 자동화를 위해 OCL과 같은 정형적인 언어로 명세한다. 마지막으로 사례모델을 통해 검증규칙의 유용성을 검증한다.

• 한국정보처리학회논문지
• /
• 제6권2호
• /
• pp.261-274
• /
• 1999

최근에 자동화된 업무처리 시스템으로써, 워크플로우 시스템에 대한 연구가 활발히 이루어지고 있다. 기존 연구에서는 태스크 자체에 시간적 특성을 고려하지 않고 태스크의 상태 변이 특성만을 고려하였다. 본 연구는 태스크의 최소 처리시간과 마감시간을 고려함으로써, 시간 제약을 포함한 워크플로우 모델링 및 검증방안을 제안한다. 이를 위해 첫째, 마감시간을 위배하지 않는 태스크의 철회에 대해 대안 태스크를 결정할 수 있는 우선 순위 함수를 제안한다. 우선 순위 함수는 대안 태스크에 대한 시간요소, 의미적 호환 수준을 고려함으로써, 가장 적절한 대안 태스크를 결정한다. 둘째, 기존 연구에서는 순차 및 병행 종속성만을 고려하였으나, 본 연구에서는 태스크간 종속성을 순차 종속성이외에 다양한 병행 종속성인 동시 수행 종속성, 동시시작 종속성, 동시종료 종속성, 간섭된 종속성, 그리고 중첩된 종속성으로 구분하여 제안한다. 셋째, 기술된 워크플로우에 존재할 수 있는 논리적 모순을 발견하기 위해 그래프를 이용한 검증기법을 제안한다.

• 한국시뮬레이션학회논문지
• /
• 제19권4호
• /
• pp.99-109
• /
• 2010

기존의 반도체 생산 공장에서 운용되는 공정설비의 자동화된 웨이퍼 이송을 위한 스케줄링 운용전략에 대한 연구는 일반적으로 특정 공정 환경과 시스템 형태에서 운용되는 이송패턴에 최적화시킨 규칙기반으로 진행되어 왔다. 그러나 이러한 방식은 시스템이나 공정이 달라지면 새로운 규칙이 필요하거나 전체 운용 전략을 변경해야 하는 문제가 발생할 수 있다. 또한, 규칙이 추가될수록 확장, 유지 보수 시에 추가된 규칙들의 상호 연관 작용에 대한 고려가 부족한 경우 예기치 않은 문제를 유발할 시킬 수 있는 위험성을 내포하고 있다. 따라서 본 논문에서는 이러한 문제점을 개선하기 위해 이송패턴이나 설비의 형태에 일반적으로 적용 가능한 동적 우선순위 기반의 기본 이송작업 선택 알고리즘을 제시하였다. 또한 특수한 요구 사항에 대해서는 범용성을 저하시키지 않는 범위 내에서의 최소한의 규칙 처리부를 별도로 관리하는 방식으로 운용 환경 변화에 일관된 스케줄링 정책을 유지하고 확장 시의 안정성 저하를 최소화하여 생산성 향상을 이끌 수 있는 범용 스케줄링 알고리즘을 제안하였다. 이에 대한 검증을 위하여 트윈 슬롯 형태의 반도체 공정설비를 대상으로 모델링 및 시뮬레이션 환경을 구축하였고, 시뮬레이션을 통해 타당성을 검증하였다.

• 대한전자공학회논문지SD
• /
• 제47권2호
• /
• pp.106-114
• /
• 2010

본 논문은 기가 스케일 System on Chip(SoC)를 위한 통합 설계 및 검증 플랫폼을 제안한다. VLSI 집적도의 발달로 그 복잡도가 증가하여 기존의 RTL 설계 방식으로는 그 생산성 차이(Production Gap)를 극복할 수 없게 되었다. 또한, 검증 차이(Verification Gap)의 증가로 검증 방법론에도 커다란 변혁이 필요하게 되었다. 본 플랫폼은 기존의 상위 수준 합성을 포함하며, 그 결과물을 이용하여 저 전력 설계의 전원 인식 검증 플랫폼과 검증 자동화를 개발하였다. 상위 수준 합성 시 사용되는 Control and Data Row Graph (CDFG)와 고 입력인 상위 수준 언어와 RTL를 기반으로 한 검증 플랫폼 자동화와 전원 인식 검증 방법론을 개발하였다. 검증 플랫폼에는 자동 검사 기능을 포함하고 있으며 Coverage Driven Verification을 채택하고 있다. 특히 전원 인식 검증을 위하여 개발된 조건 랜덤 벡터 생성 알고리듬을 사용하여 랜덤 벡터의 개수를 최소 5.75배 감소시키는 효과를 가져왔고, 전원과 전원 셀에 대한 모델링 기법을 이용하여 일반적인 로직 시뮬레이터 툴을 통해서도 전원 인식 검증을 가능하게 하였다. 이러한 통합된 설계 및 검증 플랫폼은 시스템 수준의 설계에서 검증, 합성에 이르는 전 설계 흐름을 완전 자동화 하여 상위 수준의 설계와 검증을 가능하게 하고 있다.

• 정보처리학회논문지D
• /
• 제15D권2호
• /
• pp.271-284
• /
• 2008

자가치유란 시스템에 정의된 제약사항들을 평가하고 위배 시에 적절한 전략을 적용하는 방법론이다. 오늘날 복잡해져가는 컴퓨팅 환경에서 자가치유를 위해 시스템에 발생한 문제를 스스로 인식하는 능력을 부여하는 연구가 중요한 이슈가 되고 있다. 그러나 대부분의 기존연구들은 목표시스템을 자가치유하기 위해 자가치유 개발자들이 제약조건을 모델링하고 분석해야 하는 노력이 크다. 따라서 본 논문에서는 자가 치유 기법을 기반으로 시스템의 내외부 문제 결정을 자동화하는 방법론을 제안한다. 본 방법론은 1) 목표 시스템의 설계단계에서 생성된 설계모델들로 시스템을 명세화하고, 2) 명세화 된 내용을 기반으로 시스템의 내외부 대한 공통 제약 사항을 자동 생성한다. 3) 자동 생성된 내부 상태 규칙을 통해 컴포넌트간의 의존관계를 해석하여 4) 생성된 공통 제약사항과 분석된 연관성 모델을 코드로 변환하고 문제결정 수준을 결정한다. 5) 문제결정 수준을 기반으로 시스템의 내외부 상태를 모니터링을 하고, 비정상 상태 발생 시 전략을 적용한다. 이러한 자동화된 제안 방법론의 특징을 통해 자가 치유 개발자의 분석의 부하를 줄이며, 나아가서는 시스템의 외적 환경뿐 아니라 내부 상태 문제에 관한 비정상적인 동작을 신속하게 정상적인 상태로 회복하고, 시스템 다운과 같은 고장 횟수를 줄이는 것이 가능해 진다. 본 논문에서는 평가를 위해 제안 방법론을 비디오 회의 시스템에 적용하고 기존 방법론과의 자가치유를 위한 활동을 비교하여 그 유효성을 확인한다.

• 한국지반신소재학회논문집
• /
• 제11권4호
• /
• pp.71-77
• /
• 2012

본 연구에서는 지반구조물에서 수집된 계측데이터를 대상으로 확률통계적 방법을 사용한 상태평가를 위한 분석기법과 자동화 프로그램을 개발하였다. 복잡한 지반구조물에 설치한 계측시스템으로부터 수집된 계측자료의 평가를 위해서는 자료처리(data driven) 기반의 비모수적(non-parametric) 모델링 방법이 유용할 것으로 판단된다. 실제 지반구조물(보강토옹벽 및 터널)에서 수집된 센싱 데이터를 이용하여 개발된 평가기법의 검증을 실시한 결과 환경적 요인과는 구별되는 구조적 거동을 확인할 수 있었다.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2009년도 정기 학술대회
• /
• pp.344-347
• /
• 2009

건축, 토목 분야의 정보 교환을 위한 표준으로 주목받고 있는 BIM 모델의 국제 표준인 IFC 표준을 위해, 소프트웨어가 IFC 표준에 맞게 유효한 정보를 입출력 하도록 도와주고, IFC 파일이 표준에 맞는지 검증할 수 있는 모듈을 개발했다. 특히, 지역별 및 국가별 상황에 맞게 BIM 모델을 수정하거나 확장해 사용하도록 권고하고 있는 상황에서 다양한 확장 IFC 표준을 효과적으로 지원할 수 있도록 IFC 표준을 정의하는 EXPRESS 언어로부터, 객체 지향 언어를 위한 소프트웨어 개발 라이브러리를 자동으로 생성하고, 해당 SDK를 활용해 IFC 모델을 검증하는 라이브러리를 자동으로 생성하며, IFC 파일을 검증할 수 있는 독립적인 실행 파일도 자동으로 생성할 수 있도록 했다. 또한 객체 지향 라이브러리를 사용함으로써 주어진 IFC 모델을 효과적으로 문서화 할 수 있도록 HTML 생성 도구를 개발하거나 3차원 형상 확인이 가능하도록 VRML 생성 도구를 개발하는 등의 작업이 쉽게 이뤄짐을 확인했다. 이렇게 자동화된 BIM 소프트웨어 개발 도구는 IFC 모델의 수정이나 확장을 고려하는 BIM 소프트웨어 개발 프로젝트의 생산성을 향상시키고, 해당 시스템의 운영에 신뢰도를 높이는 것은 물론이며, 향후 국내 실정에 맞게 운영될 BIM 인증 제도에도 활용하면 기존의 수작업 방식 인증제도에 비해 인증에 걸리는 시간과 비용을 줄이는 것은 물론 인증 자체의 객관성과 정확성, 투명성과 신뢰성을 높일 수 있을 것으로 기대된다.

• 한국CDE학회논문집
• /
• 제21권1호
• /
• pp.9-19
• /
• 2016

Applying human engineering simulation to analyzing work capability and movements of operators during manufacturing is highly demanded. However, difficulty in modeling digital human required for simulation makes engineers to be reluctant to utilize human simulation for their tasks. This paper addresses such problem on human engineering simulation by developing the technology to automatize human modeling with multiple Kinects at different depths. The Kinects enable us to acquire the movements of digital human which are essential data for implementing human engineering simulation. In this paper, we present a system for modeling automation of digital human. Especially, the system provides a way of generating the digital model of workers' movement and position using multiple Kinects which cannot be generated by single Kinect. Lastly, we verify the effects of the developed system in terms of modeling time and accuracy by applying the system to four different scenarios. In conclusion, the proposed system makes it possible to generate the digital human model easily and reduce costs and time for human engineering simulation.

• 한국결정성장학회지
• /
• 제17권1호
• /
• pp.41-45
• /
• 2007

Art Deco는 예술적 부활을 상징하며, Modeling Tech의 개발에 적합한 Style이었다. 산업적으로 CAD & CAM Software의 도입에 의한 자동화의 실현은 안전한 결과물을 얻을 수 있도록 하였다. 이 논문에서는 최근, 기계화 경향의 선진화로써 발전된 Mode를 응용하여 조명하였다. 이러한 CAD & CAM에 의한 입체형상과 TECH를 직접 실행하여, 작품의 도면과 3D MODELING/DATA를 제시하면서 Jewelry Design의 발전 방향을 논하였다.

• 한국융합학회논문지
• /
• 제7권1호
• /
• pp.17-23
• /
• 2016

본 논문에서는 제조업체의 공장자동화 환경을 클라우드 컴퓨팅의 SaaS 구축기술을 활용하여 전용 NC포스트프로세서를 웹 환경에서 서비스 받을 수 있도록 융합기술을 적용한 사례를 기술하였다. 개발된 WPS시스템은 기존 소프트웨어 개발방법론인 SPLE을 보완한 SCoD 방법론을 활용하여 안정되고 지속적인 시스템 서비스를 제공하도록 구현하였다. WPS는 범용의 NC포스트프로세서를 사용자 인터페이스와 프로세서 엔진으로 분리하여 각각의 사용자 PC와 클라우드 팜에 설치하고, 이 두 모듈을 네트워크로 연결하는 구조로 설계하였다. WPS는 철판절단 및 금형생산 공정 등에 활용할 수 있도록 현업에서 기능상의 테스트를 완료하였고, 사용자의 편의성을 개선하고 과금을 위한 모듈을 추가하는 등의 보완 작업을 거쳐 상용 서비스를 진행 중에 있다.