HOME > 상세정보

상세정보

Design of a software-based debugging framework in safety-critical systems

Design of a software-based debugging framework in safety-critical systems

자료유형
학위논문
개인저자
신창민 辛昌珉
서명 / 저자사항
Design of a software-based debugging framework in safety-critical systems / Changmin Shin
발행사항
Seoul :   Graduate School, Korea University,   2018  
형태사항
vi, 87장 : 삽화, 도표 ; 26 cm
기타형태 저록
Design of a Software-based Debugging Framework in Safety-critical Systems   (DCOLL211009)000000079540  
학위논문주기
학위논문(박사)-- 고려대학교 대학원, 컴퓨터·전파통신공학과, 2018. 2
학과코드
0510   6YD36   343  
일반주기
지도교수: 이원준  
서지주기
참고문헌: 장 80-85
이용가능한 다른형태자료
PDF 파일로도 이용가능;   Requires PDF file reader(application/pdf)  
비통제주제어
debugging, monitoring, virtual platform, ARINC 653, integrated modular avionics (IMA), real-time operating system (RTOS), time and space partitioning (TSP), unmanned aerial vehicle (UAV),,
000 00000nam c2200205 c 4500
001 000045932648
005 20230627143304
007 ta
008 171226s2018 ulkad bmAC 000 eng
040 ▼a 211009 ▼c 211009 ▼d 211009
041 0 ▼a eng ▼b kor
085 0 ▼a 0510 ▼2 KDCP
090 ▼a 0510 ▼b 6YD36 ▼c 343
100 1 ▼a 신창민 ▼g 辛昌珉
245 1 0 ▼a Design of a software-based debugging framework in safety-critical systems / ▼d Changmin Shin
246 ▼a 안전 우선 시스템에서의 소프트웨어 기반 디버깅 프레임워크의 디자인
260 ▼a Seoul : ▼b Graduate School, Korea University, ▼c 2018
300 ▼a vi, 87장 : ▼b 삽화, 도표 ; ▼c 26 cm
500 ▼a 지도교수: 이원준
502 1 ▼a 학위논문(박사)-- ▼b 고려대학교 대학원, ▼c 컴퓨터·전파통신공학과, ▼d 2018. 2
504 ▼a 참고문헌: 장 80-85
530 ▼a PDF 파일로도 이용가능; ▼c Requires PDF file reader(application/pdf)
653 ▼a debugging ▼a monitoring ▼a virtual platform ▼a ARINC 653 ▼a integrated modular avionics (IMA) ▼a real-time operating system (RTOS) ▼a time and space partitioning (TSP) ▼a unmanned aerial vehicle (UAV)
776 0 ▼t Design of a Software-based Debugging Framework in Safety-critical Systems ▼w (DCOLL211009)000000079540
900 1 0 ▼a Shin, Chang Min, ▼e
900 1 0 ▼a 이원준, ▼g 李源埈, ▼d 1965-, ▼e 지도교수 ▼0 AUTH(211009)142392
945 ▼a KLPA

전자정보

No. 원문명 서비스
1
Design of a software-based debugging framework in safety-critical systems (39회 열람)
PDF 초록 목차

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 과학도서관/학위논문서고/ 청구기호 0510 6YD36 343 등록번호 123058303 도서상태 대출가능 반납예정일 예약 서비스 B M
No. 2 소장처 과학도서관/학위논문서고/ 청구기호 0510 6YD36 343 등록번호 123058304 도서상태 대출가능 반납예정일 예약 서비스 B M

컨텐츠정보

초록

