Specification and Design of Reprographic Machines
Flavio M. Varejao, Markus P.J. Fromherz, Ana C. Bicharra Garcia, and Clarisse S. de Souza
Abstract
Development of reprographic machines is a non-trivial task, due to
ever-increasing functionality and productivity requirements. By
providing computational support for requirements specification and
machine design, we can substantially improve this product development
process. Our approach is based on an integrated framework for the
representation of the specification and design. A rigorous
formalization of specification and design allows us to provide
automated support for a designer's activities such as machine
synthesis and verification. In our approach, design is represented by
a declarative compositional model of the machine. This model captures,
at an appropriate level of abstraction, the structure, behavior and
relevant non-physical properties of the machine. Specification is
represented by constraints over a subset of the model's variables.
Postscript file
Back to the top.