Including Simulation Patents (Class 717/135)
-
Patent number: 8661399Abstract: Aspects of the invention provide for creating a built-in-self-test (BIST) organizational file for an integrated circuit (IC) chip. In one embodiment, a method includes: receiving a design file including a hierarchy of memory modules, each module including a plurality of memory wrappers; scanning each memory wrapper in each hierarchical level of memory modules for a BIST type; creating, based on the hierarchical level and the BIST type, an ordered list of memory wrappers; adding, based on the BIST type, a BIST engine for each memory wrapper listed in the ordered list; and adding a plurality of references statements to the ordered list to create the BIST organizational file.Type: GrantFiled: August 6, 2012Date of Patent: February 25, 2014Assignee: International Business Machines CorporationInventors: Craig M. Monroe, Michael R. Ouellette, Douglas E. Sprague
-
Patent number: 8656074Abstract: A data transmission system is provided. The data transmission system includes a first control circuit coupled to a first device, a translation circuit coupled to the first control circuit and a second control circuit coupled to the translation circuit. The first control circuit decodes a first format data packet sent by the first device. The translation circuit receives the decoded first format data packet and translates the decoded first format data packet into a second format data packet. The second control circuit transmits the second format data packet to a host. A data transmission rate of the first device is slower than that of a second device, and the data transmission system is backward compatible to the first device.Type: GrantFiled: August 24, 2010Date of Patent: February 18, 2014Assignee: Via Technologies, Inc.Inventors: Jiin Lai, Buheng Xu, Jinkuan Tang
-
Publication number: 20140047417Abstract: A system is operable to provide one or more test environments for executing and analysing test routine. The system includes one or more user interfaces coupled via a communication network to a server arrangement for hosting a plurality of emulations of wireless communication devices or terminals. The server arrangement is operable to receive one or more software applications for execution upon the wireless communication devices or terminals, and one or more test routines for use in testing the wireless communication devices or terminals. Moreover, the server arrangement is operable to execute one or more the software applications and apply the one or more test routines thereto. Furthermore, the server arrangement is operable to monitor operation of the wireless communication devices or terminals and to provide corresponding test results to the one or more user interfaces.Type: ApplicationFiled: August 13, 2012Publication date: February 13, 2014Applicant: BITBAR TECHNOLOGIES OYInventors: Jouko Kaasila, Petri Pohjanen, Henri Kivelä, Sakari Rautiainen
-
Patent number: 8650552Abstract: An operating system emulator determines energy consumption by hardware components being simulated during testing of mobile applications. The operating system emulator can be configured to track and determine the energy consumption of hardware components by using predefined energy utilization specifications. As the operating system emulator executes an application, the operating system emulator can track the utilization of the hardware components by the application being tested. To determine energy consumption, the operating system emulator can utilize energy consumption specifications of the hardware components and the utilization of the hardware components by the application.Type: GrantFiled: June 29, 2012Date of Patent: February 11, 2014Assignee: Google Inc.Inventor: Tawei Liao
-
Patent number: 8645918Abstract: An adjustment device for adjusting at least one control device with at least one control device microcontroller and with at least one control device debug interface, where the adjustment device comprises at least one programmable unit, at least one data transmission interface for connecting the adjustment device to an operating unit, and at least one adjustment device debug interface for connecting the adjustment device to the control device debug interface of the control device. The adjustment device according to the invention accomplishes the objective of reducing the load on the control device due to control device application by at least one address list and at least one data list, which are provided in a memory of the adjustment device.Type: GrantFiled: March 15, 2005Date of Patent: February 4, 2014Assignee: dSPACE digital signal processing and control engineering GmbHInventors: Robert Leinfellner, Ortwin Ludger Franzen, Hans-Guenter Limberg, Marc Dressler, Paul Gruber
-
Patent number: 8645927Abstract: A method of performing a numerical simulation includes programming a programmable device using function blocks adapted to perform a respective part of the numerical simulation. Input data are received, and a first portion of the numerical simulation is performed on a standard computer processor. A data path is provided between the processor and the programmable device. A second portion of the numerical simulation is performed on the programmable device, and data from at least one of the first and second portions are exchanged via the data path.Type: GrantFiled: November 24, 2003Date of Patent: February 4, 2014Assignee: The Boeing CompanyInventor: Martin G. Rammel
-
Patent number: 8645914Abstract: Methods and systems for providing rich semantic feedback to programmers by executing programs, or parts of programs, in data contexts relevant to the programmer are provided. According to one embodiment, a method is provided for communicating semantic information to a programmer. A conversational programming agent of a programming environment receives (i) information regarding multiple programming building blocks and (ii) information indicative of a current situation relating to the programming building blocks. The conversational programming agent evaluates the programming building blocks based on the current situation. Then, the conversational programming agent provides semantic feedback regarding the programming building blocks to the programmer based on results of the evaluation.Type: GrantFiled: January 24, 2011Date of Patent: February 4, 2014Assignee: AgentSheets, Inc.Inventor: Alexander Repenning
-
Patent number: 8639983Abstract: An architecture and techniques for implementing a unified and extensible meta-testing framework within a distributed environment. This framework allows entities within the distributed environment to run tests written in different testing frameworks in a unified way. In addition, this disclosure describes techniques for allowing an entity within the distributed environment to test itself, both from its own perspective as well as from the perspective of other entities within the distributed environment.Type: GrantFiled: September 27, 2010Date of Patent: January 28, 2014Assignee: Amazon Technologies, Inc.Inventors: Nirav P Desai, Stanislav Fritz, Kyle Andrew Farrell, Michael C. Moore
-
Patent number: 8640110Abstract: Systems, methods, computer program products, and the like for performing business object service simulation are disclosed. A runtime model of a business object can be generated. The runtime model can include a plurality of structural and functional entities. A simulation runtime model of the business object can be instantiated. The simulation runtime model can include a plurality of pseudo-structural and pseudo-functional entities. During the simulation runtime model, a predetermined business object service of the business object can be selected and at least one parameter of the predetermined business object service can be determined. Functional entities of the runtime model can be replaced with pseudo-functional entities of the simulation runtime model. The simulation runtime model can be executed using pseudo-functional entities.Type: GrantFiled: November 29, 2010Date of Patent: January 28, 2014Assignee: SAP AGInventors: Tilmann David Kopp, Renzo Colle, Ilijana Christov, Daniel Zoch, Ralf Schroth, Thomas Hammer
-
Patent number: 8635582Abstract: A background process installs a system hook for message interception of integrated circuit chip layout display software. A call message is intercepted through the system hook, and current layout coordinates are read from the integrated circuit chip layout display software. A representation of the current layout coordinates is entered into tool control software configured to control a physical tool for analyzing integrated circuits, and the physical tool is controlled with the tool control software. In an “inverse” approach, a background process is used to install at least one system hook for message interception of tool control software configured to control a physical tool for analyzing integrated circuits, and a call message is intercepted through the system hook. Current coordinates are read from the tool control software. A representation of the current coordinates is entered into integrated circuit chip layout display software, and at least a portion of an integrated circuit layout is displayed.Type: GrantFiled: September 12, 2012Date of Patent: January 21, 2014Assignee: International Business Machines CorporationInventors: Franco Stellari, Peilin Song
-
Patent number: 8627296Abstract: Computer code for a mock object is automatically generated and used in testing computer program code. Interactions with a method of an object that is described by the computer program code are captured. From the captured interactions, mock code that creates a mock object is automatically generated. The mock object mimics the captured interactions. Subsequently, test code, which has at least some of the computer program code and mock code, is executed to enable testing of the computer program code.Type: GrantFiled: September 15, 2010Date of Patent: January 7, 2014Assignee: Google Inc.Inventor: Antoine Picard
-
Publication number: 20130339934Abstract: A disclosed example method to update a virtualized service involves comparing at least one node of a first service schema to at least one node of a second service schema based on at least one criterion, and finding at least one change in the at least one node of the second service schema relative to the at least one node of the first service schema based on the at least one criterion. The example method also involves updating a first node of a first virtualized service with a processor and without user intervention based on the at least one change while maintaining an association between the first node of the first virtualized service and data previously associated with the first node.Type: ApplicationFiled: June 13, 2012Publication date: December 19, 2013Inventors: Josef Troch, Martin Pirchala, Martin Podval
-
Patent number: 8612935Abstract: This invention enables a target variable name to be confirmed without inputting all the character string even when a method of giving a name such as allocating a number to the end of the name is performed from the necessity to allocate a variable name having the same meaning to a plurality of different addresses. If narrowed down variable name exists in plurals and one or two or more continuous next character strings match each other among the variable names, the series of character strings without any choice are automatically adopted and confirmed as the character string of the target variable name without waiting for the input of an operator.Type: GrantFiled: February 26, 2010Date of Patent: December 17, 2013Assignee: Omron CorporationInventor: Yutaka Fujii
-
Patent number: 8612942Abstract: First tag addresses and data are stored in association with first index addresses in a memory cell unit provided in a cache memory. The first tag addresses and the first index addresses are configured based on address information respectively. Designation address information is provided to designate an address to read one of the stored data. The designation address information is converted to a second index address and second tag address by an address converter, in order to read the one of the stored data according to the designation address information. The memory cell unit is accessed according to the obtained second index address. When one of the first tag addresses matches the second tag address, the one of the data corresponding to the one of the first tag addresses is read. The designation address information and the one of the data are displayed in a cache memory display unit.Type: GrantFiled: June 12, 2009Date of Patent: December 17, 2013Assignee: Kabushiki Kaisha ToshibaInventors: Yuichi Oda, Takashi Miura
-
Patent number: 8606538Abstract: 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.Type: GrantFiled: July 11, 2008Date of Patent: December 10, 2013Assignee: EurocopterInventors: Gilles Cahon, Christian Gaurel
-
Patent number: 8607205Abstract: A computer-implemented method, system, and computer-readable medium for emulating web service operations are presented. In a preferred embodiment, the computer-implemented method includes the steps of: collecting Web Services Description Language (WSDL) based descriptors of selected web service operations; receiving range and diversity descriptors for the selected web service operations; and inputting the WSDL based descriptors, range and diversity descriptors into an Automatic Web Service Emulator Generator (AWSEG) to generate a web service emulation of the selected web service operations.Type: GrantFiled: March 1, 2007Date of Patent: December 10, 2013Assignee: International Business Machines CorporationInventor: Lakshminarasimha Moudgal
-
Patent number: 8606558Abstract: A system for designing a circuit, which includes a module, uses a computer. A user may program or adapt the computer to perform computer-aided design functions. The computer obtains a description of the module from the user. The computer parses the description of the module to identify a port of the module, and to obtain information about the port. The computer presents to the user the information that it has obtained about the port.Type: GrantFiled: June 29, 2012Date of Patent: December 10, 2013Assignee: Altera CorporationInventors: James M. Brown, Tim Allen, Mike Fairman, Jeffrey O. Pritchard
-
Publication number: 20130326488Abstract: Systems, methods, and computer-readable and executable instructions are provided for providing a simulated network. Providing a simulated network can include collecting a number of network parameters for a plurality of locations and determining an application frequency of an application for the plurality of locations. Furthermore, providing a simulated network can include providing a simulated network with the number of network parameters to a number of testers of the application, wherein the number of network parameters are provided proportionally to the application frequency.Type: ApplicationFiled: May 31, 2012Publication date: December 5, 2013Inventor: Lior Reuven
-
Patent number: 8601436Abstract: A testing tool for verifying a reliability of robot software components is provided, and more particularly, a simulation-based interface testing automation system and method that may automatically perform a test for functions and performance of an interface with respect to robot software components are provided. Thus, it is possible to efficiently perform a test for an interface of robot software components. In particular, it is possible to automatically generate test cases required for testing, to perform a test in various languages, and to perform a test suitable for a robot.Type: GrantFiled: August 10, 2010Date of Patent: December 3, 2013Assignee: KNU-Industry Cooperation FoundationInventors: Hong Seong Park, Jeong Seok Kang, Hyeong Seob Choi, Sang Woo Meng, Si Wan Kim
-
Publication number: 20130311977Abstract: An electronic arrangement for analyzing a model-based testing scenario relating to a system under test (SUT), includes a model handler entity for obtaining and managing model data indicative of a model intended to exhibit the behavior of the SUT, a test plan handler entity for obtaining and managing test plan data indicative of a number of test cases relating to the model and expected outcome thereof, a test execution log handler entity for obtaining and managing test execution log data indicative of the execution of the test cases by the test executor and/or SUT, a communications log handler entity for obtaining and managing communications log data indicative of message traffic between the test executor entity and SUT, and an analyzer entity for detecting a number of failures and their causes in the model-based testing scenario on the basis of model, test plan, test execution log and communications log data.Type: ApplicationFiled: February 2, 2012Publication date: November 21, 2013Applicant: Teknologian turtkimuskeskus VTTInventors: Mikko Nieminen, Tomi Raty
-
Patent number: 8589892Abstract: A Design-Under-Test (DUT) may be designed to perform speculative execution of a branch path prior to determination whether the branch path is to be performed. Verification of the operation of DUT in respect to the speculative execution is disclosed. A template may be used to generate a plurality of tests. In addition to standard randomness of the tests to various parameters in accordance with the template, the tests may also differ in their respective speculative execution paths. The tests are partitioned by a generator into portions to be placed in speculative paths and portions to be placed in non-speculative paths. The generator may provide for a variance in portions. The generator may provide for nested speculative paths.Type: GrantFiled: November 21, 2010Date of Patent: November 19, 2013Assignee: International Business Machines CorporationInventors: Laurent Fournier, Anatoly Albert Koyfman, Michal Rimon
-
Patent number: 8589459Abstract: The present invention provides a security and privacy enhanced method for geolocation. The system works by creating a space called the N?4Tk space on top of the Internet by locating N geographically dispersed servers in the Internet and computing as the coordinate for any computing device on the Internet, its distance to the N servers. The distance is computed as the 4Tk distance which is the time taken by a message of size k to travel between two points at a particular time of day. The system can also be used iteratively where each iteration uses a different set of Slaves in order to close in on the user with finer granularity. Interesting benefits of the system include the difficulty for an attacker to misrepresent the location, and also while the system can hone in on a locale for the user it does not violate the user's privacy.Type: GrantFiled: November 5, 2012Date of Patent: November 19, 2013Inventor: Ravi Ganesan
-
Patent number: 8584064Abstract: A non-transitory, recording medium stores therein a program that causes a computer to execute extracting from hardware description of a circuit, a conditional branch statement representing a conditional branch process; determining whether the extracted conditional branch statement includes at least three condition expressions, where a given combination thereof has exclusive satisfying conditions; extracting from the conditional branch statement determined at the determining, a combination of condition expressions for which satisfying conditions are exclusive; extracting each condition expression from the extracted combination and creating, for each extracted condition expression and according to an order of appearance in the hardware description, a conditional branch statement in which the extracted condition expression has a hierarchical relationship with a condition expression not included in the combination; generating an assertion for checking whether a specified condition is satisfied in each created conType: GrantFiled: November 18, 2010Date of Patent: November 12, 2013Assignee: Fujitsu LimitedInventor: Akio Matsuda
-
Patent number: 8584097Abstract: A method finds an error in a computer program. A sequence of machine instructions performed by a processor is recorded as trace data. Further, at least one event is selected from a plurality of events. In addition, an operating system instruction address is determined for the at least one event. Further, at least a portion of the trace data is searched for the operating system instruction address. The execution time for an operating system instruction stored in the operating system instruction address is determined. The execution time is searched through in the database to find task related data. The task related data is displayed.Type: GrantFiled: February 13, 2012Date of Patent: November 12, 2013Assignee: Green Hills Software, Inc.Inventors: Michael Lindahl, Andre Yew, Mallory Morgan Green, II, Michael Johnson, Allan Craig Franklin, Daniel O'Dowd, Neil Puthuff
-
Patent number: 8584094Abstract: Tools and techniques for dynamically computing reputation scores for objects are described herein. The tools may provide machine-readable storage media containing machine-readable instructions for receiving requests to dynamically compute reputation scores for the objects, for instantiating protected virtual environments in which to execute the objects, and for computing the reputation score based on how the object behaves when executing within the virtual environment.Type: GrantFiled: June 29, 2007Date of Patent: November 12, 2013Assignee: Microsoft CorporationInventors: Rajesh K Dadhia, Scott A. Field
-
Patent number: 8578341Abstract: A method is implemented in a computer infrastructure having computer executable code tangibly embodied on a computer readable storage medium having programming instructions. The programming instructions are operable to receive a maturity level for an organization and select at least one defect analysis starter/defect reduction method (DAS/DRM) defect profile based on the maturity level. Additionally, the programming instructions are operable to determine a projection analysis for one or more stages of the life cycle of a software code project of the organization based on the at least one DAS/DRM defect profile.Type: GrantFiled: September 11, 2009Date of Patent: November 5, 2013Assignee: International Business Machines CorporationInventors: Kathryn A. Bassin, Steven Kagan, Susan E. Skrabanek
-
Patent number: 8578348Abstract: A cost oriented profiler (COP) mechanism that analyzes the behavior of input application source code with regard to the software total cost of ownership (TCO). The cost analysis tool provided by the mechanism analyzes the behavior of the source code and generates a cost report with indications as to the portions of the source code that have the most impact on the TCO of the application. Based on simulations and by comparing multiple versions of the source code, the COP mechanism determines if a particular change to the source code will increase or decrease software TCO. Behavior analysis, including static and dynamic analysis of the source code, is used to generate one or more code recommendations to reduce the TCO.Type: GrantFiled: September 1, 2011Date of Patent: November 5, 2013Assignee: Code Value Ltd.Inventors: Alon Mordechai Fliess, Erez Fliess, Joshua Reuben, Aaron Etchin
-
Patent number: 8578343Abstract: A method for overflow detection using partial evaluations. The method includes obtaining a section of code from a source code file stored on a storage device, analyzing the section of code to identify a buffer with an index, determining a plurality of statements that are statically-computable and dependent on the index of the buffer, and generating a code segment including the plurality of statements. The method further includes replacing an access statement of the plurality of statements with a conditional statement returning true when bounds of the buffer are exceeded, where the access statement uses the index to access the buffer, adding an unconditional statement returning false to the code segment, and executing the code segment on a computer processor to obtain a determination of whether the bounds of the buffer are exceeded.Type: GrantFiled: January 15, 2010Date of Patent: November 5, 2013Assignee: Oracle America, Inc.Inventors: Bernhard F. Scholz, Cristina N. Cifuentes, Nathan Robert Albert Keynes
-
Publication number: 20130290939Abstract: Dynamic data associated with multiple execution instances of an application process is stored in a data structure. The dynamic data includes correlation data for identifying a communication between at least one client computer and a server computer. The dynamic data in the data structure is retrievable to produce a script to simulate behavior relating to execution of the application process.Type: ApplicationFiled: April 30, 2012Publication date: October 31, 2013Inventors: OFER ELIASSAF, Meidan Zemer, Yair Horovitz
-
Patent number: 8572583Abstract: There are provided a method and system for testing software for an industrial machine with continuous test values reflecting actual environmental factors, using a simulator before the software for the industrial machine is embedded into an actual industrial machine. A method for testing software for an industrial machine, the method comprising the steps of: coding a program for a diagram through which the industrial machine is driven; compiling the program into an instruction with which the industrial machine is driven; downloading the compiled program onto a simulator for implementing a programming interface provided by the industrial machine; executing the compiled program in the simulator: generating a first data for testing the compiled program: transmitting the first test data to the simulator having the downloaded program from a testing tool; and outputting a result data obtained after executing the program having the transmitted first test data and then transmitting the result data to the testing tool.Type: GrantFiled: November 4, 2009Date of Patent: October 29, 2013Assignees: Suresoft Technologies, Inc., LS Industrial Systems Co., Ltd.Inventors: Hyunseop Bae, Kyung Hwa Choi, Seokjoo Choi, Seong Won Park, Seung Joon Lee
-
Patent number: 8572578Abstract: The present invention extends to methods, systems, and computer program products for script debugging. Embodiments of the invention serve as a plug-in to an existing debugger. The plug-in leverages the debugger's user-interface and engine. The plug-in can be a controller that subscribes to common notifications and is guided by a state machine, which stitches together a script control channel with an existing debug channel.Type: GrantFiled: June 15, 2010Date of Patent: October 29, 2013Assignee: Microsoft CorporationInventor: Jonathon Michael Stall
-
Patent number: 8566804Abstract: An embodiment can include one or more computer readable media storing executable instructions for performing execution scheduling for code generated from an executable graphical model. The media can store instructions for accessing a first code portion having a first priority, and a second code portion having a second priority, where the second priority has a relationship with the first priority. The media can store instructions for accessing target environment characteristics that indicate a performance of the target environment, and for performing execution scheduling for the first code portion and the second code portion, the execution scheduling taking into account the target environment characteristics, the execution scheduling using an execution schedule.Type: GrantFiled: August 13, 2009Date of Patent: October 22, 2013Assignee: The MathWorks, Inc.Inventors: James Carrick, Biao Yu
-
Patent number: 8566803Abstract: Embodiments of the invention may be used to generate a benchmark profile for a computing job configured to execute on distributed systems. The benchmark profile may be used to predict the performance of components of a computing job for a variety of different distributed computing system architectures. A profiling tool evaluates the computing job to identify the particular performance characteristics of the application and match this with benchmarks that are most representative of the identified performance characteristics and store them in the benchmark profile. The identified benchmarks may then be run on different configurations of a distributed computing system in order to predict the performance of the application for a variety of scenarios.Type: GrantFiled: September 20, 2007Date of Patent: October 22, 2013Assignee: International Business Machines CorporationInventors: Michael John Branson, Zachary Adam Garbow, David Roy Limpert, Candace Trielle Pederson
-
Patent number: 8566805Abstract: A method and system of calibrating estimates for software projects is provided. More particularly, a method and system is provided to continuously provide calibration estimation and improvement options across a software integration life cycle. The method is implemented in a computer infrastructure having computer executable code tangibly embodied on a computer readable storage medium having programming instructions operable to: compare actual data associated with a phase of a project to expected results used to develop a strategic development plan for the project; and calibrate efforts in the strategic development plan for future activities of the project based on the actual data.Type: GrantFiled: September 11, 2009Date of Patent: October 22, 2013Assignee: International Business Machines CorporationInventors: Kathryn A. Bassin, Steven Kagan, Shao C. Li, Zhong J. Li, He H. Liu, Susan E. Skrabanek, Hua F. Tan, Jun Zhu
-
Patent number: 8561028Abstract: A computer can be configured to execute event-driven applications by programming the computer with software that provides an event-driven execution environment including an event dispatcher. The event dispatcher can be used to relay events by receiving and dispatching the events from software components of an event-driven application during execution thereof. While the event-driven application is executing, the event dispatcher can be monitored in order to generate and store a log or other record(s) identifying one or more events that occur during execution. The log can be stored in a computer-readable medium accessible by the computing apparatus and used to provide information about at least some of the one or more events. As an example, the log data may be used to generate a timeline showing the relative order of events and the components that generated and listened to the events.Type: GrantFiled: May 12, 2009Date of Patent: October 15, 2013Assignee: Adobe Systems IncorporatedInventor: David Zuckerman
-
Patent number: 8549491Abstract: Provided is to an apparatus for application testing of an embedded system which can cross-develop an application program installed in the embedded system regardless of the type of a target system. A virtual environment for testing the application program adopted in the target system is constructed on the basis of information inputted through a user interface and the application program is tested by configuring a virtual target system in the constructed virtual environment. According to the present invention, the application program adopted in the target system can be developed and tested without constructing a cross-development environment for each target system in an environment in which various kinds of embedded systems are developed.Type: GrantFiled: November 18, 2009Date of Patent: October 1, 2013Assignee: Electronics and Telecommunications Research InstituteInventors: Ingeol Chun, Taeho Kim, Chaedeok Lim, Seungmin Park
-
Patent number: 8549478Abstract: Systems, methods, and other embodiments associated with graphical user interface input element identification are described. One example system identifies a graphical user interface (GUI) element through which an input to an application was received based on comparing images generated from data provided by the application. Data that describes the GUI element may then be provided.Type: GrantFiled: December 2, 2009Date of Patent: October 1, 2013Assignee: Hewlett-Packard Development Company, L.P.Inventors: Nitsan Amichai, Omer Barkol, Doron Shaked, Mani Fischer, Ayelet Pnueli, Sagi Schein, Michael Pogrebisky, Alexei Ledenev, Ilan Shufer, Vitali Greenberg
-
Publication number: 20130254750Abstract: A method of debugging software for an Integrated Development Environment connected to a target hardware system and to a simulator configured to simulate the target hardware system. The method comprises receiving, by a debugging tool of the Integrated Development Environment, simulator debugging data from the simulator, receiving, by the debugging tool, hardware debugging data from the target hardware system, comparing, by the debugging tool, the hardware debugging data with the simulator debugging data; and indicating, by the debugging tool, the result of comparing the hardware debugging data with the simulator debugging data.Type: ApplicationFiled: November 25, 2010Publication date: September 26, 2013Applicant: Freescale Semiconductor, Inc.Inventor: Cristian Tepus
-
Patent number: 8543990Abstract: Methods and apparatus for testing software with real-time source data from a projectile according to various aspects of the present invention operate in conjunction with a real-time data source, a signal processor, a recordable medium, and a testing platform. The signal processor receives real-time data from a real-time data source during a test and saves it to a storage medium before providing the real-time data to the testing platform for permanent storage. During a subsequent test, the testing platform may upload the saved real-time data to the signal processor foregoing the need to generate new real-time data from the real-time data source.Type: GrantFiled: May 14, 2008Date of Patent: September 24, 2013Assignee: Raytheon CompanyInventors: Patric M. McGuire, Steven T. Siddens, David A. Lance
-
Patent number: 8543983Abstract: In one embodiment, access use information associated with a user-interactive software application, the use information identifies one or more transitions between specific ones of one or more displayable views of the software application and one or more corresponding user actions that cause the transitions; and construct a hierarchical message sequence chart (hMSC) comprising one or more basic message sequence chars (bMSCs) and one or more edges linking specific ones of the bMSCs to represent the use information, comprising: represent the views and the user actions with respect to the views identified in the use information with the bMSCs; represent the transitions and the user actions that cause the transitions identified in the use information with the edges; and for each one of the transitions identified in the use information, link the bMSCs representing the views associated with the transition with the edge representing the transition.Type: GrantFiled: June 15, 2010Date of Patent: September 24, 2013Assignee: Fujitsu LimitedInventor: Praveen K. Murthy
-
Patent number: 8539585Abstract: To achieve end-to-end security, traditional machine-to-machine security measures are insufficient if the integrity of the graphical user interface (GUI) is compromised. GUI logic flaws are a category of software vulnerabilities that result from logic flaws in GUI implementation. The invention described here is a technology for uncovering these flaws using a systematic reasoning approach. Major steps in the technology include: (1) mapping a visual invariant to a program invariant; (2) formally modeling the program logic, the user actions and the execution context, and systematically exploring the possibilities of violations of the program invariant; (3) finding real spoofing attacks based on the exploration.Type: GrantFiled: June 25, 2007Date of Patent: September 17, 2013Assignee: Microsoft CorporationInventors: Shuo Chen, Ralf Sasse, Jiahe Helen Wang, Yi-Min Wang
-
Systems and methods for model checking the precision of programs employing floating-point operations
Patent number: 8539451Abstract: Methods and systems for verifying the precision of a program that utilizes floating point operations are disclosed. Interval and affine arithmetic can be employed to build a model of the program including floating point operations and variables that are expressed as reals and integers, thereby permitting accurate determination of precision loss using a model checker. Abstract interpretation can be also employed to simplify the model. In addition, counterexample-guided abstraction refinement can be used to refine the values of parametric error constants introduced in the model.Type: GrantFiled: April 16, 2010Date of Patent: September 17, 2013Assignee: NEC Laboratories America, Inc.Inventors: Franjo Ivancic, Malay K. Ganai, Sriram Sankaranarayanan, Aarti Gupta -
Patent number: 8533658Abstract: An exemplary system and method are disclosed for interactively teaching software development processes to multiple users. The exemplary system may include a discrete event simulator for teaching software development that allows a software development team to simulate an entire software development project much faster than real time. The system teaches an entire software development team a set of formal or informal processes using a project simulation. In the course of using the system, each member of the team learns the processes, and together, the entire team learns how to use the processes as a team. The system enables each team member to learn software development processes as well as how those processes translate into team interactions in practice. The system also enables the team to learn how to apply the processes in difficult situations.Type: GrantFiled: May 8, 2009Date of Patent: September 10, 2013Assignee: Northrop Grumman Systems CorporationInventors: Terry A. Patten, Dennis V. Pereira
-
Patent number: 8533698Abstract: The present invention extends to methods, systems, and computer program products for optimizing execution of kernels. Embodiments of the invention include an optimization framework for optimizing runtime execution of kernels. During compilation, information about the execution properties of a kernel are identified and stored alongside the executable code for the kernel. At runtime, calling contexts access the information. The calling contexts interpret the information and optimize kernel execution based on the interpretation.Type: GrantFiled: June 13, 2011Date of Patent: September 10, 2013Assignee: Microsoft CorporationInventors: Weirong Zhu, Amit Kumar Agarwal, Lingli Zhang, Yosseff Levanoni
-
Patent number: 8527941Abstract: A method and system for providing a block for use in a block diagram in a graphical modeling environment which is capable of outputting information regarding the dynamic state of the block.Type: GrantFiled: June 18, 2010Date of Patent: September 3, 2013Assignee: The MathWorks, Inc.Inventor: Martin Clark
-
Patent number: 8522215Abstract: An embodiment can include one or more computer-readable media storing executable instructions that when executed on processing logic process variable signals. The media can store one or more instructions for receiving executable code that includes constructs with variable signals for processing the variable signals, and for performing a coverage measurement on the executable code based on information about one or more of the variable signals processed by the executable code. The media can store one or more instructions for producing a coverage result based on the coverage measurement, the coverage result identifying a degree of coverage for the executable code when the executable code processes the variable signals.Type: GrantFiled: May 29, 2009Date of Patent: August 27, 2013Assignee: The MathWorks, Inc.Inventors: William J. Aldrich, Olga Voronina, Zsolt Kalmar
-
Patent number: 8515876Abstract: This disclosure provides various embodiments for performing a dry-run of a business process model in a design-time environment. A start event and end event of the business process model are identified, defining a path of a flow map including a sequence of a plurality of events, including the start event, the end event, and at least one other event sequenced between the start and ends. The events in the path are stepped-through to simulate each event. An error is identified corresponding to a particular event in the path and the step-through is paused upon identifying the error. A user is then prompted for an input to at least temporarily resolve the at least one error. The stepping-through of the plurality of events is then resumed in response to a resolution input from the user. The dry run ends in response to stepping-through to the end event.Type: GrantFiled: September 20, 2010Date of Patent: August 20, 2013Assignee: SAP AGInventor: Julia Reisbich
-
Patent number: 8515727Abstract: A computer program product stored including machine executable instructions stored on machine readable media, the instructions configured for performing automatic logic build processes and implementing autonomic quality checking, by implementing a method including: providing a model repository for holding at least one component; updating the model repository with at least one component; creating a tag for each sub-component of a selected component of the model repository; associating each tag with a latest version of each respective sub-component; and issuing a component submit notice to identify at least one of a dependency and a priority between selected components. A system is also provided.Type: GrantFiled: March 19, 2008Date of Patent: August 20, 2013Assignee: International Business Machines CorporationInventors: Matthew A. Adams, Khary J. Alexander, Matthew G. Pardini
-
Publication number: 20130212566Abstract: A simulation environment, in one embodiment, includes a debugger server, one or more debuggers, and one or more debugger adapters. Each debugger adapter couples a corresponding debugger to the debugger server. The debugger server coordinates the run mode of the debugger adapters. Each debugger adapter controls the run mode of its corresponding debugger.Type: ApplicationFiled: March 14, 2013Publication date: August 15, 2013Applicant: Synopsys, Inc.Inventor: Synopsys, Inc.
-
Patent number: 8504954Abstract: In an embodiment, hardware implementing a transcendental or other non-linear function is based on a series expansion of the function. For example, a Taylor series expansion may be used as the basis. One or more of the initial terms of the Taylor series may be used, and may be implemented in hardware. In some embodiments, modifications to the Taylor series expansion may be used to increase the accuracy of the result. In one embodiment, a variety of bit widths for the function operands may be acceptable for use in a given implementation. A methodology for building a library of series-approximated components for use in integrated circuit design is provided which synthesizes the acceptable implementations and tests the results for accuracy. A smallest (area-wise) implementation which produces a desired level of accuracy may be selected as the library element.Type: GrantFiled: March 30, 2012Date of Patent: August 6, 2013Assignee: Apple Inc.Inventor: Vaughn T. Arnold