IPSJ SIG Technical Report Vol.2017-ARC-225 No.12 Vol.2017-SLDM-179 No.12 Vol.2017-EMB-44 No /3/9 1 1 RTOS DefensiveZone DefensiveZone MPU RTOS

Similar documents
6 2. AUTOSAR 2.1 AUTOSAR AUTOSAR ECU OSEK/VDX 3) OSEK/VDX OS AUTOSAR AUTOSAR ECU AUTOSAR 1 AUTOSAR BSW (Basic Software) (Runtime Environment) Applicat

7,, i

DEIM Forum 2015 E4-5 DSMS DSMS DSMS 32% 46% RTOS Priority Inversion Time

1 HW ( ) - ( ) 2 3 HAZOP (1) (2) (3) 1 (4) (5) (6) (7) (1)-(7) 3. HAZOP HAZOP 3.1 IEC ) HAZOP 1 2 c 2009 Informa

ECU RTOS 1),2) µitron 3) OSEK OS 4) API API DUOS Dual API Real-time OS ECU RTOS RTOS DUOS API ECU-A アプリケーションA RTOS-A CPU 30MHz ECU-B アプリケーションB RTOS-B

pamphlet_h1

‚æ62›ñ”©fi®”Ô‰Z‘p›ï‘Ü

1_26.dvi

Core1 FabScalar VerilogHDL Cache Cache FabScalar 1 CoreConnect[2] Wishbone[3] AMBA[4] AMBA 1 AMBA ARM L2 AMBA2.0 AMBA2.0 FabScalar AHB APB AHB AMBA2.0

1 7.35% 74.0% linefeed point c 200 Information Processing Society of Japan

258 5) GPS 1 GPS 6) GPS DP 7) 8) 10) GPS GPS ) GPS Global Positioning System

28 Docker Design and Implementation of Program Evaluation System Using Docker Virtualized Environment

1: A/B/C/D Fig. 1 Modeling Based on Difference in Agitation Method artisoc[7] A D 2017 Information Processing

MAC root Linux 1 OS Linux 2.6 Linux Security Modules LSM [1] Security-Enhanced Linux SELinux [2] AppArmor[3] OS OS OS LSM LSM Performance Monitor LSMP

25 Removal of the fricative sounds that occur in the electronic stethoscope

,4) 1 P% P%P=2.5 5%!%! (1) = (2) l l Figure 1 A compilation flow of the proposing sampling based architecture simulation

IPSJ SIG Technical Report Secret Tap Secret Tap Secret Flick 1 An Examination of Icon-based User Authentication Method Using Flick Input for

kut-paper-template.dvi

WikiWeb Wiki Web Wiki 2. Wiki 1 STAR WARS [3] Wiki Wiki Wiki 2 3 Wiki 5W1H Wiki Web 2.2 5W1H 5W1H 5W1H 5W1H 5W1H 5W1H 5W1H 2.3 Wiki 2015 Informa

Vol. 42 No. SIG 8(TOD 10) July HTML 100 Development of Authoring and Delivery System for Synchronized Contents and Experiment on High Spe

Vol.53 No (Mar. 2012) 1, 1,a) 1, 2 1 1, , Musical Interaction System Based on Stage Metaphor Seiko Myojin 1, 1,a

Fig. 3 Flow diagram of image processing. Black rectangle in the photo indicates the processing area (128 x 32 pixels).

1 Fig. 1 Extraction of motion,.,,, 4,,, 3., 1, 2. 2.,. CHLAC,. 2.1,. (256 ).,., CHLAC. CHLAC, HLAC. 2.3 (HLAC ) r,.,. HLAC. N. 2 HLAC Fig. 2

論文誌用MS-Wordテンプレートファイル

1., 1 COOKPAD 2, Web.,,,,,,.,, [1]., 5.,, [2].,,.,.,, 5, [3].,,,.,, [4], 33,.,,.,,.. 2.,, 3.., 4., 5., ,. 1.,,., 2.,. 1,,

第62巻 第1号 平成24年4月/石こうを用いた木材ペレット

& Vol.5 No (Oct. 2015) TV 1,2,a) , Augmented TV TV AR Augmented Reality 3DCG TV Estimation of TV Screen Position and Ro

,,,,., C Java,,.,,.,., ,,.,, i

