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

산업계에서 개발비용과 기간을 단축시키기 위해 시스템을 점차 Enterprise JavaBeans(EJB)로 개발하는 추세이다. 그러므로 시스템 재사용성, 확장성과 이식성을 높이기 위해 EJB를 위한 아키텍처가 중요해졌다. 그러나, 상위 레벨 수준의 추상적인 아키텍처는 제공되지만, 현재 가능한 J2EE기술을 사용하여 실제화 시키는 구체적 방법은 제공되지 않아 실용적인 소프트웨어 아키텍처에 관한 연구가 부족하다. EJB 규약(Specification)은 EJB를 운용하기 위한 세션빈, 엔티티빈들의 특성과 소규모(Fine Grained)방식의 컴포넌트 아키텍쳐만을 제시하고 있다. 그러므로 EJB는 작은 재사용 단위이기 때문에 EJB, 미들웨어 기술을 사용해도 기대만큼 재사용되지 않는다. 본 논문에서는 EJB 기반의 시스템을 위한 엔터프라이즈 소프트웨어 아키텍처를 구체적인 구현 기술과 기법을 함께 제안한다. 또한 효율적인 EJB 아키텍처를 설계하기 위한 EJB 설계 패턴을 제안한다. 설계 패턴들의 장단점을 분석하여 엔터프라이즈 아키텍처의 각 계층에 적합한 EJB 디자인 패턴을 식별하고, 디자인 패턴을 적용한 컴포넌트를 통해 최적의 컴포넌트간의 상호관계를 지원하는 아키텍처가 되도록 한다. EJB 설계기법을 객체수준의 화이트박스 형식인 소규모 EJB 컴포넌트로 부터 대규모(Coarse Grained) 방식의 EJB 컴포넌트로 설계하는 기법을 5가지로 제시하고, EJB 기반의 트랜잭션, 조립기법을 포함한 엔터프라이즈 아키텍처 설계 기법을 구체적으로 제안한다.

• 한국정보처리학회논문지
• /
• 제5권6호
• /
• pp.1522-1536
• /
• 1998

우리는 이 논문에서 실시간 시스템을 위한 모형화 방법을 제공한다. 이 방법은 DARTS(Design Approach for Real Time Systems)에 기초하며 훨씬 확장되었다. 기존의 DARTS 방법은 좋은 설계 가이드라인은 제공해 주지만, 구조적 분석방법을 이용하며, 명세언어를 제공하지 않는다. 그래서 본 논문에서는 객체에 기반하고 분석까지 가능한 확장된 DARTS 모형화 방법을 제공하고자 한다. 분석을 위해 수치 페트리넷(NPN)을 이용하여 시스템의 내부행위를 보여주며, 천이동기 순서제어를 위해 시제논리에 기초한 명세언어를 제공한다. 적용 예제를 통하여 제안된 방법이 잘 적용되었고 내부의 메시지 전달과정에 대한 도달성 그래프를 통하여 데드락의 존재여부를 미리 확인할 수 있어 분석이 용이하며 자연스럽게 설계와 연결된다.

• 전기전자학회논문지
• /
• 제19권2호
• /
• pp.186-192
• /
• 2015

본 논문에서는 소프트웨어 개발 과정에서 소프트웨어의 품질향상에 필요한 소스코드의 API를 기반으로 테스트 케이스를 자동으로 생성할 수 있는 기법을 제안한다. 제안된 기법은 Doxygen 오픈소스 툴을 이용한 소스코드 분석 과정, 분석된 결과를 이용한 API 사양 정의 과정, 테스트 디자인 생성 과정, Pairwise Test 기법을 적용한 테스트 케이스 생성 과정 등의 4가지 과정으로 구성된다. Doxygen 오픈소스 툴을 이용한 소스코드 분석 과정은 소스코드의 API 정보인 API 명, 입력 파라미터, 리턴 파라미터 정보 등을 추출하는 단계이다. 분석된 결과를 이용한 API 사양 정의 과정은 추출한 API 정보를 바탕으로 SQLite 데이터베이스를 이용하여 테스트 케이스 생성에 필요한 API 정보들을 데이터베이스화하여 정의하는 단계이다. 테스트 디자인 생성 과정은 정의된 API를 기반으로 입력 파라미터, 리턴 파라미터의 임계치 설정, 제약사항 설정 등을 통해 시나리오를 디자인하여 데이터베이스로 구성하는 단계이다. Pairwise Test 기법을 적용한 테스트 케이스 생성 과정은 테스트 디자인 정보를 바탕으로 Pairwise 조합 기법을 적용하여 실제 테스트 케이스를 생성하여 데이터베이스로 구성하는 단계이다. 제안된 기법의 효율성을 평가하기 위하여 기존의 명세서 기반의 테스트 케이스 생성 방법과 비교한 결과 비슷한 시간 내에 훨씬 더 많은 테스트 케이스가 생성되며, 명세 기반 기법으로는 불가능한 소스코드에 대한 기능 검증도 가능하여 소스코드내 결함 위치도 확인할 수 있다. 따라서 사람의 인력을 통한 수작업에 의존적으로 진행하였던 소프트웨어 개발 품질 향상 과정을 소스코드의 API를 기반으로 자동으로 테스트 케이스를 생성함으로써, 노동력 절감 및 제품 개발 시간 등을 단축 할 수 있으리라 기대된다.

