| Presentation | 2018-03-02 A Study on a Programming Framework for Self-Adaptive Systems Hiroki Tsuda, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | Self-adaptive systems can adapt to environment changes and changes of internal conditions. In embedded systems that have time constraints, an increase of processing time causes a delay of behavior and may result in system failure. In this paper, we discuss a programming framework for self-adaptive systems that has a mechanism for verifying system behaviors against time constraints. The feasibility of our framework is demonstrated by an implementation of a simple self-adaptive system. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | self-adaptive systems / embedded systems / time constraints / programming frameworks |
| Paper # | KBSE2017-59 |
| Date of Issue | 2018-02-22 (KBSE) |
| Conference Information | |
| Committee | KBSE |
|---|---|
| Conference Date | 2018/3/1(2days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | Shigeo Kaneda(Doshisha Univ.) |
| Vice Chair | Fumihiro Kumeno(Nippon Inst. of Tech.) |
| Secretary | Fumihiro Kumeno(Kanagawa Inst. of Tech.) |
| Assistant | Takuya Saruwatari(NTT) / Kosaku Kimura(Fujitsu labs.) |
| Paper Information | |
| Registration To | Technical Committee on Knowledge-Based Software Engineering |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | A Study on a Programming Framework for Self-Adaptive Systems |
| Sub Title (in English) | Dynamic Verification Considering Time Constraints |
| Keyword(1) | self-adaptive systems |
| Keyword(2) | embedded systems |
| Keyword(3) | time constraints |
| Keyword(4) | programming frameworks |
| 1st Author's Name | Hiroki Tsuda |
| 1st Author's Affiliation | Osaka University(Osaka Univ.) |
| 2nd Author's Name | Hiroyuki Nakagawa |
| 2nd Author's Affiliation | Osaka University(Osaka Univ.) |
| 3rd Author's Name | Tatsuhiro Tsuchiya |
| 3rd Author's Affiliation | Osaka University(Osaka Univ.) |
| Date | 2018-03-02 |
| Paper # | KBSE2017-59 |
| Volume (vol) | vol.117 |
| Number (no) | KBSE-465 |
| Page | pp.pp.121-126(KBSE), |
| #Pages | 6 |
| Date of Issue | 2018-02-22 (KBSE) |