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 |