The development of large-scale complex manufacturing software-based systems proceeds from analysis through design and implementation to system verification and validation. This module covers the analysis and design phases of the software development cycle with particular emphasis on the use of manufacturing performance-oriented approaches to system specification.