研究者詳細 - 松原　豊

論文 - 松原　豊

分割表示 40 件中 21 - 40 件目／全件表示 >>

TZmCFI: RTOS-Aware Control-Flow Integrity Using TrustZone for Armv8-M 査読有り Open Access

Kawada, T; Honda, S; Matsubara, Y; Takada, H

INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING 49 巻 ( 2 ) 頁： 216 - 236 2021年4月

記述言語：日本語掲載種別：研究論文（学術雑誌）出版者・発行元：International Journal of Parallel Programming

Control-Flow Integrity (CFI) is a class of defensive techniques against control-flow attacks such as Return-Oriented Programming. We propose a light-weight CFI scheme for RTOS-based applications, TZmCFI, which utilizes TrustZone for Armv8-M, a hardware-assisted security feature for embedded systems with tight resource constraints. TZmCFI embodies several existing CFI techniques to provide a comprehensive protection. The traditional shadow stack technique is used to ensure stack integrity and validate function returns. To protect exception handlers, TZmCFI extends shadow exception stacks, which are a variant of the traditional shadow stack technique we proposed in our previous work, for RTOS integration and performance improvement. We conducted an experiment on Arm Versatile Express Cortex-M Prototyping System (V2M-MPS2+) to evaluate the run-time overhead of the proposed system.

DOI： 10.1007/s10766-020-00673-z

Open Access

Web of Science

Scopus

その他リンク： http://link.springer.com/article/10.1007/s10766-020-00673-z/fulltext.html

アプリケーションからのストレージアクセス分析手法

長谷川博紀, 松原豊, 加藤寿和, 山本整, 高田広章

第56回EMB合同研究発表会(ETNET2021) 2021年3月

ハイパーバイザにおけるハードウェアの共有分析手法

鈴木健太, 松原豊, 守谷友和, 本谷謙治, 岩切英之, 高田広章

第56回組込みシステム合同研究発表会（ETNET2021） 2021年3月

ミドルウェアに対するCoverage-based Greybox Fuzzingの適用査読有り

伊藤弘将, 松原豊, 高田広章

情報処理学会論文誌 62 巻 ( 3 ) 頁： 877 - 890 2021年3月

Agile Software Design Verification and Validation (V&V) for Automated Driving 査読有り

Yixiao Li, Yutaka Matsubara, Daniel Olbrys, Kazuhiro Kajio, Hiroaki Takada

Proceedings of FISITA 2020 2020年11月

Safety design concepts for statistical machine learning components toward accordance with functional safety standards

Akihisa Morikawa, Yutaka Matsubara

CoRR abs/2008.01263 巻 2020年8月

担当区分：最終著者記述言語：英語掲載種別：研究論文（その他学術会議資料等）

In recent years, curial incidents and accidents have been reported due to
un-intended control caused by misjudgment of statistical machine learning
(SML), which include deep learning. The international functional safety
standards for Electric/Electronic/Programmable (E/E/P) systems have been widely
spread to improve safety. However, most of them do not recom-mended to use SML
in safety critical systems so far. In practical the new concepts and methods
are urgently required to enable SML to be safely used in safety critical
systems. In this paper, we organize five kinds of technical safety concepts
(TSCs) for SML components toward accordance with functional safety standards.
We discuss not only quantitative evaluation criteria, but also development
process based on XAI (eXplainable Artificial Intelligence) and Automotive SPICE
to improve explainability and reliability in development phase. Fi-nally, we
briefly compare the TSCs in cost and difficulty, and expect to en-courage
further discussion in many communities and domain.

arXiv

その他リンク： http://arxiv.org/pdf/2008.01263v1

Transforming Concurrent Programs with Semaphores into Logically Constrained Term Rewrite Systems 査読有り

Misaki Kojima, Naoki Nishida, Yutaka Matsubara

Informal Proceedings of WPTE 2020 頁： 12 2020年6月

Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS -- a collection of Technical Notes Part 1 国際共著

Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf, Philippa Ryan, Shuji Kinoshita, Yoshiki Kinoshit, Makoto Takeyama, Yutaka Matsubara, Peter Popov, Kazuki Imai, Yoshinori Tsutake

CoRR abs/2003.00789 巻 2020年2月

記述言語：英語掲載種別：研究論文（その他学術会議資料等）

This report provides an introduction and overview of the Technical Topic
Notes (TTNs) produced in the Towards Identifying and closing Gaps in Assurance
of autonomous Road vehicleS (Tigars) project. These notes aim to support the
development and evaluation of autonomous vehicles. Part 1 addresses:
Assurance-overview and issues, Resilience and Safety Requirements, Open Systems
Perspective and Formal Verification and Static Analysis of ML Systems. Part 2:
Simulation and Dynamic Testing, Defence in Depth and Diversity,
Security-Informed Safety Analysis, Standards and Guidelines.

arXiv

その他リンク： http://arxiv.org/pdf/2003.00789v1

Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS -- a collection of Technical Notes Part 2 国際共著

Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf, Philippa Ryan, Shuji Kinoshita, Yoshiki Kinoshit, Makoto Takeyama, Yutaka Matsubara, Peter Popov, Kazuki Imai, Yoshinori Tsutake

