Book: Real-Time Systems: Scheduling, Analysis and Veirfication by Albert M K Cheng Chapter 10: Design and Analysis of Propositional-Logic Rule-Based Systems VERY URGENTLY REQUIRED!

domiaII s Consider the following EQL. program: arbiter b wake_ up false IF (error a) 1] object detected true 11 object detectedfalse [] arbiter-a ! wake-up = false IF (error. b) IF (sensor a 1) AND (arbiter a) AND (wake_up true) IF (sensor_a 0) AND (arbiter a) AND (wake_up true) IF (sensor b 1) AND (arbiter b) AND (wake up true) IF (sensor-b = 0) AND (arbiter = b) AND (wake-up true) 1J object_detected : true object detectedfalse Use the general analysis strategy to analyze this program and report the analy- h for the following rules and identify the simple sis results. domiaII s Consider the following EQL. program: arbiter b wake_ up false IF (error a) 1] object detected true 11 object detectedfalse [] arbiter-a ! wake-up = false IF (error. b) IF (sensor a 1) AND (arbiter a) AND (wake_up true) IF (sensor_a 0) AND (arbiter a) AND (wake_up true) IF (sensor b 1) AND (arbiter b) AND (wake up true) IF (sensor-b = 0) AND (arbiter = b) AND (wake-up true) 1J object_detected : true object detectedfalse Use the general analysis strategy to analyze this program and report the analy- h for the following rules and identify the simple sis results