• Annual Conference on Human and Language Technology
• /
• 2020.10a
• /
• pp.215-219
• /
• 2020

현재 한글 언어학 영역에서는 많은 언어 분석 연구가 수행되었다. 또한 소프트웨어공학의 요구공학 영역에서는 명료한 요구사항 정의와 분석이 필요하고, 비정형화된 요구사항 명세서로부터 테스트 케이스 추출이 매우 중요한 이슈이다. 즉, 자연어 기반의 요구사항 명세서로부터 원인-결과 그래프(Cause-Effect Graph)를 통한 의사 결정 테이블(Decision Table) 기반 테스트케이스(Test Case)를 자동 생성하는 방법이 거의 없다. 이런 문제를 해결하기 위해 '한글 언어 의미 분석 기법'을 '요구공학 영역'에 적용하는 방법이 필요하다. 본 논문은 비정형화된 요구사항으로부터 테스트케이스 생성하는 과정의 중간 단계인 요구사항에서 문장 의미 모델(Sentence Semantic Model)을 자동 생성하는 방법을 제안 한다. 이는 요구사항으로부터 생성된 원인-결과 그래프의 정확성을 검증할 수 있다.

• Annual Conference of KIPS
• /
• 2021.11a
• /
• pp.440-442
• /
• 2021

농업에 ICT 기술을 접목한 스마트팜은 단순한 생육 환경 모니터링에서 벗어나 작물 생육을 위한 최적의 환경을 발견하고 인공지능에 기반한 자율제어가 가능한 농업으로 나아가고 있다. 자율제어가 가능한 농업의 시작은 최적의 작물 생육 환경을 아는 것이다. 이를 위해서는 관련 데이터를 수집하는 것도 중요하지만, 수집된 데이터들의 품질을 검증하고 데이터를 분석하여 작물 생육 환경을 제어하기 위한 유용한 정보를 도출해야 할 필요가 있다. 본 연구에서는 사용자들이 수집한 데이터를 활용하여 작물 생장에 필요한 정보를 얻을 수 있도록 지원하는 애플리케이션의 프로토타이핑 결과를 기술한다. 이 시스템에서 사용자는 웹브라우저를 통해 수집된 데이터들을 입력하고 원하는 분석을 요청하게 되고, 서버는 사용자의 요청과 관련된 R 스크립트를 실행하고 분석 결과를 사용자에게 전달한다.

• Annual Conference of KIPS
• /
• 2021.11a
• /
• pp.574-576
• /
• 2021

본 논문에서는 딥러닝을 이용한 구글 ML Kit 를 이용하여 직접적이고 효과적인 졸음운전 예방기술을 구현하였다. 본 연구에서는 눈 상태를 인식하여 졸음을 감지하고 경보음을 발생시켜 교통사고 안전성 향상을 위한 방안을 제안하고 구현하였다. 또한, 정부 공공데이터 활용을 통해 성능테스트를 진행하여 시스템의 성능을 검증하였다.

• Annual Conference of KIPS
• /
• 2007.11a
• /
• pp.538-541
• /
• 2007

최근 SoC 기술이 발달하면서, 내장형 시스템을 위한 프로세서 개발이 활발해졌다. 새로운 프로세서가 개발되면, 운영체제 및 소프트웨어 개발을 위해 컴파일러 및 디버거가 필요하다. 컴파일러는 소스코드를 타겟 프로세서에서 실행 가능한 목적파일로 변환하고, 디버거는 프로그램의 개발에서 오류를 찾기 위한 도구로 소프트웨어 개발에 매우 중요한 도구들이다. 본 논문에서는 KAIST에서 개발하는 32bit 프로세서인 Core-A를 위한 소프트웨어 디버거를 설계 및 구현한다. Core-A용 디버거는 공개 소스 디버거 시스템인 GDB를 참조모델로 했으며, 레지스터와 메모리 맵과 같은 프로세서 종속적인 부분을 확장하고 외부 인터페이스 모듈과 같은 프로세스 독립적인 모듈은 재사용함으로써 개발기간을 단축시켰다. 그리고 Core-A용 디버거의 검증을 위해 상용 디버거 시스템인 ARM용 AXD 디버거와 비교 실험을 진행하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.454-456
• /
• 2004

데이터베이스에 대한 제약사항들은 소프트웨어의 개발 및 사용에 있어 개발자와 사용자가 모두 참고해야 하는 중요한 사항임에도 불구하고 데이터베이스 모델링괴 소프트웨어 모델링의 불일치 및 표현 방법의 차이로 인해, 일관성 있는 제약사항 명세 및 설계에 많은 어려움을 겪어왔다. OCL(Object Constraint Language)은 객체의 제약사항을 표현하는 언어로서 UML(Unified Modeling Language)의 일부분이다. 본 논문은 객체의 제악사항을 표현하는데 사용하던 OCL을 데이터베이스의 제악사항을 설계에 일관성 있게 표현, 반영하기 위하여 사용하는 기법을 제시하고, 이에 대한 검증을 수행하는 방법에 대한 연구이다. 본 논문에서는 요구사항에서 추출한 데이터베이스의 제악사항을 정의한 규칙에 따라 추출해내고, 이를 OCL의 표현법을 이용하여 정형적으로 표현한다. 그리고 그 OCL의 형식적 표현을 ODL(Object Description Language)로 정의하는 기법을 정의함으로서 이에 대한 일관성 검증을 수행하는 기법을 제안한다.

