WEKO3
アイテム
信頼性向上を目的とした組込みソフトウェア向けプログラミング言語の開発
http://hdl.handle.net/10458/3228
http://hdl.handle.net/10458/3228e5d1feb5-40a0-4cf4-96bf-0cbce832047f
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
engineering39-45.pdf (167.6 kB)
|
|
| Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2011-02-25 | |||||
| タイトル | ||||||
| タイトル | 信頼性向上を目的とした組込みソフトウェア向けプログラミング言語の開発 | |||||
| 言語 | ja | |||||
| タイトル | ||||||
| タイトル | Development of a Programming Language to Improve Reliability of Embedded Software | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| キーワード | ||||||
| 言語 | en | |||||
| 主題Scheme | Other | |||||
| 主題 | Embedded software, Programming language, Compiler, State chart diagram | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | departmental bulletin paper | |||||
| その他（別言語等）のタイトル | ||||||
| その他のタイトル | シンライセイ コウジョウ オ モクテキ トシタ クミコミ ソフトウェア ムケ プログラミング ゲンゴ ノ カイハツ | |||||
| 著者 |
岡山, 直樹
× 岡山, 直樹× 片山, 徹郎× Okayama, Naoki |
|||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | In recent years, embedded systems has become high-performance larger scale, therefore embedded software has become more complex. On the other hand, embedded software is required high-quality in development. So, this paper develops a programming language for embedded software development to improve reliability of embedded software. Specifically, the developed language has a function which can check a model at the time of compile and run-time, and has the relation of 1 to 1 between the state transition table and state chart diagram. Hence, it is expected to improve the reliability of embedded software. | |||||
| 言語 | en | |||||
| 書誌情報 |
ja : 宮崎大学工学部紀要 en : Memoirs of Faculty of Engineering, University of Miyazaki 巻 39, p. 301-306, 発行日 2010-09-30 |
|||||
| 出版者 | ||||||
| 出版者 | 宮崎大学工学部 | |||||
| 言語 | ja | |||||
| 出版者 | ||||||
| 出版者 | Faculty of Engineering, University of Miyazaki | |||||
| 言語 | en | |||||
| ISSN | ||||||
| 収録物識別子タイプ | ISSN | |||||
| 収録物識別子 | 05404924 | |||||
| 書誌レコードID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AA00732558 | |||||
| 著者版フラグ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
