• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.25-27
• /
• 2002

반응형 실시간 시스템의 특성을 가진 원자력 발전소 제어시스템은 안정성이 크게 중요시되며, 소프트웨어의 오류가 많은 인적 물질적 피해를 줄 수 있는 시스템이므로 높은 신뢰도를 가지고 있는 소프트웨어가 요구된다. 높은 신뢰도를 뒷받침하기 위해 내장되는 소프트웨어는 적합한 정형명세기법과 정형검증기법의 적용이 필요하다. 소프트웨어 개발시 적용되는 정형기법은 명세의 모호성을 제거하고 검증을 수행하기에 용이하게 하므로, 높은 신뢰도를 요구하는 반응형 실시간 시스템인 원자력 분야의 소프트웨어 개발에 유용하다. 그러므로, 본 논문에서는 반응형 실시간 시스템의 특성을 가진 원자력분야의 소프트웨어 개발시 유용하게 적용할 수 있는 정형기법을 기반으로 한 소프트웨어 개발 방법론을 제시하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10c
• /
• pp.76-78
• /
• 2000

전력 시스템 가운데 과전류 차단 시스템은 전력 시스템의 보호를 위해 중요한 내장형 시스템이다. 이러한 시스템은 꼭 필요한 작동을 해야 하는 mission-critical 시스템이라 볼 수 있다. 이러한 mission-critical 시스템에 내장되는 소프트웨어의 개발은 요구사항 분석 및 설계, 개발 단계에서 시스템의 신뢰도를 높이는 것이 매우 중요하다. 본 논문에서 이러한 시스템의 소프트웨어의 설계가 요구사항과 일치하는지를 확인하고 요구된 성질을 만족하는 지를 검증하기 위해 회로 설계를 적합한 언어인 ESTEREL과 모델 체킹 도구를 이용하고 설계 및 검증 기법을 구현함으로 설계의 안정성과 정확성 및 설계에 대한 더 정확한 이해와 분석을 가능케 하는 설계 방법을 구현하는데 목적을 두고 있다.

• The Journal of the Korea Contents Association
• /
• v.10 no.1
• /
• pp.94-102
• /
• 2010

In recent years, embedded systems such as cellular phones, Portable Multimedia Player, intelligent appliance, automobile engine control are reshaping the way people live, work, and play. Thereby, services application to guarantee various requirements of users become increasingly sophisticated and complicated, such embedded computing platforms use real-time operating systems (RTOSs) with time determinism. These RTOSs must not only provide predictable services but must also be efficient and small in size. Kernel services should also be deterministic by specifying how long each service call will take to execute. Having this information allows the application designers to better plan their real-time application software so as not to miss the deadline of each task. In this paper, we present the complete generalized real-time scheduling algorithm using multi-dimensional methodology to determine the highest priority in the ready list with 2r levels of priorities in a constant time without additional memory overhead.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05c
• /
• pp.1793-1796
• /
• 2003

최근 소프트웨어 품질에 대한 관심이 높아짐에 따라 그에 따른 기반 기술들이 요구되고 있다. 산업분야에 있어서도 작업을 수행하는 기계장치의 성능향상을 위해서 소프트웨어가 차지하는 중요성이 점점 증가함에 파라 해당 장치에 대한 성능은 물론 품질에 있어서도 소프트웨어의 중요도가 크게 향상됐다. 이러한 시대적 흐름에 따라 산업분야에 있어서 내장형 소프트웨어의 잎종인 산업용 소프트웨어에 대한 품질인증 평가체계를 구축하고 이를 활용하여 산업용 소프트웨어 국제표준 적합성 인증 시스템을 설계 구현하고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.11a
• /
• pp.661-664
• /
• 2004

임베디드 소프트웨어는 제한된 자원을 이용해 빠르고 정확한 기능 수행이 가능하도록 설계 되어야한다. 본 논문은 임베디드 기반 소프트웨어의 효율적인 개발을 위해 개발 소프트웨어의 실행 성능을 분석할 수 있는 프로파일(profile) 도구를 제안한다. 제안하는 시스템은 교차환경(cross-platform environment)에서의 테스트 코드 및 결과 전송을 위한 에이젼트 모듈과 프로파일링을 위한 테스팅 엔진 그리고 내장형 소프트웨어의 프로그램 실행 최적화를 위해 개선되어야 할 함수 정보를 GUI 형태로 출력하는 레포팅 모듈로 구성된다. 본 시스템은 효율성과 신뢰성 있는 임베디드 기반 소프트웨어 개발에 기여할 것으로 기대된다.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.17 no.2
• /
• pp.108-113
• /
• 1997

