• 대한기계학회논문집A
• /
• 제34권8호
• /
• pp.989-996
• /
• 2010

통계적 회귀모델과 보간모델은 구조공학 분야에서 실제실험과 전산실험의 결과로부터 자료를 분석하고 응답을 예측하기 위해 적용되었으며 최근 10 년 동안 다양한 설계방법론들과 함께 발전해왔다. 그러나 그들은 구조물의 크기와 형상과 같은 공간변수에 대해서만 취급해왔고 시간변수에 따라 변하는 시간-변화 동적응답을 고려할 수 없었다. 본 연구에서는 공간변수와 시간변수를 모두 취급하여 시간-변화 동적응답을 고려할 수 있는 다중응답접근법 기반 통계적 공간-시간 메타모델을 제안한다. 대표적 회귀모델인 반응표면모델과 보간모델인 크리깅모델을 구조공학 예제의 시간-변화 동적응답에 적용한다. 또한 제안한 방법의 성능을 검증하기 위해 실제함수와의 비교를 통해 두 통계적 공간-시간 메타모델의 정확성을 비교한다.

• 정보과학회 논문지
• /
• 제42권9호
• /
• pp.1147-1161
• /
• 2015

ISO/IEC 11179 메타데이터 레지스트리(Metadata Registry, MDR)는 메타데이터의 등록 및 공유를 위해 개발된 국제표준이다. ISO/IEC 11179는 MDR을 객체 모델인 메타모델로 표현한다. 하지만 ISO/IEC 11179는 메타모델을 데이터베이스로 구축하기 위한 명확한 기준이 없으므로 표준 기반의 MDR 개발이 어려운 문제점이 있다. 이 논문은 MDR 구현을 위해 객체-관계 변환 방법론 기반의 MDR 데이터 모델을 설계한다. 이를 위해 연구된 객체-관계 변환 방법론의 변환 기법들을 관계성에 기준하여 분류하고, 이 변환 기법들의 사용 기준을 정의함으로 모델링 규칙을 제안한다. 이 논문은 MDR 데이터 모델에 대한 구현 결과로 관계형 데이터베이스 테이블을 구축한다. 실험 및 평가를 통하여 제안하는 모델링 규칙을 검증하고 구축된 테이블 구조의 적합성을 평가한다. 평가 결과로 제안 기법에 의해 구축된 테이블 구조는 표준 메타모델의 클래스와 관계성을 잘 보존함을 보인다.

• 한국항행학회논문지
• /
• 제27권2호
• /
• pp.228-234
• /
• 2023

고품질 소프트웨어의 요구 증가로 국제표준, 산업 기능안전(IEC 61508), 자동차(ISO 26262), 무기체계 내장형 소프트웨어 지침 등 품질 인증 요구가 많다. 스타트 업, 벤처, 중소 업체들은 비용 및 인력 측면에서 체계적인 품질 획득이 어려움이 있다. 그들 업체에게 자동 테스트 케이스 생성은 비용, 시간, 인력 문제에도 소프트웨어 품질을 향상할 수 있는 해법으로 제시 될 수 있다. 이를 위해, 시스템 및 소프트웨어 설계 검증이 가능한 "의사 결정표" 기반 테스트 케이스 자동화를 제안한다. 이는 OMG의 표준 기법인 메타모델과 모델 변환 기법을 사용해 각각 의사 결정표(Model)와 테스트 케이스(Text)의 메타모델 설계 및 모델변환을 정의한다. 즉 의사 결정표 입력으로 테스트 케이스 발생 자동화이다. 이를 통해 MC/DC 커버리지등도 쉽게 적용 가능하다.

• 한국정보통신학회논문지
• /
• 제16권6호
• /
• pp.1291-1299
• /
• 2012

