Automated Latency Management And Cross-Communication Exchange Conversion

摘要

A system and method for performing functional decomposition of a software design to generate a computer-executable FSM and a graphical representation of the design in a decomposition diagram stored in a program database with source code, test code, and other program data. The method includes searching for pre-existing software modules that meet program design requirements. Modules needing work are displayed on Gantt or PERT charts as tasks, and may be annotated with start dates, and completion dates. Percent complete of the design is automatically generated and updated, and may be displayed on the charts. The decomposition is automatically used to introduce error detection states into the FSM for recognizing invalid states and saving checkpoints, and for recognizing and repairing both race conditions and deadlock conditions in the design.

主权项

1. A method for performing functional decomposition of a software design to generate a computer-executable finite state machine (FSM), the method comprising:
decomposing functions in the software design into data transformations and control transformations repetitively until each of the decomposed data transformations consists of a respective linear code block; wherein the data transformations accept and generate data, and the control transformations evaluate conditions and send and receive control indications to and from associated instances of the data transformations; converting the software design to a graphical diagram database, the graphical database including a machine readable representation of a plurality of graphical symbols interconnected to hierarchically represent the data transformations and the control transformations in the software design, wherein: a first type of the graphical symbols comprise process symbols indicating functional decomposition elements within the software design, and a second type of the graphical symbols comprise control flow indicators between the functions, which indicators have transformation-selection conditions associated therewith; and the process symbols including control bubbles or symbols and process bubble or symbols, wherein the control bubbles or symbols indicate the control transformations, and the process bubbles or symbols indicate the data transformations; translating the data transformations and the control transformations into states in the FSM; and translating the transformation-selection conditions associated with the control transformations into state transitions in the FSM; checkpointing state information in a storage system; inserting error-detection states into the FSM, and providing code for saving process state information when the error detection state is executed; wherein the translating steps are performed by a computer system.