• 정보처리학회논문지D
• /
• 제14D권1호
• /
• pp.83-88
• /
• 2007

본 논문에서는 MDA(Model Driven Architecture) 기반의 임베디드 소프트웨어 컴포넌트 개발 방법을 소개한다. 이 방법은 이종의 임베디드 시스템에서 소프트웨어의 재사용성에 관한 문제점을 해결하고자 MDA기법을 임베디드 소프트웨어 개발에 적응한 것이다. 제안한 방법을 통해 하나의 메타 모델(Target Independent Model)을 각각의 다른 도메인에 맞는 타겟 종속적 모델(Target Specific Model)들을 만들고, 그에 따른 소스 코드(Target Dependent Code)를 개발하는 것이다. 이때 기 개발된 메타모델은 이종의 임베디드 시스템 개발에 재사용하려는 것이 목적이다. 우리는 이 방법에 따른 도구에 기존 xUML의 동적 모델링에서 표현되지 못하는 부분(병렬성, 실시간 등)을 보완하기 위해 확장하여 채택하였다. 확장된 xUML 노테이션을 기반으로 구현한 모델링 도구를 소개한다. 이는 임베디드 또는 병렬/실시간 소프트웨어의 모델링이 가능하다. 제안한 방법의 적응사례로서 이종 임베디드 시스템의 모델링을 통한 필드 개발을 보여준다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2009년도 제40회 하계학술대회
• /
• pp.1658_1659
• /
• 2009

PLS(Pohang Light Source) will begin the PLS-II project that has been funded by the KOREA Government in order to further upgrade the PLS which has operated since 1992. The control system of the PLS-II has distributed control architecture, with two layers of hierarchy; operator interface computer (OIC) layer and machine interface computer (MIC) layer. The OIC layer is based on SUN workstation with UNIX. A number of PC-based consoles allow to remotely operating the machine from the control room. PC-based consoles use the Linux or Windows operation system. Similar consoles in the experimental hall are used to control experiments. The MIC layer is directly interfaced to individual machine devices for low-level data acquisition and control. MIC layer is based on VMEbus standard with vxWorks real-time operating system. Executable application software modules are downloaded from host computers at the system start-up time. The MIC's and host computers are linked through Ethernet network. It should enable the use of hardware and software already developed for specific light source requirements. The core of the EPICS (Experimental Physics and Industrial Control System)[1] has been chosen as the basis for the control system software.

• 한국산학기술학회논문지
• /
• 제22권4호
• /
• pp.331-337
• /
• 2021

무기체계 개발단계에서 전력화 공백을 방지하기 위한 제한된 개발기간 및 예산으로 인하여, 모든 운용환경을 반영하지 못한 설계내용, 예기치 못한 운용자의 실수 등으로 비롯되어 무기체계 양산 이후 운용단계에서 많은 문제점이 발생되고 있고, 그에 따른 기술변경 역시 증대되고 있다. 하지만 기술변경 시 수행되는 체계장비의 문제원인 분석 및 개선에 대한 내용들이 종합적으로 관리되지 못함으로써, 타 체계에 부착되는 유사장비들 개발 시 활용될 수 있는 중요한 실전 데이터가 일회성으로만 사용되고 있는 현실이다. 특히나 장비의 형상이 변경되거나 제품번호가 변경되는 하드웨어와 달리 소프트웨어 기술변경 내용은 심의제안서 상에 일부만 포함되며, 소스패키지와 실행파일의 버전이 변경되는 정도만 식별되는 상황이다. 따라서 본 논문에서는 무기체계 소프트웨어 기술변경 원인분석 및 개선방안 데이터와 소프트웨어 기술지원 결과에 대한 데이터베이스를 구축하고, 활용할 수 있는 방안을 제시한다. 위 활용방안을 통해 양질의 실전데이터를 유사장비 개발 시 선제적으로 적용함으로써 향후 개발되는 무기체계 소프트웨어 품질 확보에 기여할 수 있음을 보인다.

• 제어로봇시스템학회논문지
• /
• 제3권2호
• /
• pp.187-196
• /
• 1997