• Computers and Concrete
• /
• 제27권2호
• /
• pp.153-162
• /
• 2021

This paper aims to simulate the isotropic elastic damage theory of Liu Jun (2012) using the self-programmed UMAT subroutine in the interface of ABAQUS. Liu Jun (2012)'s method based on the mechanic theory can not be used interactively with the currently commonly used finite element software ABAQUS. The advantage of this method in the paper is that it can interact with ABAQUS and provide a constitutive program framework that can be modified according to user need. The model retains the two scalar damage variables and the corresponding two energy dissipation mechanisms and damage criteria for considering the tensile and compressive asymmetry of concrete. Taking C45 concrete as an example, the relevant damage evolution parameters of its tensile and compressive constitutive model are given. The study demonstrates that the uniaxial tensile stress calculated by the subroutine is almost the same as the Chinese Concrete Design Specification (GB50010) before the peak stress, but ends soon after the peak stress. The stress-strain curve of uniaxial compression calculated by the subroutine is in good agreement with the peak stress in Chinese Concrete Design Specification (GB50010), but there is a certain deviation in the descending stage. In addition, this paper uses the newly compiled subroutine to simulate the shear bearing capacity of the shear key in a new structural system, namely the open-web sandwich slab. The results show that the damage constitutive subroutine has certain reliability.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2005년도 추계종합학술대회
• /
• pp.651-654
• /
• 2005

In this paper, we designed ECC(Elliptic Curve Cryptographic) Processor with Bus-splitting mothod for embedded SoC. ECC SIP is designed by VHDL RTL modeling, and implemented reusably through the procedure of logic synthesis, simulation and FPGA verification. To communicate with ARM9 core and SIP, we designed SIP bus functional model according to AMBA AHB specification. The design of ECC Processor for platform-based SoC is implemented using the design kit which is composed of many devices such as ARM9 RISC core, memory, UART, interrupt controller, FPGA and so on. We performed software design on the ARM9 core for SIP and peripherals control, memory address mapping and so on.

• 정보처리학회논문지D
• /
• 제8D권6호
• /
• pp.665-672
• /
• 2001

정보기술 아키텍처는 정보시스템에 대한 요구사항을 충족시키고, 상호운용성 및 보안성을 보장하기 위한 일환으로 정립된 개념으로서, 조직에서 사용되는 정보들을 지원하기 위한 정보기술과 그 구성요소들을 분석하고 이들간의 관계를 구조적으로 정리한 체계로서 정의된다. 정보기술 아키텍처는 전사적 아키텍처, 기술참조모델, 그리고 표준프로파일로 구성된다. 정보기술 아키텍처의 한 구성요소인 표준프로파일은 정보기술 표준들의 집합이다. 본 논문에서는 정보기술 아키텍처를 구성 및 활용하기 위하여 기술참조모델에 기반을 둔 표준프로파일 관리시스템 구축에 대한 정보기술의 활용에 대해 언급한다. 구현된 표준프로파일 관리시스템은 국내에서 최초로 시도되는 정보기술 아키텍처 분야에 대한 구현으로서, JSP 및 Java와 같은 객체지향 언어를 사용하여 소프트웨어를 설계하였다. 그리고, UML 표기법에 근거한 기본 및 상세 설계서의 작성, 소프트웨어 아키텍처를 구성하는 컴포넌트 및 디자인 패턴을 활용한 시스템 설계로 인하여 소프트웨어의 재사용성을 높였다. 또한, 리눅스의 활용, 국산 데이터 베이스의 사용, 아파치와 탐캣과 같은 공개 소프트웨어의 사용으로 인한 향후 시스템 유지보수비용을 절감할 수 있도록 하였다. 마지막으로 국외 표준정보 제공시스템에서는 찾아볼 수 없는 타기관에서 사용하는 표준정보에 대한 참조시스템이 포함되어있고 표준에 대한 제정 및 개정에 대한 일련의 업무처리를 인터넷으로 지원할 수 있는 모듈과 같은 다양한 부가적인 서비스들이 본 정보시스템에 통합되어있다.

