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.

A method is disclosed of producing a system architecture comprising a plurality of electrical devices connected to each other, said system preferably comprising a fault tolerant system, the method including: a) identifying a set of undesirable events and ascribing to each of said undesirable events an indicator of their severity; b) associating where possible each said undesirable event with one or more actuators of said system architecture; c) developing a functional specification of an initial architecture proposed for implementation of said system architecture; d) refining on said functional specification the fault tolerance requirements; e) producing replicates in said functional specification together with attached indicators of independence of said replicates, f) defining a hardware structure for said system architecture; g) mapping of said functional specification onto said hardware structure; and h) verifying automatically that said indicators of independence are preserved during mapping.

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.

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 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.

A method of producing a system architecture comprises identifying a set of undesirable events and ascribing to each of the undesirable events an indicator of their severity, associating the undesirable events with one or more actuators of the system architecture, developing a functional specification of an initial architecture proposed for implementation of the system architecture, refining fault tolerance requirements associated with the severity of each of the undesirable events and issuing refined fault tolerance requirements, producing replicates in the functional specification together with attached indicators of freeness of the replicates from other of the replicates, the indicators reflecting the refined fault tolerance requirements, defining a hardware structure for the system architecture, mapping the functional specification onto the hardware structure, and verifying automatically that the indicators of freeness are preserved during the mapping. The method can be stored on a computer readable storage medium or implemented by a design tool.

The invention discloses a control method of oil temperature of a compressor, which has the advantages of no waiting time for starting and energy saving, and a good oil temperature range can be guaranteed when the compressor is operated at low temperature. During starting or operation of the compressor, if the difference between delta T and a specified value is less than 0, a high-temperature refrigerant in a pipeline which is used for conveying the high-temperature refrigerant when an air conditioner is operated in a heating mode is led to the compressor, so as to heat the bottom of a housing of the compressor; in the process that the bottom of the housing of the compressor is heated by the high-temperature refrigerant, if the difference between the delta T and the specified value is greater than or equal to 0 and continues for at least two minutes, the high-temperature refrigerant which is led to the compressor is disconnected, and otherwise, the high-temperature refrigerant continues heating the bottom of the housing of the compressor; and the delta T is the difference between the lubricating oil temperature of the compressor and the steam temperature or the difference between the temperature of the bottom of the housing of the compressor and the saturation temperature corresponding to the discharge pressure, and the specified value is a minimum value which is required in a functional specification of the compressor and is at least equal to or greater than the difference between the temperature of the bottom of the housing of the compressor 6 and the saturation temperature corresponding to the discharge pressure.

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 discloses a method and a device for generating a test case document. The method comprises obtaining test step data of a system to be tested according to functional specifications of the system to be tested and generating the test case document of the system to be tested based on the test step data and a preset test case template. According to the method and the device for generating the test case document, the test step data are deduced out according to the functional specifications of the system to be tested and accordingly the test requirements of the system to be tested can be reflected by the obtained test case document comprehensively, accurately and reasonably; the format of the final test case document which is generated according to the test case template can be standardized and normalized; a test does not need to perform manual writing and accordingly the workload of the tester is greatly reduced.

Disclosed is an internal-combustion engine design support system for presenting a combination of functional specification types or the like of a design-target engine in connection with a target performance parameter value set out in a new vehicle. The system comprises a database (1) storing data about a design parameter value of a given design parameter, a functional specification type of a given functional specification and a performance parameter value of a given performance parameter, which are associated with each of a plurality of existing internal-combustion engines, a performance calculation section (21) for calculating a performance parameter value of the given performance parameter of at least one of an internal-combustion engine model set by changing a combination of a reference design parameter value and / or a reference functional specification type of a base internal-combustion engine selected from the existing internal-combustion engines, and a combination presentation section (22) for outputting at least one combination of a design parameter value and a functional specification type of the internal-combustion engine model having the performance parameter value calculated by the performance calculation section (21), according to a given presentation condition.

In the control section, an operation instruction not prescribing a functional specification, and a unit for processing the specific application-purpose operation instruction is provided within the processor core. The structure of this unit can be changed based on a flexible pipeline structure, and is separately designed for each application field. A register that prescribes a latency from when an instruction of the above unit is issued till when a result can be utilized is also provided in the processor core so as to prevent contention of an output port. Another register that prescribes a latency relating to a constraint of an interval of issuing an instruction of the above unit is also provided in the processor core so as to prevent contention of a resource with the preceding instructions.

A method for simulating behavior of first and second interrelated components within a system. The method comprises modelling behavior of said first and second components using first and second functional specifications; simulating behavior of said first and second components in predetermined circumstances by instantiating at least one first entity within a hierarchy of interrelated entities; and instantiating at least one further entity in response to the or each instantiated first entity. The or each further entity is selected by a simulation system on the basis of its hierarchical relationship with the at least one first entity.

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.

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.

The invention discloses a functional verification method of an automobile diagnosis instrument and aims to solve the technical problems of heavy working load, low working efficiency, high error rate and the like due to manual one-to-one comparison of service instructions during functional verification of a diagnosis instrument in the prior art. According to the method, the automobile diagnosis instrument is connected to an electronic control unit through a communication line; a functional verification unit is used for analyzing the service instructions which are sent by the automobile diagnosis instrument in real time, reading corresponding functional specification data of the electronic control unit, and analyzing corresponding service instructions which are defined by a functional specification according to the functional specification data; and the functional verification unit judges whether the service instructions which are sent by the automobile diagnosis instrument are in accordance with the service instructions which are defined in the functional specification by comparison and verifies a diagnosis function of the automobile diagnosis instrument.

A functional testing method of electronic products includes writing a document defining a functional specification of a product by a structured document according to a recursive model of a functional specification, so that this is comprehensible by human and non-human interpreters, thus automating the setting up of a functional testing apparatus of electronic products. The functional testing apparatus is adapted to interpret the document, is general-purpose and includes an interface with corresponding drivers, replaceable in relation to the type of product subject to functional test.

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.