Abstract: A vehicle software installation, upgrade, and diagnostic system for use in vehicle assembly, upgrade, and repair, includes a portable memory device, such as a USB flash disk. The device receives diagnostic information via an open architecture communications port of a vehicle, such as a USB port. An external processor has a complimentary open architecture communications port and is adapted to receive and analyze the diagnostic information from the portable device. According to various aspects, analysis of the diagnostic information verifies successful installation and testing of vehicle software transferred from the portable device to vehicle processors, identifies software versions resident on the vehicle and related upgrade history for download and installation of an appropriate software upgrade, and/or diagnoses vehicle problems in accordance with sensed vehicle conditions and predetermined fault detection criteria.

Abstract: A method of collecting information includes retrieving a criterion for certifying software for use on a safety-critical system, receiving user input information associated to the criterion, determining if the input information satisfies criterion for certifying the software for use on the safety-critical system, and providing output information to the user where the output information is identifying if the criterion is satisfied.

Abstract: Methods, systems and computer program products are disclosed for automatically generating hardware description language code from a model. The hardware description language code may be generated from a graphical program/model, such as a block diagram model. The hardware description language code may also be generated from a text-based program/model, such as a model created using MATLAB® tools. In particular, the present invention provides for the automatic code generation of an interface between components in the model. The present invention may provide options for selecting at least one of multiple types or styles of the component interfaces in the model. The selection of the interface types or styles may be controlled by the user or inferred by other parameters, such as implementation parameters.

Abstract: A method for creating a specific POSIX style locale source file, on demand, suitable for compilation in a computer is provided the method comprising, receiving a request submitted for the specific POSIX style locale, and obtaining a plurality of localization values related to the specific POSIX style locale. Next, determining a category within the plurality of localization values and selecting process routines dependent upon the category, and then selectively extracting the category information. After extracting the category information is stored into a memory of the computer. A determination is made regarding more categories to process, which might result in processing the remaining categories, otherwise assembling the extracted information into the POSIX style locale source file. Assembling may entail addition of no files or files such as LC-CTYPE and LC_COLLATE to form a locale source suitable for compilation.

Abstract: A method of receiving and translating data within an external programmatic interface (EPI) is described. The method calls for receiving input into the EPI. The input is traversed. Where the input is presented in a prescribed format other than CLI, it is translated into a corresponding CLI statement, with reference to a representation of the CLI syntax. Where the input is presented in CLI, it is translated into a corresponding prescribed output format, with reference to a model of the prescribed output format derived from the CLI syntax. The translated input is output.

Abstract: A computer-implemented method of handling localizable objects is provided. The method includes the step of obtaining an initial class containing localizable properties and non-localizable properties. The initial class is then transformed into a base-part class and a translation-part class. A localization tool for performing the transformation is also provided.

Abstract: A mechanism is disclosed for determining how thoroughly a set of code has been tested. The mechanism involves identifying which portions within the set of code are interface portions and which portions are internal portions. A test is executed to test the set of code. Based upon a set of testing information derived from the test, an interface test metric is derived that provides a measure of how thoroughly the interface portions were tested by the test. Based upon the set of testing information, an internal test metric is derived that provides a measure of how thoroughly the internal portions were tested by the test. In one embodiment, an overall measure of how thoroughly the set of code has been tested by the test is derived, based upon the interface test metric and the internal test metric.

Abstract: Kernel-based intrusion detection using Bloom filters is disclosed. In one of many possible embodiments for detecting an intrusion attack, a Bloom filter is provided and used to generate a Bloom filter data object. The Bloom filter data object contains data representative of expected system-call behavior associated with a computer program. The Bloom filter data object is embedded in an operating system (“OS”) kernel upon an invocation of the computer program. Actual system-call behavior is compared with the data in the Bloom filter data object.

Abstract: Software that modifies the source code for readily available software tasks—typically applications and hardware drivers—so that a small, fast, reliable operating system can be synthesized to control execution of these readily available software tasks.

Abstract: A method and a computer product executing the method are provide for automatically verifying management packs by an operations manager. The method includes receiving a management pack containing configuration information enabling an operations manager to remotely manage computer systems and computer software, and automatically verifying the management pack by determining whether the management pack satisfies a set of requirements.

