• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2003년도 춘계학술대회
• /
• pp.1234-1239
• /
• 2003

In the product design process computer-aided engineering and optimization tools are widely utilized in order to reduce the total development time and cost. Since several simulation tools are involved in the process, information losses, omissions, or errors are common and the importance of seamless information exchange among the tools has been increased. In this study ISO STEP standards are adopted to represent the neutral format for CAE/CAO information exchange. The schema of AP209 is used to define the information of finite element analysis and the new schema is proposed to describe the information of structural optimization based on the STEP methodology. The schema is implemented by EXPRESS, information modeling language, and ST-Developer is employed to generate C++ classes and STEP Rose Library by using the schema denoted. To substantiate the proposed approach, the information access interfaces of the finite element modeling software (FEMAP), structural optimization software (GENESIS) and in-house topology optimization program are developed. Examples of the size optimization of a three-bar truss and topology optimization of a MBB beam are shown to validate the information exchange of finite element analysis and structural optimization using STEP standards.

• 한국산학기술학회논문지
• /
• 제10권8호
• /
• pp.1970-1976
• /
• 2009

최근 소프트웨어의 규모가 증대되고, 소프트웨어에 대한 관리가 능동적이어야 한다는 요구에 따라 소프트웨어 아키텍처의 중요성은 더욱 증대되고 있다. 소프트웨어 아키텍처는 건축물의 청사진과 마찬가지로 소프트웨어 골격의 구조에 대한 표현이 된다. 소프트웨어 구성요소와 이들간의 관계를 보다 정확하고, 종합적으로 표현하기 위해 소프트웨어 아키텍처는 다양한 뷰를 통해 명세되어진다. UML(Unified Modeling Language)은 소프트웨어 및 소프트웨어의 아키텍처를 문서화하기 위해 사용되는 모델링 도구이다. 그러나 UML은 실제 사용하는 것이 용이하지 않으며, 또한 그 표준도 지속적으로 변경된다. 도한 UML을 정확히 배워서 사용하는 것이 용이하지 않으며, 특히 도구없이는 표현하기가 매우 어렵다는 것도 사실이다. 본 연구에서는 소프트웨어 아키텍처 설계를 위한 아키텍처 뷰를 소개하고, 각각의 뷰를 설계하기 위한 UML을 소개한다. 특히 UML의 단순화된 표현을 소개하여 파워포인트와 같은 일반적인 문서화 도구를 이용하여서도 소프트웨어 아키텍처를 쉽게 문서화할 수 있는 방법을 소개한다. 또한 이 표현방법을 GLORY 시스템의 아키텍처 설계에 적용해 보고 적용효과를 분석해 본다.

• JSTS:Journal of Semiconductor Technology and Science
• /
• 제5권2호
• /
• pp.89-101
• /
• 2005

Research on highly abstracted system modeling and simulation has received a great deal of attention as of the concept of platform based design is becoming ubiquitous. From a practical design point of view, such modeling and simulation must consider the following: (i) fast simulation speed and cycle accuracy, (ii) early availability for early stage software development, (iii) inter-operability with external tools for software development, and (iv) reusability of the models. Unfortunately, however, all of the previous works only partially addresses the requirements, due to the inherent conflicts among the requirements. The objective of this study is to develop a new system design methodology to effectively address the requirements mentioned above. We propose a new transaction-level system modeling methodology, called ViP (Virtual Platform). We propose a two-step approach in the ViP method. In phase 1, we create a ViP for early stage software development (before RTL freeze). The ViP created in this step provides high speed simulation, lower cycle accuracy with only minor modeling effort.(satisfying (ii)). In phase 2, we refine the ViP to increase the cycle accuracy for system performance analysis and software optimization (satisfying (i)). We also propose a systematic ViP modeling flow and unified interface scheme based on utilities developed for maximizing reusability and productivity (satisfying (ii) and (iv)) and finally, we demonstrate VChannel, a generic scheme to provide a connection between the ViP and the host-resident application software (satisfying (iii)). ViP had been applied to several System-on-a-chip (SoC) designs including mobile applications, enabling engineers to improve performance while reducing the software development time by 30% compared to traditional methods.

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

소프트웨어 아키텍쳐는 소프트웨어 시스템의 상위 수준 모델이다. 이러한 소프트웨어 아키텍쳐는 명료하고 엄밀한 표현을 위해 아키텍쳐 기술 언어(ADL)를 사용하여 기술된다. 하지만 대부분의 ADL들은 C2 스타일 ADL(C2SADL)처럼 소프트웨어 시스템의 개발에 필요한 요소들 중에서 특정한 관점만을 고려하여 정의되었거나 별도의 표기형식으로 배워야 하는 부담이 있기 때문에 아키텍쳐를 명세하는 언어로서 정착되지 못하였다. 반면 UML은 범용 모델링 언어로서 소프트웨어 개발의 전 과정에 일관된 표기형식과 폭넓은 지원도구들을 제공하고 있으므로 소프트웨어 개발을 위한 사실상의 표준 언어로 자리잡았다. 그러나 UML은 소프트웨어 아키텍쳐를 표현하도록 설계된 것은 아니기 때문에 UML을 사용하여 아키텍쳐를 표현하기 위해서는 UML을 확장, 변경하여야 한다. 본 논문에서는 UML2.0에 기반한 C2 아키텍쳐 모델링 언어 프로파일을 정의하였다. 정의된 C2 아키텍쳐 모델링 언어는 식당 예약 시스템을 모델링 하는데 사용되었다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제33권2호
• /
• pp.167-185
• /
• 2006

