Abstract: The system described herein provides a method for deploying, managing, scaling, configuring, upgrading, and modifying large complicated systems that are made-up of many different network resources. These network resources may be virtual machines or containers. The system constructs a hierarchical SNS by building up layers from the inside of an outer SNS. The system conducts health checks at each layer to ensure the system is properly functioning and the deployment is healthy. Lastly, third party vendors input logic in each layer to identify a desired state for the system. Once the desired state is identified, each layer can determine the necessary actions to upgrade from the current state to the desired state. This system simplifies, adds efficiency, and increases security when deploying, scaling, configuring, upgrading, or modifying the system.

Abstract: A computer-implemented system (90) is provided that supports a high degree of separation between processing elements. The computer-implemented system (90) comprises a plurality of cells (92) residing on the computer-implemented system, where each cell (92) includes a domain of execution (94) and at least one processing element (96); a separation specification (99) that governs communication between the processing elements (96); and a kernel (98) of an operating system that facilitates execution of the processing elements (96) and administers the communication between the processing elements (96) in accordance with the separation specification (99), such that one processing element (96) can influence the operation of another processing element (96) only as set forth by the separation specification (99). In particular, the separation specification provides memory allocation, remote procedure calls and exception handling mechanisms.

Abstract: A computer-implemented system (90) is provided that supports a high degree of separation between processing elements. The computer-implemented system (90) comprises a plurality of cells (92) residing on the computer-implemented system, where each cell (92) includes a domain of execution (94) and at least one processing element (96); a separation specification (99) that governs communication between the processing elements (96); and a kernel (98) of an operating system that facilitates execution of the processing elements (96) and administers the communication between the processing elements (96) in accordance with the separation specification (99), such that one processing element (96) can influence the operation of another processing element (96) only as set forth by the separation specification (99). In particular, the separation specification provides memory allocation, remote procedure calls and exception handling mechanisms.

Abstract: A computer-implemented system (90) is provided that supports a high degree of separation between processing elements. The computer-implemented system (90) comprises a plurality of cells (92) residing on the computer-implemented system, where each cell (92) includes a domain of execution (94) and at least one processing element (96); a separation specification (99) that governs communication between the processing elements (96); and a kernel (98) of an operating system that facilitates execution of the processing elements (96) and administers the communication between the processing elements (96) in accordance with the separation specification (99), such that one processing element (96) can influence the operation of another processing element (96) only as set forth by the separation specification (99). In particular, the separation specification provides memory allocation, remote procedure calls and exception handling mechanisms.

Abstract: A system is disclosed for formulating structure descriptions from data. In some embodiments, data arrives with an unknown format. The data may be ad hoc data that is considered semi-structured. Disclosed embodiments analyze chunks of the data to determine tokens. Tokens are analyzed to identify base types and compound types such as structs, unions, and arrays. Descriptions are generated and undergo scoring and rewriting for optimization. The generated descriptions may be fed to a data description language such as Processing Ad Hoc Data System (PADS) and compiled for processing the raw data. In some embodiments, the raw data is parsed, printed, or reformatted using the generated descriptions.

Abstract: A computer-implemented system (90) is provided that supports a high degree of separation between processing elements. The computer-implemented system (90) comprises a plurality of cells (92) residing on the computer-implemented system, where each cell (92) includes a domain of execution (94) and at least one processing element (96); a separation specification (99) that governs communication between the processing elements (96); and a kernel (98) of an operating system that facilitates execution of the processing elements (96) and administers the communication between the processing elements (96) in accordance with the separation specification (99), such that one processing element (96) can influence the operation of another processing element (96) only as set forth by the separation specification (99). In particular, the separation specification provides memory allocation, remote procedure calls and exception handling mechanisms.

Abstract: A computer-implemented system (90) is provided that supports a high degree of separation between processing elements. The computer-implemented system (90) comprises a plurality of cells (92) residing on the computer-implemented system, where each cell (92) includes a domain of execution (94) and at least one processing element (96); a separation specification (99) that governs communication between the processing elements (96); and a kernel (98) of an operating system that facilitates execution of the processing elements (96) and administers the communication between the processing elements (96) in accordance with the separation specification (99), such that one processing element (96) can influence the operation of another processing element (96) only as set forth by the separation specification (99). In particular, the separation specification provides memory allocation, remote procedure calls and exception handling mechanisms.

Abstract: An architecture model (10) provides a model of a data processing system. Pre-condition checks (51-52) and post-condition checks (71-72) are added to the architecture model (10) produce a reliability enhanced architecture model (50) to detect faults achieving a desired fault grade. Applying optimization techniques to the conditional checks of the reliability enhanced architecture model (50) reduces the complexity of implementing the model while maintaining or increasing the overall fault grade. The implementation of the reliability enhanced architecture model (50) when hosted on a separation architecture ensures the fault grade specified for the model.