COMPUTATIONAL SUPPORT FOR SYSTEM ARCHITECTING

摘要

System architecting is a process to iteratively refine technical specifications assigned to subsystems. System architecting results in compositions of systems (system architecture) as well as system models that are verified and validated in succeeding design stages. To decrease potential design faults and unnecessary design iterations, such system models can be used during system architecting in advance to quickly compute the feasibility of design concepts regarding special and behavioral specifications. This paper proposes a computational tool for system architecting. The tool uses the Function-Behavior-State (FBS) modeling to define symbolic specifications, and geometric and process-interval modeling to define parameter-level specifications. An interval-based logic evaluates the consistency of specifications described with symbols and parameters. This paper demonstrates the tool through system architecting of a generic photocopier.