Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SS, DC |
2017-10-19 17:35 |
Kochi |
Kochi City Culture-plaza CUL-PORT |
An Empirical Study of Correction Candidates in a Requirements Specification Document for an Embbeded System Ryota Yamamoto, Norihiro Yoshida, Hiroaki Takada (Nagoya Univ.) SS2017-29 DC2017-28 |
Software developers tend to write incorrect/ambiguous expressions in a document. Incorrect/ambiguous expressions often c... [more] |
SS2017-29 DC2017-28 pp.49-54 |
SIP, CAS, MSS, VLD |
2017-06-20 09:30 |
Niigata |
Niigata University, Ikarashi Campus |
Deductive Verification Method of real-time safety properties for embedded assembly program
-- □≦TIME q = □(q∧(time≦TIME)) -- Satoshi Yamane (Kanazawa Univ.) CAS2017-12 VLD2017-15 SIP2017-36 MSS2017-12 |
It is important to verify both the correctness and real-time properties for embedded systems.
In this paper, we propos... [more] |
CAS2017-12 VLD2017-15 SIP2017-36 MSS2017-12 pp.59-64 |
ICD |
2017-04-20 14:55 |
Tokyo |
|
[Invited Lecture]
First demonstration of FinFET Split-Gate MONOS for High-Speed and Highly-Reliable Embedded Flash in 16/14nm-node and beyond Shibun Tsuda, Yoshiyuki Kawashima, Kenichiro Sonoda, Atsushi Yoshitomi, Tatsuyoshi Mihara, Shunichi Narumi, Masao Inoue, Seiji Muranaka, Takahiro Maruyama, Tomohiro Yamashita, Yasuo Yamaguchi (Renesas Electronics), Digh Hisamoto (Hitachi) ICD2017-7 |
FinFET split-gate metal-oxide nitride oxide silicon (SG-MONOS) Flash memories have been fabricated and operated for the ... [more] |
ICD2017-7 pp.35-38 |
ICD |
2017-04-20 15:20 |
Tokyo |
|
[Invited Talk]
Embedded Flash Technology for Automotive Applications Masaya Nakano, Takashi Ito, Tadaaki Yamauchi, Yasuo Yamaguchi, Takashi Kono, Hideto Hidaka (Renesas Electronics) ICD2017-8 |
Higher fuel-efficient engine and advanced driver assistance system (ADAS) require the further progress of embedded Flash... [more] |
ICD2017-8 pp.39-44 |
MSS |
2017-03-16 11:20 |
Shimane |
Shimane Univ. |
Verification Methods of real-time properties for embedded assembly program
-- Model checking and deductive verification for embedded program -- Satoshi Yamane (Kanazawa Univ.) MSS2016-83 |
It is important to verify both the correctness and real-time properties for embedded systems.
In this paper, we propos... [more] |
MSS2016-83 pp.11-16 |
SS |
2017-03-10 11:35 |
Okinawa |
|
Approximation of Multitask System Specification by Task Merging for Efficiency Improvement of Performance Verification Kazuma Hashimoto, Akio Nakata (Hiroshima City Univ.) SS2016-79 |
In the development of embedded software which requires high reliability satisfaction and performance of hard requirement... [more] |
SS2016-79 pp.115-120 |
SIS |
2017-03-03 10:10 |
Kanagawa |
Kanagawa Inst. Tech. Yokohama Office |
Acceleration of Dehazing Processing Based on Min-Max Bilateral Filter on an Embedded System Ayaka Yasuda (NIT, Tokuyama Col.), Shota Furukawa, Noriaki Suetake (Yamaguchi Univ.), Takanori Koga (NIT, Tokuyama Col.) SIS2016-56 |
Currently, researches on dehazing processing to remove haze such as fog included in images have been actively conducted.... [more] |
SIS2016-56 pp.83-86 |
SDM |
2017-01-30 13:30 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
[Invited Talk]
First Demonstration of FinFET Split-Gate MONOS for High-Speed and Highly-Reliable Embedded Flash in 16/14nm-node and Beyond Shibun Tsuda, Yoshiyuki Kawashima, Kenichiro Sonoda, Atsushi Yoshitomi, Tatsuyoshi Mihara, Shunichi Narumi, Masao Inoue, Seiji Muranaka, Takahiro Maruyama, Tomohiro Yamashita, Yasuo Yamaguchi (Renesas Electronics), Digh Hisamoto (Hitachi) SDM2016-134 |
FinFET split-gate metal-oxide nitride oxide silicon (SG-MONOS) Flash memories have been fabricated and operated for the ... [more] |
SDM2016-134 pp.17-20 |
KBSE |
2017-01-24 10:00 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
A GSN development approach for Feature models Hiroyuki Utsunomiya, Shuichiro Yamamoto (Nagoya Univ.) KBSE2016-34 |
The feature model was known to reuse components for developing similar embedded software. However, the assurance method ... [more] |
KBSE2016-34 pp.19-24 |
ICD |
2016-04-15 10:55 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
[Invited Talk]
A 90nm Embedded 1T-MONOS Flash Macro for Automotive Applications with 0.07mJ/8kB Rewrite Energy and Endurance Over 100M Cycles Under Tj of 175°C Satoru Nakanishi, Hidenori Mitani, Ken Matsubara, Hiroshi Yoshida, Takashi Kono, Yasuhiko Taito, Takashi Ito, Takashi Kurafuji, Kenji Noguchi, Hideto Hidaka, Tadaaki Yamauchi (Renesas) ICD2016-15 |
A first-ever 90nm embedded 1T-MONOS Flash macro is presented to realize automotive reliability and simple process integr... [more] |
ICD2016-15 pp.77-81 |
ICSS, IPSJ-SPT |
2016-03-03 12:40 |
Kyoto |
Academic Center for Computing and Media Studies, Kyoto University |
Improving IoTPOT for Observing Various Attacks Targeting Embedded Devices Shogo Suzuki, YinMin Papa, Yuta Ezawa, Ying Tie, Sou Nakayama, Katsunari Yoshioka, Tsutomu Matsumoto (Yokohama National Univ.) ICSS2015-47 |
IoTPOT, which we previously implemented as a honeypot system for embedded devices, can only emulate Telnet service. In t... [more] |
ICSS2015-47 pp.1-6 |
KBSE |
2016-03-04 18:00 |
Oita |
|
A Study of Layer Interaction Diagram for Context-Oriented Technique Daisuke Moriya, Eri Ogawa, Hiroki Kamijo, Harumi Watanabe (Tokai Univ) KBSE2015-70 |
The article proposes a Layer Interaction Diagram. That diagram is a part of Context-Oriented software development that i... [more] |
KBSE2015-70 pp.125-130 |
VLD |
2016-02-29 15:00 |
Okinawa |
Okinawa Seinen Kaikan |
High-Level Synthesis of Embedded Systems Controller from Erlang Hinata Takabeyashi, Nagisa Ishiura, Kagumi Azuma (Kwansei Gakuin Univ), Nobuaki Yoshida, Hiroyuki Kanbara (ASTEM) VLD2015-114 |
This article presents a method of specifying the behavior of embedded systems' control by a subset of Erlang and synthes... [more] |
VLD2015-114 pp.19-24 |
VLD |
2016-03-02 09:50 |
Okinawa |
Okinawa Seinen Kaikan |
A Low-Power Intelligent Camera using an FPGA toward Internet of Things Agriculture Takahisa Kurose, Hiroki Nakahara, Tetsuo Morimoto (Ehime Univ.) VLD2015-134 |
With rapid increase of the Internet devices and the decreases of the sensor devices,
the Internet of Things~(IoT) has ... [more] |
VLD2015-134 pp.131-136 |
CAS |
2016-01-29 10:50 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
A construction of a quadcopter by using a student embedded device Kaito Isogai, Ryo Inohara, Hideo Nakano, Hideaki Okazaki (SIT) CAS2015-73 |
This report presents how to build a handmade quadcopter system and control the system in an Embedded system engineering ... [more] |
CAS2015-73 pp.67-72 |
SS, MSS |
2016-01-26 11:55 |
Ishikawa |
Shiinoki-Geihin-Kan |
Modeling and Performance Verification of Embedded Software Sharing Resources with Least Laxity First Schedulers Using Extended Time Petri Nets Takafumi Nakamura, Akio Nakata (Hiroshima City Univ.) MSS2015-59 SS2015-68 |
In the development of embedded software which requires high reliability satisfaction of hard requirements for both compu... [more] |
MSS2015-59 SS2015-68 pp.135-140 |
MBE, NC (Joint) |
2015-12-19 13:00 |
Aichi |
Nagoya Institute of Technology |
Limited General Regression Neural Network for embedded systems and its implementation method to increase its throughput Daisuke Nishio, Koichiro Yamauchi (Chubu Univ.) NC2015-46 |
Recent improvement of the microcomputer enables the execution of complex intelligent algorithms on embedded systems.
... [more] |
NC2015-46 pp.1-6 |
ICD, CPSY |
2015-12-17 14:45 |
Kyoto |
Kyoto Institute of Technology |
Real Time scheduling algorithm on multiprocessor system Ryuta Hayashi, Myungryun Yoo, Takanori Yokoyama (TCU) ICD2015-68 CPSY2015-81 |
In recent embedded systems multiprocessor platforms are commonly used. Due to this background, Scheduling algorithm is d... [more] |
ICD2015-68 CPSY2015-81 pp.27-32 |
VLD, DC, IPSJ-SLDM, CPSY, RECONF, ICD, CPM (Joint) [detail] |
2015-12-03 12:05 |
Nagasaki |
Nagasaki Kinro Fukushi Kaikan |
A Low Latency Real-Time Execution on Dependable Responsive Multithreaded Processor II Yusuke Hatori, Kohei Osawa (Keio Univ.), Keigo Mizotani (Nintendo), Hiroyuki Chishiro, Nobuyuki Yamasaki (Keio Univ.) CPSY2015-75 |
Recent embedded real-time systems have required multiprocessors to achieve not only real-time con-
straints but also hi... [more] |
CPSY2015-75 pp.81-86 |
VLD, DC, IPSJ-SLDM, CPSY, RECONF, ICD, CPM (Joint) [detail] |
2015-12-03 13:45 |
Nagasaki |
Nagasaki Kinro Fukushi Kaikan |
Fast and Accurate Estimation of Execution Cycles for ARM Architecture Go Sato, Yuki Ando, Hiroaki Takada, Shinya Honda, Yutaka Matsubara (Nagoya Univ) VLD2015-73 DC2015-69 |
(To be available after the conference date) [more] |
VLD2015-73 DC2015-69 pp.231-236 |