Propellor ensures that the system it's run in satisfies a list of properties, taking action as necessary when a property is not yet met.

It is configured using haskell.