| Presentation | 2016-01-26 Modeling and Performance Verification of Embedded Software Sharing Resources with Least Laxity First Schedulers Using Extended Time Petri Nets Takafumi Nakamura, Akio Nakata, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | In the development of embedded software which requires high reliability satisfaction of hard requirements for both computing resource and performance, it is useful to model the system’s behavior under specific computing resources and verify whether the system meet the performance requirements in the design phase of development. So far, we have proposed a method of verifying whether they meet the throughput requirements in the worst case by converting the behavioral specification of multi-tasking embedded system into an extended Time Petri Nets that can describe fixed priority scheduling and preemption. However, the method only supports fixed static priority and first-come-first-served schedulings. In recent years, the use of multiprocessing has increased in order to cope with requirements of both high performance and low power consumption. It is known that in the multiprocessor environment, Least Laxity First (LLF) scheduling is generally more effective. In this paper, we propose a modeling method of embedded software specification including LLF scheduler by extended Time Petri Nets. In the proposed modeling method, the model is simplified by making all tasks autonomously determine their priorities in resource acquisition. We evaluate the proposed method by applying it to performance verification of multi-tasking system specification including LLF schedulers. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Embedded Software / Multiprocessor / Time Petri Nets / Performance Verification / Least Laxity First |
| Paper # | MSS2015-59,SS2015-68 |
| Date of Issue | 2016-01-18 (MSS, SS) |
| Conference Information | |
| Committee | SS / MSS |
|---|---|
| Conference Date | 2016/1/25(2days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | Shiinoki-Geihin-Kan |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | Shoji Yuen(Nagoya Univ.) / Satoshi Yamane(Kanazawa Univ.) |
| Vice Chair | Kazuhiro Ogata(JAIST) / Morikazu Nakamura(Univ. of Ryukyus) |
| Secretary | Kazuhiro Ogata(Tokyo Inst. of Tech.) / Morikazu Nakamura(Waseda Univ.) |
| Assistant | Yoshiki Higo(Osaka Univ.) / Hideki Kinjo(Okinawa Univ.) |
| Paper Information | |
| Registration To | Technical Committee on Software Science / Technical Committee on Mathematical Systems Science and its applications |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Modeling and Performance Verification of Embedded Software Sharing Resources with Least Laxity First Schedulers Using Extended Time Petri Nets |
| Sub Title (in English) | |
| Keyword(1) | Embedded Software |
| Keyword(2) | Multiprocessor |
| Keyword(3) | Time Petri Nets |
| Keyword(4) | Performance Verification |
| Keyword(5) | Least Laxity First |
| 1st Author's Name | Takafumi Nakamura |
| 1st Author's Affiliation | Hiroshima City University(Hiroshima City Univ.) |
| 2nd Author's Name | Akio Nakata |
| 2nd Author's Affiliation | Hiroshima City University(Hiroshima City Univ.) |
| Date | 2016-01-26 |
| Paper # | MSS2015-59,SS2015-68 |
| Volume (vol) | vol.115 |
| Number (no) | MSS-419,SS-420 |
| Page | pp.pp.135-140(MSS), pp.135-140(SS), |
| #Pages | 6 |
| Date of Issue | 2016-01-18 (MSS, SS) |