One of the most critical components of a laser metal deposition system is the powder feeder unit. Techniques are required to efficiently design and analyze these systems and to ensure fault tolerance during the operation. In this paper, a model of the powder feeder unit, based on object– oriented abstractions of it components, is developed. This model is modular in that specific components can be efficiently updated or replaced with components that perform a similar function. In addition, the model can be used for simulation allowing for efficient design and analysis. Assurance of the correctness of the powder feeder system is obtained from concurrent run–time evaluation of temporal logic expressions. A simulation example is provided.