50 results about "Model-based design" patented technology

The invention relates to the use of model checkers to generate efficient test sets for hardware and software systems. The method provides for extending existing tests to reach new coverage targets; searching *to* some or all of the uncovered targets in parallel; searching in parallel *from* some or all of the states reached in previous tests; and slicing the model relative to the current set of coverage targets. The invention provides efficient test case generation and test set formation. Deep regions of the state space can be reached within allotted time and memory. The approach has been applied to use of the model checkers of SRI's SAL system and to model-based designs developed in Stateflow. Stateflow models achieving complete state and transition coverage in a single test case are reported.

The present invention provides methods and systems for using a design element in a graphical model to represent and identify a precondition for use by a verification tool in verifying an executable form of the design represented by the graphical model. The precondition design element provides a specification of a verification constraint without affecting the behavior of the design. The constraint is to be applied by the verification tool in verifying the design. As such, the precondition design element of the present invention provides a mechanism and formalism in a model-based design approach that is used to constrain automatically generated tests or verification of the design represented by the graphical model.

A approach is described for allowing electronic design, verification, and optimization tools to implement very efficient approaches to allow the tools to directly address the effects of manufacturing processes, e.g., to identify and prevent problems caused by lithography processing. Fast models and pattern checking are employed to integrate lithography and manufacturing aware processes within EDA tools such as routers.

Methods and systems for automatically measuring productivity and quality of model-based designs are disclosed. The present invention uses model contents, time spent, and input activities to measure effort put in a task and quality of the task. Defects and other model characteristics are tracked and used as a criterion to determine quality of a model-based design. The present invention allows for predicting resources required for a future task and for providing guidelines to improve usability of an application.

Methods and systems are provided for managing a model-based design lifecycle having a plurality of stages. The system comprises an input interface for receiving input from the user of the system, a display device, and a processor coupled to the input interface and the display device. The processor is configured to display a user interface on the display device, wherein the user interface comprises a plurality of controls that each corresponds to a different process associated with a stage of the model-based design lifecycle. Certain ones of the controls are configured to require the user to perform the corresponding processes in a required order and certain other ones of the controls are arranged to encourage the user to perform the corresponding operation in a preferred order. The processor is also configured to retrieve a software module for each selected control to implement the corresponding process.

The present invention provides methods and systems for using a element in a graphical model to represent and identify a postcondition for use by a verification tool in verifying an executable form of the design represented by the graphical model. The postcondition element comprises desired result for verification without affecting the behavior of the design. The desired result is to be achieved or tested for in verifying the design. As such, the postcondition element of the present invention provides a mechanism and formalism in a model-based design approach that is used to direct automatically generated tests or verification of the design represented by the graphical model.

The invention discloses a direct current motor control teaching experiment system. The direct current motor control teaching experiment system includes an upper computer, a control processor and direct current motors; the upper computer automatically generates codes through MATLAB / Simulink model based design; the codes are downloaded to the control processor; the control processor transmits corresponding control signals to the direct current motors; the direct current motors are connected with detection sensors; the detection sensors return acquired detection signals to the control processor; the upper computer monitors the detection signals; the direct current motors include a first direct current motor and a second direct current motor which are connected with each other through a mechanical coupling transmission device; the mechanical coupling transmission device is connected with a baffle used for fixing the transmission shaft of the mechanical coupling transmission device; and the transmission shaft of the mechanical coupling transmission device is provided with a torque transducer connected with the control processor. The direct current motor control teaching experiment system of the invention has the advantages of simple operation and easiness in establishment and experiment verification. With the direct current motor control teaching experiment system adopted, a plurality of teaching experiment contents such as single-motor control and multi-motor control can be realized.

A method, apparatus and program product are provided for simulating a circuit. A plurality of elements of the circuit is represented by device models including pass / fail criteria. A circuit simulation program is executed on a hardware implemented processor where the circuit simulation program is configured to obtain simulation results from the device models in response to applied parameters. The circuit simulation program identifies a failure of one or more of the plurality of elements of the circuit based on the pass / fail criteria of the device models. The circuit simulation program is further configured to output the failures during simulation of the one or more of the plurality of elements that are identified in response to the applied parameters.

An analog design-rule-check tool analyzes a microdevice design, such as an integrated circuit design, to identify occurrences of geometric elements that share a specified relationship. When the tool identifies such an occurrence of these geometric elements, it will associate or “cluster” these geometric elements together into an identifiable unit. For specified “clusters” of geometric elements, the analog design-rule-check tool will then determine the value of a measurement or measurements required by a user. Once the analog design-rule-check tool has determined the necessary measurement values, it will use those values to evaluate the function describing a model.

