[发明专利]程序提供装置、存储媒体及车载信息系统

权利要求书

1.一种程序提供装置，其特征在于，具有：

对车载信息系统的硬件环境及软件环境进行仿真的仿真单元；

接受为了车载信息系统用而开发的程序的程序接收单元；

将车载信息系统的资源状态及环境状态作为限制条件而保持的限制条件保持单元；

根据所述限制条件保持单元保持的限制条件，来限制所述程序动作的程序执行限制单元；以及

使用所述仿真单元提供的资源，按照所述程序执行限制单元的限制，来执行从所述程序接收单元接受的程序的程序执行单元。

2.如权利要求1所述的程序提供装置，其特征在于，

在限制条件保持单元保持的限制条件中包含的资源状态，包含CPU使用率、存储器使用量、硬盘使用量、总线使用率、以及可否使用网络的至少一项，

环境状态，包含表示行驶中或停止中的行驶状态、行驶速度、位置、方向、高度、温度、湿度、天气、以及道路类别的至少一项。

3.如权利要求1所述的程序提供装置，其特征在于，

在限制条件保持单元保持的限制条件中包含的资源状态，包含可否使用应用程序接口、可否使用库、特定程序的执行状态的至少一项，

环境状态，包含表示行驶中或停止中的行驶状态、行驶速度、位置、方向、高度、温度、湿度、天气、以及道路类别的至少一项。

4.如权利要求1所述的程序提供装置，其特征在于，

具有更新限制条件保持单元中保持的限制条件的限制条件更新单元。

5.如权利要求1所述的程序提供装置，其特征在于，具有：

生成证明利用程序执行单元正常执行了程序的证明信息的程序证明单元；以及

保存利用所述程序证明单元证明正常执行了的程序及用所述程序证明单元生成的证明信息的程序保存单元。

6.如权利要求1所述的程序提供装置，其特征在于，具有：

生成证明利用程序执行单元正常执行了程序的证明信息的程序证明单元；以及

将利用所述程序证明单元证明正常执行了的程序及用所述程序证明单元生成的证明信息向外部发送的程序发送单元。

7.如权利要求5所述的程序提供装置，其特征在于，

程序证明单元根据包含：

包含CPU使用率、存储器使用量、硬盘使用量、总线使用率、以及可否使用网络的至少一项的资源状态；以及

包含表示行驶中或停止中的行驶状态、行驶速度、位置、方向、高度、温度、湿度、天气、以及道路类别的至少一项的环境状态

的限制条件，生成证明信息。

8.如权利要求5所述的程序提供装置，其特征在于，

程序证明单元根据包含：

包含可否使用应用程序接口、可否使用库、特定程序的执行状态的至少一项的资源状态；以及

包含表示行驶中或停止中的行驶状态、行驶速度、位置、方向、高度、温度、湿度、天气、以及道路类别的至少一项的环境状态

的限制条件，生成证明信息。

9.如权利要求5所述的程序提供装置，其特征在于，

程序证明单元根据程序提供源，生成证明信息。

10.一种存储媒体，存储了用计算机能够执行的程序，其特征在于，具有：

对车载信息系统的硬件环境及软件环境进行仿真的仿真单元；

接受为了车载信息系统用而开发的程序的程序接收单元；

将车载信息系统的资源状态及环境状态作为限制条件而保持的限制条件保持单元；

根据所述限制条件保持单元保持的限制条件，来限制所述程序动作的程序执行限制单元；以及

使用所述仿真单元提供的资源，按照所述程序执行限制单元的限制，来执行从所述程序接收单元接受的程序的程序执行单元。

11.一种车载信息系统，其特征在于，具有：

接收为了车载信息系统用而开发的程序及证明信息的程序接收单元；

解读从所述程序接收单元接受的证明信息并进行认证的程序认证单元；

根据从所述程序认证单元接受的认证结果，来限制所述程序动作的程序执行限制单元；以及

按照所述程序执行限制单元的限制，来执行从所述程序接收单元接受的程序的程序执行单元。