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.

Meeting Name

13th Annual Solid Freeform Fabrication Symposium (2002: Aug. 5-7, Austin, TX)


Mechanical and Aerospace Engineering

Second Department

Business and Information Technology

Third Department

Computer Science


The authors gratefully acknowledge their students’ contributions to this paper and the financial support of the National Science Foundation (DMI-9871185), Missouri Research Board, Society of Manufacturing Engineers, and Missouri Department of Economic Development.

Document Type

Article - Conference proceedings

Document Version

Final Version

File Type




Publication Date

07 Aug 2002