System Design and Executable Architecture