Extracting threads from concurrent objects for the design of embedded systems

• 資料種別: 文書・図像類
• タイトル: Extracting threads from concurrent objects for the design of embedded systems
• 著者・編者: Okazaki, Mitsutaka; Aoki, Toshiaki; Katayama, Takuya
• 著者標目: Okazaki, Mitsutaka; Aoki, Toshiaki; Katayama, Takuya
• 出版事項: 北陸先端科学技術大学院大学情報科学研究科
• 出版年月日等: 2002-08-05
• 出版年（W3CDTF）: 2002-08-05
• タイトル（掲載誌）: Research report (School of Information Science, Japan Advanced Institute of Science and Technology)
• 巻号年月日等（掲載誌）: IS-RR-2002-019
• 掲載巻: IS-RR-2002-019
• 掲載ページ: 1-10
• ISSN（掲載誌）: ISSN : 0918-7553
• 本文の言語コード: eng
• 対象利用者: 一般
• 一般注記: 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.; リサーチレポート（北陸先端科学技術大学院大学情報科学研究科）; identifier:https://dspace.jaist.ac.jp/dspace/handle/10119/8398
• オンライン閲覧公開範囲: 限定公開
• 連携機関・データベース: 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）; https://irdb.nii.ac.jp
• 提供元機関・データベース: 北陸先端科学技術大学院大学 : JAIST学術研究成果リポジトリ