Formal Verification of Synchronous Models: An Industrial Application ...
Formal Verification of Synchronous Models: An Industrial Application ...
Formal Verification of Synchronous Models: An Industrial Application ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Model-Based Safety <strong>An</strong>alysisGreen PumpBlue PumpLoss AllBr a k i n gIsolation ValveIsolation ValvePower APedal 1PlantFeed backPedal 2Power BSystemASystemBFault TolerantBraking SystemControl Unit( BSCU )ShutNormalSystem<strong>An</strong>tiSkidCommandBraking +<strong>An</strong>tiSkidCommandNORMALSelector ValveMeterValveALTERNATEAccumulatorValveMeterValveMeterValveAccumulatorPumpMechanicalPedalPlantModelGreen PumpLos sNo r ma l Sy sLos sMet er Val veLos sPowerSuppliesFai lBSCU Lo s so f Comma n dBSCU Sel ectSi gnalInvertedAcc/ AS/ MechMet er Fai l sAlt SysLos sBlue FailsBo t h Pump sFa i lAcc FailsSel Val veSt uck• Model the Digital Controller Architecture and the Physical System• Add Fault Model for Physical Systemand Digital Controller Architecture• Integrates System and Safety Engineering About a Common Model• Automation Enables “What-If” Consideration <strong>of</strong> System Designs© 2006 Rockwell Collins, Inc. All rights reserved.42