A method for model-based design of safety-critical software is disclosed. The method includes receiving natural-language software requirements, developing a specification model by implementing either semantic modeling or graphical modeling, applying formal requirements analysis to the specification model, auto generating requirements based and robustness test cases from the specification model, developing a design model based on the specification model, applying test cases to the design model, auto-generating source code using the design model, verifying the source code using both test cases and static analysis technology, and compiling executable object code from the verified source code. If a result of the analysis of the software specification or design models is not satisfactory then adjusting the specification or design model to correct any inconsistency, and repeating applying the analysis and test cases. A system for implementing the model-based design and a non-transitory computer readable medium are disclosed.

The invention belongs to the field of learning analysis and behavior information perception, and provides a learner model-based design item assessment method. The method comprises the following stepsof: (1) learner model construction: analyzing and concluding attributes and related services of learner examples on the basis of the learner examples, and establishing an attribute set and related services of learners; (2) design item formulation: firstly determining a design item related to the learner model according to requirements, carrying out attribute extraction and classification accordingto interaction objects of the learners and services of the interaction objects so as to form indexes for assessing the design item, and finally establishing a hierarchical structure according to extracted data attributes so as to form a general framework of the design item; and (3) assessment method formulation: designing a learner model-based design item assessment method by utilizing an analytical hierarchy process. According to the method, a method for establishing big data basic models for learners is provided, and a feasible assessment scheme is formulated, so that favorable applicationbasis is provided for the analysis and mining of related services of the learners under big data environment.

Disclosed is a method, system, and computer program product for implementing model-based layout, placement, and routing. Models are used to guide the placement and routing of polygons on the IC layout. In effect, the parameters that are used for placement and routing are guided by the model data so that the layout can be formed with a high degree of manufacturability from the outset.

A approach is described for allowing electronic design, verification, and optimization tools to implement very efficient approaches to allow the tools to directly address the effects of manufacturing processes, e.g., to identify and prevent problems caused by lithography processing. Fast models and pattern checking are employed to integrate lithography and manufacturing aware processes within EDA tools such as routers.

The invention provides an aircraft nose wheel steering control box design method based on a graphical model. The model-based design method adopts a model to describe a system. The method performs simulation and analysis of system theories and functions before product manufacturing through three steps of demand analysis, function analysis and design integration, and thus system features are fully and precisely mastered, thereby reducing development iteration frequency, reducing cost, shortening period, improving design quality and improving development frequency.

Disclosed is a method, system, and computer program product for implementing model-based layout, placement, and routing. Models are used to guide the placement and routing of polygons on the IC layout. In effect, the parameters that are used for placement and routing are guided by the model data so that the layout can be formed with a high degree of manufacturability from the outset.

The present invention provides a method and computer program product for designing an on-wafer target for use by a model-based design tool such as OPC or OPC verification. The on-wafer target is modified by modifying a critical dimension so as to improve or optimize an electrical characteristic, while also ensuring that one or more yield constraints are satisfied. The use of an electrically optimized target can result in cost-effective mask designs that better meet the designers' intent.

The invention provides a failure recognition and detection method for an intelligent drive axle system and belongs to the failure recognition and detection methods. Signals are collected by sensors which are mounted on the corresponding positions on the drive axle; the collected signals are transmitted to an embedded system through a filtering process and A / D (analog to digital conversion), and a hardware load of the embedded system is a single chip microcomputer system with strong computing capability; then a BP (back propagation) network algorithm is loaded in the embedded system, a programming of the BP network algorithm is automatically generated according to a model-based design process, and the embedded system can feed back the executive effect of an actual code to a model-based design module, thus the code generation is timely improved; through analysis of the embedded system, failure type is acquired, state of the drive axle is timely monitored through an alarm and a liquid crystal display device, and once the failure occurs, the driver is reminded to do necessary operations, and the corresponding failures are alarmed before the failure occurs to the drive axle.

In developing custom programming, particularly for clients or tenants of a cloud computing environment, following pointers from a candidate, existing object of interest vertically to obtain inherited attributes and horizontally to obtain encapsulated properties and presenting such attributes and properties to a software developer for editing and inclusion in custom object-oriented programming facilitates and expedites accommodation of requirements of model based design for potential or existing tenants or clients of a cloud computing environment.

