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/