程序提供装置、存储媒体及车载信息系统

摘要

一种程序提供装置，具有：对车载信息系统的硬件环境及软件环境进行仿真的仿真单元；接受为了车载信息系统用而开发的程序的程序接收单元；将车载信息系统的资源状态及环境状态作为限制条件而保持的限制条件保持单元（21）；根据限制条件保持单元保持的限制条件，来限制程序动作的程序执行限制单元（22）；以及使用仿真单元提供的资源，按照程序执行限制单元的限制，来执行从程序接收单元接受的程序的程序执行单元（112）。

主权项

一种程序提供装置，其特征在于，具有：对车载信息系统的硬件环境及软件环境进行仿真的仿真单元；接受为了车载信息系统用而开发的程序的程序接收单元；将车载信息系统的资源状态及环境状态作为限制条件而保持的限制条件保持单元；环境设定窗口，用于输入表示所述车载信息系统的环境状态的信息；根据所述限制条件保持单元保持的限制条件中与从所述环境设定窗口输入的信息所表示的环境状态相对应的限制条件，来限制所述程序动作的程序执行限制单元；使用所述仿真单元提供的资源，按照所述程序执行限制单元的限制，并根据从所述环境设定窗口输入的信息所表示的环境状态，来执行从所述程序接收单元接受的程序的动作测试的程序执行单元；生成证明利用所述程序执行单元正常执行了程序的证明信息的程序证明单元；以及保存利用所述程序证明单元证明正常执行了的程序及用所述程序证明单元生成的证明信息的程序保存单元。