Abstract: Methods, servers, and computer program products are provided to link files stored in a data repository. A file to be stored in the data repository is received, via a network, from a terminal. The method includes determining whether the file has a file metadata card associated with the file. The method further includes responsive to the file having a file metadata card associated with the file: executing at least one rule responsive to receiving the file being stored in the data repository to validate the file metadata card. The method further includes responsive to a result of the at least one rule executed indicating a successful result, storing the file metadata card associated with the file and the file in the data repository.

Abstract: A computing device including a processor configured to receive a specification of a search space over inputs to an aircraft control system. The processor is further configured to perform a Monte Carlo tree search (MCTS) to identify an adversarial branch of the search space. The MCTS includes, in each of a plurality of partitioning steps, computing discrete branches of the search space by computing sample values of a partitioning objective function, estimating a probability density function of the objective function, and partitioning a current-iteration portion of the search space based on the probability density function. The discrete branches each include event nodes that have corresponding estimated event probabilities. The MCTS further includes, at a multi-agent system model including supervised learning models, recomputing the estimated event probabilities and the current-iteration portion of the search space.

Abstract: A method includes storing technical models in a network-accessible model repository. Each technical model is labeled with descriptive metadata and comprises one or more model views labeled with functional metadata. A request is received from a stakeholder device, the request specifying descriptive attributes and functional attributes applied to an associated stakeholder. Technical model(s) are retrieved based on the descriptive metadata labelling the retrieved technical models being determined to satisfy the descriptive attributes included in the request. For each retrieved technical model, one or more model views are compiled based on the functional metadata labelling the compiled model view being determined to satisfy the functional attributes included in the request.

Abstract: Methods, servers, and computer program products are provided to link files stored in a data repository. A file to be stored in the data repository is received, via a network, from a terminal. The method includes determining whether the file has a file metadata card associated with the file. The method further includes responsive to the file having a file metadata card associated with the file: executing at least one rule responsive to receiving the file being stored in the data repository to validate the file metadata card. The method further includes responsive to a result of the at least one rule executed indicating a successful result, storing the file metadata card associated with the file and the file in the data repository.