WEKO3
アイテム
リアルタイムシステムにおけるプロトタイピングの一手法
https://ipsj.ixsq.nii.ac.jp/records/15768
https://ipsj.ixsq.nii.ac.jp/records/15768b941092f-d416-4b81-bfe1-13ad1abbd966
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
|
|
Copyright (c) 1985 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| 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
× Shinichi, Honiden Yoshihiro, Matsumoto
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 近年 ソフトウェアの仕様化技術としてプロトタイピング手法が注目されており 多くの手法が提案されているが とくにリアルタイムシステムの場合においては十分な研究が行われていないのが現状である.本論文ではリアルタイムシステムにおけるプロトタイピングの一手法を提案している.リアルタイムシステムの場合のプロトタイプとしては 機能 性能の両面について必要である.本手法では 要求レベル データ/機能レベル 大局的プログラミングレベルのおのおののレベルにおけるプロトタイピングを行っている.本手法においては 機能面でのプロトタイプは各レベルに対してすべてProlog文として統一され その結果レベル間のつき合わせも容易化されている.各レベルでの記述に対する文法は Prolog文のruleとして 実現され 各レベルで記述された情報はデータベースに格納されており これらから対応するProlog文のfactとして自動生成される.一方 性能面でのプロトタイプは 性能予測シミュレータヘの入力モデルであるが これはデータ/機能レベル 大局的プログラミングレベルから自動生成される.簡単な例によって適用方法も示してある. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN00116647 | |||||||
| 書誌情報 |
情報処理学会論文誌 巻 26, 号 5, p. 946-953, 発行日 1985-09-15 |
|||||||
| ISSN | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 1882-7764 | |||||||