Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
IA |
2019-11-29 11:30 |
Aomori |
Tsugaru Densho Kougei-kan |
Development and Evaluation of Wide-Area Sensing System Utilizing Fixed Route Bus Tomoya Kimura, Hiroshi Yamamoto (Ritsumeikan Univ.) IA2019-44 |
After occurrence of a ceiling board collapse accident in Chuo Expressway Sasago Tunnel in 2012, local governments managi... [more] |
IA2019-44 pp.7-12 |
KBSE, SC |
2019-11-08 15:40 |
Nagano |
Shinshu University |
A Case-study for Developpment and Verification of an Embedded System Kozo Okano, Shinpei Ogata, Miki Natsume (Shinshu Univ.) KBSE2019-30 SC2019-27 |
Through a development of an embedded system and design verification, we report on the issues and workload when novice en... [more] |
KBSE2019-30 SC2019-27 pp.41-46 |
KBSE, SS, IPSJ-SE [detail] |
2018-07-18 14:25 |
Hokkaido |
|
A Study of Safety Updating Functionalities for Embedded Systems Shinya Tsuchida, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ) SS2018-8 KBSE2018-18 |
Software evolution for embedded systems is a necessary process in software development. In this paper, we update a progr... [more] |
SS2018-8 KBSE2018-18 pp.43-48 |
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 |
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 |
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 |
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 |
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 |
SS |
2015-05-11 16:30 |
Kumamoto |
Kumamoto University |
Modeling and Performance Verification of Embedded Software in Multiprocessor Environment Using Extended Time Petri Nets Takafumi Nakamura, Akio Nakata (Hiroshima City Univ.) SS2015-7 |
In the development of embedded software which requires high reliability satisfaction of hard requirements for both compu... [more] |
SS2015-7 pp.33-37 |
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 |
CPSY, IPSJ-EMB, IPSJ-SLDM, DC [detail] |
2015-03-06 17:05 |
Kagoshima |
|
Development of Introductory Learning Material for Embedded Systems using Plarail Takashi Kawanami, Shunpei Kaji, Daisuke Takago, Ryoko Hayashi (KIT) CPSY2014-171 DC2014-97 |
Development of embedded systems requires wide range of knowledge from hardware to software so that embedded systems were... [more] |
CPSY2014-171 DC2014-97 pp.55-60 |
SIS |
2015-03-05 11:50 |
Tokyo |
Meiji Univ. Nakano Campus (Tokyo) |
Hardware implementation of embedded systems using the TCP/IP communication Atsushi Nakanishi, Kouki Uchikoshi, Kei Igarashi, Tomoaki Kimura (KAIT) SIS2014-96 |
We proposed an embedded system which is TCP/IP communication of CPU-LESS by using FPGA. This system is based on TCP/IP s... [more] |
SIS2014-96 pp.27-32 |
ICD, CPSY |
2014-12-01 10:00 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Consideration of SIMD Acceleration for a MIPS Instruction Processor
-- A case study of processor design contest -- Kosuke Hiraishi, Akihiro Hashimoto, Kanemitsu Ootsu, Takeshi Ohkawa, Takashi Yokota (Utsunomiya Univ.) ICD2014-73 CPSY2014-85 |
In the system development using soft core processor on an FPGA (Field Programmable Gate Array), an access to external me... [more] |
ICD2014-73 CPSY2014-85 pp.1-6 |
ICSS, ISEC, SITE, EMM, IPSJ-CSEC, IPSJ-SPT [detail] |
2014-07-03 11:30 |
Hokkaido |
San-Refure Hakodate |
Experimental Platform for CAN Kazuomi Oishi (Shizuoka Inst. of Science and Tech.) ISEC2014-17 SITE2014-12 ICSS2014-21 EMM2014-17 |
Embedded systems are used for various purposes and are widely prevalent.
It turned out that embedded systems for which ... [more] |
ISEC2014-17 SITE2014-12 ICSS2014-21 EMM2014-17 pp.81-87 |
VLD, DC, IPSJ-SLDM, CPSY, RECONF, ICD, CPM (Joint) [detail] |
2013-11-28 08:55 |
Kagoshima |
|
Mapping of Java bytecode to virtual CGRA with implementation in FPGA Yuki Ogawa, Motoki Amagasaki, Masahiro Iida, Morihiro Kuga, Toshinori Sueyoshi (Kumamoto Univ.) RECONF2013-47 |
In embedded systems, the needs for rapid both low-cost development and high performance has been increasing recently.
... [more] |
RECONF2013-47 pp.45-50 |
MSS, CAS, IPSJ-AL [detail] |
2013-11-06 14:00 |
Iwate |
|
Development of specification language for dynamic embedded systems Satoshi Yamane, Makoto Sakai (Kanazawa Univ.) CAS2013-58 MSS2013-37 |
Embedded systems input signals from external environments, and
tasks communicate with other tasks, also tasks behave c... [more] |
CAS2013-58 MSS2013-37 pp.23-28 |
SS, IPSJ-SE |
2013-10-24 10:50 |
Ishikawa |
|
Development of the Behavior Extractor for Assembly Program of Embedded CISC Microcomputer and Adapting to Model Checking
-- Generating the Model Automatically by Simulation -- Ryosuke Konoshita, Satoshi Yamane, Kohei Sakurai (Kanazawa Univ.) SS2013-37 |
We aim at Model Checking for Embedded Systems. We describe the outline of Behavior Extractor that automatically construc... [more] |
SS2013-37 pp.7-12 |
ICD, IPSJ-ARC |
2013-01-31 13:45 |
Tokyo |
|
[Invited Talk]
GPU/GPGPU trends and development approaches in DMP Eisaku Ohbuchi, Yukitaka Takemura (DMP) ICD2012-123 |
Recent mobile devices such as smart phones and tablets, adopt 3D graphics accelerator (GPU) core into application proces... [more] |
ICD2012-123 pp.17-21 |
VLD, DC, IPSJ-SLDM, CPSY, RECONF, ICD, CPM (Joint) [detail] |
2012-11-27 14:15 |
Fukuoka |
Centennial Hall Kyushu University School of Medicine |
A study on reconfigurable direct conversion JAVA accelerator for embedded systems Seiya Takada, Motoki Amagasaki, Masahiro Iida, Morihiro Kuga, Toshinori Sueyoshi (Kumamoto Univ) RECONF2012-48 |
In embedded systems, the requirements for short-time and low-cost development have been increased
recently. For this re... [more] |
RECONF2012-48 pp.9-14 |