Ultrasonic testing is one of the most widely used method of nondestructive testing for pre-service inspection(PSI) & in-service inspection(ISI) in structures of bridges, power plants, chemical plants & heavy industrial fields. It is very important to estimate safety, life, quality of structures. Also, a lot of research for quantities evaluation & analyses inspection data is proceeding. But traditional portable ultrasonic flaw detector had been following disadvantages. 1) Analog ultrasonic flaw detector decreased credibility of ultrasonic test, because it is impossible for saving data & digital signal processing. 2) Stand-alone digital ultrasonic flaw detector cannot effectively evaluate received signals because of lack of its storage memory. To overcome this shortcoming, we develop the computer based ultrasonic flaw detector for nondestructive testing. It can store the received signal and effectively evaluate the signal, and then enhance the reliability of the testing results.

• Journal of Korea Society of Industrial Information Systems
• /
• v.13 no.5
• /
• pp.117-123
• /
• 2008

In this paper, we develop MPEG-4 AAC streaming player on embedded Linux processor such as mobile terminals. Moreover we show the experimental results that the player preforms the decoding processes of MPEG-4 AAC data effectively. MPEG-4 AAC technology supports a wide range encoding rates and high sound quality so it is appropriate to adopt various applications. In particular, the need in the development of the application of audio data increases according to significantly increase in devices used in mobile environments, such as cell phones and PDAs. In this environment, it is necessary to optimize the decoding processes to the ability of the terminal hardware in order to play audio data without delays. We also implement the decoding module to optimize the processor capabilities and make the player to decode and play streaming audio data from streaming server.

• Communications of the Korean Institute of Information Scientists and Engineers
• /
• v.33 no.1
• /
• pp.51-53
• /
• 2015

• Proceedings of the Korea Information Processing Society Conference
• /
• 2006.05a
• /
• pp.1443-1446
• /
• 2006

내장형 컴퓨터 시스템은 한정된 자원 내에서 소프트웨어를 개발하여야 하며 또한 하드웨어 자원을 업그레이드가 어렵다는 고유한 문제점으로 인하여 소프트웨어 측면에서의 관리가 필요하며, 더욱이 유비쿼터스 환경으로의 전환시점에서 시간과 공간의 구애를 받지 않아야 하고 사용자에게 투명한 자동 업데이트 서비스 방법이 필요하다. 본 논문은 임베디드 시스템의 소프트웨어 유지보수를 위한 소프트웨어 업데이트 방법으로 RFID 검색 시스템 기반으로 임베디드 시스템 소프트웨어 자동 업데이트 할 수 있는 프레임워크를 제안하고 설계하였다.

• Communications of the Korean Institute of Information Scientists and Engineers
• /
• v.24 no.3 s.202
• /
• pp.35-42
• /
• 2006

본 논문에서는 내장형 소프트웨어 시스템, 특히 로봇 소프트웨어를 위한 self-managed 소프트웨어 개발 프레임워크로서 SHAGE 프레임워크를 제안하였다. SHAGE 프레임워크는 소프트웨어를 실행시간에 동적으로 변경시킬 수 있도록 지원하는 여러 모듈로 구성되어 있다. Observer가 외부 상황을 관찰하고 관찰된 상황이 Architecture Broker로 전달되면 후보 아키텍처 재구성 전략을 검색하고 Component Broker가 구체화 컴포넌트들을 검색한 후 상황에 적절한 아키텍처 재구성 전략과 컴포넌트 구성을 Decision Maker가 선택한다. Reconfigurator가 선택된 전략과 컴포넌트 구성을 기초로 로봇의 아키텍처를 재구성한다. 적응행위를 Evaluator가 평가하고 그 결과를 Learner가 축적하여 나중에 Decision Maker가 사용할 수 있게 한다. 프레임워크의 효용성을 확인하기 위해서 실제 로봇을 이용한 사례연구를 수행하였고, 이 실험을 통해 적응 과정을 확인하였다. 로봇은 상황과 사용자의 피드백에 적응하였다.