Ryan Fritz

Learn More
The project objective was to design and implement a simulation model of a mail distribution system that communicated with the system's hardware controller. Lockheed Martin Distribution Technologies (LMDT) sought to determine the feasibility of bridging this connection between a simulation and the hardware controller and producing an accurate simulation with(More)
AutoMod  is a leading discrete-event simulation package widely applied in the modeling and analysis of distribution systems. Included in the AutoMod software suite is the Model Communications Module (MCM), which allows an executing simulation to open socket connections and to send and receive messages via TCP/IP network protocol. In this paper we report on(More)
Formal verification (Fv) is considered by many to be complicated and to require considerable mathematical knowledge for successful application. We have developed a methodology in which we have added formal verification to the verification process without requiring any knowledge of formal verification languages. We use only finite-state machine notation,(More)
AutoMod® is a leading discrete-event simulation package widely applied in the modeling and analysis of distribution systems. Included in the AutoMod software suite is the Model Communications Module (MCM), which allows an executing simulation to open socket connections and to send and receive messages via TCP/IP network protocol. In this paper we(More)
  • 1