UML은 풍부한 문법이 제공되어 다양한 표현이 가능하지만, 사용자가 작성한 다이어그램의 일관성을 보장하지는 못한다. 따라서, 본 논문에서는 UML다이어그램 사이의 일관성을 개선할 수 있는 상호점검규칙을 제안하며, 특히 UML 동적 다이어그램과 정적다이어그램의 일관성에 중점을 둔다. UML 다이어그램의 구성요소와 상호관계를 보다 명확하게 상호점검규칙에 반영하기 위하여 메타모델을 이용하고, 규칙의 정확한 표현을 위하여 UML 표준 제약언어인 OCL을 사용한다. 상호점검규칙은 UML 명세의 well- formedness -rule과 비교하여 일관성에 중점을 두어 유도하였으며, 정적 다이어그램과 동적 다이어그램의 메타모델을 유도하고 다이어그램 사이의 관계성분석 과정을 거친다. 마지막으로 사례 다이어그램에 제안된 점검규칙을 적용하여 그 유용성을 검증한다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제5권5호
• /
• pp.221-230
• /
• 2016

사물인터넷(Internet of Things, IoT) 패러다임이 대두되며 센서의 개체수가 폭발적으로 증가할 것으로 예상됨에 따라 센서 네트워크 및 센서 플랫폼 기술들이 변화되고 있다. 센서 플랫폼 중 하나인 센서 레지스트리 시스템(Sensor Registry System, SRS)은 이기종 센서 네트워크 환경에서 센서 데이터의 일관성 있는 의미 해석을 위하여 센서 메타데이터를 등록하고 관리하는 시스템이다. 하지만 기존의 SRS는 IoT 환경에 적합한 데이터 구조를 지니고 있지 않다. 따라서 이 논문은 IoT 환경에서 센서 정보들을 관리하고 등록하기 위하여 센서 레지스트리 데이터 모델을 제안한다. 기존의 SRS를 개선하기 위하여 시맨틱 센서 네트워크 온톨로지(Semantic Sensor Network Ontology, SSNO)을 분석하고, 이에 기반한 메타모델을 설계한다. 또한 설계한 메타모델을 이용하여 관계형 데이터베이스의 테이블로 구축하고 SRS를 웹 애플리케이션으로 구현한다. 이 논문은 제안하는 센서 레지스트리 데이터 모델의 적합성을 검증하기 위하여 SSNO 및 센서 온톨로지 예제들을 변환하여 제안 모델에 적용한다. 평가 결과 제안 모델이 기존 연구들보다 더 풍부한 의미 표현이 가능함을 보인다.

• 대한기계학회논문집A
• /
• 제36권10호
• /
• pp.1109-1114
• /
• 2012

제품 생산 시 발생하는 제작 공차, 항복강도와 탄성계수 등 재료 물성치의 불확실성, 온도와 습도 같이 시스템에 작용하는 환경인자 등은 시스템의 성능에 영향을 미친다. 강건 최적설계는 이러한 인자들이 시스템에 미치는 영향을 최소화하면서 성능을 개선하는 설계기법으로 최근 많은 연구가 이루어지고 있다. 하지만 기존의 강건 최적설계 기법은 여러 인자들의 분포를 고려해야 하기 때문에 막대한 계산비용이 드는 문제가 있다. 본 논문에서는 이러한 문제점을 개선하기 위하여 곱분해 기법을 이용한 강건 최적설계를 제안한다. 제안된 기법을 이용하여 설계영역을 크리깅 메타모델로 근사하고 곱분해 기법을 적용하여 평균과 분산을 효율적이고 정확하게 계산하여 강건 최적설계를 수행한다. 제안된 방법을 수학예제와 공학예제에 적용하여 유용성을 검증한다.

• 한국전자거래학회지
• /
• 제24권2호
• /
• pp.165-178
• /
• 2019

