RTOSシミュレーションのための性能と移植性が高いスケジューラ(開発環境,<特集>組込みシステム工学)
スポンサーリンク
概要
- 論文の詳細を見る
システムレベル設計を対象としてソフトウェアタスクの遅延時間要求付き機能モデルのシミュレーションを行うためのスケジューリングアルゴリズムを提案する.アルゴリズムの主要な特長は高性能で移植性が高いことである.コンテクストスイッチの回数を大幅に減らすことによってシミュレーション時間を短縮する.またベースとなるシミュレーションプラットフォームが少数のプリミティブを提供していれば実装できるので移植性が高い.アルゴリズムをまず効率を示すための単純な形で示す.次に既存のシミュレーションプラットフォームに容易に統合できる移植性の高い形で示す.続いて2つの版の正当性と同値性の形式的な証明を行う.最後にシステムレベル設計言語での実現方法と評価結果を示す.
- 2007-09-15
著者
-
中村 宏明
日本アイ・ビー・エム株式会社東京基礎研究所
-
佐藤 直人
日本アイ・ビー・エム株式会社東京基礎研究所
-
田渕 直
日本アイ・ビー・エム株式会社東京基礎研究所
-
佐藤 直人
日本アイ・ビー・エム(株)東京基礎研究所
関連論文
- 時間/機能制約による仕様に対する実行可能なUML/SysMLモデルの動的検査手法
- RTOSシミュレーションのための性能と移植性が高いスケジューラ(開発環境,組込みシステム工学)
- 時間/機能制約による仕様に対する実行可能なUML/SysMLモデルの動的検査手法
- Webサービス合成のための振舞い記述のしくみ(「Semantic Webとその周辺」)
- 不完全なソースコードからのプログラム情報の抽出
- B-017 時間制約を持つ仕様に対するUML/SysMLモデルの動的検査手法(B分野:ソフトウェア,一般論文)
- 静的解析によるメソッド探索の高速化
- メソッドの仮翻訳によるオブジェクト指向言語の最適化
- オブジェクト指向ソフトウエア開発におけるプログラム理解支援
- オブジェクト指向ソフトウエア開発におけるプログラム理解支援
- OS/2における日本語環境
- モバイルユーザに状況適応型サービスを提供するしくみ
- 状況に適合するサービスをモバイル・ユーザに提供するシステム
- C++プログラム・データベース構築
- 拡張可能なC++ソースコード・ブラウザ : プログラム・データベース
- オブジェクト指向ソフトウエアの保守・再利用を支援するエディタ
- Hadoopを活用した大規模データ解析の動向と今後の展望(クラウドとアナリティクス)