(57)【要約】【課題】表示装置に設定されたエリアに意図しないコンテントが表示されてしまうことを抑制可能とする。【解決手段】表示制御装置は、アプリケーションからＡＰＰ要求が発行された際に当該表示要求が示すエリアに他のアプリケーションのコンテントが表示されていた場合は、ルールベース調停の調停ポリシーによりエリアにコンテントを割り当てる調停を実行し（Ｓ１０１）、エリアに割り当てられたコンテントを当該エリアに表示する。このとき、調停ポリシーにて割り当てられたコンテントであっても表示しない方が良い場合は、満たすべき性質を記述したルールをルールベース定義に記述することで、調停ポリシーにてエリアに割り当てられたコンテントの表示をルールに基づいて抑制することができ（Ｓ１０２〜１０６）、記述者の意図を適切に反映することができる。【選択図】図１３
2020003649.tif 000002
【特許請求の範囲】
【請求項１】
表示装置（６〜８）に設定されたエリアにコンテントを割り当てる場合の基本的な調停を定義した調停ポリシーと、例外的に満たすべき性質を記述した制約式とから構成されるルール定義を記憶した記憶部（１２）と、
前記コンテントを前記エリアに表示することを要求する表示要求を発行するアプリケーション（Ａ〜Ｃ）と、
前記アプリケーションが前記表示要求を発行した際に当該表示要求が示すエリアに他のアプリケーションのコンテントが表示されていた場合は、ルールベース調停を満たすように前記エリアに前記コンテントを割り当てる調停を実行する調停部（１３）と、
前記調停により割り当てられたコンテントを前記エリアに表示する表示制御部（１４）と、
を備えた表示制御装置。
【請求項２】
前記調停部は、一の前記エリアに対して前記コンテントを割り当てるように前記調停を実行する請求項１に記載の表示制御装置。
【請求項３】
前記調停部は、前記エリアに対して価値の高いコンテントを前記調停ポリシーにより仮割り当て、前記ルールが満たされた場合は仮割り当てしたコンテントを確定し、前記ルールが満たされない場合は次に価値の高いコンテントを評価し、前記ルールを満たすコンテントが無ければ前記エリアには前記コンテントに割り当てないことで、一の前記エリアに対して前記コンテントを割り当てるように前記調停を実行する請求項２に記載の表示制御装置。
【請求項４】
前記調停部は、複数の前記エリアに対して前記コンテントを割り当てるように前記調停を実行する請求項１から３のいずれか一項に記載の表示制御装置。
【請求項５】
前記エリア及び前記コンテントには価値が設定されており、
前記調停部は、前記ルールを満たしたコンテントと前記エリアとの全ての組み合わせの中から価値の総和が最も高いものを選択することで、複数の前記エリアに対して前記コンテントを割り当てるように前記調停を実行する請求項４に記載の表示制御装置。
【請求項６】
前記エリア及び前記コンテントには価値が設定されており、
前記調停部は、価値の高いエリアから順に価値の高いコンテントを割り当て、既に他のエリアに割り当てられたコンテントは対象外とすることで、複数の前記エリアに対して前記コンテントを割り当てるように前記調停を実行する請求項４に記載の表示制御装置。
【請求項７】
前記ルールは命題論理であり、
前記調停部は、価値の高いエリアから前記調停を順に実行した際において前記命題論理の左辺が確定する前に右辺が確定する場合には、前記命題論理の右辺に関連する前記エリアにおいて、前記コンテントを割り当てる前記調停を再度実行する請求項６に記載の表示制御装置。
【請求項８】
前記調停部は、前記調停を再度実行した際に前記調停ポリシーにより前記エリアに仮割り当てしたコンテントを非表示判定した場合は当該エリアを未割り当てエリアとし、前記調停の再度実行の対象となるエリアの全てに対して前記調停を再度実行した場合は前記未割り当てエリアに対して最後の前記調停を実行する請求項７に記載の表示制御装置。
【請求項９】
前記ルールベース調停は、前記エリア毎に設定されている請求項１から８のいずれか一項に記載の表示制御装置。
【請求項１０】
前記ルールは、演算子で定義された論理式であり、
前記調停部は、前記論理式の評価結果が真となる場合に前記ルールを満たしたと判定する請求項１から９のいずれか一項に記載の表示制御装置。
【請求項１１】
前記ルールは、演算子が含意で定義された論理式であり、
前記調停部は、前記論理式の含意の左辺が真かつ右辺が偽である場合は、前記論理式の評価結果が真となるように左辺を偽にすることなく前記ルールを満たしていないと判定する請求項１から９のいずれか一項に記載の表示制御装置。
【請求項１２】
前記コンテントは、複数の状態を定義可能であり、
前記表示制御部は、前記複数の状態から選択された一の状態で前記エリアに前記コンテントを表示する請求項１から１１のいずれか一項に記載の表示制御装置。
【請求項１３】
前記調停ポリシーは、エリア単位に設定され価値の高いコンテントを割り当てる価値度調停、エリア単位に設定され後から前記表示要求したアプリケーションのコンテントを割り当てる後勝ち調停、エリア全体に設定され価値の高いコンテントを割り当てる価値ベース調停のいずれかである請求項１から６のいずれか一項に記載の表示制御装置。
【請求項１４】
アプリケーション（Ａ〜Ｃ）がコンテントを表示装置（６〜８）に設定されたエリアに表示することを要求する表示要求を発行する手順と、
前記アプリケーションが前記表示要求を発行した際に、前記表示要求が示すエリアに他のアプリケーションのコンテントが表示されていた場合は、前記エリアに前記コンテントを割り当てる場合の基本的な調停を定義した調停ポリシーと、例外的に満たすべき性質を記述したルールとから構成されるルールベース調停を満たすように前記エリアに前記コンテントを割り当てる調停を実行する手順と、
調停されたコンテントを前記エリアに表示する手順と、
を実行する表示制御方法。
【請求項１５】
表示装置（６〜８）に設定されたエリアにアプリケーション（Ａ〜Ｃ）のコンテントを表示する表示制御プログラムであって、
前記アプリケーションから前記コンテントを前記エリアに表示することを要求する表示要求が発行されたことを受ける処理と、
前記表示要求が示すエリアに他のアプリケーションのコンテントが表示されている場合は、前記エリアに前記コンテントを割り当てる場合の基本的な調停を示す調停ポリシーと、例外的に満たすべき性質を記述したルールとから構成されるルールベース調停を満たすように前記エリアに前記コンテントを割り当てる調停を実行する処理と、
前記調停により割り当てられたコンテントを前記エリアに表示する処理と、
を実行する表示制御プログラム。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、表示制御装置、表示制御方法及び表示制御プログラムに関する。
【背景技術】
【０００２】
例えば車両に設置されている表示装置に表示されるコンテントは多岐にわたる。この種のコンテントとしては、例えば車速、エンジン回転数、シフトポジション、燃料の残量等の車両走行に関係する走行系のコンテントや、ナビゲーション用の地図情報、オーディオ情報、携帯電話機等の車両走行に関係しないマルチメディア系のコンテント等が挙げられる。
【０００３】
一方、このように表示されるコンテントの多様化に伴い、コンテントを表示する表示装置も種々な種類が搭載される。この種の表示装置としては、例えばセンターコンソールに配置されているセンターディスプレイ、グラフィックメータ、ヘッドアップディスプレイ等が挙げられる。
【０００４】
コンテントはアプリケーションからの表示要求に応じて表示装置の所定のエリアに表示されるが、アプリケーションがエリアにコンテントを表示することを要求した際に他のアプリケーションのコンテントが既に表示されていた場合は、いずれのコンテントを表示するのかを調停する表示調停制御が重要となっている。
【先行技術文献】
【特許文献】
【０００５】
【特許文献１】特開２０１４−６３４５８号公報
【発明の概要】
【発明が解決しようとする課題】
【０００６】
特許文献１では、コンテントに重要度を割り当てておき、重要度が高いコンテントをエリアに表示するという調停方法を提案している。
しかしながら、このような調停方法は基本的な調停を行うだけであるので、例えば車両の走行状態などの状況に応じて調停されたコンテントを表示したくないという例外的な要望に応えることができず、意図しないコンテントが表示されてしまう可能性がある。
【０００７】
本発明は上記事情に鑑みてなされたもので、その目的は、表示装置に設定されたエリアに意図しないコンテントが表示されてしまうことを抑制可能な表示制御装置、表示制御方法及び表示制御プログラムを提供することにある。
【課題を解決するための手段】
【０００８】
請求項１に記載した発明によれば、アプリケーション（Ａ〜Ｃ）は、コンテントを表示装置（６〜８）に設定されたエリアに表示する場合は表示要求を発行する。すると、調停部（１３）は、表示要求が示すエリアに他のアプリケーションのコンテントが表示されていた場合は、基本的な調停を定義した調停ポリシーに従ってエリアにコンテントを割り当てる。そして、表示制御部（１４）は、エリアに割り当てられたコンテントを当該エリアに表示する。
【０００９】
ここで、調停ポリシーにより割り当てられたコンテントの表示を抑制することを要望する場合があり、このような場合は、例外的に満たすべき性質を記述したルールをルールベース定義に記述する。これにより、調停部（１３）は、エリアに対してルールを満たすようにコンテントを割り当てるようになるので、調停ポリシーによりエリアに割り当てられたコンテントの表示を抑制することが可能となる。
【図面の簡単な説明】
【００１０】
【図１】一実施形態における表示制御装置の構成を示す機能ブロック図
【図２】車室内の前部を示す斜視図
【図３】優先度調停を示す図
【図４】後勝ち調停を示す図
【図５】エリアのＺオーダーと優先度との関係を示す図
【図６】コンテントと状態とエリアの関係性を示す図
【図７】真理値の定義を示す図
【図８】制約式オブジェクトのデータ構造を示す図
【図９】制約式の左辺が偽の場合に評価結果が真となる真理値を示す図
【図１０】エリアの優先度と制約式との関係を示す図
【図１１】制約式が記述者の意図と異なる例を示す図
【図１２】調停ロジック全体の振る舞いを示すフローチャート
【図１３】調停処理の動作を示すフローチャート
【図１４】ＡＰＰ要求の概念を示す図
【図１５】一のエリアにコンテントを割り当てる場合を説明するための図
【図１６】複数のエリアにコンテントを割り当てる場合を説明するための図
【図１７】エリアとコンテントと制約式の定義を示す図
【発明を実施するための形態】
【００１１】
以下、一実施形態について図面を参照して説明する。
図２に示すように、車両１には運転席２と助手席３が配置されており、それらの前方にインストルメントパネル４が設けられている。インストルメントパネル４の前端からはフロントガラス５が立ち上がって設けられている。インストルメントパネル４には第１表示装置６及び第２表示装置７が設けられ、フロントガラス５には第３表示装置８が設けられている。
【００１２】
第１表示装置６は、フルカラーの液晶表示装置から構成されており、主として車両１に搭載される図示しないナビゲーション装置やオーディオ装置などのマルチメディア系のコンテントの表示部として機能する。車両の後進時においては、図示しない後方カメラによって撮像された画像をコンテントとして表示する。
【００１３】
第２表示装置７は、フルカラーの液晶表示装置から構成されており、主として例えば車両の速度やエンジンの回転速度などの走行系のコンテントを表示する表示部として機能する。
【００１４】
第３表示装置８は、インストルメントパネル４に設けられた表示ユニット９からフロントガラス５に投影することでヘッドアップディスプレイとして構成されており、主に走行系のコンテントを表示する表示部として機能する。
上記各表示装置６〜８にはコンテントを表示するエリアが１つまたは複数設定されている。
【００１５】
図１に示す表示制御装置１０は、各表示装置６〜８に設定されたエリアにコンテントを表示する。表示制御装置１０は、ＣＰＵ（Central Processing Unit）、ＲＯＭ（Read Only Memory）、ＲＡＭ（Random Access Memory）、Ｉ／Ｏ（Input／Output）等を含むマイクロコンピュータを有しており、非遷移的実体的記憶媒体に格納されている表示制御プログラムを実行する。
【００１６】
表示制御装置１０には複数のアプリケーションＡ〜Ｃが予め記憶されている。各アプリケーションＡ〜Ｃは、一つまたは複数の表示装置６〜８所定のエリアにコンテントを表示したい場合は制御部１１に対して表示装置、エリア及びコンテントを示すＡＰＰ（application）要求（表示要求に相当）を割込み出力する。
【００１７】
制御部１１は、記憶部１２、調停部１３、表示制御部１４を含んで構成されている。記憶部１２にはルール定義が記憶されている。ルール定義は、エリアにコンテントに割り当てる場合の基本的な調停を定義した調停ポリシーと、例外的に満たすべき性質を記述した制約式とから構成されている。
【００１８】
調停ポリシーは、後述するように優先度調停（価値度調停に相当）／後勝ち調停／価値ベース調停のいずれかで必ず設定される。制約式は、１つに限定されることはなく、記述者の意図に応じて設けられない場合もあるし複数設けられる場合もある。
【００１９】
調停部１３は、ルール定義に基づいてエリアに割り当てるコンテントを調停する。表示制御部１４は、入出力Ｉ／Ｆ１５を介して各種ＥＣＵ１６、各種センサ１７、各種スイッチ１８、自動運転装置１９などと例えばＣＡＮ（Controller Area Network）等の車載ネットワーク２０により接続されており、調停部１３により割り当てられたコンテントを所定のエリアに表示する。調停ロジックはライブラリとして作成し、ルール定義をライブラリに登録・変更することによりルールベース調停を任意に設定することができる。
【００２０】
ところで、エリアにコンテントを割り当てる場合、異なるアプリケーションが同時にＡＰＰ要求を発行する場合があり、このような場合は調停が必要となる。尚、「同時」とは時間的に同時という意味ではなく、アプリケーションからＡＰＰ要求が発行された場合に、他のアプリケーションのコンテントが既に表示されている状態、つまり、２つのアプリケーションからのＡＰＰ要求が同時にＯＮとなった状態を意味する。
【００２１】
このようにＡＰＰ要求が同時にＯＮとなった場合はエリアに表示するコンテントを調停する必要がある。従来は、いずれのコンテントをいずれのエリアに表示するのかという全ての振る舞いを定義していたが、それではコンテントの数が多くなると、振る舞いの全てを定義することは困難となる。
【００２２】
このような事情から、本実施形態では、いずれのコンテントをいずれのエリアに表示するかを抽象化して表したルールベース調停を採用した。以下、ルールベース調停について説明する。
【００２３】
１．ルールベース調停
（１）ルール定義
ルールベース調停は、与えられた一定のルールに基づいてコンテントを調停して任意のエリアに割り当てる調停方法を記述している。ルールベース調停におけるルールの定義としては、エリア定義、コンテント定義、制約式が必要である。
【００２４】
（１−１）エリア定義
エリア定義では、表示場所、表示場所の価値、調停ポリシーが定義される。調停はエリア毎に行われるため、エリア毎に調停ポリシーを定義する。
エリアでは表示装置６〜８の表示画面にコンテントを表示させる枠を定義する。１つのエリアには高々１つのコンテントのみが割り当てられる。
【００２５】
エリアは以下の定義とする。
（ａ）エリアは、割り当てられたコンテントを表示する。
（ｂ）エリアは、調停ポリシーを持つ。
（ｃ）エリアは、表示させることが可能なコンテントを参照する。
（ｄ）エリアは、１つ以上のサイズを持つ。
【００２６】
各エリアはプロパティを有している。プロパティとして、優先度、Ｚオーダー、調停ポリシー、サイズが設定されている。
（ａ）優先度
優先度は、エリア自体の価値を示す値（０〜１００％）である。この値が大きいエリアから順に調停を行う。
【００２７】
（ｂ）Ｚオーダー
Ｚオーダーは、高さに関する座標である。この値が高いほど前面に表示される。優先度が同じエリアがある場合、この値が高い順に調停を行う。
【００２８】
（ｃ）調停ポリシー
調停ポリシーは、優先度調停／後勝ち調停／価値ベース調停のいずれかである。
（ｃ−１）優先度調停
優先度調停は、エリア単位の調停ポリシーであり、図３に示すようにエリアに表示可能なコンテントの中で最も優先度の高いコンテントを表示する調停である。
【００２９】
（ｃ−２）後勝ち調停
後勝ち調停は、エリア単位の調停ポリシーであり、図４に示すようにエリアで最後に要求が発生したコンテントを表示し、そのコンテントの表示が終了した場合は残っている中で最後に要求が発生したコンテントを表示する調停である。
【００３０】
（ｃ−３）価値ベース調停
価値ベース調停は、エリア全体での調停ポリシーであり、コンテントの価値を数値化した数値とエリアの価値を数値化した数値とを乗じた演算値が最大となるコンテントを表示する調停である。
【００３１】
（ｄ）サイズ
サイズは、エリアのサイズで縦×横となる。複数定義されていた場合、コンテントのサイズに応じて決定される。エリアのＺオーダーと優先度との関係は図５に示すようになる。
【００３２】
（１−２）コンテント定義
コンテント定義では表示可能エリア、コンテントの状態、コンテントの状態の価値が定義される。コンテントは状態を複数持つことが可能であり、コンテントがエリアに割り当てられ、コンテントの状態が表示される。コンテントは自分が表示可能なエリアを定義し、参照する。
コンテントでは表示装置６〜８の表示画面に定義されたエリアに表示するコンテントを定義する。１つのエリアには高々１つのコンテントのみが割り当てられる。
【００３３】
コンテントは以下の定義とする。
（ａ）コンテントは、エリアに対して割り当てられる。
（ｂ）コンテントは、自らが表示可能なエリアを１つ以上参照する。
（ｃ）コンテントは、必ず１つ以上の状態を持つ。
（ｄ）コンテントは、１つ以上のサイズを持つ。
【００３４】
表示可能なエリアが複数ある場合、どちらも表示可能であることを示し、１つのコンテントを複数エリアに同時に表示することもできる。１つのコンテントに複数の状態を持つことができ、複数持っている場合、それぞれの状態は排他的であり必ず１つの状態でしか一度に表示できない。コンテントはサイズを複数持つことができ、複数ある場合、表示先のエリアのサイズに応じて最も近いサイズを表示させる。
【００３５】
コンテントと状態とエリアの関係性は図６に示すように紐づけられる。
コンテントはプロパティを有しており、プロパティとして、優先度、サイズ調停負けした場合、APP要求を取り下げるか否か（goodloser）が設定されている。
【００３６】
（ａ）優先度
優先度とはエリアの調停ポリシーが「優先度調停」の場合に使われる値であり、優先度の高いコンテントが先にエリアに割り当てられる。
（ｂ）サイズ
サイズとは、コンテントの表示のサイズで縦×横となる。複数定義されていた場合は、エリアのサイズに応じて決定される。
【００３７】
（１−３）制約式
制約式は、調停中あるいは調停後において、例外的に満たすべき性質を記述したルールである。調停の状態を制約式で抑制することで、そのままの調停ポリシーでは表現しきれない状態を表したり、調停後の調停結果の判定に用いたりすることができる。つまり、例えば車両の走行状態などの状況に応じては、調停ポリシーにて割り当てられたコンテントであっても表示しない方が良い場合があるためである。制約式では、調停結果が満たすべき条件であるコンテント抑制やエリア抑制の条件が定義される。
【００３８】
制約式で扱える論理式は、コンテントの状態、エリアの状態、エリアに表示中のコンテント、エリアとコンテントの集合、シーンの状態、論理演算、量化記号である。シーンとは、例えば手動運転シーンまたは自動運転装置１９による自動運転シーンであり、自動運転シーンでは手動運転用コンテントグループのコンテントは表示しないという表示制御が可能となる。
【００３９】
（ａ）コンテントの状態は、アクティブ／非アクティブ、表示中／非表示中のいずれかである。
（ｂ）エリアの状態は、表示中／非表示中のいずれかである。
（ｃ）論理演算は、ＮＯＴ（！）、ＡＮＤ、ＯＲ、含意（−＞）、等号（＝）である。
量化記号は、∀（Ｆｏｒ  Ａｌｌ：集合の要素全てに対して条件が成立する）、∃（Ｅｘｉｓｔｓ：集合に条件を満たす要素が少なくとも一つ存在する）である。
【００４０】
（ｄ）制約式
制約式は、調停ロジックの結果に影響を及ぼし、調停ロジックは全ての制約を満たすように振る舞う。
（ｅ）後処理
後処理は、特定のコンテントにおいて、調停後にAPP要求の待機を規定するプロパティ(goodLoser)である。調停後のコンテントの待機状態のみ変化するため、調停ロジックの結果には影響しない。
【００４１】
（１−４）コンテント抑制
例えばコンテントｃ１の表示中はコンテントｃ２を表示しないという制約式として、「中心エリア.displaying Content()=c1->!c2.is Visible()」を例示する。この制約式は、中心エリアにコンテントｃ１を表示していれば、コンテントｃ２を表示しないという抑制を記述している。
【００４２】
（１−５）優先度調停と後勝ち調停
優先度調停と後勝ち調停とが混在する場合は、エリアの調停ポリシーを後勝ちにしておき、優先度が関わるコンテント間の関係のみを制約式で記述することで対応可能である。
【００４３】
このような制約式として、「TEL.is Active（）->For All MM系割込み（TEL以外）[x|!x.is Visible（）]」を例示する。調停ポリシーが後勝ち調停のエリアであるが、この制約式を加えることでＴＥＬという優先度の高いコンテントがアクティブであれば、全てのＭＭ系割込み（ＴＥＬ以外）を表示しないという抑制を記述している。
【００４４】
２．調停ロジック
調停ロジックは、与えられたルールに基づき、エリアの調停ポリシーに基づいた形で制約式を満たすようにコンテントを割り当てる方法を定義したアルゴリズムである。基本的にはエリア毎に優先度順に調停していくが、演算子が含意で定義された制約式で記述者の意図と異なった判定になった場合、以前のエリアに戻り再調停を行う。
【００４５】
調停ロジックには、エリア内の調停とエリア全体の調停とがある。
（２−１）エリア内の調停
（ａ）エリア内の調停は、優先度調停及び後勝ち調停のエリアを優先度の高い順に調停する。
（ｂ）各エリアについて以下を評価する。
【００４６】
最も優先されるコンテントを仮に割り当て、制約式の評価結果が真であれば、仮に割り当てたコンテントを確定する。制約式の評価結果が偽であれば、次に優先されるコンテントを再評価する。制約式を満たすコンテントが無ければ、そのエリアにはコンテントを表示しない。
【００４７】
（２−２）エリア全体の調停
エリア全体の調停（価値ベース調停）は、ベストフィットロジック及びワンパスロジックがある。
【００４８】
（ａ）ベストフィットロジックは、制約式を満たすコンテントとエリアとの全ての組み合わせの中から価値の総和が最も高いものを選択する。
（ｂ）ワンパスロジックは、優先度の高いエリアから順に優先度の高いコンテントをエリアに割り当て、既に他のエリアに割り当てられたコンテントは対象外にする。本実施形態ではワンパスロジックを採用するが、ベストフィットロジックを採用しても良い。
【００４９】
（２−３）制約式における含意
調停ロジックにおいて制約式における「含意」は再調停の条件としての意味を持つため、以下に含意について説明する。
【００５０】
命題論理における含意はＰ→Ｑと記述でき、意味論は、左辺を前提部・右辺を結論部とし「前提が成立しているならば結論が成立している」となる。真理値の定義（真理値表）は図７に示す通りである。
【００５１】
尚、命題論理における公理系ではＰ→Ｑ≡¬Ｐ∨Ｑとなる。
また、制約式オブジェクトのデータ構造は、図８に示すように構文木（シンタックスツリー）となっているため、含意の左辺・右辺の判定が可能である。
【００５２】
（２−４）含意の意図と論理値での差異
Ｐ→Ｑが真となるのは、ＰもＱも真のときである。換言すれば、Ｑに関わらずＰが偽であれば制約式は真となる。
【００５３】
制約式で含意を用いた場合、記述者は「左辺が成り立った後で、右辺を判定した場合」と意図していることが多い。つまり、暗黙の意図としては、順番が存在し、左辺が成立してから右辺を成立させたいということである。しかし、論理的には含意は右辺の真偽を決めた後に、その真偽に関係なく左辺を偽にすれば結果として真であり、これは論理学的、つまり含意の意味論上は何も問題はない。このことは、調停ロジックで制約式を満たすためならば、図９に示すように含意の左辺を全て強制的に偽とすれば制約式を満たせることを意味する。
【００５４】
ワンパスロジックではエリアの優先度順に従いエリアに割り当てるコンテントを確定していく。つまり、含意の左辺・右辺は関係ない。それに対し、含意の制約式の意図は「左辺が成り立った後で、右辺を判定した場合」であり、含意の左辺・右辺が関係する。この問題を解決しようというのが、再調停の狙いである。
【００５５】
次に、含意の制約式の再調停について説明する。
制約式Ｐ→Ｑがあり、図１０に示すように、Ｐに関係するエリアｐ、Ｑに関係するエリアｑがあるとする。尚、エリアの優先度はｐ＜ｑとする。
制約式の具体例は「ｐ.is Disuplay()->q.is Hidden()」であり、意味は「ｐ表示中はｑを表示しない」である。
【００５６】
エリアｐに関係するコンテントＣｐ、エリアｑに関係するコンテントＣｑがあり、ＡＰＰ要求が同時に発生した場合の調停ロジックを説明する。
（１）ワンパスロジックにより、まずはエリアｑのコンテントを決める。その結果、エリアｑにコンテントＣｑが割り当てられる。この場合、制約式の評価は、左辺に未割り当てエリアがあるため、エリアｐをスキップする。
【００５７】
（２）ワンパスロジックにより、次のエリアであるエリアｐのコンテントを次のように決める。エリアｐにＣｐを仮割り当てしてから、制約式「ｐ.is Disuplay()->q.is Hidden()」を評価する。この場合、真→偽となるので、制約式の評価結果は偽となる。含意の右辺（エリアｑ）が調停済みであるので、エリアｑを再調停する。具体的には、コンテントＣｐ割り当てを是とし、エリアｑでコンテントの割り当てをやり直す。
【００５８】
（３）再調停により次のエリアであるエリアｑのコンテントを次のように決める。エリアｑにコンテントＣｑを仮割り当てすると、真→偽となり、制約式の評価結果は偽となることから、コンテントＣｑの仮割り当てを解除し、エリアｑの割り当てコンテントは無しで終了する。
以上の動作の結果、エリアＰにコンテントＣｐが表示中、エリアｑのコンテント割り当てがなくなり、制約式の意図通りの結果となる。
【００５９】
調停ロジックは、優先度の高いエリアから順番に調停して制約式を評価していくため、制約式の含意の記述の仕方とエリアの優先度の高さによって、含意の右辺（結論部）が先に決定し、その後含意の左辺（前提部）が決定する場合がある。このような場合に左辺を全て偽にすれば、論理的には正しいが、前述の「左辺が成り立った後で」という記述者の意図とのギャップが発生してしまう。
【００６０】
このような例として、図１１に示すように、エリアＡはコンテントａ１を表示可能で後勝ち、エリアＢはコンテントｂ１を表示可能で後勝ち、エリア同士の優先度の関係はエリアＡ＞エリアＢ、制約式はｂ１.is Visible()->!ａ１.is Visibleを例示する。
【００６１】
ＡＰＰ要求がコンテントａ１、コンテントｂ１の順にＯＮすると、後勝ちの調停ポリシーによりエリアＡにコンテントａ１を表示してからエリアＢにコンテントｂ１を表示することになる。この場合、優先度の高いエリアＡのコンテントａ１を先に判定することから、制約式の右辺を先に判定することになり、制約式の右辺が先に偽となる。この場合、制約式の左辺を強制的に偽とすれば制約式の評価結果は真となるので、論理的にそのまま解釈すると、コンテントａ１は表示判定、コンテントｂ１は非表示判定となる。
【００６２】
しかしながら、記述者の意図は、コンテントｂ１が表示判定となった後にコンテントａ１を非表示判定するであることから、記述者の意図を反映していないことになる。つまり、調停ロジックとしては、限りなく記述者の意図と調停振る舞いとのギャップをなくすべきである。その結果、一方通行で優先度の高いエリアから順に調停を適用していくのではなく、制約式が前述したような意図しない状態になった場合に、調停を再びやり直す再帰的な調停ロジックが必要となる。このような事情から、本実施形態では再帰的な調停ロジックを採用した。
【００６３】
（２−４）振る舞い
再帰的な調停ロジックには、エリアにコンテントを割り当てる調停処理と、調停処理の後に要求の状態を変化させる後処理がある。また、調停処理に成功したかを確認するために全制約式の評価も行う。
【００６４】
（ａ）調停ロジック全体の振る舞い
図１２に示すように、調停処理を行い、エリアにコンテントを割り当ててから（Ｓ１０１）、全ての制約式を評価し、調停処理に成功したかを判定する（Ｓ１０２）。成功した場合は（Ｓ１０３：ＹＥＳ）、結果に調停成功を設定し、割り当てを確定する（Ｓ１０４）。失敗した場合は（Ｓ１０３：ＮＯ）、結果に調停失敗を設定する（Ｓ１０５）。そして、後処理を行い、要求の状態を変化させる（Ｓ１０６）。
【００６５】
（ｂ）調停処理の動作
図１３に示すように、優先度の高いエリア順に調停対象エリアとしてから（Ｓ２０１）、調停対象エリアがある場合は（Ｓ２０２）、エリアの調停に移行する。
エリアの調停では、調停ポリシーに基づきエリア内のコンテントの調停順を決める（Ｓ２０３）。尚、調停対象エリアがない場合は、ループ終了となる。
【００６６】
エリア内に調停対象コンテントがある場合は（Ｓ２０４、ループ終了条件）、エリアにコンテントを仮割り当てる（Ｓ２０５）。尚、調停対象エリアがない場合は、ループ終了となる。
【００６７】
次に、制約式を評価してから（Ｓ２０６）、制約式を満たしたかを判定し（Ｓ２０７）、満たした場合は（Ｓ２０７：ＹＥＳ）、エリアの調停から抜け出る。満たさなかった場合は（Ｓ２０７：ＮＯ）、含意の右辺が既に決定していて、次に左辺を決定するケースがあったかを判定する（Ｓ２０８）。ケースがある場合は（Ｓ２０８：ＹＥＳ）、含意の右辺に関わるエリアが既に再調停済みであるかを判定する（Ｓ２０９）。ケースがない場合は（Ｓ２０８：ＮＯ）、コンテントの仮割り当てを解除してから（Ｓ２１１）、次のエリア内調停対象コンテントへ移行し（Ｓ２１２）、エリアの調停から抜け出る。
【００６８】
一方、再調停済みでない場合は（Ｓ２０９：ＮＯ）、含意の右辺に関わるエリアを調停対象エリアの次の順に追加する（Ｓ２１０）。再調停済みであった場合は（Ｓ２０９：ＹＥＳ）、コンテントの仮割り当てを解除してから（Ｓ２１１）、次のエリア内調停対象コンテントへ移行する（Ｓ２１２）。
次の調停対象エリアに移行というループが全て終わり、調停対象エリアがなくなった場合は（Ｓ２１３）、最後に全部のエリアを再調停せず１回のみ調停する（Ｓ２１４）。
【００６９】
（４）ＡＰＰ要求
ＡＰＰ要求は、図１４に示すようにアプリケーションからの要求として、コンテント×状態の値を調停ロジックに渡す。要求は同時には来ることは無く、必ず順番を伴う。また、調停後に要求の状態を変化させる後処理の影響を受ける。調停ロジックでは、ＡＰＰ要求が発生したコンテント（及び状態）に対して調停を行う。従って、表示されたコンテントは少なくともＡＰＰ要求を発行していなければならない。
【００７０】
ＡＰＰ要求はコンテントに対するＡＰＰ要求であり、ＡＰＰ要求が発生するとそれに対応するコンテントが調停され、制約式を満たした上でエリアに表示される。
具体的には、ＡＰＰ要求が行われ、エリアの優先度高い順に調停するエリアを選択する。次に、各エリアの調停ポリシーに従い、調停を行う。つまり、コンテントリストは調停ポリシーに従ってソートされ、優先度調停なら優先度順、後勝ちなら後勝ち順にソートされる。
【００７１】
次に、コンテントリストのコンテントと制約式とを比較し、表示可能なコンテントか否かを判断する。表示否のコンテントはリストから除去する。つまり、コンテントを割り当てて、制約式を評価する。この場合、制約式は比較でなく評価なので、すべて真だとコンテントの割り当てはＯＫとなる。再調停は、制約式評価が偽になりコンテントの割り当てが認められなかったために意図通りでなかった可能性があるときに行う。
次に、ソートされたコンテントリスト順に、表示エリアを割り当て、調停するエリアがなくなるまで上記した処理を繰り返す。
【００７２】
コンテントリストをソートするタイミングは各エリアに割り当てる前に行う。コンテントリストは各エリア割り当てに先立って作成する。ここで、エリア内毎に表示可能なコンテントは決まっている。そのため、コンテントリストは毎回、エリア割り当てに先立って、ソート及び制約式によるフィルタをかける。つまり、そのエリアに割り当て可能かどうかの判別を行う。
【００７３】
次に、一のエリアに割り当てられたコンテントを調停する場合について説明する。図１５に示すように、マルチメディア（ＭＭ）系の割込みとスイッチ（ＳＷ）操作系のＡＰＰ要求の割込みを想定する。後勝ち調停と優先度調停が混在する場合では、基本的に後勝ち調停を優先するが、ＭＭ系割込みの中ではＴＥＬを優先する。
【００７４】
制約式は、「TEL.isActive（）->For All MM系割込み（TEL以外）[x|!x.isVisible（）]」を例示する。これは、ＴＥＬがアクティブであれば、全てのＭＭ系割込み（ＴＥＬ以外）を表示しないという制約である。ＴＥＬコンテントは「発信中」「着信表示」「ＴＥＬリスト」の３つの状態を持つことができ、それぞれの状態で優先度を変更しておく。優先度の低いコンテントの優先度は、コンテントＡ＞コンテントＢ＞コンテントＣとする。
【００７５】
コンテント抑制は、コンテントＣの通常表示中は割込み通知しないである。制約式は、「中心.displayingContent（）=Ｃ.->!Ｃ通知.isVisible（）」を例示する。これは、中心表示エリアにコンテントＣを表示していれば、コンテントＣ通知を表示しないという制約である。
以上のようにして、一のエリアに対して記述者が意図するコンテントを表示することが可能となる。
【００７６】
次に、複数のエリアに割り当てられたコンテントを調停する場合について説明する。
図１６に示すように、エリアＡはコンテントａ１、エリアＢはコンテントｂ１、エリアＣはコンテントｃ１、エリアＤはコンテントｄ１を表示可能であり、全て後勝ちの調停ポリシーである。エリア同士の優先度はエリアＡ＞エリアＢ＞エリアＣ＞エリアＤとする。
【００７７】
エリアとコンテントと制約式の定義について説明する。図１７に示すように、エリア毎に名前、調停ポリシー、優先度が設定されている。また、コンテント毎に名前、表示可能エリアが設定されている。
【００７８】
制約式は、c1.is Visible()->!a1.is Visible() AND D.is Hidden()を例示する。Is Hidden()はエリアに割り当て可能なコンテントがあってもエリアを表示していない状態を意味している。この制約式は、コンテントｃ１（つまりエリアＣ）が表示中は、コンテントａ１を表示しない、かつ、（エリアＣと干渉する）エリアＤは隠蔽されている抑制を記述している。
【００７９】
ＡＰＰ要求がコンテントａ１、コンテントｂ１、コンテントｃ１、コンテントｄ１の順にＯＮすると、エリアＡから順に調停する。調停ポリシーによりエリアＡにコンテントａ１を割り当てるが、制約式を判定できないため仮割り当てとする。同様に、エリアＢにコンテントｂ１を仮割り当てする。
【００８０】
さて、エリアＣにおける調停では、調停ポリシーによりエリアＣにコンテントｃ１が割り当てられるが、制約式における含意の右辺が先に偽の判定となる。つまり、AND演算子は一方が偽ならば何をもっても偽となるためである。
【００８１】
そこで、エリアＣにコンテントｃ１を仮割り当てた状態で再調停を行い、エリアＡで制約式の評価結果が真となるように再調停する。制約式の評価結果が真となる結果パターンは２つある。結果パターン１は、コンテントｃ１を表示した場合は、コンテントａ１を表示せず、かつエリアＤを隠すとなる。結果パターン２は、コンテントｃ１が非表示であれば制約式の評価結果は真となる。結果パターン１は記述者の意図通りとなるが、結果パターン２の場合は記述者の意図を反映していない可能性が高い。
【００８２】
この場合、含意の右辺が先に決まっており、左辺を決定する場合であるため、再調停する。エリアＣにコンテントｃ１を割り当てるのを是とし、右辺のエリアにて再調停する。再調停後、元の調停の順に戻り未調停のエリアＤを調停する。この場合、制約式の右辺が真となるにはエリアＤが非表示（未割り当て）とする必要がある。その後、最後に１回のみ再調停せずに調停を行う。これは主に未割り当てのエリアに対して行う調停である。
以上のようにして、複数のエリアに対して記述者が意図するコンテントを表示することが可能となる。
【００８３】
このような実施形態によれば、次のような効果を奏する
表示制御装置１０は、アプリケーションからＡＰＰ要求が発行された際に当該ＡＰＰ要求が示すエリアに他のアプリケーションのコンテントが表示されていた場合は、ルールベース調停の調停ポリシーによりエリアにコンテントを割り当てる調停を実行し、エリアに割り当てられたコンテントを当該エリアに表示する。
【００８４】
ここで、例えば車両の走行状態などの状況に応じては、調停ポリシーにて割り当てられたコンテントであっても表示しない方が良い場合がある。そこで、例外的に満たすべき性質を記述したルールをルールベース定義に記述することで、調停ポリシーにてエリアに割り当てられたコンテントの表示をルールに基づいて抑制することができ、記述者の意図を適切に反映することができる。
【００８５】
エリアに対して優先度の高いコンテントを調停ポリシーにより仮割り当て、ルールが満たされた場合は仮割り当てしたコンテントを確定し、ルールが満たされない場合は次に価値の高いコンテントを評価し、ルールを満たすコンテントが無ければエリアにはコンテントに割り当てないので、一のエリアに対してルールを満たす優先度の高いコンテントを表示することができる。
【００８６】
優先度の高いエリアから調停を順に実行した際にルールを満たしたか否かを判定できない場合は当該エリアに調停ポリシーによりコンテントを仮割り当て、ルールを満たさないエリアが発生したときは、コンテントが仮割り当てられているエリアの内、優先度の高いエリアからルールを満たすようにエリアにコンテントを割り当てる再調停を実行するので、複数のエリアに対してルールを満たす優先度の高いコンテントを表示することができる。
【００８７】
再調停を実行した際に調停ポリシーによりエリアに割り当てられたコンテントを非表示判定した場合は当該エリアを未割り当てのエリアとし、再調停の対象となるエリアの全てに対して再調停を実行した場合は未割り当てのエリアに対して最後の調停を実行するので、再調停によって結果が変わったエリアによって影響を受けるエリアに対して正しく結果を反映することができる。
【００８８】
調停ポリシーはエリア毎に設定されているので、エリア毎に望ましいコンテントを割り当てることが可能となり、従来のようにコンテントの管理が複雑となってしまうことを低減することができる。
【００８９】
制約式は演算子で定義された論理式であり、論理式の評価結果が真となる場合にルールを満たしたと判定するので、論理式により多様な制約を論理的に記述することができる。
論理式の含意の左辺が真かつ右辺が偽である場合は、論理式の評価結果が真となるように左辺を偽にすることなくルールを満たしていないと判定するので、記述者の意図を反映することをできる。
【００９０】
複数の状態から選択された一の状態でエリアにコンテントを表示するので、コンテントを多様な状態で表示することが可能となる。
調停ポリシーとして優先度調停、後勝ち調停、価値ベース調停を設定可能であるので、エリアに対応した適切な調停ポリシーを設定することができる。
【００９１】
（その他の実施形態）
エリアに割り当てるコンテントの再調停を複数回実行するようにしても良い。
本発明を車両用以外の表示制御装置に適用するようにしても良い。
【００９２】
本開示は、実施形態に準拠して記述されたが、当該実施形態や構造に限定されるものではないと理解される。本開示は、様々な変形例や均等範囲内の変形をも包含する。加えて、様々な組み合わせや形態、更には、それらに一要素のみ、それ以上、或いはそれ以下を含む他の組み合わせや形態をも、本開示の範疇や思想範囲に入るものである。
【符号の説明】
【００９３】
図面中、１は車両、６は第１表示装置、７は第２表示装置、８は第３表示装置、１０は表示制御装置、１２は記憶部、１３は調停部、１４は表示制御部である。
【図１】
2020003649.tif 000003
【図２】
2020003649.tif 000004
【図３】
2020003649.tif 000005
【図４】
2020003649.tif 000006
【図５】
2020003649.tif 000007
【図６】
2020003649.tif 000008
【図７】
2020003649.tif 000009
【図８】
2020003649.tif 000010
【図９】
2020003649.tif 000011
【図１０】
2020003649.tif 000012
【図１１】
2020003649.tif 000013
【図１２】
2020003649.tif 000014
【図１３】
2020003649.tif 000015
【図１４】
2020003649.tif 000016
【図１５】
2020003649.tif 000017
【図１６】
2020003649.tif 000018
【図１７】
2020003649.tif 000019