This paper develops a hybrid modeling methodology for combined hardware and software design of ``smart'' electro-mechanical systems, i.e., machines with intelligent, embedded computer control. Using examples from the reprographic machine domain, we argue that integrated hardware and software design is critical to meeting functionality, cost, performance, and reliability goals. The Environment Relationship net [Ghezzi et al,1991] formalism (ER Nets), a timed extension of Petri nets with tokens, is used to model the paper path of the reprographic machine. We discuss how to use ER Nets to develop hybrid (hardware and software) models for design analysis.
hybrid modeling, smart system design, hardware software design,
environment relationship nets