CoRR abs/2003.00790 巻 2020年2月

記述言語：英語掲載種別：研究論文（その他学術会議資料等）

This report provides an introduction and overview of the Technical Topic
Notes (TTNs) produced in the Towards Identifying and closing Gaps in Assurance
of autonomous Road vehicleS (Tigars) project. These notes aim to support the
development and evaluation of autonomous vehicles. Part 1 addresses:
Assurance-overview and issues, Resilience and Safety Requirements, Open Systems
Perspective and Formal Verification and Static Analysis of ML Systems. This
report is Part 2 and discusses: Simulation and Dynamic Testing, Defence in
Depth and Diversity, Security-Informed Safety Analysis, Standards and
Guidelines.

arXiv

その他リンク： http://arxiv.org/pdf/2003.00790v1

esprof: A Generic Profiling Infrastructure for Multi/Many-Core Embedded Systems 査読有り

LI Yixiao, MATSUBARA Yutaka, TAKADA Hiroaki

コンピュータソフトウェア 37 巻 ( 1 ) 頁： 1_54 - 1_67 2020年1月

記述言語：日本語掲載種別：研究論文（学術雑誌）出版者・発行元：日本ソフトウェア科学会

<p>Embedded systems are moving to multi-core and many-core platforms to satisfy the ever-growing demand for computing power. Complex task like autonomous driving will include both real-time applications and high-performance applications. Research has shown that traditional RTOS can be optimized to provide good scalability for parallel computing. The lack of performance analysis tools, however, is one of the major obstacles for identifying bottlenecks.<br/>In this paper, we first discuss the characteristics and challenges of existing tools used in high-performance computing. To meet the requirements of embedded systems, a generic infrastructure for creating customized profilers flexibly and effortlessly is then presented. As an example, a scalable and optimized call graph profiler has been developed. At last, we evaluate our profiler and existing profiler by measuring benchmark application on a 36-core platform. The results show that our profiler can provide much higher accuracy with very low overhead.</p>

DOI： 10.11309/jssst.37.1_54

Scopus

CiNii Research

Energy-Aware Task Allocation for Heterogeneous Multiprocessor Systems by Using Integer Linear Programming 査読有り

Yang Qin, Gang Zeng, Ryo Kurachi, Yutaka Matsubara, Hiroaki Takada,

Journal of Information Processing 60 巻 ( 2 ) 頁： 136-148 2019年2月

IDH-CAN: A Hardware-Based ID Hopping CAN Mechanism With Enhanced Security for Automotive Real-Time Applications 査読有り

Wufei Wu, Ryo Kurachi, Gang Zeng, Yutaka Matsubara, Hiroaki Takada, Renfa Li, Keqin Li

6 巻 ( 1 ) 頁： 54607-54623 2018年12月

Execution-variance-aware task allocation for energy minimization on the big.LITTLE architecture 査読有り

Yang Qin, Gang Zeng, Ryo Kurachi, Yutaka Matsubara, Hiroaki Takada

ELSEVIER Sustainable Computing: Informatics and Systems 2018年10月

IoT機器への適用に向けたTLS1.3の性能評価

小松大河, 松原豊, 高田広章

コンピュータセキュリティシンポジウム2018論文集 2018 巻 ( 2 ) 頁： 569 - 576 2018年10月

Energy-Aware Task Allocation for Large Task Sets on Heterogeneous Multiprocessor Systems 査読有り

Yang Qin, Gang Zeng, Ryo Kurachi, Yutaka Matsubara, Hiroaki Takada

Proceedings of 16th International Conference on Embedded and Ubiquitous Computing (EUC) 頁： 158-165 2018年10月

ブロックチェーン技術を用いたIoT機器向けセキュアアップデートフレームワーク査読有り

長柄啓悟, 松原豊, 高田広章

組込みシステムシンポジウム2018論文集 2018 巻頁： 36-39 2018年8月

Arm TrustZone for Armv8-M を利用したマルチタスク対応 CFI の検討査読有り

河田智明, 本田晋也, 松原豊, 高田広章

組込みシステムシンポジウム2018論文集 2018 巻頁： 71 - 74 2018年8月

ROS2と軽量DDSの組込みシステムに対する適用性評価

小澤慶祐, 本田晋也, 松原豊, 高田広章, 加藤寿和, 山本整

研究報告組込みシステム（EMB） 2018-EMB-48 巻 ( 2 ) 頁： 1-8 2018年6月

つながる社会とクルマのセーフティ＆セキュリティの動向と展望

松原豊, 倉地亮, 高田広章

自動車技術 72 巻 ( 5 ) 頁： 87-93 2018年5月

FRAM/STPA: Hazard Analysis Method for FRAM Model 査読有り

Yoshinari Toda, Yutaka Matsubara, Hiroaki Takada

Proceedings of FRAMily 2018 頁： 1-7 2018年5月

　前のページ - 次のページ　

<松原 豊>

論文 - 松原 豊

<松原　豊>

論文 - 松原　豊