56 results about "Functional specification" patented technology

A technique for synthesizing digital circuit designs by incorporating timing convergence and routability considerations. In one aspect, the invention provides a system and programmatic method for generating a circuit design from a functional specification according to at least one design objective. An intermediate representation of the functional specification is formed. The intermediate representation is analyzed for identifying a physical instantiation that will possibly result in unacceptable interconnect delay or congestion. Functional units are allocated from among a plurality of candidate functional units for performing operations of the intermediate representation. Operations are scheduled to occur at specified times on said selected functional units. An architectural representation of the circuit design is formed according to results of scheduling.

A code generator and multi-core framework are executable in a computer system to implement methods as disclosed herein, including a method for the code generator to automatically generate multi-threaded source code from functional specifications, and for the multi-core framework, which is a run time component, to generate multi-threaded task object code from the multi-threaded source code and to execute the multi-threaded task object code on respective processor cores. The methods provide transparency to the programmer, and during execution, provide automatic identification of processing parallelisms. The methods implement Consume-Simplify-Produce and Normalize-Transpose-Distribute operations to reduce complex expression sets in a functional specification to simplified expression sets operable in parallel processing environments through the generated multi-threaded task object code. The result is a code generator which compiles transparent declarative code into multi-threaded code and that in the process identifies and assigns parallel processing paths to improve overall processing performance.

A method and apparatus are set forth for defining and validating feature policies in an execution system, such as a communication system. The method includes entering user policies described in a straightforward manner (e.g. using a Web browser and user-understandable language) in such a way that they can be translated into a formal executable language. The user policies are then translated into an executable feature language such as the IETF's CPL. The user is then either compelled or provided with an option to validate the overall feature set before it is uploaded to the execution system. If validation is selected, the features are translated from CPL into another format, such as FIAT, from which it is possible to detect common feature specification errors. The FIAT detected errors are then analyzed in a manner that is aware of the expectations and common errors of naive users, and interpreted to determine possible errors as errors that are common to naive users. These errors are reported to the user (e.g. via the Web interface) in terms that are understandable to naive users and compatible with how the policies were originally described. The user is provided with options to either accept the interactions as they are, repair them manually or to accept a recommendation of an automatic correction. Unlike conventional systems, where feature interactions are solved in the same way for all users, the selected resolution is personalized in the present invention to satisfy the end-user's intentions, independently of how others solve similar conflicts. The features are uploaded to the execution system.

A method is provided for exploring alternative architectures for partitioning computer system resources to execute multiple task specifications. An initial master task graph is formed from the multiple task specifications, the initial master task graph including at least one hierarchical task with pointers to either AND sub-task graphs or XOR sub-task graphs. The initial master task graph is processed to provide a selected number of final master task graphs, each of the final master task graphs comprising a list of AND task graphs. A family of architectures is generated for each of the final master task graphs, each of the architectures generated for a given master task graph being capable of executing every AND task graph included therein. The degree of resemblance in composition, functional capability or performance resulting between architectures from different master task graphs is a function of the correlation between the contents of these master task graphs and not of concern to the user of the aforementioned method.

A system and method for verifying operation of a target system to be inspected. The system includes an abstract binary tree generation unit and a matching unit. The abstract binary tree generation unit obtains information about a functional specification of the target system and generates one or more binary trees that associate one or more states that can occur in the target system with respective nodes and that associate state transitions of objects constituting the target system and interactions between the objects with connection relationships between the nodes. The matching unit receives an event sequence in an application model of the target system obtained in response to the operation of the target system and matches the event sequence against the binary trees generated by the abstract binary tree generation unit. The method includes steps for accomplishing the functionality of the system.

The invention provides systems and methods for developing multi-platform graphical user interface (GUI) for a target software application. In invention includes assessing one or more functional requirements of the target software application and defining a functional specification for the multi-platform GUI using the assessed functional requirements. The functional specification is used to develop source code for the graphical user interface. An abstraction framework that evaluates functions of the GUI source code and provides instruction to perform the functions in each of the plurality of operating environments is then developed and used as an intermediary between the GUI source code and each of the plurality of operating environments.

A machine-implemented method of building a speech application includes generating a graphical user interface to enable a user to create and edit a speech application, and receiving user inputs directed to the graphical user interface, where the user inputs specify a set of dialog flows representing the speech application. The method further includes, based on the user inputs, automatically generating executable code representing the speech application and a functional specification document describing the speech application.

