Hybrid Modeling for Smart System Design
Ravi Kapadia, Gautam Biswas, and Markus P.J. Fromherz
Abstract
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 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.
© 1997 FLAIRS.
Postscript file
Back to the top.