Codesign Requires Closed-System Specifications
Tommi Mikkonen
Abstract
Codesign requires the possibility to focus on the collective behaviors
of components constituting the systems early in the development, before
determining their implementation techniques. An approach is therefore needed
where early phases of the development ignore restrictions imposed by the
available implementation techniques but place the emphasis on collaboration
of different parties. Upon composing such a high-level specification, design
decisions with respect to component architecture, their responsibilities, and
implementation techniques can be based on solid justification. This results
in enhanced confidence on the quality of the resulting system.
Related URL:
http://www.cs.tut.fi/ohj/DisCo/