Back to results
US 8,806,272 B2Granted
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
AssigneeJapan Science and Technology Agency
InventorsYasuhiko Yokote, Mario Tokoro, Shuichiroh Yamamoto, Yutaka Matsuno
Life of this patent
Estimating the term…
Abstract
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.
Claims21
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.
A method for controlling a dependability maintenance system for maintaining dependability of a target system,
- the method comprising:
- a change accommodation cycle carried out by a change accommodation cycle execution device in the dependability maintenance system, 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 carried out by a failure response cycle execution device in the dependability maintenance system, 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
- when the failure response cycle execution device detects the occurrence of the failure or the sign of the 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.
1 more element
Dependencies are inferred from the claim text.