Abstract: A method for simulating a quantum-capacitance response of a material configuration comprises (a) constructing a non-interacting Hamiltonian for the material configuration based on input data; (b) computing a natural-orbitals basis for each of a plurality of parts of the material configuration under the non-interacting Hamiltonian; (c) projecting the non-interacting Hamiltonian in the natural-orbitals basis to obtain a non-interacting quantum-mechanical description for each part; (d) constructing an interacting Hamiltonian by adding an electron-interaction term to the non-interacting Hamiltonian for each of the plurality of parts; (e) for each of a plurality of representative points in a sample space of at least one tunable parameter of the material configuration, using a sums-of-Gaussians procedure to assemble a basis of Gaussian states for approximating low-energy eigenstates of the material configuration under the interacting Hamiltonian; (f) for each of a plurality of vicinities of representative points in

Abstract: A computing device including a processor configured to simulate a quantum device at least in part by receiving a single-particle Hamiltonian matrix that describes an initial Hamiltonian operator. The initial Hamiltonian operator may model a plurality of parts of a quantum device. Simulating the quantum device may further include estimating a reduced density matrix associated with a first part, estimating a plurality of eigenvectors and eigenvalues of the reduced density matrix, and generating a transformed Hamiltonian matrix. Generating the transformed Hamiltonian matrix may include transforming the single-particle Hamiltonian matrix into a natural-orbital basis of the first part such that the transformed Hamiltonian matrix has a reduced dimensionality. The natural-orbital basis may be spanned by a subset of the eigenvectors of the reduced density matrix.

Abstract: A method carried out in a computer system having thereon a spreadsheet file with lines and columns, the columns representing fields and each line representing a record, the sheet also having a header portion with a designation line with a field designation for each column, wherein the method identifies a single reference field, allocates a field type to fields other than the reference field, defines a link for each field with a field type and thereby link with another linked field, builds a hierarchical model representing the links, and generates a graphical hierarchical multilevel representation of the sheet content, with graphical views showing one or more hierarchical levels and displaying this representation on a display.

Abstract: A Method carried out in a computer system including a spreadsheet file having a sheet with lines and columns, wherein columns represent fields, the sheet having a header portion having a designation line with a field designation for each column, a data portion, wherein each line includes a record, the method including: /a/ identifying a single reference field, /b/ allocating a field type to fields other than the reference field, the field type belonging to a set of field type including attribute, parent, and flow, /c/ defining a link, for each field with a type, which establishes a link with another linked field, in particular a parent/child link, /d/ building a hierarchical model representing the parent/child links, /f/ generating a graphical hierarchical multilevel representation of the sheet content, with graphical views showing one or more hierarchical levels and displaying the representation on the display.

Abstract: A method and device for synthesizing an electrical architecture. The method synthesizes a routing that obtains the following parameters: different configurations of service variants and calculator variants and rate of occurrence of the configurations, a sum of the rates of the configurations being considered as equal to one; component cost characteristics stored and weighted according to their respective rates of increase; and partial or full positioning of the service variants on the calculator variants. The method also identifies valid routings, evaluates the routing cost of the valid routings for each configuration, and determines the valid routing that minimizes the average of the routing costs for each configuration, the average being weighted by the rates of increase of each configuration.

Abstract: A method of designing a validation environment for a service implemented by an embedded electrical system. In the method one or more user requests and system responses are assigned. Next, a behavioral automata is assigned to the service, which fixes the allowed sequencing of the user requests and system responses. Then, a skeleton validation environment is automatically generated for the service. The skeleton validation environment includes testing automata produced from a traversal of the behavioral automata, a model of initial conditions, models of user requests, models of system response accuracy, an environmental model, and the dataflow and control flow assembling these models together. The skeleton validation environment covers all user requests and resultant system responses of the service. The skeleton validation environment is then recorded in a computer readable memory device for use by a design validation tool.

Abstract: A method for diagnosis of functional faults in a functional architecture, including a unit of functions connected to electronic components, producing and using data, at least one datum of which can adopt a fixed pre-determined value, following occurrence of an erroneous functioning of at least one of the components of the unit. The method, while having a unit of functions and carrying out a function for which the input and output data can be assigned to sensors or actuators, determines particular values during which the particular values corresponding to functional faults for the sensors and actuators are listed and generates the functional diagnostic for the function as a function of the lists determined during the determining.

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

Abstract: A method for organizing and executing a plurality of services, in particular on a motor vehicle. According to the method, a) a plurality of cases of use are defined for each of which, within a context, a demand invokes a reaction that implements a particular functionality, and b) the reaction is selectively activated upon detection of the transmission of the demand within the context.

