Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SeMI, SeMI (Joint) |
2023-01-19 15:05 |
Tokushima |
Naruto grand hotel (Primary: On-site, Secondary: Online) |
[Short Paper]
An experimental study on the transition of camera-based human localization to CSI sensing Kanare Kodera, Shoki Ohta, Takayuki Nishio (Tokyo Tech) SeMI2022-81 |
Wi-Fi sensing, represented by CSI (channel state information) sensing~cite{CSIsurvey}, has attracted much attention. Com... [more] |
SeMI2022-81 pp.43-48 |
CPSY, DC, IPSJ-SLDM, IPSJ-EMB, IPSJ-ARC [detail] |
2022-03-10 09:30 |
Online |
Online |
Evaluation of Cooperative System Architecture Using State Transition Probability Model for Resilient Satellite-based Service Infrastructure Yuki Tomita, Naohiko Kohtake (Keio Univ.) CPSY2021-53 DC2021-87 |
In the development of satellite services, it is necessary to deal with issues unique to space systems, such as non-repai... [more] |
CPSY2021-53 DC2021-87 pp.50-55 |
ET |
2022-03-04 10:35 |
Online |
Online |
Study on Class Training System using Multi-student Agents based on Class Evaluation and Environmental Information Chie Masumoto, Sho Ooi, Mutsuo Sano (OIT) ET2021-59 |
An aspirant to teachers has a few opportunities to teach in the field, such as practical training and a part-time teache... [more] |
ET2021-59 pp.48-53 |
KBSE, IPSJ-SE, SS [detail] |
2021-07-08 14:15 |
Online |
Online (Zoom) |
Extraction method for transition relations from conditional statements in natural language requirements specifications Maiko Onishi (Ochanomizu Univ.), Hiroya Ii, Shinpei Ogata, Kozo Okano (Shinshu Univ.), Daisuke Bekki (Ochanomizu Univ.) SS2021-5 KBSE2021-17 |
In software development, it is generally known that detecting defects at an early stage of the process reduces rework an... [more] |
SS2021-5 KBSE2021-17 pp.25-30 |
KBSE, SC |
2020-11-13 15:04 |
Online |
Online + Kikai-Shinko-Kaikan Bldg. (Primary: Online, Secondary: On-site) |
[Poster Presentation]
Prototype Tool to Detect Difference between State Machine Diagrams toward Automation of Providing Educational Feedback to Learners Mitsutada Goshima, Shinpei Ogata (Shinshu Univ.), Erina Makihara (Doshisha Univ.), Kozo Okano (Shinshu Univ.) KBSE2020-15 SC2020-19 |
State machine diagrams in UML are useful for system development and other purposes because they represent discrete behav... [more] |
KBSE2020-15 SC2020-19 p.30 |
CS |
2020-11-06 14:45 |
Online |
Online + Central Community Center, Nonoichi Community Center (Primary: Online, Secondary: On-site) |
[Invited Lecture]
A self-learning traffic analysis method for self-driving private mobile networks Anan Sawabe (NEC/UTokyo), Takanori Iwai (NEC), Akihiro Nakao (UTokyo) CS2020-63 |
Recent wide-spreading IoT use cases lead IoT vertical players without wireless network expertise to utilize high perform... [more] |
CS2020-63 pp.81-82 |
CPSY, DC, IPSJ-ARC [detail] |
2020-07-31 17:30 |
Online |
Online |
An Area Reduction Oriented Controller Augmentation Method Based on Functionally Equivalent Finite State Machine Generation Atsuya Tsujikawa, Toshinori Hosokawa (Nihon Univ.), Masayoshi Yoshimura (Kyoto Sangyo Univ.) CPSY2020-15 DC2020-15 |
In recent year, controller augmentation has been used for design-for-testability and design-for-security at register tra... [more] |
CPSY2020-15 DC2020-15 pp.93-98 |
KBSE |
2020-03-06 13:30 |
Okinawa |
Tenbusu-Naha (Cancelled but technical report was issued) |
A Method to Analyze the Proximate States to Hazards Based-on State Transition System for Supporting Safety Analysis Yusuke Suzuki, Shinpei Ogata, Yutaro Ohike (Shinshu Univ.), Yoshitaka Aoki (Nihon Unisys), Hiroyuki Nakagawa (Osaka Univ.), Kazuki Kobayashi, Kozo Okano (Shinshu Univ.) KBSE2019-47 |
STAMP (System-Theoretic Accident Model and Processes)/STPA (System-Theoretic Process Analysis) supports system developer... [more] |
KBSE2019-47 pp.7-12 |
DC |
2020-02-26 12:00 |
Tokyo |
|
A controller augmentation method to reduce the number of untestable faults for multiplexers with n-inputs Yuki Takeuchi, Toshinori Hosokawa, Hiroshi Yamazaki (Nihon Univ.), Masayoshi Yoshimura (Kyoto Sangyo Univ.) DC2019-90 |
With the complexity for VLSIs, transition fault testing is required. However, VLSIs generally have more untestable trans... [more] |
DC2019-90 pp.25-30 |
KBSE |
2020-01-25 15:25 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Speedup of Model-Based Testing for IoT Software Using Virtual Time and State Distribution of Devices Kotaro Tanabe (Tokyo Univ.), Yoshinori Tanabe (Tsurumi Univ.), Masami Hagiya (Tokyo Univ.) KBSE2019-44 |
Modbat is a model-based test tool that performs modeling using an extended finite state automaton(EFSM). In this study, ... [more] |
KBSE2019-44 pp.37-42 |
MIKA (2nd) |
2019-10-03 14:05 |
Hokkaido |
Hokkaido Univ. |
[Invited Lecture]
Traffic Analysis Empowered by Machine Learning for Estimating Context of IoT Application Anan Sawabe, Takanori Iwai (NEC) |
We have observed the emergence of various Internet of Things (IoT) use cases, such as remote robot control, over the las... [more] |
|
DC |
2019-02-27 13:40 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
State Assignment Method to Improve Transition Fault Coverage for Datapath Masayoshi Yoshimura (Kyoto Sangyo Univ.), Yuki Takeuchi, Hiroshi Yamazaki, Toshinori Hosokawa (Nihon Univ.) DC2018-78 |
Recently, it is indispensable to test in transition fault model due to timing defects increase along with complication a... [more] |
DC2018-78 pp.43-48 |
DC |
2019-02-27 14:30 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
A Compaction Method for Test Sensitization State in Controllers Yuki Ikegaya, Yuta Ishiyama, Toshinori Hosokawa, Hiroshi Yamazaki (Nihon Univ.) DC2018-80 |
One of the challenges on VLSI testing is to reduce the area overhead of design-for-testability and to increase the fault... [more] |
DC2018-80 pp.55-60 |
KBSE |
2019-01-26 10:05 |
Tokyo |
NII |
Towards IoT software testing with model-based testing tool Modbat Kotaro Tanabe (Univ. Tokyo), Yoshinori Tanabe (Tsurumi Univ.), Masami Hagiya (Univ. Tokyo) KBSE2018-44 |
Modbat is a tool for model-based testing, and it uses extended finite state machines for modeling.
In previous research... [more] |
KBSE2018-44 pp.9-14 |
DC, SS |
2018-10-05 10:00 |
Aichi |
Inuyama City Kokusai-Kanko Center Freud |
Supporting the Generation of State Transition Models in a Requirements Specification Document for an Embedded System Naru Nakamura, Ryota Yamamoto, Norihiro Yoshida, Hiroaki Takada (Nagoya Univ.) SS2018-22 DC2018-23 |
Generally, it is difficult for developers to find all insufficient or inconsistent descriptions in a requirement specifi... [more] |
SS2018-22 DC2018-23 pp.25-30 |
NS, OCS, PN (Joint) |
2018-06-15 13:20 |
Fukushima |
Koriyama-Shoko-Kaigisho |
[Encouragement Talk]
Real-time Estimating Application Flow from Encrypted Traffic Anan Sawabe, Takanori Iwai, Kozo Satoda (NEC) NS2018-33 |
In recent years, mobile network operators have focused on QoE and QoC of users, which requires advanced network control ... [more] |
NS2018-33 pp.31-36 |
RCS, NS (Joint) |
2017-12-14 12:50 |
Hiroshima |
Aster Plaza |
Identification of Applications on Smartphone by Encrypted Traffic Analysis Anan Sawabe, Takanori Iwai, Kozo Satoda (NEC) NS2017-126 |
Requirements of smartphone users shift from the quality of service, i.e., throughput, to the quality of applications . M... [more] |
NS2017-126 pp.1-6 |
SS, KBSE, IPSJ-SE [detail] |
2017-07-20 15:25 |
Hokkaido |
|
On the Extraction of State Transition Tables from an Embedded Software System and Analysis Support Ryota Yamamoto, Norihiro Yoshida (Nagoya Univ.), Nao Aoki (JASA), Hiroaki Takada (Nagoya Univ.) SS2017-16 KBSE2017-16 |
It is hard to understand legacy code for an embedded software system. It leads much cost for maintaining and reusing the... [more] |
SS2017-16 KBSE2017-16 pp.133-138 |
MSS, SS |
2017-01-27 10:40 |
Kyoto |
Kyoto Institute of Technology |
Formal Description of a Processing as a Mapping between different sorts of Representations, Considering state-transition Fumiko Kouda (Utokyo) MSS2016-70 SS2016-49 |
We propose a new computing processing model, as a mapping of
representation-translation, considering their semantics, ... [more] |
MSS2016-70 SS2016-49 pp.77-82 |
KBSE |
2017-01-23 13:20 |
Tokyo |
Kikai-Shinko-Kaikan Bldg. |
Consideration of the effectiveness for error detection function about conceptual modeling education with state machine diagram made by beginners Masaki Tajima, Mizue Kayama, Shinpei Ogata, Masami Hashimoto (Shinshu Univ.) KBSE2016-32 |
The purpose of this study is to explore the suitable learning environment for conceptual modeling with UML. Our students... [more] |
KBSE2016-32 pp.7-12 |