As the services provided by unmanned vehicles such as UAV (Unmanned Aerial Vehicle), USV (Unmanned Surface Vehicle), and autonomous automobile, are diversified, the complexity of functions provided by unmanned vehicles is increasing. Due to various new functions, the unmanned vehicles are vulnerable to safety due to fault and hacking of hardware and software. In this dissertation, we propose a SW-SoC convergence platform to guarantee the system safety during the design/development of Safety-critical Systems used in unmanned vehicles. And we propose a monitoring framework to debug the system after prototype development of Safety-critical Systems.
This dissertation consists of three parts. The first part of this dissertation describes the previous research on virtual platform suitable for designing and developing Safety-critical Systems. And we analyze the ARINC 653 standard and the real-time operating system (RTOS) applied to Safety-critical Systems, and describes the existing methods for debugging to find the fault of Safety-critical Systems.
In the second part of this dissertation, we propose a SW-SoC convergence platform that extends the virtual platform, which is a way to design, develop and debug hardware and software simultaneously. The previous virtual platforms focused on supporting the development of IP and device driver. But the SW-SoC convergence platform proposed in this dissertation supports development, simulation and debugging of TLM IP, RTL IP, device driver, and application software in Safety-critical Systems. The SW-SoC convergence platform is a software-based debugging framework that can develop, optimize, and verify software and IP (Intellectual Property) without the actual hardware system. In a virtual platform implemented with software, hardware and software modifications can be reflected and tested faster than real platforms implemented in hardware. Since the virtual platform is abstracted, it is possible to simulate much faster than simulating the hardware platform. In addition, GPOS, RTOS, and firmware are mounted on a virtual platform to provide an integrated simulation environment, enabling both hardware and software developers to simultaneously develop and verify performance. This makes it possible to guarantee the flexibility of system development and shorten the development period. In this dissertation, we propose three virtual platforms based on a single core (ARM9), a multi-core (ARM big.LITTLE), and a low-power core (ARM Cortex-M4).
In the third part of this dissertation, we propose a software-based monitoring framework suitable for debugging in the HILS environment after developing the prototype of Safety-critical Systems. The proposed monitoring framework is applicable to RTOS based on TSP architecture that complies with ARINC 653 standard for aircraft systems. And it has memory read/write function, register read/write function, breakpoint function, snapshot function, trigger function, program step execution function, cycle function and redundancy monitor function. We have verified that the proposed monitoring framework is suitable for monitoring and debugging RTOS and application software based on TSP architecture by using these functions in RTOS performance measurement and application software monitoring in avionics system with RTOS.

목차

ABSTRACT I
CONTENTS III
LIST OF FIGURES V
LIST OF TABLES VI
1 INTRODUCTION 1
 1.1 CONTRIBUTION 8
 1.2 THESIS ORGANIZATION 11
2 BACKGROUND AND RELATED WORK 12
 2.1 VIRTUAL PLATFORM 12
 2.2 RTOS FOR SAFETY CRITICAL SYSTEMS 16
  2.2.1 ARINC 653 16
  2.2.2 COTS(Commercial Off The Shelf) RTOS 18
  2.2.3 Qplus-AIR based on TSP structure 21
 2.3 MONITORING AND DEBUGGING IN SAFETY CRITICAL SYSTEMS 24
  2.3.1 Debugging in Embedded Systems 24
  2.3.2 Health Monitoring in ARINC 653 25
3 VIRTUAL PLATFORM FOR SIMULTANEOUS DEBUGGING OF SOFTWARE AND HARDWARE 28
 3.1 SW-SOC CONVERGENCE PLATFORM 28
 3.2 VIRTUAL PLATFORM BASED ON SINGLE CORE 31
  3.2.1 Components of virtual platform 32
  3.2.2 Implementation Results 34
 3.3 VIRTUAL PLATFORM BASED ON MULTI CORE 37
  3.3.1 Components of virtual platform 38
  3.3.2 Implementation Results 40
 3.4 VIRTUAL PLATFORM BASED ON LOW-POWER CORE 44
  3.4.1 Components of virtual platform 45
  3.4.2 Implementation Results 47
4 SOFTWARE-BASED MONITORING FRAMEWORK 50
 4.1 MONITORING FRAMEWORK 50
  4.1.1 Monitoring framework structure 50
  4.1.2 Functional requirements for monitoring framework 53
  4.1.3 Debugging differentiation of monitoring framework 57
 4.2 MONITORING FRAMEWORK OPERATION PROCESS 59
  4.2.1 Breakpoint function operation process 60
  4.2.2 Trigger function operation process 62
  4.2.3 Snapshot function operation process 64
  4.2.4 Cycle function operation process 66
  4.2.5 Redundancy monitor function operation process 67
 4.3 EVALUATION OF THE MONITORING FRAMEWORK 70
5 CONCLUSION 77
BIBLIOGRAPHY 80
국 문 초 록 86