Analysis (e.g., Of Output, State, Or Design) Patents (Class 714/37)
-
Publication number: 20150149828Abstract: The techniques described herein provides troubleshooting, monitoring, reporting and dynamic adjustments and virtualization to management of application delivery. A system can be completely external to an application delivery data path, or can be highly compatible for integration to the application delivery path. Entities can be billed on a per user, per application, per usage, or any combination of consumption-based billing.Type: ApplicationFiled: November 26, 2014Publication date: May 28, 2015Applicant: Anunta Technology Management Services Ltd.Inventors: Ananda MUKERJI, Sanjiv DALAL, Vinod JEYACHANDRAN
-
Patent number: 9043651Abstract: Aspects of the present invention provide a tool for analyzing and remediating an update-related failure. In an embodiment, a failure state of a computer system that has been arrived at as a result of an update is captured. A semantic diff that includes the difference between the failure state and at least one of an original state or a completion state is then computed. This semantic diff is transformed into a feature vector format. Then the transformed semantic diff is analyzed to determine a remediation for the update. Failure and/or resolution signatures can be constructed using the semantic diff and contextual data, and these signatures can be used in comparison and analysis of failures and resolutions.Type: GrantFiled: August 2, 2012Date of Patent: May 26, 2015Assignee: International Business Machines CorporationInventors: Vasanth Bala, Niyu Ge, Ea-Ee Jan, Darrell C. Reimer, Lakshminarayanan Renganarayana, Xiaolan Zhang
-
Patent number: 9043652Abstract: A computing system resource recovery method can include identifying a resource manager associated with a computing transaction, classifying the computing transaction to determine a predetermined metric, measuring an actual metric of the computing transaction, comparing the predetermined metric to the actual metric to detect abnormal behavior in the transaction and modeling the abnormal behavior to determine how the resource manager is affected by the abnormal behavior.Type: GrantFiled: October 19, 2012Date of Patent: May 26, 2015Assignee: International Business Machines CorporationInventors: Karla K. Arndt, James M. Caffrey, Juliet C. Candee, Aspen L. Payton, William R. Richardson
-
Patent number: 9040937Abstract: In a pattern inspection of a semiconductor circuit, to specify a cause of a process defect, not only a distribution on and across wafer of the number of defects but also more detailed, that is, the fact that how many defects occurred where on the semiconductor pattern is needed to be specified in some cases. Accordingly, the present invention aims to provide an apparatus capable of easily specifying a cause of a process defect based upon a positional relationship of a distribution of defect occurrence frequency and a pattern.Type: GrantFiled: March 11, 2013Date of Patent: May 26, 2015Assignee: Hitachi High-Technologies CorporationInventors: Kohei Yamaguchi, Takehiro Hirai, Ryo Nakagaki
-
Patent number: 9043650Abstract: The invention in particular has as an object detecting incompatibility between equipment items of a on-board system. A logic interface associated with one equipment item comprises at least one input while a logic interface associated with another equipment item comprises at least one output. The input and the output are connected. After a minimal data definition level associated with the input and a data definition level associated with the output have been obtained (505), the said minimal data definition level associated with the input is compared (515) with the said data definition level associated with the output. Following this comparison, if the said minimal data definition level associated with the input is lower than the said data definition level associated with the output, an alarm indicating an incompatibility of these two equipment items is generated (545).Type: GrantFiled: March 19, 2012Date of Patent: May 26, 2015Assignee: AIRBUS OPERATIONS S.A.S.Inventor: Anne Frayssignes
-
Publication number: 20150143177Abstract: An analysis module is configured to receive data associated with an event flow. The data is received from a first analysis module (e.g., in a stack of analysis modules) or from the event flow. The analysis module is configured to execute an analysis operation on the data to generate a result. The analysis module can output the result to a second analysis module (e.g., in the stack of analysis modules) or to a user interface.Type: ApplicationFiled: January 22, 2015Publication date: May 21, 2015Inventors: Olivier Nano, Ivo Jose Garcia dos Santos, Tihomir Tarnavski, Sebastien Peray, Marcel Tilly, Ramkumar Krishnan
-
Publication number: 20150143178Abstract: The present disclosure generally relates to the automated testing of a system that includes software or hardware components. In some embodiments, a testing framework generates a set of test cases for a system under test using a grammar. Each test case may perform an action, such as provide an input to the system under test, and result in an output from the system under test. The inputs and outputs are then compared to the expected results to determine whether the system under test is performing correctly. Specifically, the system under test may be analyzed to determine whether it is capable of properly processing control instructions and input signals and/or generating expected output control signals and additional control/feedback information. The data can then be interpreted in the grammar system and/or used as input to a fault isolation engine to determine anomalies in the system under test.Type: ApplicationFiled: January 30, 2015Publication date: May 21, 2015Inventors: Nathan John Walter Kube, Frank Marcus
-
Publication number: 20150143176Abstract: The present invention is an identification system comprising: an irrelevance trigger interpreting section for calculating a logical formula of irrelevance triggers for a component in a system from a cut set logical formula f of a system failure; and minimal cut set evaluating means for minimizing the logical formula of the irrelevance triggers, which has been calculated by said irrelevance trigger interpreting section, to calculate the irrelevance triggers for said component.Type: ApplicationFiled: May 14, 2013Publication date: May 21, 2015Inventor: Jianwen Xiang
-
Patent number: 9037913Abstract: A method includes detecting user interaction with a first control of a user interface, identifying a property of the first control, and storing data representing the property of the first control in a memory. The method further includes dynamically generating an event for the first control by use of the property of the first control upon detecting user interaction with a second control and upon detecting an absence of an event corresponding to the first control being generated with respect to a user interface test program. An action responsive to the dynamically generated event is stored in an event log.Type: GrantFiled: April 30, 2012Date of Patent: May 19, 2015Assignee: Microsoft Technology Licensing, LLCInventors: Deepraj Sitaram Dixit, Varadarajan Thiruvillamalai, Singireddy Neeraja Reddy, Venkatesh Sargunesan, Siddhartha Pandey, Vishnupriyan Radhamanalan, Mathew Aniyan
-
Patent number: 9037916Abstract: Dynamic concolic execution of an application. A first hypotheses pertaining to a nature of test payloads that satisfy a specified property, and that are expected to satisfy a condition tested by the application's program code, can be generated. A plurality of first test payloads to test first hypothesis can be synthesized and submitted to the application during respective executions of the application. Whether each of the first test payloads actually satisfy the condition tested by the application's program code can be determined. When at least one of the first test payloads does not actually satisfy the condition tested by the application's program code, a second hypotheses that is expected to satisfy the condition tested by the application's program code can be generated. A plurality of second test payloads to test the second hypothesis can be synthesized and submitted to the application during respective executions of the application.Type: GrantFiled: September 12, 2013Date of Patent: May 19, 2015Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATIONInventors: Daniel Kalman, Adi Sharabani, Omer Tripp
-
Publication number: 20150135016Abstract: Methods and systems for communicating information from a first modular electronic device to a second modular electronic device. The first modular electronic device transmitting a first serial data frame over a two-wire communication protocol. The first serial data frame containing status information, a heartbeat challenge and a frame check character. The second modular electronic device able to receive the first serial data frame, validate the data and display status information on a local human interface. The second electronic device able to respond to the first electronic device by transmitting a second serial data frame. The second serial data frame containing a heartbeat response and a frame check character response. The first modular electronic device having the ability to place a modular electronic overload system in a safe state if communication is lost between the first modular electronic device and the second modular electronic device.Type: ApplicationFiled: November 11, 2013Publication date: May 14, 2015Inventors: William T. Glaser, Theron Kotze, James J. Flood, Leonid Yerukhimov, Eric Waydick
-
Publication number: 20150135017Abstract: A testing device comprises a storage unit (17), a display unit (11) and a control unit (12). The storage unit (17) is embodied to store messages of at least one test performed on at least one device under test. The control unit (12) is embodied to read in and display on the display unit (11) at least a part of the messages. The control unit (12) provides a view-generating device (14), which is embodied simultaneously to generate and display by means of the display unit (11) at least two views in each case with at least a part of the messages to be displayed. In this context, the views are displayed in a synchronized manner.Type: ApplicationFiled: June 12, 2013Publication date: May 14, 2015Inventors: Thomas Moosburger, Guido Lauerburg
-
Patent number: 9030316Abstract: A method and apparatus where the method includes detecting a plurality of events related to the activities of users within a security system wherein the events are defined by a plurality of attributes, wherein at least one attribute is categorical and wherein a data distance between events is a function of event attributes, evaluating the detected events using a density based anomaly detection method f(r), where r is a size of a neighborhood around a data point, comparing a value of the evaluated expression with a margin threshold value (msg(r)) and setting an alarm upon detecting that the value exceeds the threshold value.Type: GrantFiled: March 12, 2013Date of Patent: May 12, 2015Assignee: Honeywell International Inc.Inventors: Vit Libal, Pavel Vacha, Valerie Guralnik
-
Publication number: 20150127989Abstract: The present disclosure relates to a method, a device and a storage medium for determining a health state of an information system. At first, a baseline configuration document corresponding to the information system is received, and data records under inspection of the information system are acquired. The baseline configuration document defines baselines. Then, each of the data records under inspection is compared with at least one baseline defined in the baseline configuration document to obtain a comparing result between each of the data records under inspection and the at least one baseline. At last, the health state of the information system is determined according to the comparing result between each of the data records under inspection and the at least one baseline. A health-determining apparatus relative to the above-mentioned method is also provided. Therefore, by these method and apparatus, the health state of the information system is quantifiable.Type: ApplicationFiled: January 7, 2015Publication date: May 7, 2015Inventors: Bin Zhou, Dong Shan Xu, Shan Yang Fu
-
Publication number: 20150127990Abstract: Techniques for error report processing are described herein. Error reports, received by a developer due to program crashes, may be organized into a plurality of “buckets.” The buckets may be based in part on a name and a version of the application associated with a crash. Additionally, a call stack of the computer on which the crash occurred may be associated with each error report. The error reports may be “re-bucketed” into meta-buckets to provide additional information to programmers working to resolve software errors. The re-bucketing may be based in part on measuring similarity of call stacks of a plurality of error reports. The similarity of two call stacks—a measure of likelihood that two error reports were caused by a same error—may be based in part on functions in common, a distance of those functions from the crash point, and an offset distance between the common functions.Type: ApplicationFiled: January 12, 2015Publication date: May 7, 2015Inventors: Dongmei Zhang, Yingnong Dang, Song Ge
-
Publication number: 20150127988Abstract: Dynamic service-event management methods to implement a dynamic service-event management system. Generally applicable in fields of utility, telecommunication and financial service providers. Therein, events has affect to status or quality of service projecting to service in two steps and using common-format events. In first step, external source originated events (11, 21, 24) are converted in network parser module(s) (1, 2) to a common event-format. In second step, the common format events (12, 22) are processed and their information projected to a service in a service parser module (3). The resulting common format service-event (31) and network events (13, 23) are stored by an alert parser module (4). The stored events are accessible for other connected systems through a database based application programming interface (41). Opening times are effectively handled using opening events (61). A bearer-to-beared object assignment can be handled in two ways.Type: ApplicationFiled: December 19, 2014Publication date: May 7, 2015Inventors: Zsolt Kendi, Istvan Paroczai
-
Publication number: 20150127987Abstract: A fault detection apparatus includes a storage unit which stores correlation destruction set information which includes one or more correlations between different types of performance values among a plurality of types of performance values of a system, and a comparison unit which detects a set of common correlations between said one or more correlations included in said correlation destruction set information and one or more correlations on each of which a correlation destruction is detected for inputted performance values.Type: ApplicationFiled: November 3, 2014Publication date: May 7, 2015Applicant: NEC CorporationInventor: Ken Ishiou
-
Patent number: 9026394Abstract: The present disclosure generally relates to the automated testing of a system that includes software or hardware components. In some embodiments, a testing framework generates a set of test cases for a system under test using a grammar. Each test case may perform an action, such as provide an input to the system under test, and result in an output from the system under test. The inputs and outputs are then compared to the expected results to determine whether the system under test is performing correctly. The data can then be interpreted in the grammar system or used as input to a fault isolation engine to determine anomalies in the system under test. Based on identified faults, one or more mitigation techniques may be implemented in an automated fashion.Type: GrantFiled: August 4, 2011Date of Patent: May 5, 2015Assignee: Wurldtech Security TechnologiesInventors: Nathan John Walter Kube, Daniel Malcolm Hoffman, Frank Marcus
-
Patent number: 9026855Abstract: A computer implemented method for temporal ranking in invariant networks includes considering an invariant network and a set of broken invariants in the invariant network, assuming, for each time point inside a window W, that each metric with broken invariants is affected by a fault at that time point, computing an expected pattern for each invariant of a metric with assumed fault, said pattern indicative of time points at which an invariant will be broken given that its associated metric was affected by a fault at time t, comparing the expected pattern with the pattern observed over the time window W; and determining a temporal score based on a match from the prior comparing.Type: GrantFiled: July 25, 2013Date of Patent: May 5, 2015Assignee: NEC Laboratories America, Inc.Inventors: Abhishek Sharma, Haifeng Chen, Min Ding, Kenji Yoshihira, Guofei Jiang
-
Patent number: 9026240Abstract: A coating and developing treatment apparatus includes a substrate transfer mechanism; and a defect inspection section. A transfer control part controls transfer of a substrate. A defect classification part classifies a defect based on the state of the defect. A storage part stores a transfer route of the substrate by the substrate transfer mechanism when the substrate has been treated by treatment sections. A defective treatment specification part specifies, based on a kind of the defect classified by the defect classification part and the transfer route of the substrate stored in the storage part, a treatment section which is a cause of occurrence of the classified defect, and judges presence or absence of an abnormality of the specified treatment section. The transfer control part controls the substrate transfer mechanism to transfer a substrate bypassing the treatment section which has been judged to be abnormal by the defective treatment specification part.Type: GrantFiled: October 26, 2011Date of Patent: May 5, 2015Assignee: Tokyo Electron LimitedInventors: Makoto Hayakawa, Hiroshi Tomita, Tatsuhei Yoshida
-
Patent number: 9026861Abstract: A method of correlating the timing of multiple interleaved trace data streams. A Time Stamp Trace stream logic monitors the event trace stream for a synchronization point. When a synchronization point is detected a time stamp value is inserted into the trace stream along with any relevant identification markers available in the detected synchronization point.Type: GrantFiled: October 2, 2012Date of Patent: May 5, 2015Assignee: Texas Instruments IncorporatedInventor: Jason L. Peck
-
Patent number: 9026999Abstract: The present invention relates to a media playback apparatus capable of testing a user application, and to a method for testing a user application using the same. According to the present invention, the media playback apparatus tests the user application which is generated by executing a developer application in a computing apparatus, wherein the computing apparatus is connected to the media playback apparatus through a network. Thus, applications stored in a plurality of computing apparatuses can be tested using a single media playback apparatus.Type: GrantFiled: November 26, 2010Date of Patent: May 5, 2015Assignee: SK Planet Co., Ltd.Inventors: Wonjang Baek, John Kim, Doo Hwan Yi
-
Publication number: 20150121145Abstract: In an approach for determining a location of failure between interconnects/controller, a computer collects debug information simultaneously at a plurality of nodes coupled to an interconnect. Subsequent to collecting debug information, the computer analyzes the debug information collected simultaneously thereby determining which end of the interconnect caused the failure.Type: ApplicationFiled: January 9, 2014Publication date: April 30, 2015Applicant: International Business Machines CorporationInventors: Ajay K. Mahajan, Venkatesh Sainath, Vishwanatha Subbanna
-
Publication number: 20150121143Abstract: The present disclosure generally relates to the automated testing of a system that includes software or hardware components. In some embodiments, a testing framework generates a set of test cases for a system under test using a grammar Each test case may perform an action, such as provide an input to the system under test, and result in an output from the system under test. The inputs and outputs are then compared to the expected results to determine whether the system under test is performing correctly. The data can then be interpreted in the grammar system or used as input to a fault isolation engine to determine anomalies in the system under test. Based on identified faults, one or more mitigation techniques may be implemented in an automated fashion.Type: ApplicationFiled: March 16, 2012Publication date: April 30, 2015Inventors: Nathan John Walter Kube, Daniel Malcolm Hoffman, Frank Markus
-
Publication number: 20150121146Abstract: Disclosed herein are system, method, and computer program product embodiments for transforming data from a first version, for example an initial version of a database, to a second version, for example a subsequent version of a database. An embodiment operates by modifying the metadata of the data to include transformational clauses, each of which describes how a portion of the data in the first version is transformed to data required by the second version.Type: ApplicationFiled: May 8, 2014Publication date: April 30, 2015Inventor: Bjoern Mielenhausen
-
Publication number: 20150121144Abstract: In an approach for determining a location of failure between interconnects/controller, a computer collects debug information simultaneously at a plurality of nodes coupled to an interconnect. Subsequent to collecting debug information, the computer analyzes the debug information collected simultaneously thereby determining which end of the interconnect caused the failure.Type: ApplicationFiled: October 30, 2013Publication date: April 30, 2015Applicant: International Business Machines CorporationInventors: Ajay K. Mahajan, Venkatesh Sainath, Vishwanatha Subbanna
-
Patent number: 9021307Abstract: A technique for verifying the safety of tenant data in a data center includes creating a topological map of storage constructs used for storing the tenant data within the data center. The topological map includes a logical storage device, a physical storage device, and a set of hardware structures disposed between the logical and physical storage devices. The constructs of the topological map are evaluated to generate an individual assessment of fault tolerance of each construct, and a set of rules are applied to generate an overall assessment of the safety of the tenant data. In an example, an administrator may operate this technique on a tenant application and generate a report for the tenant summarizing the results.Type: GrantFiled: March 14, 2013Date of Patent: April 28, 2015Assignee: EMC CorporationInventors: Rajesh Parameswaran, Ajith Balakrishnan, Sumit Basu Mallick
-
Patent number: 9021587Abstract: The subject disclosure is directed towards detecting software vulnerabilities in an isolated computing environment. In order to evaluate each input submission from an external computer, a plurality of tasks are automatically generated for execution on one or more computing units running within the isolated computing environment. Various configurations of the one or more computing units are defined in which each computing unit executes the plurality of tasks. A report is produced comprising results associated with such an execution.Type: GrantFiled: October 27, 2011Date of Patent: April 28, 2015Assignee: Microsoft Technology Licensing, LLCInventors: Nitin Kumar Goel, Kenneth D. Johnson, Matthew Ryan Miller, Navin Narayan Pai, Grzegorz M. Wroblewski, Gregory Justice Riggs
-
Publication number: 20150113329Abstract: In a system operations management apparatus, a burden to a system administrator when providing a decision criterion in detection of a failure in the future is reduced. The system operations management apparatus 1 includes a performance information accumulation unit 12, a model generation unit 30 and an analysis unit 31. The performance information accumulation unit 12 stores performance information including a plurality of types of performance values in a system in time series. The model generation unit 30 generates a correlation model including one or more correlations between the different types of performance values stored in the performance information accumulation unit 12 for each of a plurality of periods having one of a plurality of attributes.Type: ApplicationFiled: January 5, 2015Publication date: April 23, 2015Applicant: NEC CORPORATIONInventor: Kiyoshi Kato
-
Publication number: 20150113328Abstract: A method for monitoring controller area network (CAN) on a mobile system includes identifying links and associated nodes between all the nodes of the CAN, and ranking all the links according to their order of connection to the monitoring controller, including assigning lower ranks to ones of the links proximal to the monitoring controller and assigning higher ranks to ones of the links distal to the monitoring controller. For each of said links, the associated node distal to the monitor is identified. The on-board monitoring controller determines a fault signature for each of the links starting with the link having the highest ranking, said fault signature comprising identified ones of the associated nodes distal to the monitor for each of the corresponding links.Type: ApplicationFiled: July 16, 2014Publication date: April 23, 2015Inventors: SHENGBING JIANG, YILU ZHANG
-
Publication number: 20150113327Abstract: Methods to perform an operation comprising generating, based on a first output generated by a first execution instance of a command, a first output file specifying a value of at least one performance metric, wherein the first output file is formatted according to a predefined format, comparing the value of the at least one performance metric in the first output file to a value of the performance metric in a second output file, the second output file having been generated based on a second output generated by a second execution instance of the command, and outputting for display an indication a result of the comparison of the value of the at least one performance metric of the first output file to the value of the at least one performance metric of the second output file.Type: ApplicationFiled: October 29, 2013Publication date: April 23, 2015Applicant: INTERNATIONAL BUSINESS MACHINES CORPORATIONInventor: Daniel A. Faraj
-
Patent number: 9015164Abstract: A high availability system in a cloud computing environment includes a snapshot manager disposed in a mirror environment having at least one computer server and a plurality of virtual machines disposed in a production environment. Each of the plurality of virtual machines includes a snapshot agent configured to perform a method. The method includes periodically taking snapshots of the virtual machine associated with the snapshot agent, determining a delta image based on a change between a current snapshot and a previous snapshot, removing previous snapshots in the virtual machine and transmitting the delta image to the snapshot manager. The snapshot manager is configured to store a recovery image for each of the plurality of virtual machines and to merge the received delta image with the recovery image to update the recovery image.Type: GrantFiled: August 13, 2013Date of Patent: April 21, 2015Assignee: International Business Machines CorporationInventors: Hoi Y. Chan, Trieu C. Chieu
-
Publication number: 20150106656Abstract: The present invention, pertaining to the field of computer technologies, discloses an application startup method and apparatus. The method includes: loading, upon receiving an instruction for starting up an application program, prefetch data corresponding to the application program, where the prefetch data includes at least one file block corresponding to at least one page fault occurred during a history startup process of the application program; and loading code of the application program to start up the application program. The apparatus includes: a prefetch data loading module and a code loading module. According to the present invention, the number of page faults occurred during the startup process of the application program because a process cannot be mapped to a valid physical page when accessing a virtual page is greatly reduced.Type: ApplicationFiled: March 4, 2013Publication date: April 16, 2015Inventors: Chao Bian, Wenhuan Zhu
-
Publication number: 20150106657Abstract: A method of providing synchronization and integrity checking in a high integrity processing system having at least two redundant processing lanes, with each lane having an application processor, with the application processors running the same application software in a non-lockstep configuration, and outputting transactions requiring access to an addressable space.Type: ApplicationFiled: November 21, 2014Publication date: April 16, 2015Applicant: GE AVIATION SYSTEMS LLCInventor: Jonathan Paul Van Stensel
-
Publication number: 20150106658Abstract: An information processing apparatus includes a storage device, an arithmetic processing unit, a first converting device, and a second converting device. The storage device outputs data in accordance with a memory access request. The arithmetic processing unit performs an arithmetic operation on the data. The first converting device converts a memory access request issued by the arithmetic processing unit to a memory access signal and sends to the storage device. The second converting device converts a memory access request issued by the arithmetic processing unit to a memory access signal, acquires the memory access signal sent by the first converting device, and compares the content of a memory access performed by using the converted memory access signal with the content of a memory access performed by using the acquired memory access signal, and determines whether the first converting device has failed.Type: ApplicationFiled: December 19, 2014Publication date: April 16, 2015Applicant: Fujitsu LimitedInventors: Takatsugu Ono, Mitsuru Sato, Susumu Saga
-
Patent number: 9009541Abstract: A system and method for efficiently storing traces of multiple components in an embedded system. A system-on-a-chip (SOC) includes a trace unit for collecting and storing trace history, bus event statistics, or both. The SOC may transfer cache coherent messages across multiple buses between a shared memory and a cache coherent controller. The trace unit includes a trace buffer with multiple physical partitions assigned to subsets of the multiple buses. The number of partitions is less than the number of multiple buses. One or more trace instructions may cause a trace history, trace bus event statistics, local time stamps and a global time-base value to be stored in a physical partition within the trace buffer.Type: GrantFiled: August 20, 2012Date of Patent: April 14, 2015Assignee: Apple Inc.Inventors: Manu Gulati, James D. Ramsay, Kevin R. Walker
-
Patent number: 9009533Abstract: Provided are a home/building fault analysis system and method using a resource connection map log which compares and analyzes a previous integrated resource state and a current resource state using resource connection map logging information based on a standard resource management model when a fault is generated, provides state information of the resource in which information having high association with a fault resource is mainly changed, and performs an effective fault analysis and process by restoring to the previous resource state, as necessary. According to the prevent invention, when the fault is generated, a synthetic state of resources within a home/building as well as a state of an individual resource may be known from the resource connection map.Type: GrantFiled: December 21, 2012Date of Patent: April 14, 2015Assignee: Electronics and Telecommunications Research InstituteInventors: Jeu Young Kim, Ji Yeon Son, Ji Hyun Lee, Jun Hee Park, Kyeong Deok Moon
-
Publication number: 20150100827Abstract: A method of detecting bit errors in a data storage device is provided, which includes comparing a first bit sequence accessed during a read out operation of the data storage device with a second bit sequence that corresponds to an expected memory state of the data storage device.Type: ApplicationFiled: October 4, 2013Publication date: April 9, 2015Inventors: Rex Kho, Thomas Rabenalt
-
Publication number: 20150100826Abstract: Improving utilization of distributed nodes. One embodiment illustrated herein includes a method that may be practiced in a virtualized distributed computing environment including virtualized hardware. Different nodes in the computing environment may share one or more common physical hardware resources. The method includes identifying a first node. The method further includes identifying one or more physical hardware resources of the first node. The method further includes identifying an action taken on the first node. The method further includes identifying a second node. The method further includes determining that the second node does not share the one or more physical hardware resources with the first node. As a result of determining that the second node does not share the one or more physical hardware resources with the first node, the method further includes replicating the action, taken on the first node, on the second node.Type: ApplicationFiled: October 3, 2013Publication date: April 9, 2015Applicant: Microsoft CorporationInventors: Nikola Vujic, Won Suk Yoo, Johannes Klein
-
Publication number: 20150100828Abstract: The present invention relates to the field of systems and methods of diagnosis of apparatuses constituting a vast machine-to-machine communication network. The system proposed is based on a virtual network linking the various apparatuses so as to form a hierarchical tree. This virtual network is reliant on the network for real communication between the apparatuses. However, the topology of the virtual network is independent of that of the real network. Each apparatus includes a diagnostic agent offering local self-diagnostic capabilities. Each apparatus enables offering a state of its operation and of the operation of the entire sub-network of which it is the father. The self-diagnostic capabilities of an apparatus are implemented either locally by the apparatus, or within apparatuses of its close network environment as a function of the capabilities of the various items of equipment.Type: ApplicationFiled: February 19, 2013Publication date: April 9, 2015Inventors: Armand Abedin, Bruno Corlay, Djelal Raouf, Nhon Chu
-
Publication number: 20150095707Abstract: A method, apparatus, and/or computer program product analyzes data processing. Dependency metadata, which is used for representing dependency on data among at least two components of an application, is acquired. Error information, which is used for describing errors that occurred while running the application, and data output, which includes data output by components used to run the application, are acquired. Based on the error information, dependency metadata and data output relevant to the error information are analyzed to provide an analysis result. The analysis result includes at least one of: a reason why an error occurs, a prompt for an error correction method, a relevant dependency metadata leading to an occurrence of an error, and relevant data output leading to an occurrence of an error.Type: ApplicationFiled: September 11, 2014Publication date: April 2, 2015Inventors: Gang Huang, Tan Jiang, Ling Lan, Yong Yao, Li Yi, Liang Wang, Yu Zhang
-
Patent number: 8996922Abstract: A method of determining whether a set of constraints is satisfiable may include identifying a set of constraints associated with a software module. The method may also include modeling a string associated with a string constraint of the set of constraints as a parameterized array. Further, the method may include determining the satisfiability of the set of constraints based on a representation of the string constraint as a quantified expression. The satisfiability of the set of constraints may also be based on elimination of a quantifier associated with the quantified expression such that the string constraint is represented as a numeric constraint. The representation of the string constraint as a quantified expression may be based on the parameterized array that is associated with the string.Type: GrantFiled: November 21, 2012Date of Patent: March 31, 2015Assignee: Fujitsu LimitedInventors: Guodong Li, Indradeep Ghosh
-
Patent number: 8996916Abstract: A system and method for discovering fault conditions such as conflicts between applications and an operating system, driver, hardware, or a combination thereof, installed in mobile computing devices uses a mobile device running a diagnostic application. A list of applications that were launched or installed during a time period prior to an operational disruption is retrieved. A data table of combinations of incompatible programs and drivers is used to analyze the list of the applications that were launched or installed to create a list of potential fault-causing interactions due to software incompatibilities of software installed in the mobile computing device. A knowledge database is updated with data identifying at least one of the potential fault-causing interactions.Type: GrantFiled: August 16, 2012Date of Patent: March 31, 2015Assignee: Future Dial, Inc.Inventor: George C. Huang
-
Patent number: 8997236Abstract: A method, system and computer program product for evaluating an IDP entity, the method includes evaluating an effect of at least one IDP rule applied by the IDP entity on legitimate traffic, based upon a network model; evaluating an effect of at least one IDP rule applied by the IDP entity based upon a network model and an attack model; determining an effectiveness of the IDP entity in response to the evaluated effects.Type: GrantFiled: August 6, 2012Date of Patent: March 31, 2015Assignee: Skybox Security Inc.Inventors: Amnon Lotem, Gideon Cohen, Ilan Horn, Moshe Meiseles
-
Publication number: 20150089295Abstract: The invention is directed to a method for performing failure analysis on an imaging device that includes retrieving an encrypted error log containing one or more error conditions that occurred on the imaging device, decrypting the retrieved encrypted error log, determining if the retrieved encrypted error log has been altered based on the decrypted error log, and upon determining that the retrieved encrypted error log has not been altered, performing failure analysis on the imaging device using the decrypted error log.Type: ApplicationFiled: September 25, 2013Publication date: March 26, 2015Inventors: Christopher Alan Adkins, Mark Leo Doerre
-
Publication number: 20150089294Abstract: The present application relates to a method for determining multiple simultaneous fault conditions on complex systems. The method comprises receiving symptoms of a complex system from monitors. When some of the symptoms suggest the existence of multiple simultaneous fault conditions, then the method creates a symptom signature, creates one or more failure mode signatures, and creates an error code for each failure mode signature in regard to the symptom signature. Each failure mode signature is associated with only one failure mode. A Hamming distance is determined for each failure mode indicated as possibly causing the original fault condition. Each failure mode with the minimum Hamming distance and same Hamming Code are grouped together as being one of the multiple simultaneous fault conditions. All remaining failure modes with other Hamming distances are then assigned into one of the simultaneous fault conditions.Type: ApplicationFiled: September 23, 2013Publication date: March 26, 2015Inventors: Douglas Allen Bell, Tim Felke
-
Patent number: 8990625Abstract: The original MCS of a system fault tree includes sufficient conditions required for a top system hazard. If a fault occurs in a component and the component is restored, the current MCS of a system and the critical components can be calculated on the basis of the original MCS by means of several calculation patterns.Type: GrantFiled: April 21, 2011Date of Patent: March 24, 2015Assignee: NEC CorporationInventor: Jianwen Xiang
-
Patent number: 8990626Abstract: An apparatus and computer-implemented method for determining relevance of assignments in combinatorial models, the method comprising: receiving an attribute collection, the attribute collection comprising one or more attributes and one or more possible values for each of attributes; receiving pone or more restrictions, each restriction indicating one or more values for one or more attributes; receiving one or more assignments comprising one or more assigned values for one or more of the attributes; and determining whether the assignment is legal, illegal or partially-legal, wherein an illegal assignment is an assignment which violates a constraint by itself; a legal assignment is an assignment which is not illegal, and for every extension thereof which is illegal, a combination of values assigned to other attributes violates a constraint by itself; and a partially-legal assignment is an assignment which is neither legal nor illegal.Type: GrantFiled: December 17, 2012Date of Patent: March 24, 2015Assignee: International Business Machines CorporationInventors: Eitan D Farchi, Itai Segall, Rachel Yosef Tzoref-Brill
-
Publication number: 20150082096Abstract: A controller area network (CAN) has a plurality of CAN elements including a communication bus and a plurality of controllers. A method for monitoring the CAN includes detecting occurrences of a first short-lived fault and a second short-lived fault within a predefined time window. A first fault set including at least one inactive controller associated with the first short-lived fault and a second fault set including at least one inactive controller associated with the second short-lived fault are identified. An intermittent fault is located in the CAN based upon the first and second fault sets.Type: ApplicationFiled: March 2, 2014Publication date: March 19, 2015Applicant: GM GLOBAL TECHNOLOGY OPERATIONS LLCInventors: SHENGBING JIANG, YILU ZHANG
-
Patent number: 8984343Abstract: Embodiments of the present subject matter can enable the analysis of signal value errors for system models. In an example, signal value errors can be propagated through the functional blocks of a system model to analyze possible effects as the signal value errors impact incident functional blocks. This propagation of the errors can be applicable to many models of computation including avionics models, synchronous data flow, and Kahn process networks.Type: GrantFiled: June 24, 2011Date of Patent: March 17, 2015Assignee: Honeywell International Inc.Inventors: Kirk Schloegel, Devesh Bhatt, David V. Oglesby, Gabor Madl