스마트공장 등으로 변화하는 경쟁 환경 속에서 제조시스템의 현 수준을 측정하고 개선 목표와 과제를 도출, 추진하여 제조경쟁력의 수준을 높이는 것이 기업의 기본적 활동이 되고 있다. 그러나 기업의 미래 제조경쟁력을 갖추기 위한 구성요소 분석과 성숙도평가에 관한 연구는 부분적으로 진행되고 있고 초기단계에 있다. 본 연구는 제조시스템에 대한 다양한 관점의 모델, 개발프로세스, 프레임워크 등에 대한 기존 연구를 분석하였다. 또한 스마트공장 관련 성숙도평가 연구들을 통해 미래 제조시스템의 구성요소들을 도출하여 구조모델을 설계하였다. 평가모델, 변환모델까지 포함하는 메타모델을 설계하고 프레임워크 개발 프로세스를 도출하여 미래 제조시스템의 성숙도평가를 위한 통합적 프레임워크를 제안하였다. 또한 실제 스마트공장 평가에 적용하여 검증하였다. 제시된 프레임워크는 미래 제조시스템의 성숙도평가를 위한 기반 도구로 활용될 수 있을 것이다.

• 정보처리학회논문지D
• /
• 제10D권6호
• /
• pp.983-990
• /
• 2003

컴포넌트 기반 소프트웨어를 개발하기 위해서는 검증되고 표준화된 소프트웨어 컴포넌트가 요구된다. 본 논문에서는 재사용가능한 프로세스 패턴을 기반으로 하여 컴포넌트 품질 보증 프로세스를 구축하는 접근방법을 제시하고 있다. 프로세스 패턴을 기술하기 위한 메타 모형과 컴포넌트 품질 보증을 위한 프로세스 패턴들을 정의하여, 컴포넌트 개발 상황에 맞게 품질보증 프로세스를 구축할 수 있도록 하였다. 또한 이 접근방법을 실제 프로젝트에 적용한 사례를 보여주고 그 장단점을 토의하였다.

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

PCL(Object Constraint Language)은 UML, 메타모델을 정밀하게 명세화하기 위해서 UML 의미론의 도큐먼트에 사용되어졌다. 피리고 UMLl-은 실시간 UML 웹 개발 UML 등과 같이 다양한 시스템을 개발하기 위해서 확장되었다. 특히 실시간 시스템을 개발할 때 적시성, 동시성, 예측성, 신뢰성이 고려되어야 한다 이에 따라 실시간 UML을 정밀하게 표현하고 구현을 쉽게 하기 위해서 OCL을 사용해야 하지만 현재의 OCL로 실시간을 묘사하기에는 부적합하다. 본 논문에서는 실시간 시스템을 개발하는데 있어서 실시간 언어고 쉽게 변환이 가능하도록 이벤트 위주로 실시간 OCL을 제안하였고 그 효용성의 검증으로서 권선기 시뮬레이터 개발에 응용하였다.

• 정보처리학회논문지D
• /
• 제16D권2호
• /
• pp.201-212
• /
• 2009

소프트웨어 개발시 요구사항의 일관성 및 완전성을 검증하기 위해 다양한 방법으로 산출물을 추적하는데, 기존 연구에서는 추적메타모델 또는 자동화된 도구를 제시하되 구체적인 추적산출물 및 추적요소 선정이 미흡하며, 추적요소를 제시하는 추적테이블 연구의 경우는 전체공정이 아닌 일부 공정만을 대상으로 추적하고 있다. 이에 본 연구는 일부 공정만 추적한 저자의 이전 추적테이블연구에 이어 프로젝트시작단계에서 아키텍쳐단계, 인도단계까지의 산출물을 추적한 확장된 요구사항추적테이블을 제시하였다. 또한 추적테이블이 확장됨에 따라 추적필드가 많아져서 추적이 복잡해지는 문제점을 해결하기 위해 개발프로세스단위로 통합/분리할 수 있는 추적테이블의 정규화 방안을 제시하였다. 본 연구를 D사의 H시스템개발프로젝트에 적용함으로써 연구의 적용가능성을 검증하고 요구사항의 오류를 쉽게 발견하는 추적의 효과를 확인하였다. 이에 연구를 통해 요구사항의 일관성과 완전성을 검증하는 추적의 정확성을 높여 소프트웨어 개발의 실패를 최소화하고자 하였다.