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

분석 모델은 오직 시스템의 기능적 요구사항에 초점을 두며, 비 기능적인 요구사항과 구현과 관련된 이슈들은 이후의 설계 작업이 착수될 때까지 미루어진다. 설계 활동은 분석 모델을 상세화하고 명확하게 하는 방식으로 수행된다. 따라서, 분석 모델의 품질은 설계 모델에 지대한 영향을 미친다. 그러므로, 정확한 분석 모델을 구축하기 위하여 많은 노력을 기울여야 한다. 본 논문에서는 전형적인 객체지향 개발 방법론의 분석 모델이 항상 충족해야 하는 구조적 제약 사항을 제안한다. 제약 사항은 개별 클래스에 관한 제약사항, 클래스간의 관계에 대한 제약 사항과 클래스의 사용에 대한 제약사항으로 분류된다. 각 제약사항 변로 정형적인 정의와 OCL을 이용한 기술이 제공된다. 또한, 2개의 산업체 프로젝트를 대상으로 수행된 사례 연구를 통하여 제안된 기법이 객체지향 분석 모델에 존재하는 심각한 오류를 발견하고 이를 수정하는 데 도움을 줄 수 있음을 보여 준다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제5권5호
• /
• pp.595-610
• /
• 1999

본 논문에서는 기존 실시간 객체행위 설계기법에 의해 개발된 객체행위챠트의 설계의미를 검증 확인하기 위한 시각적 시뮬레이션 도구를 제안한다. 이 도구의 특징은 실행 가능한 시뮬레이션 기계 즉, 확장된 유한상태기계 생성에 의한 객체들간의 동적인 상호작용을 시각적으로 시뮬레이션할 수 있게 하며, 실제 시스템 구현에 앞서 시각적 객체행위챠트에 여러 가지 논리적, 시간적 문제들을 검출할 수 있게 하는 것이다. 이를 위해, 이 도구에서는 시각적 객체행위챠트로부터 LOTOS 정형명세를 자동으로 생성한 다음 그 명세를 확장된 유한상태기계로 변환한다. 이 도구는 Visual C++ 버전 4.2로 개발되었으며, 현재 PC 윈도우95 환경에서 수행된다. 그리고, 특별히 시뮬레이션을 위해 LOTOS 정형성을 이용하였는데, 이것은 LOTOS의 통신 프로토콜 표현력이 다른 정형언어들에 비해 우수성이 있기 때문이다. 본 연구는 방법론 기반 시각모델과 정형기법 기반 시뮬레이션 기술의 연결이라는 점과 시각모델의 자동화된 검증 확인 기술의 실현이라는 점에서 기여한다.

• 한국지능시스템학회논문지
• /
• 제27권1호
• /
• pp.35-41
• /
• 2017

본 연구는 모델기반설계 기법을 이용하여 자동차 클러스터의 감시 및 제어를 하는 스테이션을 설계한다. 설계 도구로 매트랩 GUI(Graphic User Interface), M 프로그램, 시뮬링크(simulink), 스테이트 플로우(state flow), 툴박스(tool box)를 사용하여 실제 자동차 클러스터 시스템과 연동하여 자동차에서 들어오는 경고, 인터럽트 등의 각종 정보 등을 감시한다. 감시 수단으로는 PC(Personal Computer) 스테이션을 사용하여 자동차 클러스터 설계 시 툴 박스의 인터페이스 명령함수가 실제 자동차 클러스터 시스템과 연동하게 한다. 따라서, 기존의 텍스트 방식과 달리 모델기반설계로 개발된 자동차 클러스터 시스템은 각 기능 및 알고리즘을 블록과 상태플로우로 프로그램에 따라 작성하기 때문에 알고리즘의 수정이나 기능 추가가 용이하며, 또한, PC를 통해 모니터 상에서 동작 알고리즘을 검증하기 때문에 클러스터의 개발과 수정에 따른 많은 시간과 비용을 절감할 수 있는 효과를 준다.

• 사물인터넷융복합논문지
• /
• 제8권5호
• /
• pp.33-39
• /
• 2022

