|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b30. リサーチレポート >
Research Report - School of Information Science ： ISSN 0918-7553 >
IS-RR-2002 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/8398
|
| タイトル: | Extracting threads from concurrent objects for the design of embedded systems |
| 著者: | Okazaki, Mitsutaka
Aoki, Toshiaki
Katayama, Takuya |
| 発行日: | 2002-08-05 |
| 出版者: | 北陸先端科学技術大学院大学情報科学研究科 |
| 誌名: | Research report (School of Information Science, Japan Advanced Institute of Science and Technology) |
| 巻: | IS-RR-2002-019 |
| 開始ページ: | 1 |
| 終了ページ: | 10 |
| 抄録: | As a result of the increasing size and complexity of embedded systems, object-oriented techniques are going to be adopted in the embedded software development. In embedded software developments, we have to consider nonfunctional requirements such as real-time properties and resource requirements. To deal with these requirements, some methodologies design the system using a threadbased approach. In such approach, we need to extract threads from the concurrent objects defined in the analysis model. However, current methodologies do not provide enough support to do so. In this paper, we propose a formal approach to extract threads from concurrent objects. We also present an experimental application of the proposed approach to the development of a device driver. |
| URI: | http://hdl.handle.net/10119/8398 |
| 資料タイプ: | publisher |
| 出現コレクション: | IS-RR-2002
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| IS-RR-2002-019.pdf | | 803Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
