This
book focuses on the design and testing of large-scale, distributed signal
processing systems, with a special emphasis on systems architecture, tooling
and best practices. Architecture modeling, model checking, model-based
evaluation and model-based design optimization occupy central roles. Targ...