機器組込み型ソフトウェア開発支援システム
スポンサーリンク
概要
- 論文の詳細を見る
機器組込み型のソフト開発には、並列性や、リアルタイム性といった制御ソフト固有の問題があり、従来のデータ処理中心のソフト開発技法を直接導入することは困難である。このため、我々は本領域の仕様記述に適した形式的図式仕様記述法であるSRグラフを考案し、それに基づくプログラムの骨格(スケルトン)の自動生成、動的検証を行う開発環境を提案してさた。今回、この構想に基づく開発支援システム、SRGシステム、を計算機上に実現したのでその概要、特に本システムにおけるソフト開発について報告する。
- 社団法人情報処理学会の論文
- 1989-10-16
著者
-
岩渕 洋一
キャノン(株) 情報システム研究所
-
菊地 一成
キャノン(株) 情報システム研究所
-
渡辺 浩康
キャノン(株) 情報システム研究所
-
浅野 俊昭
キャノン(株) 情報システム研究所
-
浅野 俊昭
キャノン(株)システムエンジニアリングセンター
-
渡辺 浩康
芝浦工業大学
関連論文
- エキスパートシステム構築ツールCHORUS(2) : 仮説推論機能
- 機器組込み型ソフトウェア開発支援システム
- 組込み型ソフトウエア開発環境 : その1システム概要
- レンズ設計エキスパートシステムOPTEX : ヒストリー管理機構
- カメラ技術メモ検索システム
- エキスパートシステム構築ツールCHORUS(3) : フレームシステム
- エキスパートシステム構築ツールCHORUS(1) : 協調推論機能
- エキスパートシステムの諸事例-I : レンズ設計への応用
- レンズ設計エキスパートシステムOPTEX : レンズオブジェクト
- オブジェクト指向UIMSCONCORD(1) : 共有ADTメカニズム
- 描画システムのドキュメントの学習的レベルアップ
- オブジェクト指向UIMSCONCORD(2) : 仕様定義言語CAISL
- LSI設計エキスパートシステムの開発 : (2)セルレイアウト
- LSI設計エキスパート・システムの開発 : (1)論理回路変換