リアルタイムシステムにおけるプロトタイピングの一手法

• Item type: Journal(1)
• 公開日: 1985-09-15
• タイトル: リアルタイムシステムにおけるプロトタイピングの一手法
• タイトル / 言語: en
• タイトル: One Method of Prototyping for Real - time System
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: （株）東芝システム・ソフトウェア技術推進部
• 著者所属: （株）東芝重電技術研究所
• 著者所属(英): en
• 著者所属(英): Systems and Software Engineering Div., Toshiba Corporation
• 著者所属(英): en
• 著者所属(英): Heavy Apparatus Engineering Laboratory, Toshiba Corporation
• 著者名: 本位田真一; 松本, 吉弘
• 著者名(英): Shinichi, Honiden; Yoshihiro, Matsumoto
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 近年 ソフトウェアの仕様化技術としてプロトタイピング手法が注目されており 多くの手法が提案されているが とくにリアルタイムシステムの場合においては十分な研究が行われていないのが現状である.本論文ではリアルタイムシステムにおけるプロトタイピングの一手法を提案している.リアルタイムシステムの場合のプロトタイプとしては 機能 性能の両面について必要である.本手法では 要求レベル データ/機能レベル 大局的プログラミングレベルのおのおののレベルにおけるプロトタイピングを行っている.本手法においては 機能面でのプロトタイプは各レベルに対してすべてProlog文として統一され その結果レベル間のつき合わせも容易化されている.各レベルでの記述に対する文法は Prolog文のruleとして 実現され 各レベルで記述された情報はデータベースに格納されており これらから対応するProlog文のfactとして自動生成される.一方 性能面でのプロトタイプは 性能予測シミュレータヘの入力モデルであるが これはデータ/機能レベル 大局的プログラミングレベルから自動生成される.簡単な例によって適用方法も示してある.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 26, 号 5, p. 946-953, 発行日 1985-09-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764