• Proceedings of the KAIS Fall Conference
• /
• 2010.11a
• /
• pp.163-167
• /
• 2010

최근 컴퓨터시스템으로 전환되고 있는 열차제어시스템에서 소프트웨어에의 의존성이 급격히 증가함에 따라 임베디드화된 열차제어 소프트웨어 신뢰성과 안전성의 검증이 중요한 문제로 대두되기 시작했다. 이에 따라 열차제어 소프트웨어 관련 국제표준에서도 각종 소프트웨어 테스트 및 검증활동을 요구하고 있으며, 이에 대응하여 본 논문에서는 열차제어시스템 소프트웨어 테스트 커버리지 자동화 도구 및 기준 분석과 개발 결과에 대해 제시하고 있다. 본 논문에서는 열차제어 소프트웨어 안전성 검증을 위한 정량적인 항목으로 매우 중요한 테스트 커버리지를 자동으로 측정할 수 있는 제어흐름 분석도구를 개발하였으며, 본 도구의 결과를 실제 철도 산업 현장에서 활용하기 위해 타분야 제시 기준 등을 분석하여 철도 소프트웨어 안전무결성레벨(SWSIL)에 따른 판단 기준을 제시하였다.

• Journal of KIISE:Software and Applications
• /
• v.36 no.9
• /
• pp.758-766
• /
• 2009

In this days, the concept of time-to-market is important in embedded systems in consumer electronics. According to the short time of development period, it is also important in development of Software Development toolkits (SDKs). However, it is not improved to the development time of SDKs specialized in new processors. In this point, the Architecture Description Language (ADL) is an alternative to relieve the pain of building the SDKs as the required SDKs can be automatically generated from ADL for the processor. In this paper, we automatically generate SDKs specialized in processors using GNU Binutils. Through this research, we can more easier and faster produce the SDKs such as assembler and linker than by using handcrafted code.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.337-339
• /
• 2005

본 논문에서는 임베디드 시스템의 제어를 위해 동기화 언어인 에스테렐로 개발된 소프트웨어가 소프트웨어 요구사항을 만족하는지 확인하기 위한 Model-based Test(MBT) 프레임 워크를 제안한다. 제안된 프레임 워크를 기반으로 작성한 프로토 타입의 테스트 도구는 요구사항 모델을 창조하여 On-the-fly 방법을 통해 테스트 케이스를 랜덤하게 자동으로 생성하여 소프트웨어에 대하 테스트를 자동으로 수행한다. 간단한 case study로 레고 마인드스톰 로봇 제어 소프트웨어에 MBT를 수행하고 그 결과를 확인한다.

• Annual Conference of KIPS
• /
• 2012.11a
• /
• pp.17-19
• /
• 2012

윈도우즈, 리눅스 등 시장 점유율이 높은 운영체제의 경우에는 다양한 디버깅 도구들로 인해 개발 효율성이 향상된다. 반면 VxWorks 운영체제의 경우에는 실시간성이 요구되는 임베디드 환경에서 제한적으로 사용되어 디버깅 도구 부족 등 개발 효율성 측면에서 여러 제약사항들이 존재한다. 다양한 소프트웨어 오류 가운데 임베디드 환경의 제약으로 인한 대표적인 하드웨어 리소스인 CPU, 메모리와 관련된 디버깅 방안에 관해 소개하고 디버깅 효율성을 개선하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06c
• /
• pp.196-198
• /
• 2006

소프트웨어 프러덕트 라인 개발 방법론이란 개발 초기에 시스템의 공통적인 부분과 가변적인 부분을 명확히하여 소프트웨어 자산을 구축한 후 다양한 요구 사항에 따라 가변적인 부분을 커스터마이징하여 목표 시스템을 생성하는 소프트웨어 개발 패러다임이다. 일반적인 소프트웨어 프러덕트 라인에 대한 연구는 활발히 진행되고 있지만, 병렬성을 지원하는 소프트웨어 프러덕트 라인에 대한 연구는 상대적으로 미약하다. 본 논문에서는 병렬 소프트웨어 프러덕트 라인 구축에 있어서 특성 모델을 통해 기능적 가변성을 지원하고 상태 다이어그램을 통해 동시성을 지원하는 컴포넌트의 코드를 자동 생성하는 도구를 제안한다. 본 연구 결과는 병렬성이 중요한 실시간 임베디드 소프트웨어 프러덕트 라인 구축에 활용될 수 있다.

• Journal of Korea Multimedia Society
• /
• v.14 no.3
• /
• pp.462-470
• /
• 2011