Abstract: A data flow graph processing method divides at least one DFG generated into a plurality of sub-DFGs, in accordance with the number of logic circuits in a circuit set in a reconfigurable circuit. When the reconfigurable circuit is provided with a structure including multiple-row connections, the number of columns in the sub-DFG is configured to be equal to or fewer than the number of logic circuits per row in the reconfigurable circuit. Subsequently, the sub-DFGs are joined so as to generate a joined DFG. The number of columns in the joined DFG is also configured to be equal to or fewer than the number of columns per row in the reconfigurable circuit. The joined DFG is redivided to sizes with number of rows equal to or fewer than the number of rows in the reconfigurable circuit, so as to generate subjoined DFGs mappable into the reconfigurable circuit.

Abstract: An update at shutdown process is disclosed that installs software updates on a computer during the computer's shutdown procedures. On a computing device with an automated shutdown procedure, during the shutdown procedure an update at shutdown process is executed. The update at shutdown process evaluates whether any software updates are currently stored, or are locally available, on the computing device. If there are software updates to be installed, a further evaluation determines whether any of the software updates may be installed without any user interaction. Accordingly, each downloaded/locally available software update that is identified as being installable without user interaction, is installed during the shutdown procedure, thus minimizing the impact that the software updates have on the computer user's use time.

Abstract: Software and content used by the software are developed on a first computer system for use on a second computer system. Transferable forms of the developed software and content that may be used by the second computer system are created. The transferable form of the developed software is made available for transfer to the second computer system. The transferable form of the developed content is transferred to a content server that makes a transferable form of content used by software running on the second computer system available for receipt by the second computer system. The transferable form of the developed software from the first computer system and the transferable form of the content from the content server are received at the second computer system. The received software and content are translated into usable forms of the software and content that may be used by the second computer system.

Abstract: A method, an apparatus and a system perform software uninstallation that integrates transfer activation. In some embodiments, a method includes uninstalling software from a machine that is activated on the machine. The software has a limited number of activations. The uninstalling operation comprises deactivating the software on the machine.

Abstract: A test recording method capable of preventing omission of tests for software to be delivered. When test input data is entered from a testing client, a data transmitter transmits the data to a testing server. Upon reception of test output data and a hash value from the testing server, an evaluation unit determines a test result, pass or fail, by comparing the test output data with the output pattern described in a test specification. The result recorder stores a test log in a log memory, the test log including the test result and the hash value received from the testing server.

Abstract: The disclosure presents systems and methods to identify program workings sets, detect working set changes and estimate working set sizes. The system generates a highly compressed representation of the working set, called a working set signature, by hashing working set elements into a data structure and setting the entries touched. The working set signature identifies, or is a representation of, the working set. The system can detect a working set change by comparing the signatures of consecutive working sets using a metric called a relative signature distance. The working set size is estimated by counting the number of bits set in the signature. The system can be used to compactly represent various types of working sets such as instruction, data and branch working sets. The system can detect program working set changes (or phase changes) independent of any micro-architectural specification.

Abstract: A tool for developing software source code for embedded systems that allows the user to automatically generate a real-time operating system for scheduling of multi-tasking operations while preventing deadlocks between the real-time tasks. The tool takes parameters that let the user assign priorities and timing characteristics to different tasks and to experiment with different scheduling algorithms.

Abstract: A method and an apparatus are provided for automatically generating and administering templates for an event management tool, which is configured for monitoring terminal devices or components of a network. In the templates, monitoring criteria, by which the monitoring of one of the components is to be done, are defined. After the automatic generation of the template, this template is automatically tested. An administration module is also provided, which is configured for organizing and administering all the processes with respect to the templates.

Abstract: A system that facilitates validating an object in a software design tool comprises a component that receives input relating to development of an object. A validating component, prior to compile, automatically determines whether the object is associated with an error upon receipt of the input. An alarm component can generate an alarm upon the validating component determining that the object is associated with an error.

Abstract: A “kill” intrinsic that may be used in programs for designating specific data objects as having been “killed” by a preceding action is provided. The concept of a data object being “killed” is that the compiler is informed that no operations (e.g., loads and stores) on that data object, or its aliases, can be moved across the point in the program flow where the data object is designated as having been “killed.” The “kill” intrinsic limits the reordering capability of an optimization scheduler of a compiler with regard to operations performed on “killed” data objects. The “kill” intrinsic may be used with DMA operations. Data objects being DMA'ed from a local store of a processor may be “killed” through use of the “kill” intrinsic prior to submitting the DMA request. Data objects being DMA'ed to the local store of the processor may be “killed” after verifying the transfer completes.