Formalization and qualification of models adapted to preliminary design

摘要

We propose a procedure for the formalization and qualification of models adapted specifically to the requirements of preliminary design. Using this methodology the current lack of suitable decision support tools for design can be overcome. Following a needs assessment for modeling during this design phase, the approach that we develop here is based on functional decomposition to structure the system to be designed. By applying the formalization procedure defined here, the system can be analyzed using tools that are frequently used to good effect by engineers and the problem of preliminary design is structured to produce a behavior model adapted to making design choices and suitable for use with decision support tools.