WEKO3
アイテム
アスペクト指向状態言語の組込みソフトウェア制約への適用
https://ipsj.ixsq.nii.ac.jp/records/81072
https://ipsj.ixsq.nii.ac.jp/records/81072a0221829-c916-4929-9b93-4b81a87a95a2
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SE12175006.pdf (828.3 kB)
|
Copyright (c) 2012 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2012-03-08 | |||||||
| タイトル | ||||||||
| タイトル | アスペクト指向状態言語の組込みソフトウェア制約への適用 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | An Example of Aspect Oriented State Machine Language for Embedded Software Constraints | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 形式手法・設計 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 東海大学情報通信学部 | ||||||||
| 著者所属 | ||||||||
| 東海大学情報通信学部 | ||||||||
| 著者所属 | ||||||||
| 東海大学情報通信学部 | ||||||||
| 著者所属 | ||||||||
| 東海大学情報通信学部 | ||||||||
| 著者所属 | ||||||||
| 東京都市大学環境情報学部 | ||||||||
| 著者所属 | ||||||||
| 東京都市大学環境情報学部 | ||||||||
| 著者所属 | ||||||||
| 東海大学情報通信学部 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Tokai University School of Information and Telecommunication Engineering | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Tokai University School of Information and Telecommunication Engineering | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Tokai University School of Information and Telecommunication Engineering | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Tokai University School of Information and Telecommunication Engineering | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Faculty of Environmental and Information Studies Tokyo City University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Faculty of Environmental and Information Studies Tokyo City University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Tokai University School of Information and Telecommunication Engineering | ||||||||
| 著者名 |
川村, 峰大
安倍, 昌輝
長岡, 拓弥
谷川, 郁太
原, 築良
小倉, 信彦
渡辺, 晴美
× 川村, 峰大 安倍, 昌輝 長岡, 拓弥 谷川, 郁太 原, 築良 小倉, 信彦 渡辺, 晴美
|
|||||||
| 著者名(英) |
Takahiro, Kawamura
Masaki, Anbai
Takuya, Nagaoka
Ikuta, Tanigawa
Chikura, Hara
Nobuhiko, Ogura
Harumi, Watanabe
× Takahiro, Kawamura Masaki, Anbai Takuya, Nagaoka Ikuta, Tanigawa Chikura, Hara Nobuhiko, Ogura Harumi, Watanabe
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 組込みソフトウェアの複雑さは，時間，メモリ，環境などの制約に起因することが多い．制約によるソフトウェアの複雑さの問題に対し，我々はアスペクト指向状態遷移言語を提案してきた．本稿では，これまで提案してきた言語を拡張し，タイムスライス毎に状態遷移モデルを割り当てることでタイミング管理を可能にする．タイミング管理を，ポートの競合，ダイナミック点灯の遅延に関する制約問題に適用する． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | Complications of embedded software development commonly arise out ofconstraint on time, memory, and environment. We have addressed the problem by an aspect oriented language with state transition syntax. In this article, we extend, to handle time constraint, the language by assigning state transition models to each time slice. We also show an example as an application to resolve port confliction and constraint on timing of LED dynamic drive. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10112981 | |||||||
| 書誌情報 |
研究報告ソフトウェア工学（SE） 巻 2012-SE-175, 号 6, p. 1-8, 発行日 2012-03-08 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