2006 [3] Scratch Squeak PEN [4] PenFlowchart 2 3 PenFlowchart 4 PenFlowchart PEN xdncl PEN [5] PEN xdncl DNCL 1 1 [6] 1 PEN Fig. 1 The PEN

知能と情報, Vol.30, No.5, pp

FA

DEIM Forum 2014 D3-5 DSMS DSMS DSMS 2.13% RTOS Realtime-Aware Efficient Query Processing for Automotiv

Q [4] 2. [3] [5] ϵ- Q Q CO CO [4] Q Q [1] i = X ln n i + C (1) n i i n n i i i n i = n X i i C exploration exploitation [4] Q Q Q ϵ 1 ϵ 3. [3] [5] [4]


SNS GIS Abstract The Tourism-based Country Promotion Basic Act was enacted in Japan over a decade ago. Tourism is expected to be the primary contribut


23 Fig. 2: hwmodulev2 3. Reconfigurable HPC 3.1 hw/sw hw/sw hw/sw FPGA PC FPGA PC FPGA HPC FPGA FPGA hw/sw hw/sw hw- Module FPGA hwmodule hw/sw FPGA h

IPSJ SIG Technical Report Vol.2011-MUS-91 No /7/ , 3 1 Design and Implementation on a System for Learning Songs by Presenting Musical St

1 Web [2] Web [3] [4] [5], [6] [7] [8] S.W. [9] 3. MeetingShelf Web MeetingShelf MeetingShelf (1) (2) (3) (4) (5) Web MeetingShelf

IPSJ SIG Technical Report Vol.2013-ARC-203 No /2/1 SMYLE OpenCL (NEDO) IT FPGA SMYLEref SMYLE OpenCL SMYLE OpenCL FPGA 1

<95DB8C9288E397C389C88A E696E6462>

3.1 Thalmic Lab Myo * Bluetooth PC Myo 8 RMS RMS t RMS(t) i (i = 1, 2,, 8) 8 SVM libsvm *2 ν-svm 1 Myo 2 8 RMS 3.2 Myo (Root

IPSJ SIG Technical Report Vol.2010-GN-74 No /1/ , 3 Disaster Training Supporting System Based on Electronic Triage HIROAKI KOJIMA, 1 KU

Table 1. Assumed performance of a water electrol ysis plant. Fig. 1. Structure of a proposed power generation system utilizing waste heat from factori

<4D F736F F D20D2E5E7E8F1FB E3EEE45FE8F1EFF0>

IPSJ SIG Technical Report Vol.2011-EC-19 No /3/ ,.,., Peg-Scope Viewer,,.,,,,. Utilization of Watching Logs for Support of Multi-

IPSJ SIG Technical Report Vol.2011-DBS-153 No /11/3 Wikipedia Wikipedia Wikipedia Extracting Difference Information from Multilingual Wiki


IPSJ SIG Technical Report Vol.2009-HCI-134 No /7/17 1. RDB Wiki Wiki RDB SQL Wiki Wiki RDB Wiki RDB Wiki A Wiki System Enhanced by Visibl

GPGPU

TCP/IP IEEE Bluetooth LAN TCP TCP BEC FEC M T M R M T 2. 2 [5] AODV [4]DSR [3] 1 MS 100m 5 /100m 2 MD 2 c 2009 Information Processing Society of

12) NP 2 MCI MCI 1 START Simple Triage And Rapid Treatment 3) START MCI c 2010 Information Processing Society of Japan

(a) 1 (b) 3. Gilbert Pernicka[2] Treibitz Schechner[3] Narasimhan [4] Kim [5] Nayar [6] [7][8][9] 2. X X X [10] [11] L L t L s L = L t + L s

1 4 4 [3] SNS 5 SNS , ,000 [2] c 2013 Information Processing Society of Japan

IPSJ SIG Technical Report iphone iphone,,., OpenGl ES 2.0 GLSL(OpenGL Shading Language), iphone GPGPU(General-Purpose Computing on Graphics Proc

No.7, (2006) 2 Electronic Funds Transfer as the Foundation of the Monetary Value of Electronic Money - A Study on the JBA 1 Integrated Circuit

IPSJ SIG Technical Report Vol.2012-CG-148 No /8/29 3DCG 1,a) On rigid body animation taking into account the 3D computer graphics came


Vol.55 No (Jan. 2014) saccess 6 saccess 7 saccess 2. [3] p.33 * B (A) (B) (C) (D) (E) (F) *1 [3], [4] Web PDF a m