Retargetability is typically achieved by providing target machine information, ADL, as input. The ADL are used to specify processor and memory architectures and generate software toolkit including compiler, simulator, etc. Simulator are critical components of the exploration and software design toolkit for the system designer. They can be used to perform diverse tasks such as verifying the functionality and/or timing behavior of the system, and generating quantitative measurements(e.g., power energy consumption) which can be used to aid the design process. In this paper, we generate the energy consumption estimation simulator through ADL. For this goal, firstly, we describes the energy consumption estimation and monitoring informations on the ADL based on EXPRESSION. Secondly, we generate the energy estimation and monitoring simulation library and then constructs the simulator, RenergySim. Lastly, we represent the energy estimations results for MIPS R4000 ADL description. From this subjects, we contribute to the efficient architecture developments and prompt SDK generation through programmable experiments in the field of mobile software development.

• Annual Conference of KIPS
• /
• 2009.04a
• /
• pp.1033-1036
• /
• 2009

인터넷을 통한 온라인 교육의 활성화로 블랜드형 교육이 이슈로 대두되고 있다. 또한 이러닝 교육을 위한 저작도구 및 하드웨어 장비들이 속속들이 개발되고 활용된다. 이러한 이러닝 교육에 도구 중 전자칠판은 중요 요소이지만 전자칠판과 전자교탁이 분리되어 운용되는 것이 대부분이다. 이로 인한 관리 및 비용 측면에서 단점을 가지고 있다. 본 연구에서는 기존의 전자칠판 및 전자교탁이 따로 분리되어 운용되던 방식을 통합하여 단일형태의 임베디드 교육시스템의 구현을 소개한다. 임베디드 교육시스템은 온라인 교육은 물론 오프라인 교육도 동시에 가능하고, 교수자의 편의를 위하여 USB 기반의 자동 프레젠테이션을 지원하며 학습관리 및 컨턴츠 관리를 위한 소프트웨어를 포함하고 있다.

• Annual Conference of KIPS
• /
• 2008.11a
• /
• pp.849-852
• /
• 2008

인터넷을 통한 온라인 교육의 활성화로 블랜드형 교육이 이슈로 대두되고 있다. 또한 이러닝 교육을 위한 저작도구 및 하드웨어 장비들이 속속들이 개발되고 활용된다. 이러한 이러닝 교육에 도구 중 전자칠판은 중요 요소이지만 전자칠판과 전자교탁이 분리되어 운용되는 것이 대부분이다. 이로 인한 관리 및 비용 측면에서 단점을 가지고 있다. 본 연구에서는 기존의 전자칠판 및 전자교탁이 따로 분리되어 운용되던 방식을 통합하여 단일형태의 임베디드 교육시스템의 구현을 소개한다. 임베디드 교육시스템은 온라인 교육은 물론 오프라인 교육도 동시에 가능하고, 교수자의 편의를 위하여 USB 기반의 자동 프레젠테이션을 지원하며 학습관리 및 컨턴츠 관리를 위한 소프트웨어를 포함하고 있다.

• Journal of the Korean Society for Railway
• /
• v.11 no.2
• /
• pp.139-144
• /
• 2008

Recent advances in embedded system technology have brought more dependence on automating train control. While much efforts have been reported to improve electronic hardware's safety, not so much systematic approaches to evaluate software's safety, especially for the vital software running on board train controllers. In this paper, we propose a new software tool to evaluate software safety for the train controller. We have reviewed requirements in the international standards and surveyed available tools in the market. From that, we identified necessary tests to meet the standards and proposed a tool that can be used during the whole software life cycle. We show the functional architecture and internal components of the tool. Our tool is unique in that it is a comprehensive tool specifically designed for software safety evaluation while other tools are not.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• v.9 no.2
• /
• pp.436-439
• /
• 2005

As mobile computers and embedded systems are becoming popular recently, we need to study how to utilize the resources such as power, space, CPU clocks, and memory efficiently. In traditional embedded system development, we were interested in resource usage based on hardware but, as software is becoming more important, we need to study how to analyze the resource usage based on software. In this research, we propose a new method called 'Instruction Level Resource Usage Analysis Method' and implement it as a resource usage analysis tool called 'I-Debugger'. I-Debugger is constructed on three layers: debugging layer which controls the execution of software on instruction level, statistic layer which gathers real-time data and convert to useful information, and analysis layer which generate useful information to specific applications. We have applied the debugger to some simple problem and found that our method is useful in developing resource efficient embedded systems.