| Presentation | 2003/7/30 Refinement Design Method of Real-Time Software Based on Timed Weak Simulation Relation and Worst Case Response Time Yoshimitsu NAKANO, Satoshi YAMANE, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | Real-time software runs over real-time operating systems, and guaranteeing qualities is difficult . In this paper, we propose a refinement design method of real-time software based on timed weak simulation relation and worst case response time. In this paper, we apply our proposed method to general real-time software scheduled by fixed-priority preemptive policy. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | real-time software / schedulability / timed weak simulation relation / stepwise refinement design / worst case response time |
| Paper # | DC2003-13 |
| Date of Issue |
| Conference Information | |
| Committee | DC |
|---|---|
| Conference Date | 2003/7/30(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Dependable Computing (DC) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Refinement Design Method of Real-Time Software Based on Timed Weak Simulation Relation and Worst Case Response Time |
| Sub Title (in English) | |
| Keyword(1) | real-time software |
| Keyword(2) | schedulability |
| Keyword(3) | timed weak simulation relation |
| Keyword(4) | stepwise refinement design |
| Keyword(5) | worst case response time |
| 1st Author's Name | Yoshimitsu NAKANO |
| 1st Author's Affiliation | Graduate School of Natural Science, Kanazawa University() |
| 2nd Author's Name | Satoshi YAMANE |
| 2nd Author's Affiliation | Faculty of Engineering, Kanazawa University |
| Date | 2003/7/30 |
| Paper # | DC2003-13 |
| Volume (vol) | vol.103 |
| Number (no) | 250 |
| Page | pp.pp.- |
| #Pages | 8 |
| Date of Issue | |