모바일 컴퓨팅 분야에서 사용되는 저장장치는 저전력, 경량화, 내구성 등을 갖추어야 하며 사용자에 의해 생성되는 대용량 데이터를 효과적으로 저장 및 관리할 수 있어야 한다. 낸드 플래시 메모리는 모바일 컴퓨팅 분야에서 저장장치로 주로 사용되고 있다. 낸드 플래시 메모리는 구조적 특징 때문에 데이터 갱신요청 시 제자리 덮어쓰기가 불가능하여 데이터 갱신요청이 자주 발생하는 요청과 그렇지 않은 요청을 정확히 구분하여 각 블록에 저장 및 관리함으로써 해결할 수 있다. 이러한 데이터 갱신요청에 분류기법을 핫 데이터 식별 기법이라고 하며 현재 다양한 연구가 진행되었다. 본 논문은 더 정확한 핫 데이터 검증을 위해 카운팅 필터를 사용하여 데이터 갱신요청 발생을 연속적으로 기록하고 또한 특정 시간 동안 요청된 갱신요청이 얼마나 자주 발생하는지를 고려하여 핫 데이터를 검증한다.

• 대한안전경영과학회지
• /
• 제15권3호
• /
• pp.61-69
• /
• 2013

According to ISO 26262 (the international standard on functional safety for automotive industry), the functional safety should be considered during the whole automotive systems life cycle from the design phase throughout the production phase. In order to satisfy the standard, the automotive and related industry needs to take appropriate actions while carrying out a variety of development activities. This paper presents an approach to coping with the standard. Analyzing the standard indicates that the safety issues of the automotive systems should be handled with a system's view whereas the conventional approach to solving the issues has been practiced with focus on the component's level. The aforementioned system's view implies that the functional safety shall be incorporated in the system design from both the system's life-cycle view and the hierarchical view for the structure. In light of this, the systems engineering framework can be quite appropriate in the functional safety development and thus has been taken in this paper as a problem solving approach. Of various design issues, the analysis and verification of the safety requirements for functional safety is a key study subject of the paper. Note, in particular, that the conventional FMEA (failure mode effects analysis) and FTA (fault tree analysis) methods seem to be partly relying on the insufficient experience and knowledge of the engineers. To improve this, a systematic method is studied here and the result is applied in the design of an ABS braking system as a case study.

• 한국안전학회지
• /
• 제27권5호
• /
• pp.219-223
• /
• 2012

For an off-site consequence analysis at nuclear power plant, MELCOR Accident Consequence Code System(MACCS) II code is widely used as a software tool. In this study, the algorithm of web-based off-site consequence analysis program(OSCAP) using the MACCS II code was developed for an Integrated Leak Rate Test (ILRT) interval extension and Level 3 probabilistic safety assessment(PSA), and verification and validation(V&V) of the program was performed. The main input data for the MACCS II code are meteorological, population distribution and source term information. However, it requires lots of time and efforts to generate the main input data for an off-site consequence analysis using the MACCS II code. For example, the meteorological data are collected from each nuclear power site in real time, but the formats of the raw data collected are different from each site. To reduce the efforts and time for risk assessments, the web-based OSCAP has an automatic processing module which converts the format of the raw data collected from each site to the input data format of the MACCS II code. The program also provides an automatic function of converting the latest population data from Statistics Korea, the National Statistical Office, to the population distribution input data format of the MACCS II code. For the source term data, the program includes the release fraction of each source term category resulting from modular accident analysis program(MAAP) code analysis and the core inventory data from ORIGEN. These analysis results of each plant in Korea are stored in a database module of the web-based OSCAP, so the user can select the defaulted source term data of each plant without handling source term input data.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2013년도 춘계학술대회
• /
• pp.975-977
• /
• 2013

아두이노는 오픈 소스 기반 전자 프로토타이핑 플랫폼으로서, 예술가, 디자이너, 취미 활동가 등 인터랙티브 객체 또는 환경 구축에 관심이 있는 모든 이들을 위해 제작되었다. 아두이노의 강점은 하드웨어에 대한 깊은 지식이 없어도 손쉽게 하드웨어 어플리케이션을 제작할 수 있다. 아두이노의 구성은 AVR 마이크로컨트롤러 ATmega 168을 사용하며 아두이노를 동작시키기 위한 소프트웨어로는 아두이노 프로그램, MATLAB, Processing을 주로 사용하고 있다. 아두이노는 오픈 소스 기반이며 하드웨어를 직접 제작할 수 있거나 실드를 이용하여 추가적으로 아두이노를 결합할 수도 있다. Processing은 오픈 소스로 공개되어 있으며 2D, 3D, PDF 출력을 사용할 수 있으며 그래픽 처리 부분은 P3D와 OpenGL을 사용한다. 또한 독립 응용프로그램을 실행해서 확인할 수 있다. 아두이노의 결합을 통해 사운드, 비디오, 컴퓨터 비전 등 수 많은 라이브러리 지원을 확장할 수 있으며 안드로이드폰과 아이폰 프로그래밍이 가능한 프로그램이다. 본 논문에서는 소프트웨어 부분은 Processing을 사용하였고 하드웨어 부분은 아두이노 MegaADK 보드를 사용하였으며 이 소프트웨어와 하드웨어를 이용하여 간단한 2차원 게임을 제작한 후 전체적인 아두이노와 Processing의 그래픽 처리 성능을 확인하고 검증하였다.