A method is disclosed for modeling and processing an asynchronous functional specification to provide an input to an architecture synthesis engine. The method includes the step of generating an initial task graph from the specification, the task graph having a number of executable tasks. Selected data and control connections are established between respective tasks in accordance with a specified set of rules to define some of the tasks to be deterministic, and other of the tasks to be non-deterministic. Each of the control connections is then marked, to provide an annotated task graph for use as an input to the architecture synthesis engine, the annotated task graph enabling the engine to employ specified scheduling techniques.

The invention relates to a dynamic function test method of a high-speed train operation control system, which belongs to the technical field of high-speed train operation control systems. The method comprises the following steps of: configuring a dynamic test model of a tested high-speed train operation control system based on a parameterization automaton model according to a high-speed train operation control system functional specification; and performing a dynamic test process on the high-speed train operation control system according to the model. In the dynamic test method, a cyclic process consisting of four steps, namely 'generating a test sequence of transfer to be tested', 'executing the test sequence', 'analyzing a test result' and 'updating a dynamic test model parameter' is performed. By the method, the generation of a fixed test sequence set before the high-speed train operation control system is tested is avoided, and the problems of low test coverage rate and low test result accuracy of the conventional static test method as well as high generation cost and high execution cost of a test sequence in the conventional dynamic test method are solved.

A method of preparing a test for an electronic system including a plurality of pieces of equipment interconnected by at least one communications link, in which method, in order to perform the test, use is made of a test bench appropriate for the electronic system under test, which test bench is connected to the system and controlled in application of a command sequence established from at least one informal functional specification; while preparing the test, the informal functional specification, the command sequence, and a link identifying the informal functional specification from which the command sequence was established are all recorded so that after execution of the command sequence and after the test results have been recorded, it is possible to read the link and identify unambiguously the informal functional specification that corresponds to the test results obtained.

An information management system providing a consolidated representation of a plurality of assets is disclosed. According to one embodiment, the information management system includes a data repository operable to store a plurality of global asset definitions which represent enterprise-owned assets and customer-owned assets. In one embodiment, one global asset definition is stored as a record of an asset of the plurality of assets. The global asset definition includes a functional specification of the asset and a physical attribute of the asset. The system further includes a work management application communicatively coupled to the data repository which provides a work flow manager that is operable to determine a work flow associated with the global asset definition. The work flow manager is further operable to manage the execution of the work flow.

The invention relates to an intelligent power grid and user integrated communication system and a communication method thereof. The system comprises a power grid side system, a data center system, and a user side system. The user side system includes a user side intelligent device and a user side energy management system, wherein the user side intelligent device and the user side energy management system are mutually connected by an interference V; the user side energy management system is connected with a gateway device by an interface IV; the gateway device is connected with the power side system and the data center system respectively by an interface II and an interface III; and the power side system is connected with the data center system by an interface VI. The method comprises the following steps: analyzing information interaction demands of the intelligent power grid and the user; defining the information interaction function specification; analyzing an objective involved in the function and an interaction process involved in the function; defining a static information model; defining a dynamic information exchange model; carrying out communication protocol mapping; and carrying out communication technology selection. According to the invention, information interaction between the power grid and the user is supported; and the efficiency as well as environmental friendliness of the whole energy supply link centering on the power is improved.

The invention discloses a C source code-oriented automatic formal verification tool and method, and the method comprises the steps: inserting a compiled code function specification into a C source code, automatically converting the function specification and the C source code into an intermediate representation which can be processed by a program verifier, converting the intermediate representation into an intermediate verification language code through the program verifier for formal verification input; by the adoption of the formalization method, automatic formalization verification can be conducted on the converted source code so as to verify the functionality and safety of the source code. On the basis that each interface function passes code function correctness verification, an abstract model is constructed by utilizing a behavior modeling language and a combined verification technology; and then an interaction behavior is simulated by utilizing a model simulation engine and an attribute detection engine, a security attribute is verified, and whether the code meets a security attribute specification or not is judged. According to the invention, formalized verification of the C source code can be realized in an automatic form, the used intermediate representation generator can automatically generate the intermediate representation, the program verifier can automatically generate the intermediate verification language code, and the model simulation engine and the attribute detection engine can automatically verify the security attribute. The measures can greatly improve the C source code verification efficiency and reduce the manual participation degree.

A verification supporting apparatus includes an acquiring unit that acquires a first verification-item list for a verification target, a functional specification of the verification target, and a sequential specification of the verification target; a keyword extracting unit that extracts a keyword about the verification target from the first verification-item list; a creating unit that creates a second verification-item list in which each of the verification items is formed with the functional description and the sequential description about an output action of the verification target; and a converting unit that converts the first verification-item list into a third verification-item list having a same format as the second verification-item list, based on the second verification-item list and the keyword.