From: A formal specification framework for smart grid components
Schema | Pre-condition for success | Condition for error |
---|---|---|
SlowWind | Turbine not running \(trbState=notRunning\) | Already in slow running state \(trbState=turbineSlowRunning\) |
FastWind | Turbine is running slowly \(trbState=turbineSlowRunning\) | Already in fast running state \(trbState=turbineFastRunning\) |
NoWind | Turbine is running slowly \(trbState=turbineSlowRunning\) | Already in not running state \(trbState=turbineNotRunning\) |