Chapter 1 Managing Design Change with Functional Blueprints

Long-lived complex electromechanical systems, such as vehicles or industrial machinery, often need to be adapted for new uses or new environments. Adapting the design for such a system is frequently complicated by the fact that they are often tightly integrated, such that any change will have consequences throughout the design, and must take many different aspects of the system into consideration. Functional blueprints simplify adaptation by incorporating the reasons for design decisions and their consequences directly into the specification of a system. This allows a human designer to be supported by automated reasoning that can identify potential conflicts, suggest design fixes, and propagate changes implicit in the choices of the designer. This chapter presents the functional blueprints approach in detail, including both review of prior work and new results. 1.