• 정보처리학회논문지D
• /
• 제18D권6호
• /
• pp.451-460
• /
• 2011

지속적으로 변경되는 소프트웨어 산출물들의 변경 이력과 의존 관계를 추적하는 능력은 소프트웨어 시스템 개발 프로세스에서 확인 및 검증, 시험과 같은 품질관리 활동들을 지원하는 중요한 요소로 인식되고 있다. 일반적인 소프트웨어 형상관리 시스템들은 산출물에 대한 추적 정보를 형상관리 시스템 내에서만 제공하고 있으며 개인의 작업공간에서 발생한 개별적인 변경까지 추적하는 기능은 지원하지 못하고 있다. 본 연구를 통해 형상관리 시스템과 개인의 작업공간을 통합함으로써 형상항목에 대한 변경뿐만 아니라 개인의 작업공간에 존재하는 산출물들의 변경 이력까지 추적할 수 있도록 하였다. 더 나아가 소프트웨어 산출물들이 동시에 생성되어 하나의 형상항목에 포함되는 경우 이들 산출물들의 버전 링크를 식별함으로써 산출물들 사이의 의존 관계를 추적할 수 있도록 하였다. 형상관리 시스템과 개인 작업공간의 통합을 위해 형상항목의 수정버전(revision)을 작업공간에 존재하는 산출물들의 버전에 태그로 연결시켰으며, 통합 변경 과정에서 산출물들에 대한 변경 이력 및 의존 관계의 효율적인 추적이 가능하도록 하였다.

• 한국항공우주학회지
• /
• 제48권8호
• /
• pp.631-640
• /
• 2020

현재 항공기 시뮬레이터는 실제 항공기를 이용한 조종사 훈련에 비해 경제적, 시간적 및 공간적 비용 측면에서 상당한 이점을 가지고 있어서 많은 관심을 받고 있다. 항공기 시뮬레이터의 구성 요소 중 비행역학 모델은 실제 항공기의 비행을 모의하는데 중요한 역할을 한다. 따라서 자동화된 도구를 사용하여 비행역학 모델의 충실도를 검증하는 것은 중요한 의미를 지닌다. 본 논문에서는 항공기 시뮬레이터의 효율적인 개발을 위하여 비행역학 모델의 충실도를 자동 검증하는 소프트웨어를 개발한다. 충실도 검증 프로세스로부터 도출된 요구사항에 대하여 소프트웨어 구조 및 GUI를 설계한 다음 Window 기반 환경에서 C# 언어를 이용하여 소프트웨어를 구현한다. CTSW 기종에 대한 실험 결과는 개발된 소프트웨어가 기능 및 성능, 그리고 사용자 편의성 측면에서 효과적임을 보여준다.

• 한국전자파학회논문지
• /
• 제27권10호
• /
• pp.917-925
• /
• 2016

슈미트 트리거 로직(Schmitt Trigger Logic)은 디지털 회로의 노이즈에 대한 내성을 향상시키기 위해 히스테리시스 특성을 보이는 게이트를 제안한 설계 방법이다. 슈미트 트리거 특성을 보이는 설계 방법 중 최근에 제안된 substrate bias를 조정하여 구현하는 Dynamic Threshold voltage MOS(DTMOS) 방법을 사용할 경우, 게이트 수를 늘이지 않고 내성을 향상 시킬 수 있는 설계방법이나, 범용 CMOS 공정에서 구현하여 시뮬레이션으로 예상하는 성능을 얻을 수 있는지는 검증되지 않았다. 본 연구에서는 $0.18{\mu}m$ CMOS 공정에서 DTMOS 설계 방법을 구현하여 히스테리시스 특성을 측정하여 검증하였다. DTMOS 슈미트 트리거 버퍼, 인버터, 낸드, 노어 게이트 및 간단한 디지털 로직 회로를 제작하였으며, 히스테리시스 특성, 전력 소모, 딜레이 등의 특성들을 관찰하고, 일반적인 CMOS 게이트로 구현된 회로와 비교하였다. 노이즈에 대한 내성이 향상되는 것을 Direct Power Injection(DPI) 실험을 통해 확인하였다. 본 논문을 통해 제작된 DTMOS 슈미트 트리거 로직은 10 M~1 GHz 영역에서 전자파 내성이 향상된 것을 확인할 수 있었다.