Budget Amount *help |
¥4,940,000 (Direct Cost: ¥3,800,000、Indirect Cost: ¥1,140,000)
Fiscal Year 2017: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2016: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2015: ¥2,340,000 (Direct Cost: ¥1,800,000、Indirect Cost: ¥540,000)
|
Outline of Final Research Achievements |
Control systems such as critical infrastructures have to be networked due to the flexibility and the efficiency, and this situation causes new threats “cyber-attacks” against control systems. This study proposed the model-based fallback control system that guarantees the continuous operation of the system during the cyber-attacks. The study focuses on the “availability” and the incident response of control system, while the information security focus on the confidentiality. To realize the fallback control system theory, the following results are obtained: event triggered control of quantized system, model checking of program control flow graph, fallback operation depending on the attacking level and the detection accuracy, the relationship between the implementation style and the detection accuracy.
|