The invention relates to a model-based design device and method for a double closed-loop three-level inverter system, in particular to a level inverter system device and a design method of the level inverter system device. The device and method aim to solve the problems that existing three-level inverter systems are simple in control structure and low in conversion efficiency; according to development methods of the existing three-level inverter systems, the development period is long, time and labor are wasted during debugging and verifying, errors which cannot be modified can even occur possibly in serious cases, and consequently system development fails. A control system model is established by taking MATLAB software as a design platform, the system model comprises a frequency conversion model and an interrupt sub-model, the frequency conversion model comprises an A / D conversion frequency collection model and a frequency modulation model, and the interrupt sub-model comprises an A / D conversion voltage collection model, a voltage regulation model, a midpoint potential control model and a duty ratio calculation model. According to the model-based design device and method for the double closed-loop three-level inverter system, the development period is shortened, development cost is lowered, work reliability is improved, and constant modification and verification of the models are supported, so that system optimization and debugging are facilitated.

The invention belongs to the technical field of underwater imaging, and discloses a multi-mode fusion underwater image enhancement method, system and application, and the multi-mode fusion underwater image enhancement method comprises the steps: inputting an image, and carrying out white balance, histogram equalization, edge enhancement and denoising processing; splitting the image and the original image according to color channels, and inputting the image into a neural network to deduce a feature image and a corresponding weight; and carrying out weighted fusion to obtain a processing result. In order to solve the problem that a neural network part is complex in operation, a network operation structure is simplified by adopting the thought of packet convolution, so that the time complexity is reduced, and the operation time is shortened by 2.7 times. Aiming at inconvenience in algorithm hardening of a traditional FPGA development method, hardware implementation of a design architecture is carried out by adopting a model-based design idea, so that software design and hardware design are unified, and the development process is greatly simplified.

The invention discloses a vehicle controller based on model design. The vehicle controller is composed of vehicle controller hardware, a vehicle controller driving software model base and vehicle controller application software, wherein the vehicle controller hardware comprises a system power supply and managing module, a central processing unit, a storage module, an input signal processing module, an output signal processing module, a communication module, a fault detection protection module and a connector. The vehicle controller can meet vehicle control requirements of different vehicle types and application scenes, can support floating point arithmetic central processing units and provides basic conditions for design based on models; a driving software model base developed based on thevehicle controller achieves quick instantiation test and verification of the vehicle controller, and a developing efficiency is greatly improved.

A system and a method for determining the parameters of a controller for a controlled system, wherein a simulation model for the controlled system is identified based on detected input and output signals of the controlled system, where parameters of a master controller and a sequence controller used in a pilot control process for the controlled system are automatically defined based on model-based design methods for a controller designed as a model sequence controller, where the behaviour of the closed-loop system can be further improved via a subsequent optimization method, such that the controller can be advantageously designed without any particular control engineering expertise, and thus the frequency of use for model sequence controllers, with their many advantages, can be significantly increased in practical applications.

A model-based approach for transforming data. A modeling framework that includes a plurality of rules for performing transformations of data is developed. A data unit is configured. The data unit is assigned to a job that includes one or more rules of the plurality of rules. The job transforms the data unit from a data format of a source system into a data format of a destination system. Usage statistics for at least one rule of the job are monitored. An aggregate rule is determined based on a first atomic rule and a second atomic rule. The first atomic rule and the second atomic rule are identified by at least one, or in part by a common pattern. A first rule of the job is identified based on the usage statistics of a plurality of data units. The first rule is removed from memory.

A approach is described for allowing electronic design, verification, and optimization tools to implement very efficient approaches to allow the tools to directly address the effects of manufacturing processes, e.g., to identify and prevent problems caused by lithography processing. Fast models and pattern checking are employed to integrate lithography and manufacturing aware processes within EDA tools such as routers.

The invention provides an automobile electronic control unit stability evaluation method and device. The method comprises the following steps: inputting the voltage type and the voltage value of the automotive power supply of the automotive electronic control unit into an automotive electronic control unit program to obtain the voltage state output by the automotive electronic control unit program; wherein the automobile electronic control unit program is obtained on the basis of SIMULINK, and the voltage state comprises voltage undervoltage, voltage normality and voltage overvoltage; and if the voltage state is under-voltage or over-voltage, judging that the automobile electronic control unit is unstable. The embodiment of the invention provides a method and device. Obtaining an automobile electronic control unit program on the basis of SIMULINK; whether the working state of the automobile electronic control unit is stable or not is judged by running an automobile electronic control unit program, a voltage diagnosis and analysis model of a power supply is designed through an SIMULINK model-based design method to generate a code to be compiled into a program, and the method is suitable for software control of all automobile electronic control units.

The present invention provides a method and system for providing customization in choosing what types of model responses are recorded and / or compared. An archive tool is provided so that a user can specify a rule or condition that would trigger the archive of a response. The archive tool can further provide the user with flexibility of how model attributes are stored with the archived response. The stored model attributes can be used to identify a specific archived response. The present invention further provides a browsing mechanism for browsing archives and selecting archives for comparison. Any number of archives may be selected and compared. The selected archives can have their responses plotted individually, together, or passed through analysis functions.