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

본 논문에서는, 객체 지향 설계 명세서를 대상으로, 안전성 검증 방법을 제안하였다. 먼저 검증의 대상으로 하는 폴트를 명확히 하기 위해, 요구 명세서와 설계 명세서사이에 발생 가능한 불일치를 분석한다. 다음, 설계audtptjdp 포함된 폴트를 발견하기 위한 새로운 설계 레뷰 방법을 제안한다. 제안한 검증 방법의 특징은 검증될 모든 요소가 대상 프로덕트의 요구 명세서, 안전성 기준, 그리고 설계 명세서에 기반을 두고 추출될 수 있다는 것이다. 이러한 정보가 표의 형식으로 작성되기 때문에, 검증 단계를 단순화 할 수 있다. 여기에서, 컴포넌트 라이브러리, 안전성 기준, 그리고 Booch의 설계 방법에 의해 작성된 설계 명세서가 주어졌다고 가정한다. 먼저, 설계 레뷰를 하는 검증자가 정확성 검증표와 안전성 검증표를 작성한다. 한편 설계자는 설계 검증표를 작성한다. 이렇게 작성된 3개의 검증표를 이용하여, 설계 단계에 포함되어 있는 폴트를 검출한다. 마지막으로 Case study를 통하여 제안한 검증방법의 유효성을 평가하였다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 하계종합학술대회 논문집(2)
• /
• pp.173-176
• /
• 2000

Silicon semiconductor technology agree that the number of transistors on a chip will keep growing exponentially, and it is pushing technology toward the System-On-Chip. In SoC Design, Specification at system level is key of success. Executable Specification reduce verification time. This Paper describe the design of IMDCT for MPEG Audio Decoder employing system-level design methodology and Executable Specification Methodology in the VHDL simulator with FLI environment.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권7호
• /
• pp.883-900
• /
• 2004

재사용성과 확장성을 높이는 객체지향 개발이 보편화되면서 새로운 소프트웨어를 개발할 경우 기 개발되어 검증된 객체지향 산출물을 재사용함으로써 개발기간을 단축하고 품질을 향상할 수 있다. 이렇게 성능이 검증된 기 개발된 객체지향 산출물을 이용하여 컴포넌트 기반 모델로 변환하면 짧은 기간에 고품질의 컴포넌트 기반 시스템을 구축할 수 있다. 본 논문에서는 이미 개발되어 있는 객체지향 설계 모델을 이용하여 컴포넌트 기반 설계로 변환하되 변환의 정확성을 위해 정형명세 기법을 사용한다. 컴포넌트 기반 설계를 정형명세하기 위해 컴포넌트 정형명세 언어를 정의한다. 그리고 객체지향 설계의 정적, 동적, 기능적 측면을 정형명세 언어 Object-Z를 사용하여 정형명세하는 기법을 제시한 후, 객체지향 정형명세를 컴포넌트 정형명세로 변환하는 기법을 제시한다. 사례연구는 제시된 변환 기법을 적용하여 객체지향 정형명세가 컴포넌트 기반 정형명세로의 변환과정을 설명한다.

• 한국IT서비스학회지
• /
• 제11권2호
• /
• pp.275-289
• /
• 2012

Although the specification of packaging box is one of the most important process to be considered before deciding cost in terms of production and logistics, there are no efficient services in our country at this time as such the making decision only through the empirical knowledge. In this research, we have developed the packaging specification design system based on the web online packaging IT service. The developed system was advanced from the existing-inefficient process of deciding the specification of packaging box, and which can decide the specification of packaging box considering the efficiency of logistics through use of IT based tool. Therefore, this study shows applied cases of normalized packaging process through the obtained packaging design simulation program. The packaging specification design system can provide the simulation and user interface. Those could calculate the specification of packaging box(packaging box size, packaging box quantity, packaging box pattern, packaging compressive strength, packaging cost etc.) considering the efficiency of logistics.

• 대한안전경영과학회지
• /
• 제13권1호
• /
• pp.203-209
• /
• 2011

