| 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 # | |
| SS, MSS | 2024-01-18 10:25 |
Ishikawa | (Primary: On-site, Secondary: Online) |
Parametric Execution Time Analysis of Programs Considering Nested Loops Using Partial Execution Time Measurement and its Evaluation Yugen Nakanishi, Akio Nakata (Hiroshima City Univ.)  MSS2023-62 SS2023-41 |
In this paper, we propose a parametric execution time analysis method for real-time software reuse. When reusing softwar... [more] | MSS2023-62 SS2023-41 pp.58-63 |
| SS, MSS | 2022-01-12 10:05 |
Nagasaki | Nagasakiken-Kensetsu-Sogo-Kaikan Bldg. (Primary: On-site, Secondary: Online) |
Multitask Scheduling for Reducing Total Memory Consumption while Satisfying Deadlines using Adaptive Control according to Dynamic Change of Task Memory Consumption Ryosuke Arai, Akio Nakata (Hiroshima City Univ) MSS2021-48 SS2021-35 |
The authors have previously proposed a multi-task scheduling method LMCLF, which can reduce the total memory usage of th... [more] | MSS2021-48 SS2021-35 pp.95-99 |
| SS | 2020-03-04 14:45 |
Okinawa | (Cancelled but technical report was issued) |
Real-time scheduling to reduce memory consumption of multiprocessor systems by considering both heap memory allocation/deallocation and real-time constraints Yuki Machigashira, Akio Nakata (Hiroshima City Univ.) SS2019-45 |
[more] | SS2019-45 pp.25-30 |
| SS | 2019-03-04 10:40 |
Okinawa | An improved LLF scheduling for reducing heap memory consumption in multiprocessor real-time system by considering laxity time Yuki Machigashira, Akio Nakata (Hirosima City Univ.) SS2018-55 |
Real-time embedded systems are often designed as multitasking systems in order to improve responsiveness to multiple ext... [more] | SS2018-55 pp.19-24 |
|
| KBSE, SS, IPSJ-SE [detail] | 2018-07-19 16:55 |
Hokkaido | Concurrent Execution Semantics of the Functional Programming Language in Continuation Passing Style Based on the Actor Model Nagisa Kojima, Kazuyuki Shima, Akio Nakata (Hiroshima City Univ.) SS2018-14 KBSE2018-24 |
In our study so far, we have proposed the notation which expresses lambda calculus in Continuation-Passing Style (CPS) s... [more] | SS2018-14 KBSE2018-24 pp.161-166 |
|
| 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 09:40 |
Okinawa | System Identification Method by Real-Time Calculus for Response Time Smoothing Reiya Okamoto, Akio Nakata (Hiroshima City Univ) SS2016-75 |
In real time systems, it is often required to smoothen the response times. However, when many input events occur within ... [more] | SS2016-75 pp.91-96 |
|
| SS | 2017-03-10 10:05 |
Okinawa | Multitask Scheduling Method for Reducing Total Heap Memory Usage under Deadline Constraints Yuto Suzuki, Akio Nakata (Hiroshima City Univ.) SS2016-76 |
Multitasking systems, often used in embedded software, require in general larger memory footprint than single tasking sy... [more] | SS2016-76 pp.97-102 |
|
| 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 |
|
| MSS, SS | 2017-01-26 11:30 |
Kyoto | Kyoto Institute of Technology | Multitask Scheduling Method for Reducing Total Memory Usage by Predicting Behavior of Heap Memory Allocations Hiroki Nakayama, Akio Nakata (Hiroshima City Univ) MSS2016-60 SS2016-39 |
The multitask scheduling method for reducing total memory usage that compares the next step increments of the memory usa... [more] | MSS2016-60 SS2016-39 pp.19-24 |
| 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 |
| SS, MSS | 2014-01-30 14:25 |
Aichi | An Efficient Parametric Execution Time Analysis of Real-Time Programs Using Approximation and its Evaluation Keisuke Sugihara, Akio Nakata (Hiroshima City Univ.) MSS2013-54 SS2013-51 |
For reusing real-time software in some different execution platform, it is useful to adjust the execution time of the pr... [more] | MSS2013-54 SS2013-51 pp.17-22 |
|
| SS, MSS | 2014-01-30 14:50 |
Aichi | A Method for Extracting Necessary Information for Performance Verification from Extended SysML Diagrams Yusuke Motoie, Akio Nakata (Hiroshima City Univ.) MSS2013-55 SS2013-52 |
Achieving performance requirements under severe resource constraints is one of the most important design issues in embed... [more] | MSS2013-55 SS2013-52 pp.23-28 |
|
| SS | 2012-05-10 14:40 |
Ehime | Ehime Univ. | On Multi-Task Scheduling for Reducing Heap Memory Consumption Using Live Variable Analysis Hiroki Funase, Akio Nakata (Hiroshima City Univ.) SS2012-2 |
Multitasking system often consume more memory than singletasking system, because when context switching occurs, the runn... [more] | SS2012-2 pp.7-12 |
| SS | 2012-05-10 16:25 |
Ehime | Ehime Univ. | Throughput Performance Verification of Airship Autopilot Software: A Case Study for Evaluating Performance Verification of Software Design Model Akira Kado, Akio Nakata (Hiroshima City Univ.) SS2012-5 |
In the development of embedded systems, it is generally difficult to check, in the design phase, whether or not a design... [more] | SS2012-5 pp.25-30 |
| SS | 2011-10-28 09:30 |
Ishikawa | JAIST | Parametric Execution Time Analysis for Recursive Programs and its Experimental Evaluation Kazuhiro Kabashima, Akio Nakata (Hiroshima City Univ.) SS2011-33 |
It is generally difficult to reuse real-time software components to different execution platforms, since its execution t... [more] | SS2011-33 pp.37-42 |
| SS | 2011-10-28 10:00 |
Ishikawa | JAIST | A Time Budget Optimization Method for Multi-Task Behavioral Specifications with Resource Constraints Kazuya Kurata, Taichi Dodo, Akio Nakata (Hiroshima City Univ.) SS2011-34 |
[more] | SS2011-34 pp.43-48 |
| SS | 2009-03-02 17:00 |
Saga | Saga University | [Invited Talk]
Model Checking of Timed Automata Akio Nakata (Hiroshima City Univ.) SS2008-53 |
In this paper, we briefly describe model checking of timed automata, one of the verification techniques of real-time sys... [more] | SS2008-53 pp.29-34 |
| DC, CPSY, IPSJ-SLDM, IPSJ-EMB | 2008-03-28 14:45 |
Kagoshima | A Context Assignment Algorithm for Real-time Tasks on Dynamically Reconfigurable Processor with Reconfigurable Overhead Keisuke Nishi (Osaka Univ.), Tomoya Kitani (NAIST), Akio Nakata (Hiroshima City Univ.), Teruo Higashino (Osaka Univ.) DC2007-114 CPSY2007-110 |
(To be available after the conference date) [more] | DC2007-114 CPSY2007-110 pp.179-184 |
|
[Return to Top Page]