This paper presents a semi-automatic methodology to synthesize executable digital controller saftware in a multi-loop control system. A digital controller is described by a task graph and end-to-end timing requirements. A task graph denotes the software structure of the controller, and the end-to-end requirements establish timing relationships between external inputs and outputs. Our approach translates the end-to-end requirements into a set of task attributes such as task periods and deadlines using nonlinear optimization techniques. Such attributes are essential for control engineers to implement control programs and schedule them in a control system with limited resources. In current engineering practice, human programmers manually derive those attributes in an ad hoc manner: they often resort to radical over-sampling to safely guarantee the given timing requirements, and thus render the resultant system poorly utilized. After task-specific attributes are derived, the tasks are scheduled on a single CPU and the compiled kernel is synthesized. We illustrate this process with a non-trivial servo motor control system.

• 조명전기설비학회논문지
• /
• 제13권2호
• /
• pp.1-6
• /
• 1999

평균조도 및 휘도의 계산은 어느 정도 그래픽(graphical)적인 방법 등에 의해서 이루어질 수 있으나, 매우 광범위한 장소에 대한 계산에는 적절한 소프트웨어가 필요하다. 이러한 소프트웨어는 해외에서 이미 개발되어 있으나, 국내에서 설계하기에 적합한 다기능의 프로그램은 없었다. 이에 따라 한글 윈도우에서 실행될 수 있는 형태가 되도록 하는 것을 목표로 하여 프로그램을 개발하였으며, 도로면의 휘도 및 조도 분포뿐만 아니라. ?균 휘도, 평균 조도, 전반 균제도와 차선축 균제도, 임계 휘도 증분, 광막 휘도, 눈부심 등의 계산을 수행하는 프로그램(Lighting Analysis program for Poad, LAPRoad)을 개발하였다. 또한 휘도 계산에 잇어서 노면의 반사 특성은 매우 중요하기 때문에 그 특성을 측정할 수 있는 기구를 개발하고, 콘크리트 도로 반사 특성을 측정하였다.

• 한국정보과학회논문지:정보통신
• /
• 제28권3호
• /
• pp.297-308
• /
• 2001

본 논문에서는 SDT를 이용하여, WAP 포럼에서 제안한 WTP 프로토콜을 설계, 검증 및 구현하였다. 이를 위하여 무선 트랜잭션 프로토콜을 형식 명세 언어인 SDL로 모델링하였으며, UDP 플랫폼상에서 동작하는 무선 트랜잭션 프로토콜 소프트웨어를 생성하기 위한 환경함수를 설계 및 구현하였다. 또한, 무선 트랜잭션 프로토콜 서비스를 사용하여 통신 응용 프로그램을 작성할 수 있도록 개발 환경을 제공하기 위해 응용프로그래밍 인터페이스를 설계하였다. 그리고 시험 도구인 ITEX를 이용하여 구현된 프로토콜이 규격에 일치하여 동작하는지 검사하는 적합성 시험을 수행하였다. 이를 위하여 시험 언어인 TTCN으로 추상적 시험 스위트를 작성하였고 시험 언어 컴파일러를 이용하여 실행 가능한 시험 스위트를 생성하였다.

• Journal of Computing Science and Engineering
• /
• 제9권3호
• /
• pp.142-154
• /
• 2015

Fault localization techniques help locate faults in source codes by exploiting collected test information and have shown promising results. To precisely locate faults, the techniques require a large number of test cases that sufficiently exercise the executable statements together with the label information of each test case as a failure or a success. However, during the process of software development, developers may not have high-coverage test cases to effectively locate faults. With the test case generation techniques, a large number of test cases without expected outputs can be automatically generated. Whereas the execution results for generated test cases need to be inspected by developers, which brings much manual effort and potentially hampers fault-localization effectiveness. To address this problem, this paper presents a method to select a few test cases from a number of test cases without expected outputs for result inspection, and in the meantime selected test cases can still support effective fault localization. The experimental results show that our approach can significantly reduce the number of test cases that need to be inspected by developers and the effectiveness of fault localization techniques is close to that of whole test cases.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 가을 학술발표논문집 Vol.34 No.2 (C)
• /
• pp.546-551
• /
• 2007