(2) (1) 4 24 NTT Super Cash < 1 May.2001)

P2P P2P peer peer P2P peer P2P peer P2P i

A Study on Throw Simulation for Baseball Pitching Machine with Rollers and Its Optimization Shinobu SAKAI*5, Yuichiro KITAGAWA, Ryo KANAI and Juhachi

Virtual Window System Virtual Window System Virtual Window System Virtual Window System Virtual Window System Virtual Window System Social Networking

大学論集第42号本文.indb


2

2

2

& Vol.2 No (Mar. 2012) 1,a) , Bluetooth A Health Management Service by Cell Phones and Its Us

3_39.dvi

The copyright of this material is retained by the Information Processing Society of Japan (IPSJ). The material has been made available on the website

(3.6 ) (4.6 ) 2. [3], [6], [12] [7] [2], [5], [11] [14] [9] [8] [10] (1) Voodoo 3 : 3 Voodoo[1] 3 ( 3D ) (2) : Voodoo 3D (3) : 3D (Welc


Computer Security Symposium October 2013 Android OS kub

2. CABAC CABAC CABAC 1 1 CABAC Figure 1 Overview of CABAC 2 DCT 2 0/ /1 CABAC [3] 3. 2 値化部 コンテキスト計算部 2 値算術符号化部 CABAC CABAC


202


2

untitled

IPSJ SIG Technical Report Vol.2012-EMB-26 No /9/10 1,a) 1,b) 1,c) 1,d) 1,e) 1,f) 1,g) 5 3D HILS HILS An Integrated Driving Simulator for Interdi

VHDL-AMS Department of Electrical Engineering, Doshisha University, Tatara, Kyotanabe, Kyoto, Japan TOYOTA Motor Corporation, Susono, Shizuok

< A796BD8AD991E58A77976C2D8CBE8CEA C B B835E2E706466>

The 15th Game Programming Workshop 2010 Magic Bitboard Magic Bitboard Bitboard Magic Bitboard Bitboard Magic Bitboard Magic Bitboard Magic Bitbo



3_23.dvi


3D UbiCode (Ubiquitous+Code) RFID ResBe (Remote entertainment space Behavior evaluation) 2 UbiCode Fig. 2 UbiCode 2. UbiCode 2. 1 UbiCode UbiCode 2. 2

H8000操作編

IPSJ SIG Technical Report Vol.2011-UBI-30 No /5/ , 1 1 Evaluation on Effect of Presenting False Information for Biological Information Vi

IPSJ SIG Technical Report An Evaluation Method for the Degree of Strain of an Action Scene Mao Kuroda, 1 Takeshi Takai 1 and Takashi Matsuyama 1

ID 3) 9 4) 5) ID 2 ID 2 ID 2 Bluetooth ID 2 SRCid1 DSTid2 2 id1 id2 ID SRC DST SRC 2 2 ID 2 2 QR 6) 8) 6) QR QR QR QR

[4] ACP (Advanced Communication Primitives) [1] ACP ACP [2] ACP Tofu UDP [3] HPC InfiniBand InfiniBand ACP 2 ACP, 3 InfiniBand ACP 4 5 ACP 2. ACP ACP

Web Stamps 96 KJ Stamps Web Vol 8, No 1, 2004

IEC :2014 (ed. 4) の概要 (ed. 2)

IPSJ SIG Technical Report Vol.2009-DPS-141 No.20 Vol.2009-GN-73 No.20 Vol.2009-EIP-46 No /11/27 1. MIERUKEN 1 2 MIERUKEN MIERUKEN MIERUKEN: Spe

Z7000操作編_本文.indb

19_22_26R9000操作編ブック.indb

Table 1. Reluctance equalization design. Fig. 2. Voltage vector of LSynRM. Fig. 4. Analytical model. Table 2. Specifications of analytical models. Fig

Transcription:

1 1 RTOS DefensiveZone DefensiveZone MPU RTOS RTOS OS Lightweight partitioning architecture for automotive systems Suzuki Takehito 1 Honda Shinya 1 Abstract: Partitioning using protection RTOS has high cost. Therefore, it is not suitable for systems requiring low cost. This paper introduce DefensiveZone, that is partitioning architecture suitable for low cost automotive systems. DefensiveZone realized protection with additional protection hardware and simple virtual machine without using MPU and protection RTOS. As a result of performance evaluation, it could be confirmed that DefensiveZone has less overhead for OS execution and calling trusted function than protection RTOS. 1. ECU Electronic Control System RTOS RTOS RTOS OS ECU ECU RTOS [1] RTOS MPU Memory Protection 1 Graduate School of Information Science Nagoya University Unit ISO26262 DefensiveZone DefensiveZone MPU RTOS DefensiveZone DefensiveZone c 2017 Information Processing Society of Japan 1

