发明名称 Dependability maintenance system, change accommodation cycle execution device, failure response cycle execution device, method for controlling dependability maintenance system, control program, and computer-readable storage medium storing the control program
摘要 A workspace computer and/or a runtime computer of the present invention determines a D value quantitatively indicative of a value of dependability of a target system, in accordance with dependability description data indicative of a requirement and specification regarding the dependability of the target system.
申请公布号 US8806272(B2) 申请公布日期 2014.08.12
申请号 US201113990332 申请日期 2011.11.14
申请人 Japan Science and Technology Agency 发明人 Yokote Yasuhiko;Tokoro Mario;Yamamoto Shuichiroh;Matsuno Yutaka
分类号 G06F11/00 主分类号 G06F11/00
代理机构 Lowe Hauptman & Ham, LLP 代理人 Lowe Hauptman & Ham, LLP
主权项 1. A dependability maintenance system for maintaining dependability of a target system, comprising: a change accommodation cycle execution device for executing a change accommodation cycle for adding and/or modifying dependability description data indicative of a requirement and specification regarding the dependability of the target system, in accordance with a change in a requirement and specification regarding the target system, during development of the target system or during update of the target system in operation; a failure response cycle execution device for executing a failure response cycle for avoiding abort of the target system based on the dependability description data when occurrence of failure or a sign of failure is detected during operation of the target system, and change request transmission means for, when the failure response cycle execution device detects the occurrence of the failure or the sign of failure and abort of the target system is unavoidable, transmitting a request for changing the dependability description data to the change accommodation cycle execution device.
地址 Saitama JP