This document describes a formalism that allows for the capture and analysis of very large, complex, computer-based, real time systems. The formalism covers all aspects of a system, including functional (the functions a system performs) and non-functional (characteristics of system performance) attributes. The current proposed formalism captures the system design in five different capture views: Informational, Functional, Behavioral, Implementation, and Environmental. Each capture view explores different aspects of the system, ...
CSESAW '94 is exploring system level design synthesis and assessment capabilities for large, complex systems. These capabilities will facilitate the development of such systems from informal system requirements, through the design phase prototyping, and into implementation and post deployment. Component products produced by these capabilities are specifications that subenvironments will receive. The focus of the workshop is the development and integration of these multiple technologies and the exploration of the ...
This document provides an analysis of design elements whose implementation involves algorithmic tasks and hardware resources which must handle large amounts of data or which otherwise present communication (data flow) impasses to the timely (or functional) fulfillment of a design. It proposes a methodology for evaluating candidate resources and selecting those which reduce communication complexity and meet system requirements. The techniques of this methodology should integrate with other steps in ...