• The Journal of Korean Association of Computer Education
• /
• v.7 no.6
• /
• pp.129-139
• /
• 2004

In developing highly reliable systems such as C4I systems formal methods provide both developers and clients with assurance that they are in the right development processes. This paper investigates into techniques for formal specifications and tests for software components where rigorous verification is required. In particular, the paper suggests decomposition techniques for state-model based specifications using the weakest precondition, and suggests test methods for the specification by generating black box test-cases.

• Bulletin of the Korean Space Science Society
• /
• 2011.04a
• /
• pp.26.1-26.1
• /
• 2011

위성 편대비행 시스템에서 궤도 및 자세의 결정과 제어를 동시에 시뮬레이션 할 수 있는 통합 시스템을 설계하고 개발하였다. 실제 위성에서는 궤도 제어가 수행되는 동안 자세는 계속 변한다. 그러므로 임무수행을 위해 편대위성들의 자세를 동기화하기 위해서는 편대위성들의 자세 결정과 제어가 필요하다. 이와 같이 실제와 같은 시뮬레이션을 위해서, 궤도 및 자세의 결정과 제어를 동시에 수행할 수 있는 통합된 시뮬레이터 시스템이 필요하다. 통합 시뮬레이터 시스템의 개발은 기존에 연세대학교에서 개발한 GPS 시뮬레이터를 이용한 편대비행 테스트베드와 하드웨어 자세 시뮬레이터를 각각 보완한 후 통합하는 방법으로 수행하였다. 이 두 시스템은 서로 독립적으로 개발되었기 때문에 통합을 위하여 하드웨어 인터페이스와 소프트웨어 인터페이스 부분으로 나누어 설계와 개발을 수행하고, 최종적으로 결합하는 절차로 통합을 완료하였다. 마지막으로 개발된 통합 시뮬레이터 시스템과 통합 시나리오를 사용하여 궤도와 자세를 동시에 시뮬레이션 하고, 이를 통해 개발된 통합 시스템을 검증하였다. 이 연구를 통해 개발된 궤도와 자세가 통합된 하드웨어 시뮬레이터 시스템은 실제 위성에 가까운 시뮬레이션을 수행할 수 있을 뿐만 아니라 하드웨어와 소프트웨어 인터페이스에 대한 검증이 가능하고 실제의 하드웨어 특성으로부터 생기는 에러를 고려하여 알고리즘의 실제 성능을 평가할 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06b
• /
• pp.81-86
• /
• 2008

SPIN은 소프트웨어 정확성 검사에 널리 사용되는 모델 검증 도구이다. 특히 C 코드로 작성된 소프트웨어를 효율적으로 검사하기 위해서 SPIN의 입력 언어인 Promela 모델에 C 코드를 끼워 넣는 기능이 버전 4.0 이상에서 지원되고 있다. 본 논문에서는 이러한 기능을 미로 게임 풀이에 적용하였다. 그 결과, Promela 모델만을 사용해서 풀이한 것보다도 모델에 C 코드를 끼워 풀이한 것이 메모리 사용 및 처리 시간에서 월등히 우수했다. 메모리와 시간과 같은 객관적인 성능 향상과 더불어서, 이러한 사례 연구는 모델 검증 도구 및 추상화 학습에도 유용함을 경험했다.

• The KIPS Transactions:PartD
• /
• v.8D no.1
• /
• pp.62-70
• /
• 2001

Correct descriptions for software component functions become a strong requirement in developing critical software especially on the area of real-time applications. In this paper, we introduce both formalization of software design using patterns and verification methods in order for the components to increase their understandability. In particular, the paper investigates into a means of formal description techniques based on VDM++ for the software components, and provides adequacy proof steps for a given functional descriptions.

• Proceedings of the IEEK Conference
• /
• 2008.06a
• /
• pp.425-426
• /
• 2008

본 논문에서 설계한 802.11 MAC(Medium Access Control)은 하드웨어와 소프트웨어의 통합 구조로 되어 있다. MAC에서 가장 빠르게 동작해야 하는 프레임 전송과 수신블록은 하드웨어로 설계를 하였고, 그 외에는 소프트웨어로 설계가 되었다. 하드웨어로 설계된 MAC은 802.11 표준문서에 포함된 SDL(Specification and Description Language)을 기초하여 설계하였으며, 성능 향상을 위하여 수신블록의 중복 프레임 검사를 수행하는 블록과 프레임을 분석하여 정보를 추출하는 블록을 SDL과 다르게 설계 하였다. 삼성 0.35공정 라이브러리를 이용하여 합성한 결과 3만 게이트의 크기를 갖으며, 최대 동작 주파수는 100MHz이다. 메모리는 47Kbits SRAM을 사용하였다. 실제동작의 검증에 앞서 Mentor Graphics사의 ModelSim을 이용하여 시뮬레이션을 수행하였으며, 동작 검증은 Huins 사의 Altera Excalibur FPGA가 탑재된 XP8000 보드를 이용하여 이루어 졌다.