HOME > Detail View

Detail View

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

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

Material type
학위논문
Personal Author
신창민 辛昌珉
Title Statement
Design of a software-based debugging framework in safety-critical systems / Changmin Shin
Publication, Distribution, etc
Seoul :   Graduate School, Korea University,   2018  
Physical Medium
vi, 87장 : 삽화, 도표 ; 26 cm
기타형태 저록
Design of a Software-based Debugging Framework in Safety-critical Systems   (DCOLL211009)000000079540  
학위논문주기
학위논문(박사)-- 고려대학교 대학원: 컴퓨터·전파통신공학과, 2018. 2
학과코드
0510   6YD36   343  
General Note
지도교수: 이원준  
Bibliography, Etc. Note
참고문헌: 장 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 20180417131810
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 李源埈, ▼e 지도교수
945 ▼a KLPA

Electronic Information

No. Title Service
1
Design of a software-based debugging framework in safety-critical systems (34회 열람)
View PDF Abstract Table of Contents

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Science & Engineering Library/Stacks(Thesis)/ Call Number 0510 6YD36 343 Accession No. 123058303 Availability Available Due Date Make a Reservation Service B M
No. 2 Location Science & Engineering Library/Stacks(Thesis)/ Call Number 0510 6YD36 343 Accession No. 123058304 Availability Available Due Date Make a Reservation Service B M

Contents information

Abstract

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.

Table of Contents

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