Information and Systems-Dependable Computing(Date:2013/03/06)

Presentation
表紙

,  

[Date]2013/3/6
[Paper #]
目次

,  

[Date]2013/3/6
[Paper #]
4 method for monitoring GPOS using SafeG

TAKUYA MIURA,  TAKAYA OHTA,  DANIEL SANGORRIN,  SHINYA HONDA,  HIROAKI TAKADA,  

[Date]2013/3/6
[Paper #]Vol.2013-SLDM-160 No.1,Vol.2013-EMB-28 No.1
Memory Protection Test for Memory-Protected RTOS

YOSHIYUKI KAZAMA,  NAOKI SAKUDO,  KEI DAN,  AMI KIDOWAKI,  WATARU HIRAHASHI,  KAZUTO SHIGIHARA,  TOMOAKI UNAGAMI,  SHINYA HONDA,  HIROAKI TAKADA,  

[Date]2013/3/6
[Paper #]Vol.2013-SLDM-160 No.2,Vol.2013-EMB-28 No.2
分散共有メモリ機構を持つ組み込み制御システム向け分散リアルタイムOS(リアルタイムオペレーティングシステム,組込み技術とネットワークに関するワークショップETNET2013)

,  

[Date]2013/3/6
[Paper #]Vol.2013-SLDM-160 No.3,Vol.2013-EMB-28 No.3
RTOSからLinuxへのマイグレーションおよびRTOS教育のためのRTOS on POSIXの開発(リアルタイムオペレーティングシステム,組込み技術とネットワークに関するワークショップETNET2013)

,  

[Date]2013/3/6
[Paper #]Vol.2013-SLDM-160 No.4,Vol.2013-EMB-28 No.4
An Algorithm to Improve Accuracy of Positioning by GPS and QZSS

,  

[Date]2013/3/6
[Paper #]Vol.2013-SLDM-160 No.5,Vol.2013-EMB-28 No.5
Intrusion Detection for In-vehicle Networks without Modifying Legacy ECUS

SATOSHI OTSUKA,  TASUKU ISHIGOOKA,  

[Date]2013/3/6
[Paper #]Vol.2013-SLDM-160 No.6,Vol.2013-EMB-28 No.6
CAN-Ethernet protocol convert algorithm for automotive networks

JUN MATSUMURA,  YUTAKA MATSUBARA,  HIROAKI TAKADA,  MASAYA OI,  MASUMI TOYOSHIMA,  AKIHITO IWAI,  

[Date]2013/3/6
[Paper #]Vol.2013-SLDM-160 No.7,Vol.2013-EMB-28 No.7
A Partitioning Mechanism for Automotive Control Systems

KOJI TSUCHIMOTO,  HIROTAKA KAWASHIMA,  SHINYA HONDA,  HIROAKI TAKADA,  

[Date]2013/3/6
[Paper #]Vol.2013-SLDM-160 No.8,Vol.2013-EMB-28 No.8
Core Asset ]Management in XDDP4SPL Gradual Migration Process from Derivative Development to Software Product Line

,  

[Date]2013/3/6
[Paper #]Vol.2013-SLDM-160 No.9,Vol.2013-EMB-28 No.9
Putting Development Technique for Embedded System into Practice An Example of utilizing ET-robocon

TAKATOSHI OHARA,  MASAKAZU YAGI,  NAOHIKO FUKAYA,  HIDETO OGAWA,  

[Date]2013/3/6
[Paper #]Vol.2013-SLDM-160 No.10,Vol.2013-EMB-28 No.10
A Discussion of Applying Formal Methods to Architecture Oriented Development

HAN-MYUNG CHANG,  MASAMI NORO,  ATSUSHI SAWADA,  ATSUSHI YOSHIDA,  YOSHINARI HACHISU,  REISHI YOKOMORI,  

[Date]2013/3/6
[Paper #]Vol.2013-SLDM-160 No.11,Vol.2013-EMB-28 No.11
Trial of the Easiness improvement for Reviewer Detecting Defect by Viewpoint of Test

YUTAKA HADA,  YASUYUKI ISHIYAMA,  NORIYUKI AOKI,  

[Date]2013/3/6
[Paper #]Vol.2013-SLDM-160 No.12,Vol.2013-EMB-28 No.12
Simulated Annealing-Based TDMA Scheduling Technique

,  

[Date]2013/3/6
[Paper #]Vol.2013-SLDM-160 No.13,Vol.2013-EMB-28 No.13
TLMUを用いた組込みマルチコアのシミュレーション(システムレベル設計技術,組込み技術とネットワークに関するワークショップETNET2013)

,  

[Date]2013/3/6
[Paper #]Vol.2013-SLDM-160 No.14,Vol.2013-EMB-28 No.14
Accuracy Evaluation of Trace-based Cache Simulation for Two-core L1 Caches

TAWADA MASASHI,  YANAGISAWA MASAO,  TOGAWA NOZOMU,  

[Date]2013/3/6
[Paper #]Vol.2013-SLDM-160 No.15,Vol.2013-EMB-28 No.15
Fast Performance Estimation Method for Variable Latency Circuits with Error Detection/Correction Mechanism

,  

[Date]2013/3/6
[Paper #]Vol.2013-SLDM-160 No.16,Vol.2013-EMB-28 No.16
Basic-Block Level Energy Estimation Method for Fine-Grained Power-Gated VLIW Data-Path

SHUNSUKE NAKAMURA,  KOHEI AOKI,  MITSUYA UCHIDA,  ITTETSU TANIGUCHI,  HIROYUKI TOMIYAMA,  MASAHIRO FUKUI,  

[Date]2013/3/6
[Paper #]Vol.2013-SLDM-160 No.17,Vol.2013-EMB-28 No.17
A Trial for Reliability Hot spot Visualization for Large-scale Integrated Circuits

KATSUYA KINOSHITA,  TOMOHIKO SUMI,  TAMOTSU ISHIHARA,  LIE LIN,  MASAHIRO FUKUI,  

[Date]2013/3/6
[Paper #]Vol.2013-SLDM-160 No.18,Vol.2013-EMB-28 No.18
123>> 1-20hit(54hit)