Abstract: A method of synthesizing an electrical or electronic architecture of at least one part of a product including electrical wires and electrical and electronic components, such as sensors, actuators, and computing devices. In the method: the geometry of the product, which is divided into different zones, is represented two-dimensionally; routing points for the routing of the electrical wires are positioned in the different zones; connection points are positioned between the different zones; electrical and electronic components are positioned in the zones; a routing is synthesized according to the geometry of the different zones and the positions of the routing points, the connection points, and the components; the routing is assessed and, using the result of the assessment, the positions of the routing points, connection points, and/or electrical and electronic components are altered; and the synthesis and assessment are repeated.

Abstract: A diagnostic method for the default operation of an electronic systems unit, including components producing and using data, at least one datum of which can take a pre-determined fixed value, after occurrence of an erroneous functioning of at least one of the components of the unit. The method classifies, during a design phase of the architecture of the systems, the particular values following the corresponding fault and records the classification in a computer memory, for example in a form of a consultation table.

Abstract: A method of designing a validation environment for a service implemented by an embedded electrical system. In the method one or more user requests and system responses are assigned. Next, a behavioral automata is assigned to the service, which fixes the allowed sequencing of the user requests and system responses. Then, a skeleton validation environment is automatically generated for the service. The skeleton validation environment includes testing automata produced from a traversal of the behavioral automata, a model of initial conditions, models of user requests, models of system response accuracy, an environmental model, and the dataflow and control flow assembling these models together. The skeleton validation environment covers all user requests and resultant system responses of the service. The skeleton validation environment is then recorded in a computer readable memory device for use by a design validation tool.

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

Abstract: A method for diagnosis of functional faults in a functional architecture, including a unit of functions connected to electronic components, producing and using data, at least one datum of which can adopt a fixed pre-determined value, following occurrence of an erroneous functioning of at least one of the components of the unit. The method, while having a unit of functions and carrying out a function for which the input and output data can be assigned to sensors or actuators, determines particular values during which the particular values corresponding to functional faults for the sensors and actuators are listed and generates the functional diagnostic for the function as a function of the lists determined during the determining.

Abstract: A method of designing a hardware and software system specification. In the method services are defined and a use case is defined for each service; each use case is associated with at least one system start state, a user request and, for each start state, a system end state; operations are defined and, at the same time, a set of elementary operations is defined for each state, the set corresponding to the response from the system at the time of entry into the state; the architecture of the system is specified, defining electronic control units and networks; and elementary operations are placed on computers. Further, the method executes at least one of (1) identifying data flows circulating over the networks according to the placement or (2) identifying specification interfaces of the computers according to the placement.

Abstract: A method and device for synthesizing an electrical architecture. The method synthesizes a routing that obtains the following parameters: different configurations of service variants and calculator variants and rate of occurrence of the configurations, a sum of the rates of the configurations being considered as equal to one; component cost characteristics stored and weighted according to their respective rates of increase; and partial or full positioning of the service variants on the calculator variants. The method also identifies valid routings, evaluates the routing cost of the valid routings for each configuration, and determines the valid routing that minimizes the average of the routing costs for each configuration, the average being weighted by the rates of increase of each configuration.

Abstract: The invention relates to a method of synthesising an electrical or electronic architecture of at least one part of a product comprising electrical wires and electrical and electronic components, such as sensors, actuators and computing devices.

Abstract: A diagnostic method for the default operation of an electronic systems unit, including components producing and using data, at least one datum of which can take a pre-determined fixed value, after occurrence of an erroneous functioning of at least one of the components of the unit. The method classifies, during a design phase of the architecture of the systems, the particular values following the corresponding fault and records the classification in a computer memory, for example in a form of a consultation table.

Abstract: A method for organizing and executing a plurality of services, in particular on a motor vehicle. According to the method, a) a plurality of cases of use are defined for each of which, within a context, a demand invokes a reaction that implements a particular functionality, and b) the reaction is selectively activated upon detection of the transmission of the demand within the context.

Abstract: The invention concerns a method which consists in: a) when launching a diagnostic phase, in selecting the data (Xi) which have a specific value (Xip), b) for each selected data (Xi), finding the group (X8i) of data from which said specific value (Xip) taken by the data (Xi) is likely to originate, c) creating a list (X8) of data contained in the intersection of said groups (X8i) of data, and d) analyzing said list (X8) to identify the element(s) of the set whereof an operating fault from which said specific values taken by said data (Xi) originate.