• 한국CDE학회논문집
• /
• 제19권1호
• /
• pp.80-90
• /
• 2014

In architecture projects, BIM library has widely been using for prefabrication of products and design process. However, since the shape of structures is different by each project in civil engineering projects and a shape representation system is complicated, it is not easy to develop a standardized BIM library. To solve these issues, this study develops BIM library based on standardized 2D shop drawings for civil structures. The standardized shop drawings, which are the targets of the BIM library model, should be first selected. Besides, in order to define modeling scope with the level of general and shop drawings for each structure, LOD(Level of Detail) and breakdown structure are determined, and development methods of families of 3D object type including 2D profile and rebar through commercial software are established. With these, properties of BIM library are configured, and a utilization model of the BIM libraries is constructed for 3D modeling and a simulation using the BIM library. Therefore, this study can identify properties that are necessary when IFC schema is configured for civil engineering projects. For future, it is expected that easiness of BIM design for the civil engineering projects and generation, management, and analysis system of BIM library for road projects will be secured.

• 대한전자공학회논문지
• /
• 제23권1호
• /
• pp.1-9
• /
• 1986

This is the third part of the four-part paper describing the development of a packet-switched computer communication network named the KORNET. In this paper we describe the design and implementation of the X.25 protocol connecting packet mode data terminal equipments(PDTE's) with data circuit terminating equipments(DCE's). In the KORNET, the X.25 protocol has been implemented on the line processing module-A(LPMA) of the network node processor(NNP). In the implementation of X.25, we have divided the software module according to the service function, and have determined the the rules that interact between the modules. Each layer protocol has been developed using the technique of the finite state machine. Before the actual coding of softwares, we hafve used formal software development tools based on the specification and description language (SDL) and program design languate (PDL) recommended by the CCITT. In addition, for the efficient operation of the X.25 protocol system we have analyzed the system performance and the service scheduling method of each module. The results will also be given.

• 한국콘텐츠학회논문지
• /
• 제10권6호
• /
• pp.144-155
• /
• 2010

최근 우리 생활에 로봇 시스템이 빠르게 확산되고 있으며, 로봇의 기능성에 대한 사용자의 요구가 증대됨으로써, 로봇 소프트웨어 컴포넌트는 세분화 되고 더욱 복잡하게 되었다. 따라서 표준화된 소프트웨어 플랫폼의 채택이 불가피하게 되었다. OPRoS는 로봇 시스템을 위한 컴포넌트 기반의 개방 표준 소프트웨어 플랫폼으로 소프트웨어 컴포넌트가 개발되면, OPRoS 표준 규격을 따르는 로봇 소프트웨어 컴포넌트의 적합성 검증이 필수적이다. 본 논문에서는 사용자들에 의해 개발된 각 컴포넌트의 적합성을 검증하는 구조적 적합성 테스트 도구에 대한 설계와 구현에 대하여 다룬다. 일부 실험적 테스트의 결과로서 컴포넌트가 표준 요구를 수용하는지, 수용하지 않는지를 본 테스트 도구로서 확인할 수 있었다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1995년도 하계학술대회 논문집 B
• /
• pp.840-842
• /
• 1995

It is very important to understand the 3-dimensional movement of a robot manipulator in developing a robot manipulator system. The robot design software package is required to test the specification. Usually these robot simulators are turn-key based and not possible to be used on the other robot system. The aim of this paper is to develop a general purpose robot simulator. AutoCad is selected for the developing environment to avoid the difficulties of building a cad system from the scratch. Because Autocad provides a semi-open structure to a Lisp programmer, it is quite successful to achieve the goal of building the simulator. At the moment the kinematic analysis is possible on the package. Further study will be advanced to the application and analysis of dynamic area, which would not be that difficult to be implemented, considering the many third party tools available for Autocad.