Abstract: A method for providing an analytical artifact used for development and/or analysis of an investigated technical system of interest comprised of components having associated machine readable functional descriptions including port definitions and component failure modes processed to generate automatically the analytical artifact in response to at least one applied system evaluation criterion.

Abstract: Provided is a method and system for identifying and evaluating common cause failures of system components, wherein at least one analytical artifact and machine readable system related to at least one of spatial, topological data and machine readable system related lifecycle data are processed to analyze automatically a susceptibility of system components to common cause failure based on common cause failure influencing factors.

Abstract: Provided is a method for analyzing and designing a physical system architecture of a safety-critical system, wherein a physical system analysis model representing the physical system architecture of the safety-critical system is modified incrementally until calculated failure rates of failure modes of the physical system analysis model are less or equal to failure rates of corresponding failure modes of a functional system analysis model representing a functional system architecture of the safety-critical system.

Abstract: A computer-implemented method is provided for safety analysis of a technical system including a human object. The method includes: determining a system model of the technical system including the human object; determining for at least one use case of the technical system in accordance with a human interaction of the human object with the technical system; and simulating the technical system in accordance with the system model and the at least one use case. The simulating of the technical system includes tracking of safety hazard events in relation to the human interaction.

Abstract: Sensitivity analysis of failure events associated with components of a technical system is provided. It is possible to determine, for a plurality of components of a technical system configured in accordance with at least one initial design, importance values which are indicative of a dependency of at least one non-functional specification of a plurality of non-functional specifications of the technical system configured in accordance with the at least one initial design on a change of the technical system with respect to the components of the plurality of components. The method further includes determining a further design of the technical system based on the at least one initial design, the importance values, and a predefined function describing a joint quality score of the plurality of non-functional specifications for the technical system being configured in accordance with a respective design of the technical system.

Abstract: Provided is a computer-implemented method for controlling an operation of a technical system automatically, including at least the steps of: acquiring information about a modified configuration of at least one sub-system included in the technical system; generating a virtual model of the technical system including the at least one sub-system with the modified configuration for an evaluation of the operation; adjusting the virtual model to provide a control instruction for the operation of the technical system, wherein the adjusted virtual model is configured to compare an evaluation value acquired from the evaluation with a target requirement in a cryptographic and to derive the control instruction based on the comparison; and controlling the operation of the technical system based on the control instruction.

Abstract: A computer-implemented method and an apparatus for determining an optimal system configuration out of a plurality of candidate system configurations j is provided.

Abstract: Provided is a method and system for identifying and evaluating common cause failures of system components, wherein at least one analytical artifact and machine readable system related to at least one of spatial, topological data and machine readable system related lifecycle data are processed to analyze automatically a susceptibility of system components to common cause failure based on common cause failure influencing factors.

Abstract: Provided is a method for analyzing and designing a physical system architecture of a safety-critical system, wherein a physical system analysis model representing the physical system architecture of the safety-critical system is modified incrementally until calculated failure rates of failure modes of the physical system analysis model are less or equal to failure rates of corresponding failure modes of a functional system analysis model representing a functional system architecture of the safety-critical system.

Abstract: A method for providing an analytical artifact used for development and/or analysis of an investigated technical system of interest comprised of components having associated machine readable functional descriptions including port definitions and component failure modes processed to generate automatically the analytical artifact in response to at least one applied system evaluation criterion.

Abstract: A method, apparatus and computer program product for the conversion of at least one reliability model of a technical system to a Bayesian network model for assisting in the system's failure diagnostics, has the steps of creating a structure of a Bayesian network using information from at least one reliability model of the technical system, creating parameters of the Bayesian network using information from the reliability model of the technical system, the Bayesian network model having a plurality of observation nodes, obtaining information about the plurality of observation nodes from a list of observations that augments information contained in the reliability model of the technical system, and inserting the observation nodes into the created structure of the Bayesian network.

Abstract: A method, apparatus and computer program product for the conversion of at least one reliability model of a technical system to a Bayesian network model for assisting in the system's failure diagnostics, has the steps of creating a structure of a Bayesian network using information from at least one reliability model of the technical system, creating parameters of the Bayesian network using information from the reliability model of the technical system, the Bayesian network model having a plurality of observation nodes, obtaining information about the plurality of observation nodes from a list of observations that augments information contained in the reliability model of the technical system, and inserting the observation nodes into the created structure of the Bayesian network.