A method for soil remediation by molecular binding for producing beneficial use determined polymer concrete product that removes hazardous pollutants from a quantity of contaminated soil. Hazardous pollutants are identified though chemical analysis in order to select at least corresponding polymer and at least one corresponding binder for each hazardous pollutant present in the contaminated soil. The at least one polymer chemically bonds with the hazardous pollutant in order to neutralize the hazardous pollutant within the contaminated soil to form a polymer concrete product. The polymer concrete product is then used as a concrete substitute for construction applications.

This disclosure involves a method of controlling a safety critical control device, the method comprising: sending user inputs to a first state machine, identifying user inputs by the first state machine, determining the correct state to communicate to a second state machine, the correct state being determined by selecting one state of a plurality of states depending on the user inputs, communicating the correct state to a second state machine through a control bus, and determining the correct state for the second state machine based on communication from the control bus.

This disclosure involves a method of controlling a safety critical control device, the method comprising: sending user inputs to a first state machine, identifying user inputs by the first state machine, determining the correct state to communicate to a second state machine, the correct state being determined by selecting one state of a plurality of states depending on the user inputs, communicating the correct state to a second state machine through a control bus, and determining the correct state for the second state machine based on communication from the control bus.