Design space exploration is well done at a high level of abstraction where implementation effects can be accounted for by automatic transformations to a given architecture.  An approach is presented that generates a parallel implementation from high level parallelisation information.  Generative technologies are presented in a larger Model-Based Design context targeting high-integrity systems.  Software components help manage predictable system behaviour in the face of reconfiguration.  To rigorously and unambiguously specify the application architecture, the semantics of an architecture description language are precisely defined by abstract state machines.