| Presentation | 2003/5/23 An Embedded Software Development Method using a Simulator Michihiro MATSUMOTO, Teruaki KITASUKA, Tsuneo NAKANISHI, Akira FUKUDA, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | The current embedded software development process has three problems, that are (1) periods of software development tend to be long, (2) products of the process tend to be not high reliable, and (3) the productivity of the process tends to be not high. To solve these problems, in this paper, we propose (a) a four-layers software architecture and (b) software development methods using simulators for all the layers. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Embedded Software / Simulator / Model Checking / Software Architecture |
| Paper # | SS2003-5 |
| Date of Issue |
| Conference Information | |
| Committee | SS |
|---|---|
| Conference Date | 2003/5/23(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 | Software Science (SS) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | An Embedded Software Development Method using a Simulator |
| Sub Title (in English) | |
| Keyword(1) | Embedded Software |
| Keyword(2) | Simulator |
| Keyword(3) | Model Checking |
| Keyword(4) | Software Architecture |
| 1st Author's Name | Michihiro MATSUMOTO |
| 1st Author's Affiliation | Fukuoka Laboratory for Emerging & Enabling Technology of SoC, Fukuoka Industry, Science & Technology Foundation:Graduate School of Information Science and Electrical Engineering, Kyushu University() |
| 2nd Author's Name | Teruaki KITASUKA |
| 2nd Author's Affiliation | Graduate School of Information Science and Electrical Engineering, Kyushu University |
| 3rd Author's Name | Tsuneo NAKANISHI |
| 3rd Author's Affiliation | Graduate School of Information Science and Electrical Engineering, Kyushu University:System LSI Research Center, Kyushu University |
| 4th Author's Name | Akira FUKUDA |
| 4th Author's Affiliation | Graduate School of Information Science and Electrical Engineering, Kyushu University |
| Date | 2003/5/23 |
| Paper # | SS2003-5 |
| Volume (vol) | vol.103 |
| Number (no) | 102 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |