Abstract: A method for configuring a multiple autonomous drone mission includes displaying, a plurality of queries on a display of the computing device. The method further includes receiving, via a user interface, a plurality of inputs responsive to the plurality of queries. At least a first input of the plurality of inputs specifies a type of mission to be performed and at least a second input of the plurality of inputs specifies a geographical area in which a mission to be performed will be carried out. The method further includes automatically determining, based on the plurality of inputs, an initial location to move to for each of a plurality of drones available for implementing the mission. The method further includes automatically determining, based on the plurality of inputs, a series of tasks for each of the plurality of drones.

Abstract: Systems and methods for maintaining the safety of a software-based system. One method includes automatically generating a first artifact tree for a hazard for a first version of the system and automatically transforming the first artifact tree into a first augmented tree using a set of heuristics. The method also includes automatically generating a second artifact tree for the hazard for a second version of the system and automatically transforming the second artifact tree for the hazard into a second augmented tree using the set of heuristics. The method further includes automatically comparing the first augmented tree and the second augmented tree to generate a delta view, and automatically generating, based on the delta view, at least one selected from a group consisting of a safety warning for the second version of the software-based system and an actionable recommendation to maintain safety of the second version of the software-based system.

Abstract: Systems and methods for maintaining the safety of a software-based system. One method includes automatically generating a first artifact tree for a hazard for a first version of the system and automatically transforming the first artifact tree into a first augmented tree using a set of heuristics. The method also includes automatically generating a second artifact tree for the hazard for a second version of the system and automatically transforming the second artifact tree for the hazard into a second augmented tree using the set of heuristics. The method further includes automatically comparing the first augmented tree and the second augmented tree to generate a delta view, and automatically generating, based on the delta view, at least one selected from a group consisting of a safety warning for the second version of the software-based system and an actionable recommendation to maintain safety of the second version of the software-based system.

Abstract: A method for configuring a multiple autonomous drone mission includes displaying, a plurality of queries on a display of the computing device. The method further includes receiving, via a user interface, a plurality of inputs responsive to the plurality of queries. At least a first input of the plurality of inputs specifies a type of mission to be performed and at least a second input of the plurality of inputs specifies a geographical area in which a mission to be performed will be carried out. The method further includes automatically determining, based on the plurality of inputs, an initial location to move to for each of a plurality of drones available for implementing the mission. The method further includes automatically determining, based on the plurality of inputs, a series of tasks for each of the plurality of drones.

Abstract: Systems and methods for maintaining the safety of a software-based system. One method includes automatically generating a first artifact tree for a hazard for a first version of the system and automatically transforming the first artifact tree into a first augmented tree using a set of heuristics. The method also includes automatically generating a second artifact tree for the hazard for a second version of the system and automatically transforming the second artifact tree for the hazard into a second augmented tree using the set of heuristics. The method further includes automatically comparing the first augmented tree and the second augmented tree to generate a delta view, and automatically generating, based on the delta view, at least one selected from a group consisting of a safety warning for the second version of the software-based system and an actionable recommendation to maintain safety of the second version of the software-based system.