SIFL Experimental Data

SAnToS Lab

Tested SPARK Examples

• Mailbox.MACHINE_STEP [SPARK Code, Evidence Output, Other Statistical Data]
• BoilerWater-Monitor.FaultIntegrator.Test [SPARK Code, Evidence Output, Other Statistical Data]
• BoilerWater-Monitor.Main.ControlHigh [SPARK Code, Evidence Output, Other Statistical Data]
• BoilerWater-Monitor.Main.ControlLow [SPARK Code, Evidence Output, Other Statistical Data]
• MinePump.Logbuffer.ProtectedRead [SPARK Code, Evidence Output, Other Statistical Data]
• MinePump.Logbuffer.Read [SPARK Code, Evidence Output, Other Statistical Data]
• MinePump.Logbuffer.ProtectedWrite [SPARK Code, Evidence Output, Other Statistical Data]
• MinePump.Logbuffer.Write [SPARK Code, Evidence Output, Other Statistical Data]
• Missile_Guidance.Clock.Read [SPARK Code, Evidence Output, Other Statistical Data]
• missile_guidance.airspeed.Extrapolate_Speed [SPARK Code, Evidence Output, Other Statistical Data]
• Missile_Guidance.Clock_Units.Delta_Time [SPARK Code, Evidence Output, Other Statistical Data]
• missile_guidance.if_airspeed.Get_Speed [SPARK Code, Evidence Output, Other Statistical Data]
• Missile_Guidance.Drag.Calc_Drag [SPARK Code, Evidence Output, Other Statistical Data]
• Missile_Guidance.Drag.Relative_Drag_At_Altitude [SPARK Code, Evidence Output, Other Statistical Data]
• Autopilot.Ap_Altitude_Pitch_Rate.History_Average [SPARK Code, Evidence Output, Other Statistical Data]
• Autopilot.Ap_Altitude_Pitch_Rate.History_Update [SPARK Code, Evidence Output, Other Statistical Data]
• Autopilot.Ap_Altitude_Pitch_Rate.Calc_Pitchrate [SPARK Code, Evidence Output, Other Statistical Data]
• Autopilot.Ap_Altitude_Pitch.Target_Rate [SPARK Code, Evidence Output, Other Statistical Data]
• Autopilot.Ap_Altitude_Pitch.Target_ROC [SPARK Code, Evidence Output, Other Statistical Data]
• Autopilot.Scale.Scale_Movement [SPARK Code, Evidence Output, Other Statistical Data]
• Autopilot.Scale.Inverse [SPARK Code, Evidence Output, Other Statistical Data]
• Autopilot.Ap_Heading_Roll.Heading_Offset [SPARK Code, Evidence Output, Other Statistical Data]
• Autopilot.Ap_Heading_Roll.Target_Rate [SPARK Code, Evidence Output, Other Statistical Data]
• Autopilot.Ap_Heading_Roll.Target_ROR [SPARK Code, Evidence Output, Other Statistical Data]
• forloop_ArrayInit.ArrayInit [SPARK Code, Evidence Output, Other Statistical Data]
• ForLoop_ArrayScrub.ArrayScrub [SPARK Code, Evidence Output, Other Statistical Data]
• forloop_ArrayTransfer.ArrayTransfer [SPARK Code, Evidence Output, Other Statistical Data]
• ForLoop_ArrayPatitionedTransfer.ArrayPatitionedTransfer [SPARK Code, Evidence Output, Other Statistical Data]
• forloop_copykeys.copykeys [SPARK Code, Evidence Output, Other Statistical Data]
• forloop_flipHalves.flipHalves [SPARK Code, Evidence Output, Other Statistical Data]
• whileLoop.whileLoop [SPARK Code, Evidence Output, Other Statistical Data]