1 DefensiveZone 2 DefensiveZone. DefensiveZone RTOS 2. DefensiveZone DefensiveZone DefensiveZone [2] 2.1 DefensiveZone MPU RTOS Altera FPGA Nios II[3] Nios II DefensiveZone 0 1 RTOS TOPPERS/ATK2-SC1[4] DefensiveZone 1 DefensiveZone 2 OS 2.2 DefensiveZone 2 DefensiveZone 2 DefensiveZone 3 DZ-INTC NMI DZ-SC DefensiveZone REG WORLD 1 0 1 ILLEGAL ACCESS 1 1 DZ-PB c 2017 Information Processing Society of Japan 2

5 3 DefensiveZone 2 5 4 2.3 DefensiveZone 3 RTOS DefensiveZoneMonitor DZ-Monitor DZ-Monitor DZ-Monitor 4 2.4 DefensiveZone 5 2.5 DefensiveZone ATK2- SC3 3. DefensiveZone 1 c 2017 Information Processing Society of Japan 3

3.2 DZ-Monitor 6 DefensiveZone ( 1 ) ( 2 ) ( 3 ) ( 4 ) ( 5 ) ( 6 ) DZ-Monitor DefensiveZone 3.1 6 4. DefensiveZone 4.1 ( 1 ) ( 2 ) ( 3 ) ( 4 ) ( 5 ) ( 6 ) ( 7 ) 4.1.1 4.1.2 4.2 NMI DefensiveZone c 2017 Information Processing Society of Japan 4

1 FPGA Altera Quartus II 16.1 nios2-elf-gcc:gcc version 5.3.0 Altera DE2-115 Nios II/f 50[MHz] DefensiveZone TOPPERS/ATK2-SC1 1.4.0 RTOS RTOS TOPPERS/ATK2-SC3 1.4.0 TOPPERS/A-OSBENCH 1.1[5] 7 T INT DISABLE 1 0 5. DefensiveZone 5.1 5.1.1 RTOS DefensiveZone RTOS RTOS DefensiveZone 5.1.2 DefensiveZone 2 10 unsigned int 5.2 1 5.3 10,000 5.3.1 RTOS DefensiveZone ATK2-SC3 A-OSBENCH 7 ATK2-SC3 DefensiveZone 2µ ATK2-SC3 DefensiveZone ATK2-SC1 OS ATK2-SC3 DefensiveZone DefensiveZone DefensiveZone ATK2-SC3 8 DefensiveZone 0.9µ 10,000 5063 ATK2-SC3 2.8µ 10000 7356 DefensiveZone ATK2-SC3 ATK2-SC3 OS DefensiveZone DefensiveZone 20 DefensiveZone c 2017 Information Processing Society of Japan 5

2 DefensiveZone DefensiveZone LE 25,813 29,026 12% /11,4480 /11,4480 23% 25% 16122 18699 16% 1,125,376 2,704312 140% /3,981,312 /3,981,312 28% 68% 8 DefensiveZone 2 DefensiveZone 6. 9 5.3.2 9 38.4µ 10,000 3,315 21.6µ 10,000 5,517 11.9µ 10,000 4,920 3 1 5.3.3 DefensiveZone DefensiveZone ATK2-SC3 LE 3 2 LE 2% LE 12% 16% DefensiveZone DefensiveZone DefensiveZone RTOS [6] [1] Dominik Reinhart Gary Morgan An Embedded Hypervisor for Safety-Relevant Automotive E/E-Systems Industrial Embedded Systems (SIES), 2014 9th IEEE International Symposium [2] ETNET2013 [3] Nios II online available from https://www.altera.co.jp/products/processors/overview.html (accessed 2017-1-24). [4] TOPPERS /ATK2 online available from https://www.toppers.jp/atk2.html (accessed 2017-1- 24). [5] TOPPERS/A-OSBENCH online available from https://www.toppers.jp/a-osbench.html (accessed 2017-1-24). [6] Symposium on Cryptography and Information Security (SCIS) 2016 c 2017 Information Processing Society of Japan 6