Software that controls an automated system. Examples are software that runs a nuclear power plant, or software that runs a petrochemical plant.