This study develops three new models that are practically applicable to three stages of Taguchi's robust design, which includes system design, parameter design and tolerance design. In system design, the Multiple Loss Function Analysis(MLFA) and Overall Loss Index(OLI) which reflect upon weight of characteristics and importance of specification are developed. Moreover parameter design presents Process Capability Index(PCI), $C_{PUK}$ and $C_{PLK}$, in order to segregate Signal-To-Noise Ratio(SNR) into accuracy and precision for an evaluation of relative comparison. In addition, tolerance design presents the new model of allowance computation for assembled product which is primarily derived from safety margin(SM) considering functional limit and specification. The guideline of those three new models, which include systematic charts and applicable illustrations, offers convenience for practitioners in the field. Hence, the practical applications could be made with the steps of robust designs such as system design, parameter design and specification allowance design.

• 정보보호학회논문지
• /
• 제20권1호
• /
• pp.113-121
• /
• 2010

시스템 명세 기법은 시스템의 구조와 행위특성을 형식적인 표현을 통해 제시하기위해 사용되는 시스템 이론 기반의 정형화된 표현 기법이다. 시스템 명세 기법을 시스템의 설계 단계에서 활용할 경우, 계층적이고 모듈화된 시스템에 대한 정의와 유지보수의 용이성 확보가 가능하여 합리적인 개발이 가능하게 된다. 본 연구에서는 개인정보 사용의 위험 상황을 모바일 장치를 이용하여 정보의 소유자에게 알려주고, 이에 대한 응답을 관리하는 기술을 제시하고 있다. 특히, 모바일 장치가 갖는 제약사항을 해결하기 위한 메시지의 형식을 정의하여 제시하였다. 본 기술이 적용된 알람 시스템은 계층적이고 모듈화된 형태로 모델링하기 위해 시스템명세를 기반으로 하였다. 또한, 시스템 명세화 기법 기반의 설계를 통해 알람시스템을 개발하고 본 시스템의 효율성을 검증 하였다. 본 논문의 기여도는 시스템명세기법을 사용한 개인정보 유출상황의 유연성 있는 표현과 관리를 가능하게 한 시스템의 설계 및 구현에 있다.

• 한국디자인학회:학술대회논문집
• /
• 한국디자인학회 1996년도 디자인 학 연구 제 4회 춘계학술연구발표대회 개요 집
• /
• pp.53-54
• /
• 1996

• 대한전자공학회논문지TE
• /
• 제37권5호
• /
• pp.56-61
• /
• 2000

반도체 공정 기술의 발달은 기하 급수적인 집적도의 증가를 가져오고, 이는 한 칩에 시스템을 모두 집적시키는 시스템 온 칩(SoC : System on Chip) 설계가 가능해지고, 이에 따른 설계 방법의 변화를 요구하고 있다. Soc 설계는 시스템에서 설계 사양(Specification)의 정의가 중요한 요소가 되고 있다. 본 논문에서는 MPEG 오디오 복호기에서 사용되는 IMDCT를 시스템 수준의 실행 가능한 설계 사양(Executable Specification)에 의해 설계하였다.

• 한국전자거래학회:학술대회논문집
• /
• 한국전자거래학회 2001년도 International Conference CALS/EC KOREA
• /
• pp.671-679
• /
• 2001

사례연구를 통하여 UML Component Design Process의 일관성 및 정확성을 검증한다. Business Concept Model과 Use Case Model을 이용하여 Component Specification Process의 산출물인 Interface, Component Specification 및 Component Architecture 작성 UML Notation을 확장해서 Component 명세에 적용하는 것이 올바른 것인지 확인한다. <>,<>,<>,<>,<>, <>:로 Component Specification이 충분한지를 확인 OCL을 이용하여 Component Specification 중 Component Specification, Interface Specification, Operation Specification, Constraint, Pre/Post Condition의 정의에 유용한지 확인(중략)

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

Because of the orthotropic elastic properties and significant two-way bending action, orthotropic plate theory may be suitable for describing the behavior of concrete filled grid bridge decks. Current AASHTO LRFD Bridge Design Specification(2004) has live load moment equations considering flexural rigidity ratio between longitudinal and transverse direction, but the Korea highway bridge design specification(2005) doesn't. The Korea highway bridge standard specification LRFD(1996) considers an orthotropic plate model with a single load to estimate live load moments in concrete filled grid bridge decks, which may not be conservative. This paper presents live load moment equations for truck and passenger car, based on orthotropic plate theory. The equations of truck model use multiple presence factor, impact factor, design truck and design tandem of the Korea highway bridge standard specification LRFD(1996). The estimated moments are verified through finite-element analyses.