Abstract: An aircraft includes an engine and a system that is configured to detect an event associated with the engine during a take-off. The system is further configured to determine a speed of the aircraft a particular time after the event and to determine a remaining distance between the aircraft and an end of a runway at the particular time. The system is also configured to compare the speed of the aircraft to a take-off rejection speed threshold. The take-off rejection speed threshold indicates a maximum aircraft speed that would result in the aircraft stopping prior to a particular distance from the end of the runway. The take-off rejection speed threshold is selected from a plurality of aircraft speeds generated during aircraft deceleration simulations. The system is also configured to generate an indication recommending whether to continue the take-off based on comparison.

Abstract: Analyzing a set of policies. A goal comprising a particular outcome is received. An analysis object comprising a data structure maintaining information needed to perform an analysis of the goal is defined. The analysis object is configured to limit a number of calculations needed to achieve the goal. Each member of a set of expressions found in the set of policies has an output. The output is the same for each expression. One of the set of expressions is solved. The solved output is cached in the analysis object such that the solved output is associated with each member of the set of expressions. The analysis object is processed to create a set of values that achieves the goal. Processing includes referencing the cache to retrieve the solved output each time a member of the set of expressions is to be solved during processing of the analysis object.

Abstract: An aircraft includes an engine and a system that is configured to detect an event associated with the engine during a take-off. The system is further configured to determine a speed of the aircraft a particular time after the event and to determine a remaining distance between the aircraft and an end of a runway at the particular time. The system is also configured to compare the speed of the aircraft to a take-off rejection speed threshold. The take-off rejection speed threshold indicates a maximum aircraft speed that would result in the aircraft stopping prior to a particular distance from the end of the runway. The take-off rejection speed threshold is selected from a plurality of aircraft speeds generated during aircraft deceleration simulations. The system is also configured to generate an indication recommending whether to continue the take-off based on comparison.

Abstract: A method of implementing requirements applicable to systems of an enterprise includes modeling the requirements as contents of policies applicable to target domains of the enterprise. The policy contents are integrated into a policy model. The policy model is adapted to obtain representations of domain-specific requirements corresponding to target systems in the target domains. The representations are integrated with the corresponding target systems to implement the domain-specific requirements.

Abstract: Analyzing a set of policies. A goal comprising a particular outcome is received. An analysis object comprising a data structure maintaining information needed to perform an analysis of the goal is defined. The analysis object is configured to limit a number of calculations needed to achieve the goal. Each member of a set of expressions found in the set of policies has an output. The output is the same for each expression. One of the set of expressions is solved. The solved output is cached in the analysis object such that the solved output is associated with each member of the set of expressions. The analysis object is processed to create a set of values that achieves the goal. Processing includes referencing the cache to retrieve the solved output each time a member of the set of expressions is to be solved during processing of the analysis object.

Abstract: Analyzing a set of policies. A goal comprising a particular outcome is received. An analysis object comprising a data structure maintaining information needed to perform an analysis of the goal is defined. The analysis object is configured to limit a number of calculations needed to achieve the goal. Each member of a set of expressions found in the set of policies has an output. The output is the same for each expression. One of the set of expressions is solved. The solved output is cached in the analysis object such that the solved output is associated with each member of the set of expressions. The analysis object is processed to create a set of values that achieves the goal. Processing includes referencing the cache to retrieve the solved output each time a member of the set of expressions is to be solved during processing of the analysis object.

Abstract: Technologies are described herein for detecting and recovering from a fire event within an aircraft. The technologies receive sensor data from a number of sensors associated with an aircraft. A determination is made as to whether the sensor data exceeds predefined thresholds indicating the fire event within the aircraft. In response to determining that the sensor data exceeds the predefined thresholds indicating the fire event, the technologies determine a location of the fire event within the aircraft based on the sensor data and depower components of the aircraft associated with the fire event. The technologies then initiate a fire suppressant mechanism within the aircraft directed to the location of the fire event.

Abstract: A computer-performed method of examining policies for a target system of an enterprise system domain. The policies are represented as policy rules, each rule including a condition having binary operator expression(s), each expression referring to one or more policy attributes. For a pair of expressions, the computer(s) obtain sets of sample values sufficient to represent all values assumable by the policy attribute(s) referred to in the pair. The sample values are combined in a mixed-radix enumeration in which each attribute is represented in a corresponding position of each sample value combination and of the enumeration. Using the enumeration, the computer(s) evaluate each expression of the pair relative to each of the sample value combinations to obtain a truth table. Based on the truth table, a relationship between the pair is detected and the user may be notified as to an anomaly in the rules.

Abstract: A method is disclosed for controlling at least one remotely operated unmanned object. The method may involve defining a plurality of body movements of an operator that correspond to a plurality of operating commands for the unmanned object. Body movements of the operator may be sensed to generate the operating commands. Wireless signals may be transmitted to the unmanned object that correspond to the operating commands that control operation of the unmanned object.

Abstract: Technologies are described herein for detecting and recovering from a fire event within an aircraft. The technologies receive sensor data from a number of sensors associated with an aircraft. A determination is made as to whether the sensor data exceeds predefined thresholds indicating the fire event within the aircraft. In response to determining that the sensor data exceeds the predefined thresholds indicating the fire event, the technologies determine a location of the fire event within the aircraft based on the sensor data and depower components of the aircraft associated with the fire event. The technologies then initiate a fire suppressant mechanism within the aircraft directed to the location of the fire event.

Abstract: A computer-performed method of examining policies for a target system of an enterprise system domain. The policies are represented as policy rules, each rule including a condition having binary operator expression(s), each expression referring to one or more policy attributes. For a pair of expressions, the computer(s) obtain sets of sample values sufficient to represent all values assumable by the policy attribute(s) referred to in the pair. The sample values are combined in a mixed-radix enumeration in which each attribute is represented in a corresponding position of each sample value combination and of the enumeration. Using the enumeration, the computer(s) evaluate each expression of the pair relative to each of the sample value combinations to obtain a truth table. Based on the truth table, a relationship between the pair is detected and the user may be notified as to an anomaly in the rules.

Abstract: A method is disclosed for controlling at least one remotely operated unmanned object. The method may involve defining a plurality of body movements of an operator that correspond to a plurality of operating commands for the unmanned object. Body movements of the operator may be sensed to generate the operating commands. Wireless signals may be transmitted to the unmanned object that correspond to the operating commands that control operation of the unmanned object.

Abstract: A method of implementing requirements applicable to systems of an enterprise includes modeling the requirements as contents of policies applicable to target domains of the enterprise. The policy contents are integrated into a policy model. The policy model is adapted to obtain representations of domain-specific requirements corresponding to target systems in the target domains. The representations are integrated with the corresponding target systems to implement the domain-specific requirements.