임베디드 소프트웨어를 위한 고장 극복 프레임워크의 설계 및 구현

DC Field Value Language
dc.contributor.advisor류기열-
dc.contributor.author박성남-
dc.date.accessioned2018-11-08T07:17:31Z-
dc.date.available2018-11-08T07:17:31Z-
dc.date.issued2010-02-
dc.identifier.other10563-
dc.identifier.urihttps://dspace.ajou.ac.kr/handle/2018.oak/5619-
dc.description학위논문(석사)--아주대학교 정보통신대학원 :유비쿼터스시스템,2010. 2-
dc.description.abstract임베디드 소프트웨어는 일반적으로 높은 신뢰성과 가용성을 요구하게 되지만, 많은 수의 임베디드 소프트웨어는 범용으로 개발되는 소프트웨어보다 철저히 테스트 되지 못하고 상대적으로 적은 인력으로 개발이 되는 경향이 있다. 또한, 오늘날 결함에 내성을 가진 소프트웨어 시스템의 요구가 증대되고 있으므로, 임베디드 소프트웨어를 개발하는데 있어서 보다 높은 신뢰성과 가용성을 확보할 수 있는 개발 방법이 필수라고 할 수 있다. 본 논문에서는 임베디드 소프트웨어의 신뢰성을 높이는 개발 방법으로써 네 가지 소프트웨어 프레임워크를 설명하고 있다. 복잡성을 낮추는 기법으로써 기존에 연구된 StateWORKS의 상태 기계를 기반으로 한 제어 흐름과 데이터 흐름을 분리하는 기법을 사용하였다. 신뢰성 높은 소프트웨어 개발을 위해 상태 기계 명세서를 기반으로 동작하는 상태 기계 프레임워크, 중앙 집중화된 데이터 저장소 프레임워크, 그리고 이벤트 반응형 프로그래밍을 위한 프레임워크를 설계 및 구현하였다. 또한, 가용성 높은 소프트웨어 개발을 위한 고장 극복 기법으로써 응용 수준의 체크포인팅 프레임워크를 설계 및 구현하였다. 이로써 프로그래밍 단계에서 제시된 소프트웨어 프레임워크를 활용하여 신뢰성과 가용성 높은 임베디드 소프트웨어를 구현할 수 있는 방법을 제시하였다.-
dc.description.tableofcontents제 1 장 서 론 1 제 2 장 관련 연구 3 제 1 절 체크포인팅(Checkpointing) 3 제 2 절 StateWORKS 4 제 3 장 이벤트 반응형 고장 극복 프레임워크 설계 9 제 1 절 이벤트 반응형 프레임워크 적용 기법 9 제 2 절 체크포인팅 지원 데이터 저장소 적용 기법 13 제 3 절 체크포인팅 지원 FSM 적용 기법 15 제 4 장 프레임워크 S/W 구현 19 제 1 절 이벤트 반응형 프레임워크의 구현 20 제 2 절 체크포인팅 프레임워크의 구현 25 제 3 절 데이터 저장소 프레임워크의 구현 30 제 4 절 FSM 프레임워크의 구현 36 제 5 절 프레임워크를 적용한 예제 프로그램의 구현 41 제 5 장 결론 및 향후 과제 46 부 록 A – FSM 명세서 47 참 고 문 헌 49 Abstract 51-
dc.language.isokor-
dc.publisherThe Graduate School, Ajou University-
dc.rights아주대학교 논문은 저작권에 의해 보호받습니다.-
dc.title임베디드 소프트웨어를 위한 고장 극복 프레임워크의 설계 및 구현-
dc.title.alternativeA Design and Implementation of Fault Recoverable Framework for Embedded Software-
dc.typeThesis-
dc.contributor.affiliation아주대학교 정보통신대학원-
dc.contributor.alternativeNamePark, SungNam-
dc.contributor.department정보통신대학원 유비쿼터스시스템-
dc.date.awarded2010. 2-
dc.description.degreeMaster-
dc.identifier.localId568249-
dc.identifier.urlhttp://dcoll.ajou.ac.kr:9080/dcollection/jsp/common/DcLoOrgPer.jsp?sItemId=000000010563-
dc.subject.keyword임베디드-
dc.description.alternativeAbstractIt is necessary to design a development method to ensure high reliability and availability for embedded software. Most software for embedded systems could never be tested as intensively as mass-market software, but the users expect both high reliability and availability, and the needs of fault tolerant software systems is growing. This thesis represents a development method as software frameworks to ensure high reliability and availability for embedded software. To reduce complexity, we used the key idea of StateWORKS which is based on a total separation between the data and the control flow by using a finite state machine concept. We have designed and implemented four software frameworks to increase reliability and availability. Specification based finite state machine, centralized data repository and event driven programming frameworks are designed and implemented to develop reliable software, and application level checkpointing framework is designed and implemented to develop fault recoverable software. These software frameworks provide an effective way to develop embedded software which demands high reliability and availability in programming phase.-
Appears in Collections:
Special Graduate Schools > Graduate School of Information and Communication Technology > IoT (Internet of Things) > 3. Theses(Master)
Files in This Item:
There are no files associated with this item.

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Browse