Presentation | 2005-03-15 A Reliable Code Generation of Real-Time Java based on the Timed Automaton Kimihiro INOUE, Syoji YUEN, Kiyoshi AGUSA, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | We propose a systematic method to generate reliable codes of RTSJ(Real-Time Specification for Java) according to the specification based on timed automata. To fully specify program behavior, we add descriptions for system design such as memory allocation, asynchronous event handling and other system specific details. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Timed Automaton / RTSJ / Code Generation |
Paper # | SS2004-66 |
Date of Issue |
Conference Information | |
Committee | SS |
---|---|
Conference Date | 2005/3/8(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) | A Reliable Code Generation of Real-Time Java based on the Timed Automaton |
Sub Title (in English) | |
Keyword(1) | Timed Automaton |
Keyword(2) | RTSJ |
Keyword(3) | Code Generation |
1st Author's Name | Kimihiro INOUE |
1st Author's Affiliation | Graduate School of Infomation Science, Nagoya University() |
2nd Author's Name | Syoji YUEN |
2nd Author's Affiliation | Graduate School of Infomation Science, Nagoya University:JST Presto |
3rd Author's Name | Kiyoshi AGUSA |
3rd Author's Affiliation | Graduate School of Infomation Science, Nagoya University |
Date | 2005-03-15 |
Paper # | SS2004-66 |
Volume (vol) | vol.104 |
Number (no) | 723 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |