| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
All Technical Committee Conferences (Searched in: All Years)
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| MSS, NLP (Joint) |
2018-03-13 14:55 |
Osaka | Deductive Verification of real-time safety properties for embedded assembly program using theorem prover Princess Naoki Odajima (Kanazawa Univ.), Gakuhi Fukuda (Kanazawa Nishikigaoka), Satoshi Yamane (Kanazawa Univ.)  MSS2017-84 |
It is important to verify both the correctness and real-time properties for embedded systems. In this paper, we propos... [more] |
MSS2017-84 pp.35-40 |
|
| SIS | 2018-03-08 15:50 |
Aichi | Meijo Univ. Tempaku Campus | Improvement of Real-time Dehazing Processing Suitable for Embedded Systems Ayaka Yasuda (NIT, Tokuyama Col.), Shota Furukawa (NIT, Kagoshima Col.), Noriaki Suetake (Yamaguchi Univ.), Takanori Koga (NIT, Tokuyama Col.) SIS2017-61 |
Processing for removing haze such as fog and mist superimposed on digital images is called dehazing. When dehazing syste... [more] | SIS2017-61 pp.23-28 |
| SS | 2018-03-07 15:00 |
Okinawa | Suggestion of Test Case Generation Method with Priority Based on Use Case of User for System Test Emi Saito, Ai Toshikuni, Yuichiroh Nakagawa (Hitachi) SS2017-76 |
In embedded systems, developers have a demand to find serious defects early. We suppose that it is serious as defects to... [more] | SS2017-76 pp.69-74 |
|
| KBSE | 2018-03-02 14:20 |
Okinawa | A Study on a Programming Framework for Self-Adaptive Systems
-- Dynamic Verification Considering Time Constraints -- Hiroki Tsuda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) KBSE2017-59 |
Self-adaptive systems can adapt to environment changes and changes of internal conditions. In embedded systems that have... [more] | KBSE2017-59 pp.121-126 |
|
| KBSE | 2018-01-25 13:35 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | Applicability of a Framework for Updating Functions Based on the MAPE Loop Mechanism Shinya Tsuchida, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ) KBSE2017-32 |
Software evolution for embedded systems is a necessary process in software development. In this paper, we construct a pr... [more] | KBSE2017-32 pp.1-6 |
| SS, MSS | 2018-01-18 15:05 |
Hiroshima | Deadline Assignment Optimization Method Using Extended Time Petri Nets for Real-Time Multitask Distributed Systems Sharing Processors with EDF Scheduling Reon Matsuoka, Akio Nakata (Hiroshima City Univ.) MSS2017-56 SS2017-43 |
In the development of embedded software which requires high reliability satisfaction of hard requirements for both compu... [more] | MSS2017-56 SS2017-43 pp.53-58 |
|
| IPSJ-ARC, VLD, CPSY, RECONF, IPSJ-SLDM [detail] | 2018-01-18 17:00 |
Kanagawa | Raiosha, Hiyoshi Campus, Keio University | Distributed Memory Architecture for High-Level Synthesis from Erlang Kagumi Azuma, Shoki Hamana, Hidekazu Wakabayashi, Nagisa Ishiura (Kwansei Gakuin Univ.), Nobuaki Yoshida, Hiroyuki Kanbara (ASTEM) VLD2017-75 CPSY2017-119 RECONF2017-63 |
This paper presents a distributed memory architecture for dedicated hardware automatically synthesized from Erlang prog... [more] |
VLD2017-75 CPSY2017-119 RECONF2017-63 pp.77-82 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| SIS, IPSJ-AVM | 2015-09-03 13:10 |
Osaka | Kansai Univ. | [Tutorial Lecture]
Side-channel Attack on Cryptographic Embedded Systems and Its Countermeasure Naofumi Homma (Tohoku Univ.) SIS2015-18 |
Cryptography is an indispensable technology to construct safe and secure information-driven society, and systems includi... [more] | SIS2015-18 pp.19-24 |
| MSS, CAS, SIP, VLD | 2015-06-18 10:10 |
Hokkaido | Otaru University of Commerce | Software model checking of embedded assembly programs by symbolic execution Ryosuke Konoshita, Satoshi Yamane (Kanazawa Univ.) CAS2015-15 VLD2015-22 SIP2015-46 MSS2015-15 |
We have developed a software verification system for embedded assembly programs. It dynamically generates a model by th... [more] |
CAS2015-15 VLD2015-22 SIP2015-46 MSS2015-15 pp.77-81 |
| SS | 2015-05-11 13:00 |
Kumamoto | Kumamoto University | Towards Applications of FRP in Small-Scale Embedded Systems Kensuke Sawada, Kouhei Suzuki, Takuo Watanabe (Tokyo Tech.) SS2015-1 |
In this paper, we show using examples that functional reactive programming (FRP) is beneficial for small-scale embedded ... [more] | SS2015-1 pp.1-5 |
| DC, CPSY | 2015-04-17 13:25 |
Tokyo | A study of processor architecture suited for intelligent sensing system Hiroki Hihara, Akira Iwasaki (Univ. of Tokyo), Masanori Hashimoto (Osaka Univ./JST CREST), Hiroyuki Ochi (Rits/JST CREST), Yukio Mitsuyama (KUT/JST CREST), Hidetoshi Onodera (Kyoto Univ./JST CREST), Hiroyuki Kanbara (ASTEM/JST CREST), Kazutoshi Wakabayashi, Takashi Takenaka, Takashi Takenaka, Hiromitsu Hada, Munehiro Tada (NEC/JST CREST) CPSY2015-8 DC2015-8 |
Sensor nodes are now important elements for the system of social infrastructure, and thus intelligent processing capabil... [more] | CPSY2015-8 DC2015-8 pp.43-48 |
|
| SS | 2015-03-09 13:00 |
Okinawa | OKINAWAKEN SEINENKAIKAN | Certifying Low Level Code for The Task-Control in Toppers/SSP Kernel Mitsuru Arakawa, Shoji Yuen (Nagoya Univ..) SS2014-60 |
We present a proof to certify the low-level code in Toppers/SSP kernel, which is an open source RTOS (Real Time Operatin... [more] | SS2014-60 pp.31-36 |
| CPSY, IPSJ-EMB, IPSJ-SLDM, DC [detail] | 2015-03-06 15:40 |
Kagoshima | Development of soft macro processor for embedded system Tomoyuki Sugiyama, Takahiro Sasaki, Toshio Kondo (Mie Univ.) CPSY2014-168 DC2014-94 |
Recently, to achieve high performance, low energy consumption and high reliability is required in embedded systems. But ... [more] | CPSY2014-168 DC2014-94 pp.37-42 |
|
[Return to Top Page]