Outline MERS CSAIL Fault aware Systems and Model-based Programming Model-based Diagnosis Multiple-fault Diagnosis based on Conflicts Mode estimation tlaa Why model-based Programming? MERS Leading Diagnosis .Legs deployed during descent loise spike on leg senso latched by monitors Laser altimeter registers 50ft Begins polling leg monitors to determine touch down Latched noise spike read as Image courtesy of JPL touchdown Engine shutdown at -50ft Mars 98 Climate Orbiter · Mars polar lander Create Embedded Languages That Reason on the fl from Commonsense modelsOutline • Fault Aware Systems and Model-based Programming • Model-based Diagnosis • Multiple-fault Diagnosis based on Conflicts • Mode Estimation Why Model-based Programming? Create Embedded Languages That Reason on the Fly from Commonsense Models Leading Diagnosis: •Legs deployed during descent. • Noise spike on leg sensors latched by monitors. • Laser altimeter registers 50ft. • Begins polling leg monitors to determine touch down. • Latched noise spike read as touchdown. • Engine shutdown at ~50ft. Mars 98: • Climate Orbiter • Mars Polar Lander Image courtesy of JPL