소프트웨어 버스마크는 프로그램을 식별하는데 사용될 수 있는 프로그램의 고유한 특징을 말한다. 본 논문에서는 windows PE(Portable Executable) 파일의 API에 대한 정보를 가지는 임포트 테이블에 기반한 프로그램 버스마킹 기법을 제안한다. 버스마크의 신뢰도를 높이기 위한 방법으로 대부분의 Windows 프로그램에서 사용되는 범용의 API는 버스마크에서 제외시키고 프로그램 개개의 특성을 나타낼 수 있는 특화된 API에 초점을 맞추어서 비교하는 방법을 사용한다. 본 논문에서 제안한 버스마킹 기법을 평가하기 위해서 다양한 카테고리의 Windows 프로그램에 대해서 실험을 하였다. 신뢰도를 측정하기 위해서 같은 프로그램에 대해서 버전별로 비교를 하였고, 프로그램의 분류에 따라서 유사한 카테고리와 다른 카테고리에 대해서 비교를 하였다. 프로그램의 변환이나 난독화에도 견딜 수 있는 강인도(Resilience)를 평가하기 위해서 서로 다른 컴파일러를 사용하여 생성된 프로그램에 대해서 비교를 하였다. 실험 결과에서 본 논문에서 제안하는 버스마크가 프로그램의 특징을 충분히 표현하고 있음을 보여준다.

• International Journal of CAD/CAM
• /
• 제9권1호
• /
• pp.121-128
• /
• 2010

The purpose of this study is to clarify the mechanical behavior of human lumbar vertebrae (L3/L4) with and without fusion bone under physiological axial compression. The author has developed the program code to build the patient specific three-dimensional geometric model from the computed tomography (CT) images. The developed three-dimensional model provides the necessary information to the physicians and surgeons to visually interact with the model and if needed, plan the way of surgery in advance. The processed data of the model is versatile and compatible with the commercial computer aided design (CAD), finite element analysis (FEA) software and rapid prototyping technology. The actual physical model is manufactured using rapid prototyping technique to confirm the executable competence of the processed data from the developed program code. The patient specific model of L3/L4 vertebrae is analyzed under compressive loading condition by the FEA approach. By varying the spacer position and fusion bone with and without pedicle instrumentation, simulations were carried out to find the increasing axial stiffness so as to ensure the success of fusion technique. The finding was helpful in positioning the fusion bone graft and to predict the mechanical stress and deformation of body organ indicating the critical section.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2001년도 추계학술발표논문집 (상)
• /
• pp.355-358
• /
• 2001

본 논문은 순환공학 환경에서 실시간 시스템 개발 및 검증을 위한 실행코드 생성기 구현과정에서 ATM(Abstract Timed Machine)으로 명세된 실시간 시스템에 대한 정형명세와 명세분석을 통해 생성된 SRL(Software Representation Language) 코드로부터 실행코드로의 변환을 위해 필요한 정보들을 명세하고 이들의 추출 방법을 제시한다. ATM정형기법을 적용하여 실시간 시스템 개발 및 검증을 위해서는 시스템 명세도구나 명세분석을 위한 분석기, 코드 생성기, 검증기 등과 같은 자동화 도구의 개발이 요구된다. 따라서, 본 논문에서는 순환공학 환경에서의 실시간 시스템의 효율적 개발 및 검증을 위하여 사용될 실행코드 생성기 구현을 위하여, 특정 물리적 환경에서의 실시간 시스템을 명세한 DoME/ATM 스크립트 코드에 대한 SRL 코드로의 변환 시 필요한 정보들을 추출하고, 이를 기반으로 SRL 분석기와 SRL 파스트리 생성기를 이용한 Ada 실행코드로의 변환 시 필요한 실행코드 모듈구조 및 실행구문, 코드 실행 우선순위 결정 둥과 같은 관련된 정보들의 추출 방법을 제시한다.