소프트웨어 시스템의 상위 수준 모델인 소프트웨어 아키텍쳐는 아키텍쳐 기술 언어(ADL)를 사용하여 표현된다. 하지만 ACME와 같은 대부분의 ADL들은 별도의 표기형식으로 배워야 하는 부담이 있기 때문에 아키텍쳐를 명세하는 언어로서 정착되지 못하였다. 반면 VML은 범용 모델링 언어로써 소프트웨어 개발의 전 과정에 일관된 표기형식과 폭넓은 지원도구들을 제공하고 있으므로 소프트웨어 개발을 위한 사실상의 표준 언어로 자리잡았다. 그러나 UML은 소프트웨어 아키텍쳐를 표현하도록 설계된 것은 아니기 때문에 UML을 사용하여 아키텍쳐를 표현하기 위해서는 UML을 확장, 변경하여야 한다. 지금까지 아키텍쳐 모델링에 UML을 이용하기 위한 많은 연구가 진행되어 왔다. 하지만 지금까지의 이러한 연구의 대부분은 아키텍쳐의 핵심 개념들의 표현이 미흡했던 UML1.x에 기반하고 있으며 곧 발표될 UML2.0에서는 이전 버전에서 미흡했던 아키텍쳐 모델링에 유용한 개념들이 많이 추가되었다. 본 논문에서는 UML2.0에 기반한 아키텍쳐 모델링 언어를 정의하였다. UML2.0을 확장하여 Generic ADL을 정의하였으며 정의된 아키텍쳐 모델링 언어는 식당 예약 시스템을 모델링 하는데 사용되었다.

• International Journal of Computer Science & Network Security
• /
• 제21권2호
• /
• pp.130-141
• /
• 2021

This paper is in the intersection of software engineering and system engineering, two intimately intertwined disciplines. A dominating theme in this paper is the integral conceptualization of systems at large, as well as an underlying concern with software systems. In the software development life cycle, challenges still exist in translating requirements into a design artifact and then into an implementation (e.g., coding), then validating the results. From our perspective, software engineering requires an integrating paradigm toward a unified modeling orientation. Many methodologies, languages, and tools exist for facilitating system development processes. This paper is a venture into project development. To focus the materials, we concentrate on Harel's novel (and classic) development environment, which integrates a scenario-based engineering object orientation and statecharts through developing a railcar system. The railcar system is used as a detailed sample of translating requirements into a design artifact and then into an implementation, then validating the result. The project is re-cased as a single integrated modeling endeavor to be contrasted with the scenario and statecharts' development. The result of this scheme is an enriched understanding through experimenting with and contrasting various development methods of software projects.

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

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

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

The construction industry consists of various and massive architectural information as an architectural process includes a variety of design stages with cooperation of many disciplines. A Building Information Modeling (BIM) serves as a shared knowledge resource for information about a facility forming a reliable basis for decisions during its life-cycle from inception onward. building SMART has developed Industry Foundation Classes (IFC) standard for interoperability of BIM based information. Several software tools are already IFC-compliant. However, there are a lot of problems related to efficient interoperability of software owing to the lack of guide regarding the software usage and insufficiency IFC interfaces of software. The purpose of this study is to suggest efficient IFC support interface development methodologies of existing IFC certified software. The scope of this study is interoperability test for open BIM based quality assurance. To achieve this purpose, the authors have classified subject of open BIM based quality assurance and investigated IFC certification process and certified software. In addition, the authors have exported and imported via IFC files using different IFC interfaces in the software for interoperability of architectural objects and their properties. Finally, the authors have suggested IFC support interface development methodologies and hereafter direction for efficient interoperability of IFC certified software based on open BIM.

• 한국위성정보통신학회논문지
• /
• 제11권4호
• /
• pp.74-80
• /
• 2016

본 논문에서는 정지궤도위성신호분석을 수행하는 정지궤도위성신호 수신분석 도구모델, 정지궤도위성 항법 메시지 분석을 수행하는 정지궤도 메시지 분석도구 모델로 구성된 위성통신국의 운용시험평가 도구의 모델링과 구현결과를 기술한다. 또한, 이러한 위성 통신국의 운용시험평가 도구에 시뮬레이션된 신호를 생성하여 제공할 수 있는 GEO위성과 위성통신국의 소프트웨어 모델의 일부를 소프트웨어적으로 모델링하고 구현한 결과를 기술하였다.

• 한국생산제조학회지
• /
• 제19권5호
• /
• pp.678-683
• /
• 2010

The drum cam with rotational follower is used to apply the ATC and index table of machine tools and it has the merit of minimizing the backlash. In general, to machine the drum cam with rotational follower, 5-axis CNC machine must be used and its kinematic principle must be included in modeling on CAM. So, the commercialized CAM software can't be applied to this machining of drum cam. Though some special software for machining drum cam was developed, it could be applied to special 5-axis CNC machine tools and the finish machining module was not applied. To solve this problem, this study includes the induction of the post processing algorithm for the rough machining of drum cam on several 5-axis CNC machine tools, type AC, AB and Be. The finish machining software will be treated in next study. A sample drum cam was machined on 5-axis CNC machine tool of AC type. The designed geometric profile of drum cam consist to the measured profile after machining well. This post processing algorithm for rough machining of the drum cam was clearly verified.