JP2012108883A5

JP2012108883A5 -

Info

Publication number: JP2012108883A5
Application number: JP2011210206A
Authority: JP
Filing date: 2011-09-27
Publication date: 2014-09-25
Anticipated expiration: 2031-09-27

Claims

システムのプロセッサ要件を最適化する方法であって、
ネットワークにおける複数の仮想リンク上でメッセージを処理するために必要な最小のプロセッサの数とプロセッサの計算性能を決定するためのモデルとして、一組のシステム構成の制約を、一組の一次不等式及び目的関数として公式化すること、
前記一次不等式の組から凸ポリトープを形成すること、
混合整数線形計画手段を使用して前記凸ポリトープにより前記目的関数を最適化することにより最適解を取得すること、及び
前記最適解に基づいてシステムのプロセッサの数とプロセッサの計算要件を決定すること
を含む方法。
前記システム構成の制約の組により、以下の関係式：

（上式中、ｕ_ｉはプロセッサであり、ｘは未知の割当て変数であり、ｈは未知のプロセッサ速度であり、ｄはスケジューリング変数であり、ｅ_ｊは、ビンに割当てられたアプリケーションの実行時間の合計であり、ｑ_ｌはプロセッサｕ_ｉのビンサイズであり、ｑ_１はｑ_ｌのビンのインクリメントであり、ｐ_ｊはｉ番目のアプリケーションの期間である）
に基づいてプロセッサ速度を決定する、請求項１に記載の方法。
前記システム構成の制約の組が、以下の関係式：

（上式中、ｒａ_ｊはアプリケーションｊが必要とするＲＡＭであり、ＲＡ_ｉはＡＣＭｇ_ｉが供給するＲＡＭの合計であり、ｒｏ_ｊはアプリケーションｊが必要とするＲＯＭであり、ＲＯ_ｉはＡＣＭｇ_ｉが供給するＲＯＭの合計であり、ｒｎ_ｊはアプリケーションｊが必要とする非揮発性メモリであり、ＲＮ_ｉはＡＣＭｇ_ｉが供給する非揮発性メモリの合計であり、ｐ_ｊはｉ番目のアプリケーションの期間であり、ｑ_１はビンのインクリメントである）
に基づくプロセッサのメモリサイズに関する制約を含む、請求項１に記載の方法。
前記システム構成の制約の組が、複雑なハードウェアシステム構成の制約を含む、請求項１に記載の方法。
一組のシステム構成の制約を受け取る入力モジュール、
前記システム構成の制約の組を、一組の一次不等式及び目的関数として公式化する公式化モジュール、
前記一次不等式の組の凸ポリトープにより目的関数を最適化することにより最適解を取得する混合整数線形計画法モジュール、並びに
前記最適解に基づいてシステムのプロセッサ要件を決定する決定モジュール
を備えている、プロセッサ要件最適化システム。
前記システムのプロセッサ要件と最適解とを表示するディスプレイモジュールを更に備えている、請求項５に記載のプロセッサ要件最適化システム。
システムが複雑なハードウェアシステムである、請求項５に記載のプロセッサ要件最適化システム。
前記システム構成の制約の組によって、以下の関係式：

（上式中、ｕ_ｉはプロセッサであり、ｘは未知の割当て変数であり、ｈは未知のプロセッサ速度であり、ｄはスケジューリング変数であり、ｅ_ｊは、ビンに割当てられたアプリケーションの実行時間の合計であり、ｑ_ｌはプロセッサｕ_ｉのビンのサイズであり、ｑ_１はｑ_ｌのビンのインクリメントであり、ｐ_ｊはｉ番目のアプリケーションの期間である）
に基づいてプロセッサ速度が決定される、請求項７に記載のプロセッサ要件最適化システム。
前記システム構成の制約の組が、以下の関係式：

（上式中、ｒａ_ｊはアプリケーションｊが必要とするＲＡＭであり、ＲＡ_ｉはＡＣＭｇ_ｉが供給するＲＡＭの合計であり、ｒｏ_ｊはアプリケーションｊが必要とするＲＯＭであり、ＲＯ_ｉはＡＣＭｇ_ｉが供給するＲＯＭの合計であり、ｒｎ_ｊはアプリケーションｊが必要とする非揮発性メモリであり、ＲＮ_ｉはＡＣＭｇ_ｉが供給する非揮発性メモリの合計であり、ｐ_ｊはｉ番目のアプリケーションの期間であり、ｑ_１はビンのインクリメントである）
に基づくプロセッサのメモリサイズに関する制約を含んでいる、請求項７に記載のプロセッサ要件最適化システム。
複雑なハードウェアシステムに対する資源割当てシステムであって、
コンセントレータのノードに対する集中化させたセンサ／エフェクタの配線割当てを決定し、
メッセージに対する集中化させたパラメータ割当てを決定し、
仮想リンクに対する集中化させたメッセージ割当てを決定し、
プロセッサに対する集中化させたアプリケーション割当てを決定し、且つ
集中化させたシステム資源割当てがマージン要件を満たす場合、この集中化させたシステム資源割当てを報告する
ためのロジックを含んでいるシステム。
以下の関係式：

（上式中、ｕ_ｉはプロセッサであり、ｘは未知の割当て変数であり、ｈは未知のプロセッサ速度であり、ｄはスケジューリング変数であり、ｅ_ｊは、ビンに割当てられたアプリケーションの実行時間の合計であり、ｑ_ｌはプロセッサｕ_ｉのビンのサイズであり、ｑ_１はｑ_ｌのビンのインクリメントであり、ｐ_ｊはｉ番目のアプリケーションの期間である）
に基づいてプロセッサの数を決定するためのロジックを更に含んでいる、請求項１０に記載のシステム。
以下の関係式：

（上式中、ｒａ_ｊはアプリケーションｊが必要とするＲＡＭであり、ＲＡ_ｉはＡＣＭｇ_ｉが供給するＲＡＭの合計であり、ｒｏ_ｊはアプリケーションｊが必要とするＲＯＭであり、ＲＯ_ｉはＡＣＭｇ_ｉが供給するＲＯＭの合計であり、ｒｎ_ｊはアプリケーションｊが必要とする非揮発性メモリであり、ＲＮ_ｉはＡＣＭｇ_ｉが供給する非揮発性メモリの合計であり、ｑ_１はビンのインクリメントであり、ｐ_ｊはｉ番目のアプリケーションの期間である）
に基づいてプロセッサのメモリサイズに関する制約を決定するためのロジックを更に含んでいる、請求項１１に記載のシステム。
複雑なハードウェアシステムがアビオニクスシステムである、請求項１１に記載のシステム。
複雑なハードウェアシステムの資源割当て方法であって、
コンセントレータのノードに対する集中化させたセンサ／エフェクタ配線割当てを決定すること、
メッセージに対する集中化させたパラメータ割当てを決定すること、
仮想リンクに対する集中化させたメッセージ割当てを決定すること、
プロセッサに対する集中化させたアプリケーション割当てを決定すること、並びに
集中化させたシステム資源割当てがマージン要件を満たす場合、この集中化させたシステム資源割当てを報告すること
を含む方法。
システムが複雑なハードウェアシステムである、請求項１４に記載の方法。